MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 6. Publisher/Author,Editor

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
YearTitleType
Hide details for IEEEIEEE
Show details for Bachmair, LeoBachmair, Leo
Show details for Barth, PeterBarth, Peter
Show details for Basin, David A.Basin, David A.
Show details for Bockmayr, AlexanderBockmayr, Alexander
Show details for Bundy, AlanBundy, Alan
Show details for Charatonik, WitoldCharatonik, Witold
Show details for de Nivelle, Hansde Nivelle, Hans
Show details for Ganzinger, HaraldGanzinger, Harald
Show details for Jaeger, ManfredJaeger, Manfred
Show details for Kraan, InaKraan, Ina
Show details for Matthews, SeánMatthews, Seán
Show details for McAllester, DavidMcAllester, David
Show details for Meyer, ChristophMeyer, Christoph
Show details for Müller, MartinMüller, Martin
Show details for Niehren, JoachimNiehren, Joachim
Show details for Niwinski, DamianNiwinski, Damian
Show details for Piskac, RuzicaPiskac, Ruzica
Show details for Podelski, AndreasPodelski, Andreas
Show details for Sofronie-Stokkermans, VioricaSofronie-Stokkermans, Viorica
Show details for Talbot, Jean-MarcTalbot, Jean-Marc
Show details for Veanes, MargusVeanes, Margus
Show details for Vorobyov, SergeiVorobyov, Sergei
Show details for Waldmann, UweWaldmann, Uwe
Show details for Walukiewicz, IgorWalukiewicz, Igor
Show details for IEEE Computer Society [http://www.computer.org/]IEEE Computer Society [http://www.computer.org/]
Show details for IEEE [http://computer.org/cspress/]IEEE [http://computer.org/cspress/]
Show details for IEEE [http://computer.org/publications/]IEEE [http://computer.org/publications/]
Show details for IEEE [http://www.computer.org/]IEEE [http://www.computer.org/]
Show details for IEEE [http://www.computer.org]IEEE [http://www.computer.org]

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)