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
Show details for Matthews, SeánMatthews, Seán
Show details for Simpson, AlexSimpson, Alex
Show details for Max-Planck-Institut für InformatikMax-Planck-Institut für Informatik
Show details for Max-Planck-Institut für Informatik [http://www.mpi-sb.mpg.de/]Max-Planck-Institut für Informatik [http://www.mpi-sb.mpg.de/]
Show details for Max-Planck-Institut für Informatik [http://www.springer.de/]Max-Planck-Institut für Informatik [http://www.springer.de/]
Show details for Microsoft Research, Microsoft CorporationMicrosoft Research, Microsoft Corporation
Show details for MIT PressMIT Press
Hide details for Morgan KaufmannMorgan Kaufmann
Show details for Basin, David A.Basin, David A.
Show details for Bundy, AlanBundy, Alan
Show details for Gabbay, Dov M.Gabbay, Dov M.
Show details for Herzig, A.Herzig, A.
Show details for Hoffmann, JörgHoffmann, Jörg
Show details for Hustadt, UllrichHustadt, Ullrich
Show details for Jaeger, ManfredJaeger, Manfred
Show details for Lombart, V.Lombart, V.
Show details for Matthews, SeánMatthews, Seán
Show details for Nebel, BernhardNebel, Bernhard
Show details for Nonnengart, AndreasNonnengart, Andreas
Show details for Ohlbach, Hans JürgenOhlbach, Hans Jürgen
Show details for Porteous, JuliePorteous, Julie
Show details for Schmidt, Renate A.Schmidt, Renate A.
Show details for Sebastia, LauraSebastia, Laura
Show details for Tan, Yao-HuaTan, Yao-Hua
Show details for Thiebaux, SylvieThiebaux, Sylvie
Show details for van der Torre, Leendert W. N.van der Torre, Leendert W. N.
Show details for Viganò, LucaViganò, Luca
Show details for Walsh, TobyWalsh, Toby
Show details for Weidenbach, ChristophWeidenbach, Christoph
Show details for Weydert, EmilWeydert, Emil

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