Search

Daoudi, Idriss, Gautier, Thierry, Thibault, Samuel, Perarnau, Swann, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, McIntosh-Smith, Simon, editor, Klemm, Michael, editor, de Supinski, Bronis R., editor, Deakin, Tom, editor, and Klinkenberg, Jannis, editor

Polet, Pierre-Étienne, Fantar, Ramy, Gautier, Thierry, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, McIntosh-Smith, Simon, editor, Klemm, Michael, editor, de Supinski, Bronis R., editor, Deakin, Tom, editor, and Klinkenberg, Jannis, editor

Pereira, Romain, Martin, Maël, Roussel, Adrien, Carribault, Patrick, Gautier, Thierry, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, McIntosh-Smith, Simon, editor, Klemm, Michael, editor, de Supinski, Bronis R., editor, Deakin, Tom, editor, and Klinkenberg, Jannis, editor

Ferat, Manuel, Pereira, Romain, Roussel, Adrien, Carribault, Patrick, Steffenel, Luiz-Angelo, Gautier, Thierry, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Klemm, Michael, editor, de Supinski, Bronis R., editor, Klinkenberg, Jannis, editor, and Neth, Brandon, editor

Tran, Hai Nam, Honorat, Alexandre, Bhattacharyya, Shuvra S., Talpin, Jean-Pierre, Gautier, Thierry, Besnard, Loïc, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Orailoglu, Alex, editor, Jung, Matthias, editor, and Reichenbach, Marc, editor

Pereira, Romain, Roussel, Adrien, Carribault, Patrick, Gautier, Thierry, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, McIntosh-Smith, Simon, editor, de Supinski, Bronis R., editor, and Klinkenberg, Jannis, editor

Daoudi, Idriss, Virouleau, Philippe, Gautier, Thierry, Thibault, Samuel, Aumage, Olivier, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Milfeld, Kent, editor, de Supinski, Bronis R., editor, Koesterke, Lars, editor, and Klinkenberg, Jannis, editor

Turpin, Laurent, Gautier, Thierry, Rouzaud-Cornabas, Jonathan, Perez, Christian, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Milfeld, Kent, editor, de Supinski, Bronis R., editor, Koesterke, Lars, editor, and Klinkenberg, Jannis, editor

Richard, Jérôme, Latu, Guillaume, Bigot, Julien, Gautier, Thierry, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Yahyapour, Ramin, editor

Gautier, Thierry, Perez, Christian, Richard, Jérôme, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, de Supinski, Bronis R., editor, Valero-Lara, Pedro, editor, Martorell, Xavier, editor, Mateo Bellido, Sergi, editor, and Labarta, Jesus, editor

Besnard, Loïc, Gautier, Thierry, Le Guernic, Paul, Guy, Clément, Talpin, Jean-Pierre, Larson, Brian, Borde, Etienne, Nakajima, Shin, editor, Talpin, Jean-Pierre, editor, Toyoshima, Masumi, editor, and Yu, Huafeng, editor

Virouleau, Philippe, Roussel, Adrien, Broquedis, François, Gautier, Thierry, Rastello, Fabrice, Gratien, Jean-Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Maruyama, Naoya, editor, de Supinski, Bronis R., editor, and Wahib, Mohamed, editor

Virouleau, Philippe, Broquedis, François, Gautier, Thierry, Rastello, Fabrice, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Dutot, Pierre-François, editor, and Trystram, Denis, editor

Ngo, Van Chan, Talpin, Jean-Pierre, Gautier, Thierry, Le Guernic, Paul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Egyed, Alexander, editor, and Schaefer, Ina, editor

Chan Ngo, Van, Talpin, Jean-Pierre, Gautier, Thierry, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Virouleau, Philippe, Brunet, Pierrick, Broquedis, François, Furmento, Nathalie, Thibault, Samuel, Aumage, Olivier, Gautier, Thierry, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, DeRose, Luiz, editor, de Supinski, Bronis R., editor, Olivier, Stephen L., editor, Chapman, Barbara M., editor, and Müller, Matthias S., editor

Dumas, Jean-Guillaume, Gautier, Thierry, Pernet, Clément, Sultan, Ziad, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Silva, Fernando, editor, Dutra, Inês, editor, and Santos Costa, Vítor, editor

Bleuse, Raphaël, Gautier, Thierry, Lima, João V. F., Mounié, Grégory, Trystram, Denis, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Silva, Fernando, editor, Dutra, Inês, editor, and Santos Costa, Vítor, editor

Durand, Marie, Broquedis, François, Gautier, Thierry, Raffin, Bruno, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Rendell, Alistair P., editor, Chapman, Barbara M., editor, and Müller, Matthias S., editor

Toss, Julio, Gautier, Thierry, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Kaklamanis, Christos, editor, Papatheodorou, Theodore, editor, and Spirakis, Paul G., editor

Broquedis, François, Gautier, Thierry, Danjean, Vincent, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Chapman, Barbara M., editor, Massaioli, Federico, editor, Müller, Matthias S., editor, and Rorro, Marco, editor

Ngo, Van Chan, Talpin, Jean-Pierre, Gautier, Thierry, Le Guernic, Paul, Besnard, Loïc, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Derrick, John, editor, Gnesi, Stefania, editor, Latella, Diego, editor, and Treharne, Helen, editor

Besseron, Xavier, Gautier, Thierry, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Alexander, Michael, editor, D’Ambra, Pasqua, editor, Belloum, Adam, editor, Bosilca, George, editor, Cannataro, Mario, editor, Danelutto, Marco, editor, Di Martino, Beniamino, editor, Gerndt, Michael, editor, Jeannot, Emmanuel, editor, Namyst, Raymond, editor, Roman, Jean, editor, Scott, Stephen L., editor, Traff, Jesper Larsson, editor, Vallée, Geoffroy, editor, and Weidendorfer, Josef, editor

Tchiboukdjian, Marc, Danjean, Vincent, Gautier, Thierry, Le Mentec, Fabien, Raffin, Bruno, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Guarracino, Mario R., editor, Vivien, Frédéric, editor, Träff, Jesper Larsson, editor, Cannatoro, Mario, editor, Danelutto, Marco, editor, Hast, Anders, editor, Perla, Francesca, editor, Knüpfer, Andreas, editor, Di Martino, Beniamino, editor, and Alexander, Michael, editor

Dumas, Jean-Guillaume, Gautier, Thierry, Pernet, Clément, Saunders, B. David, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Fukuda, Komei, editor, Hoeven, Joris van der, editor, Joswig, Michael, editor, and Takayama, Nobuki, editor

Hermann, Everton, Raffin, Bruno, Faure, François, Gautier, Thierry, Allard, Jérémie, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, D’Ambra, Pasqua, editor, Guarracino, Mario, editor, and Talia, Domenico, editor

Bouguerra, Mohamed-Slim, Gautier, Thierry, Trystram, Denis, Vincent, Jean-Marc, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Wyrzykowski, Roman, editor, Dongarra, Jack, editor, Karczewski, Konrad, editor, and Wasniewski, Jerzy, editor

Besnard, Loïc, Gautier, Thierry, Le Guernic, Paul, Talpin, Jean-Pierre, Shukla, Sandeep K., editor, and Talpin, Jean-Pierre, editor

Glouche, Yann, Gautier, Thierry, Guernic, Paul Le, Talpin, Jean-Pierre, Shukla, Sandeep K., editor, and Talpin, Jean-Pierre, editor

Besseron, Xavier, Gautier, Thierry, Le Thi, Hoai An, editor, Bouvry, Pascal, editor, and Pham Dinh, Tao, editor

Metivier, Hugo, Talpin, Jean-Pierre, Gautier, Thierry, Guernic, Paul Le, Kleinjohann, Bernd, editor, Wolf, Wayne, editor, and Kleinjohann, Lisa, editor

Traoré, Daouda, Roch, Jean-Louis, Maillard, Nicolas, Gautier, Thierry, Bernard, Julien, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Luque, Emilio, editor, Margalef, Tomàs, editor, and Benítez, Domingo, editor

Gautier, Thierry, Roch, Jean-Louis, Wagner, Frédéric, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Shi, Yong, editor, van Albada, Geert Dick, editor, Dongarra, Jack, editor, and Sloot, Peter M. A., editor

Jafar, Samir, Gautier, Thierry, Krings, Axel, Roch, Jean-Louis, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cunha, José C., editor, and Medeiros, Pedro D., editor

Revire, Rémi, Zara, Florence, Gautier, Thierry, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Dongarra, Jack, editor, Laforenza, Domenico, editor, and Orlando, Salvatore, editor

Loos, Rüdiger, Giusti, M., Pardo, L. M., Niklasch, Gerhard, Dentzer, Ralf, Landau, Susan, Roy, Marie-Françoise, Pohst, Michael E., Grabmeier, Johannes, Weispfenning, Volker, von zur Gathen, Joachim, Kaltofen, Erich, Gutierrez, Jaime, Kozen, Dexter, Kemper, Gregor, Saunders, B. David, Giesbrecht, Mark, Storjohann, Arne, Villard, Gilles, Buchmann, Johannes, Müller, Volker, Pfahler, Thomas, Zayer, Jörg, Klüners, Jürgen, Heinrich Matzat, B., Zimmer, Horst G., Greuel, Gert-Martin, Becker, Eberhard, Apel, Joachim, Cohen, Arjeh M., Dräxler, Peter, Laßner, Wolfgang, Madlener, Klaus E., Reinert, Birgit, Sims, Charles C., Hiss, Gerhard, Kerber, Adalbert, Laue, Reinhard, Paule, Peter, Strehl, Voker, Bronstein, Manuel, Seiler, W. M., Ulmer, F., Schwarz, F., Hereman, W., Gerdt, V. P., Ollivier, F., Gatermann, K., Hantzschmann, Karl, Rump, Siegfried M., Corless, Robert M., Watt, Stephen M., Bürgisser, Peter, Clausen, Michael, Shokrollahi, M. Amin, Beth, Thomas, Egner, Sebastian, Geiselmann, Willi, Grassl, Markus, Lazic, Dejan, Müller-Quade, Jörn, Schaefer-Lorinser, Frank, Bündgen, Reinhard, Calmet, Jacques, Fortenbacher, Albrecht, Schupp, Sibylle, Gautier, Thierry, Hong, Hoon, Roch, Jean-Louis, Schreiner, Wolfgang, Dewar, Michael, Klappenecker, Andreas, Nückel, Armin, Grabmeier, Johannes, editor, Kaltofen, Erich, editor, and Weispfenning, Volker, editor

Gautier, Thierry, Mannhart, Niklaus, Amestoy, Patrick, editor, Berger, Philippe, editor, Daydé, Michel, editor, Ruiz, Daniel, editor, Duff, Iain, editor, Frayssé, Valérie, editor, and Giraud, Luc, editor

Smarandache, Irina M., Gautier, Thierry, Le Guernic, Paul, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Wing, Jeannette M., editor, Woodcock, Jim, editor, and Davies, Jim, editor

Gautier, Thierry, Le Guernic, Paul, Redmill, Felix, editor, and Anderson, Tom, editor

Nowak, David, Talpin, Jean-Pierre, Gautier, Thierry, Le Guernic, Paul, Lengauer, Christian, editor, Griebl, Martin, editor, and Gorlatch, Sergei, editor

Belache, Areski, Gautier, Thierry, Boisde, Jean Claude, Leveau, Nicolas, Paulet, Guy, Beyne, E., editor, Lasance, C. J. M., editor, and Berghmans, J., editor

Manneback, Pierre, Gautier, Thierry, Rnger, Gudula, Matias, Manuel Prieto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Jeannot, Emmanuel, editor, Namyst, Raymond, editor, and Roman, Jean, editor

Gautier, Thierry, Le Guernic, Paul, Besnard, Loïc, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Kahn, Gilles, editor