Author, Editor Individual View (MPI-INF RG1 Publications)

Publications

MPI-INF RG1 Publications

Expand All

Collapse All

Search (Full Text)

Year

Author(s) [non member]

Title

Type

Abdel-Rahman, Essam O.

Afshordel, Bijan

Althaus, Ernst

Areces, Carlos (ed.)

Autexier, Serge (ed.)

Avenhaus, Jürgen

Aziz, Zaheer (ed.)

Azmy, Noran

Baader, Franz (ed.)

Bachmair, Leo

Bajcsy, R. (ed.)

Ball, Thomas (ed.)

Bankstahl, Jan

Barth, Peter

Basin, David (ed.)

Bastuck, Andrea

Baumgartner, Peter

Beckert, Bernhard (ed.)

Becker, Bernd (ed.)

Bendisposto, Jens (ed.)

Beringer, Lennart (ed.)

Bernd, Becker (ed.)

Berns, Karsten (ed.)

Bibel, Wolfgang (ed.)

Billington, Jonathan

Bjorner, Nikolaj

Bjørner, Nikolaj (ed.)

Blanchette, Jasmin Christian

Bonacina, Maria Paola (ed.)

Bouajjani, Ahmed (ed.)

Brahm, Uwe

Breuel, Thomas (ed.)

Broda, Krysia (ed.)

Bromberger, Martin

Bruni, Roberto (ed.)

Bultan, Tevfik (ed.)

Burel, Guillaume

Cachro, Jacek (ed.)

Charatonik, Witold (ed.)

Cha, Sungdeok (Steve) (ed.)

Choi, Jin-Young (ed.)

Christophe Ringeissen (ed.)

Ciobanu, Gabriel (ed.)

Clarke, Edmund M. (ed.)

Cohrs, Christian

Contejean, Evelyne (ed.)

Cook, Byron (ed.)

Cruz, Rene L. (ed.)

D'Agostino, Marcello (ed.)

Dahn, Ingo (ed.)

Damm, Werner

Damm, Werner Martin (ed.)

Damm, Werner (ed.)

Davies, Jim (ed.)

Dawar, Anuj (ed.)

de Melo, Gerard

de Nivelle, Hans (ed.)

de Swart, Harrie (ed.)

Denney, Ewen (ed.)

Dershowitz, Nachum (ed.)

Dhungana, Deepak

Dierks, Henning

Dimova, Dilyana

Dingel, Juergen (ed.)

Disch, Stefan

Dreschler-Fischer, Leonie (ed.)

Dressler, Christian

Dreßler, Christian

Eggers, Andreas

Egly, Uwe (ed.)

Eiswirth, M.

Eklund, Patrick (ed.)

Engel, Thorsten

Errami, H.

Escalada-Imaz, Gonzalo (ed.)

Esquivel Pinto, Claudia Sofia

et. al. (ed.)

Faber, Johannes

Fehrer, Detlef

Felty, Amy (ed.)

Fermüller, Christian G. (ed.)

Fermüller, Christian (ed.)

Ferreirim, Isabel (ed.)

Fiedler, Herbert (ed.)

Fietzke, Arnaud

Finkbeiner, Bernd (ed.)

Fitting, Melvin (ed.)

Fontaine, Pascal

Fontaine, Pascal (ed.)

Fränzle, Martin (ed.)

Frazzoli, Emilio (ed.)

Freiheit, Jörn

Furbach, Ulrich (ed.)

Gaede, Bernd

Gaillourdet, Jean-Marie

Ganzinger, Harald

Ganzinger, Harald (ed.)

Gasse, Francis

Ghilardi, Silvio

Ghilardi, Silvio (ed.)

Gibbons, Jeremy (ed.)

Giesl, Jürgen (ed.)

Goldblatt, Robert (ed.)

Goré, Rajeev (ed.)

Gorny, Peter (ed.)

Gottlob, Georg (ed.)

Grädel, Erich (ed.)

Graf, Susanne (ed.)

Gramlich, Bernhard (ed.)

Grass, Werner (ed.)

Grigoriev. D.

Grosu, Radu (ed.)

Haehnle, Reiner (ed.)

Hagemann, Willem

Hähnle, Reiner

Hähnle, Reiner (ed.)

Hermanns, Holger

Hermann, Miki (ed.)

Higashino, Teruo (ed.)

Hillenbrand, Thomas

Hirth, Simon

2007

Hirth, Simon
Karl, Carsten
Weidenbach, Christoph

Automatic Analysis of LAN Infrastructures

Report

2006

Hirth, Simon

Automatische Analyse von DHCP und höheren Infrasturkturdiensten mit SPASS
Universität des Saarlandes

Thesis - Masters thesis

Hölldobler, Steffen (ed.)

Horbach, Matthias

Horbach, Matthias (ed.)

Hotz, Günter (ed.)

Hund, Marcus (ed.)

Hungar, Hardi

Hustadt, Ullrich

Ihlemann, Carsten

Iorgulescu, Afrodita (ed.)

Iturrioz, Luisa

Iturrioz, Luisa (ed.)

Jacobs, Swen

Jacquemard, Florent

Jaeger, Manfred

Kahle, Reinhard (ed.)

Kapur, Deepak

Karl, Carsten

Karrenberg, Ralf

Keen, Enno

Kepser, Stephan (ed.)

Kerber, Manfred

Kerner, I. O. (ed.)

Kijania-Placek, Katarzyna (ed.)

Kim Moonzoo (ed.)

Kirchner, Claude (ed.)

Kirchner, Helene

Kirchner, Hélène (ed.)

Kleine Büning, Hans

Kolaitis, Phokion (ed.)

Konev, Boris (ed.)

Korovin, Konstantin

Košta, Marek

Košta, Marek (ed.)

Kruglov, Evgeny

Kunze, Jürgen (ed.)

Kupferschmid, Stefan

Lamotte-Schubert, Manuel

Lamotte, Manuel

Lasaruk, Aless

Lee, Insup (ed.)

Leitsch, Alexander (ed.)

Lenzerini, Maurizio (ed.)

Lenzini, Luciano (ed.)

Letz, Reinhold

Leuschel, Michael (ed.)

Lev-Ami, Tal

Levi, G. (ed.)

Leykin, Anton (ed.)

Lilith, Nimrod

Löchner, Bernd

Ludwig, Michel

Lutz, Carsten (ed.)

Luuk, Marc

Lu, Qi

Lu, Tianxiang

Lynch, Christopher

Lynch, Christopher (ed.)

Maler, Oded (ed.)

Mantel, Heiko (ed.)

Marcus, Solomon (ed.)

Matheis, Thomas

McAllester, David (ed.)

McCune, William (ed.)

McRobbie, Michael A. (ed.)

McRobbie, M. A. (ed.)

Mendling, Jan (ed.)

Mertsching, Bärbel (ed.)

Mery, Dominique (ed.)

Merz, Stephan

Merz, Stephan (ed.)

Meyer, Christoph

Miller, Dale (ed.)

Motik, Boris (ed.)

Münch, Susanne

Mundici, Daniele (ed.)

Nadif, Mohamed (ed.)

Namjoshi, Kedar S. (ed.)

Napoli, Amedeo (ed.)

Narendran, Paliath (ed.)

Neumann, Stephan Rouven

Nguyen, ThanhVu

Nieuwenhuis, Robert

Nieuwenhuis, Robert (ed.)

Nipkow, Tobias (ed.)

Nonnengart, Andreas

Nüttgens, Markus (ed.)

Nutt, Werner (ed.)

Ohlbach, Hans Jürgen

Ohlbach, Hans Jürgen (ed.)

Okamura, Yoshio (ed.)

Olbrich, Sebastian

Olderog, Ernst-Rüdiger (ed.)

Orlowska, Ewa (ed.)

Pang, Jun

Pascal Fontaine (ed.)

Patel-Schneider, Peter F. (ed.)

Paun, Gheorghe (ed.)

Peltier, Nicolas

Peltier, Nicolas (ed.)

Pfenning, Frank (ed.)

Pigorsch, Florian

Piskac, Ruzica

Podelski, Andreas

Podelski, Andreas (ed.)

Popescu, Andrei

Prade, Henri (ed.)

Prevosto, Virgile

Pribbenow, Simone (ed.)

Ramakrishnan, C. R. (ed.)

Ranise, Silvio

Ranise, Silvio (ed.)

Ratschan, Stefan (ed.)

Rehof, Jakob (ed.)

Reischuk, Rüdiger (ed.)

Remenyi, Dan (ed.)

Rémy, J.-L. (ed.)

Renate A. Schmidt (ed.)

Reps, Thomas

Reuter, Jochen

Riazanov, Alexandre

Ringeissen, Christophe (ed.)

Ringeissen, Christopher

Robinson, Alan (ed.)

Rock, Georg

Roggenbach, Markus (ed.)

Rosati, Riccardo (ed.)

Rudeanu, Sergiu (ed.)

Rudolph, Sebastian (ed.)

Rump, Frank J. (ed.)

Rusev, Rostislav

Rusinowitch, Michael (ed.)

Rusinowitch, M. (ed.)

Rybalchenko, Andrey

Sagiv, Mooly

Salzer, Gernot (ed.)

SanJuan, Eric (ed.)

Sattler, Uli (ed.)

Sattler, Ulrike

Sattler, Ulrike (ed.)

Scheibler, Karsten

Schmidt, Renate

Schmidt, Renate A.

Schmidt, Renate A. (ed.)

Schmidt, Renate (ed.)

Schmitt, Peter H. (ed.)

Scholl, Christoph

Schulz, Klaus U. (ed.)

Schulz, Stephan (ed.)

Sebastiani, Roberto (ed.)

Seiler, W.

Shankar, Natarajan (ed.)

Sigayret, Alain (ed.)

Sijanski, Grozdana

Simon, Carlo

Slaney, John K. (ed.)

Slaney, J. K. (ed.)

Sofronie-Stokkermans, Viorica

Sofronie-Stokkermans, Viorica (ed.)

Spies, Hendrik

Stickel, Mark E. (ed.)

Stickel, Mark (ed.)

Stokkermans, Karel

Stoyan, Herbert (ed.)

Sturm, Thomas

Sturm, Thomas (ed.)

Sturm, T.

Suda, Martin

Sutcliffe, Geoff

Sutcliffe, Geoff (ed.)

Tang, Ching Hoo

Teige, Teige

Teucke, Andreas

Theobalt, Christian

Tinelli, Cesare (ed.)

Tiwari, Ashish

Tiwari, Ashish (ed.)

Topic, Dalibor

Topić, Dalibor

Tran, Duc-Khanh

Turunen, Esko (ed.)

Vaida, Dragos (ed.)

Vaz de Carvalho, Júlia (ed.)

Veith, Helmut (ed.)

Vigneron, Laurent (ed.)

Viswanathan, Mahesh (ed.)

Vojtas, Peter (ed.)

Voronkov, Andrei

Voronkov, Andrei Voronkov

Voronkov, Andrei (ed.)

Waldmann, Uwe

Wand, Daniel

Weber, Andreas

Weber, A.

Weidenbach, Christoph

Weidenbach, Christoph (ed.)

Weydert, Emil

Wilhelm, Reinhard

Wilhelm, Reinhard (ed.)

Wirtz, Boris

Wischnewski, Patrick

Wolter, Frank (ed.)

Yoneda, Tomohiro (ed.)

Zakharyaschev, Michael (ed.)

Zangl, Fabrice

Zeller, Andreas (ed.)

Zengler, Christoph (ed.)

Zhang, Wenhui (ed.)

Zhang, Zhihai

Zhao, Hantao

Ziemann, Joerg

Zimmer, Stephan

841

Expand All

Collapse All

Search (Full Text)

Imprint / Impressum | Data Protection / Datenschutzhinweis