dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Peter Müller Home Page Coauthor index pubzone.org

ETH Zürich

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPietro Ferrara, Peter Müller: Automatic Inference of Access Permissions. VMCAI 2012: 202-218
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis T. Kassios, Peter Müller, Malte Schwerhoff: Comparing Verification Condition Generation with Symbolic Execution: An Experience Report. VSTTE 2012: 196-208
2011
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Dietl, Michael D. Ernst, Peter Müller: Tunable Static Inference for Generic Universe Types. ECOOP 2011: 333-357
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Joseph N. Ruskiewicz: Using Debuggers to Understand Failed Verification Attempts. FM 2011: 73-87
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander J. Summers, Peter Müller: Freedom before commitment: a lightweight type system for object initialisation. OOPSLA 2011: 1013-1032
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller: Formal Methods-Based Tools for Race, Deadlock, and Other Errors. Encyclopedia of Parallel Computing 2011: 704-710
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Dietl, Sophia Drossopoulou, Peter Müller: Separating ownership topology and encapsulation with generic universe types. ACM Trans. Program. Lang. Syst. 33(6): 20 (2011)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter: Specification and verification: the Spec# experience. Commun. ACM 54(6): 81-91 (2011)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller: Discussion of "Sampling schemes for generalized DP random effects models". Statistical Methods and Applications 20(3): 299-301 (2011)
2010
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller: Advanced Lectures on Software Engineering, LASER Summer School 2007/2008 Springer 2010
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller, Jan Smans: Deadlock-Free Channels and Locks. ESOP 2010: 407-426
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁdám Darvas, Peter Müller: Proving Consistency and Completeness of Model Classes Using Theory Interpretation. FASE 2010: 218-232
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann Lehner, Peter Müller: Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. FASE 2010: 338-352
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Büscher, Ute Müller, Peter Müller, Eckhard Stamer: Informationsmanagement in der Milchviehhaltung - am Beispiel der Milchviehherde "Frankenforst" der Universität Bonn. GI Jahrestagung (1) 2010: 179-184
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen: Reasoning about Function Objects. TOOLS (48) 2010: 79-96
2009
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller: A Basis for Verifying Multi-threaded Programs. ESOP 2009: 378-393
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller, Jan Smans: Verification of Concurrent Programs with Chalice. FOSAD 2009: 195-222
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Joseph N. Ruskiewicz: A Modular Verification Methodology for C# Delegates. Rigorous Methods for Software Construction and Analysis 2009: 187-203
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer: A Sound and Complete Program Logic for Eiffel. TOOLS (47) 2009: 195-214
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander J. Summers, Sophia Drossopoulou, Peter Müller: Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods. Journal of Object Technology 8(4): 85-125 (2009)
2008
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad: Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller: Verification of Equivalent-Results Methods. ESOP 2008: 307-321
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArsenii Rudich, Ádám Darvas, Peter Müller: Checking Well-Formedness of Pure-Method Specifications. FM 2008: 68-83
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller: Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs. LASER Summer School 2008: 91-139
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Nordio, Peter Müller, Bertrand Meyer: Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) 2008: 316-335
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: A Unified Framework for Verification Techniques for Object Invariants. Types, Logics and Semantics for State 2008
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller, Angela Wallenburg: Flexible Immutability with Frozen Objects. VSTTE 2008: 192-208
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁdám Darvas, Peter Müller: Faithful mapping of model classes to mathematical structures. IET Software 2(6): 477-499 (2008)
2007
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: Mobility, Ubiquity and Security, 25.02. - 02.03.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Dietl, Sophia Drossopoulou, Peter Müller: Generic Universe Types. ECOOP 2007: 28-53
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: Universe Types for Topology and Encapsulation. FMCO 2007: 72-112
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary T. Leavens, Peter Müller: Information Hiding and Visibility in Interface Specifications. ICSE 2007: 385-395
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Abstracts Collection - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld: 07091 Executive Summary - Mobility, Ubiquity and Security. Mobility, Ubiquity and Security 2007
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Arsenii Rudich: Ownership transfer in universe types. OOPSLA 2007: 461-478
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁdám Darvas, Peter Müller: Faithful mapping of model classes to mathematical structures. SAVCBS 2007: 31-38
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Martin Nordio: Proof-transforming compilation of programs with abrupt termination. SAVCBS 2007: 39-46
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Peter Müller, Frank Piessens: Sound reasoning about unchecked exceptions. SEFM 2007: 113-122
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann Lehner, Peter Müller: Formal Translation of Bytecode into BoogiePL. Electr. Notes Theor. Comput. Sci. 190(1): 35-50 (2007)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary T. Leavens, K. Rustan M. Leino, Peter Müller: Specification and verification challenges for sequential object-oriented programs. Formal Asp. Comput. 19(2): 159-189 (2007)
2006
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller: A Verification Methodology for Model Fields. ESOP 2006: 115-130
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominik Grolimund, Peter Müller: A Pattern Language for Overlay Networks in Peer-to-Peer Systems. EuroPLoP 2006: 95-140
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabian Bannwart, Peter Müller: Changing Programs Correctly: Refactoring with Specifications. FM 2006: 492-507
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard: MOBIUS: Mobility, Ubiquity, Security. TGC 2006: 10-29
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁdám Darvas, Peter Müller: Reasoning About Method Calls in Interface Specifications. Journal of Object Technology 5(5): 59-85 (2006)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006)
2005
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller: Modular Verification of Static Class Invariants. FM 2005: 26-42
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Nyßen, Horst Lichter, Jan Suchotzki, Peter Müller, Andreas Stelter: UML2-basierte Architekturmodellierung kleiner eingebetteter Systeme Erfahrungen einer Feldstudie. MBEES 2005: 147-158
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller: Reasoning about Object Structures Using Ownership. VSTTE 2005: 93-104
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabian Bannwart, Peter Müller: A Program Logic for Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 255-273 (2005)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Dietl, Peter Müller: Universes: Lightweight Ownership for JML. Journal of Object Technology 4(8): 5-32 (2005)
2004
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Dietl, Peter Müller, Arnd Poetzsch-Heffter: A Type System for Checking Applet Isolation in Java Card. CASSIS 2004: 129-150
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Rustan M. Leino, Peter Müller: Object Invariants in Dynamic Contexts. ECOOP 2004: 491-516
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Nyßen, Peter Müller, Jan Suchotzki, Horst Lichter: Erfahrungen bei der systematischen Entwicklung kleiner eingebetteter Systeme mit der COMET-Methode. Modellierung 2004: 229-233
2003
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular specification of frame properties in JML. Concurrency and Computation: Practice and Experience 15(2): 117-154 (2003)
2002
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller: Modular Specification and Verification of Object-Oriented Programs Springer 2002
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Althaus, Oliver Kohlbacher, Hans-Peter Lenhof, Peter Müller: A Combinatorial Approach to Protein Docking with Flexible Side Chains. Journal of Computational Biology 9(4): 597-612 (2002)
2000
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Althaus, Oliver Kohlbacher, Hans-Peter Lenhof, Peter Müller: A combinatorial approach to protein docking with flexible side-chains. RECOMB 2000: 15-24
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Simulating synthetic polymer chains in parallel. Future Generation Comp. Syst. 16(5): 513-522 (2000)
1999
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Arnd Poetzsch-Heffter: Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. ECOOP Workshops 1999: 154-156
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnd Poetzsch-Heffter, Peter Müller: A Programming Logic for Sequential Java. ESOP 1999: 162-176
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Guthke, Wolfgang Schmidt-Heck, Peter Müller, Heike Rodig, Ralph Berkholz: Data and knowlage based experimental design for bioprocess optimization. German Conference on Bioinformatics 1999: 199-200
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Simulating Synthetic Polymer Chains in Parallel. HPCN Europe 1999: 13-22
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Jörg Meyer, Arnd Poetzsch-Heffter: Making Executable Interface Specifications More Expressive. Java-Informations-Tage 1999: 243-252
1998
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Arnd Poetzsch-Heffter: Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. Java-Informations-Tage 1998: 1-10
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnd Poetzsch-Heffter, Peter Müller: Logical foundations for typed object-oriented languages. PROCOMET 1998: 404-423
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Dreger, Stefan Lohrum, Peter Müller: The MeDoc Communication Protocol. The MeDoc Approach 1998: 89-101
1997
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller, Arnd Poetzsch-Heffter: Formal Specification Techniques for Object-Oriented Programs. GI Jahrestagung 1997: 602-611
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Jung, Hans-Peter Lenhof, Peter Müller, Christine Rüb: Parallel MD-Simulations of Synthetic Polymers. PPSC 1997
1987
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Fuhr, Peter Müller: Probabilistic Search Term Weighting-Some Negative Results. SIGIR 1987: 13-18
1984
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Vytopil, Peter Müller: Communication Architecture of TCP16, a Highly Reliable, Distributed System. ICC (2) 1984: 549-553
1971
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Müller: Der Einfluß der Registerstruktur eines Zentralprozessors auf dessen Operationsgeschwindigkeit. Elektronische Rechenanlagen 13(3): 124-128 (1971)

Coauthor Index

1Elvira Albert [56]
2Eyad Alkassar [76]
3Ernst Althaus [16] [18]
4Rob Arthan [76]
5Anindya Banerjee [56]
6Fabian Bannwart [27] [34]
7Mike Barnett [71]
8Gilles Barthe [33] [43] [44] [48]
9Lennart Beringer [33]
10Ralph Berkholz [11]
11Derek Bronish [76]
12Wolfgang Büscher [65]
13Cristiano Calcagno [60] [64]
14Rod Chapman [76]
15Dave Clarke (David G. Clarke) [57]
16Alessandro Coglio [23]
17Ernie Cohen [76]
18Pierre Crégut [33]
19Dave Cunningham [46]
20Ádám Darvas [32] [41] [49] [54] [67]
21Werner Dietl (Werner Michael Dietl) [25] [26] [46] [47] [72] [77]
22Markus Dreger [6]
23Sophia Drossopoulou [17] [46] [47] [51] [56] [57] [58] [59] [72]
24Susan Eisenbach [17] [21]
25Michael D. Ernst [77]
26Manuel Fähndrich [71]
27Pietro Ferrara [79]
28Adrian Francalanza [46] [51] [58]
29Norbert Fuhr [3]
30Benjamin Grégoire [33]
31Dominik Grolimund [35]
32Reinhard Guthke [11]
33Mark A. Hillebrand [76]
34Martin Hofmann [33]
35Marieke Huisman [23] [56]
36Atsushi Igarashi [56]
37Bart Jacobs [13] [17] [76]
38Bart Jacobs [39]
39Bernd Jung [4] [10] [15]
40Ioannis T. Kassios [78]
41Joseph Kiniry (Joseph R. Kiniry) [23]
42Vladimir Klebanov [76]
43Oliver Kohlbacher [16] [18]
44Gary T. Leavens [13] [17] [20] [21] [31] [37] [45] [56] [76]
45Hermann Lehner [38] [66]
46K. Rustan M. Leino [24] [30] [36] [37] [50] [53] [55] [62] [63] [68] [71] [76]
47Hans-Peter Lenhof [4] [10] [15] [16] [18]
48Horst Lichter [22] [29]
49Stefan Lohrum [6]
50Heiko Mantel [43] [44] [48]
51Bertrand Meyer [52] [60] [64]
52Jörg Meyer [9]
53Rosemary Monahan [76]
54Ute Müller [65]
55Andrew C. Myers [43] [44] [48]
56James Noble [57]
57Martin Nordio (Martín Nordio) [40] [52] [60] [64]
58Alexander Nyßen [22] [29]
59Frank Piessens [39] [76]
60Arnd Poetzsch-Heffter [5] [7] [8] [9] [12] [13] [14] [17] [20] [21] [25] [31]
61Nadia Polikarpova [76]
62Erik Poll [21] [23] [33]
63Germán Puebla (German Puebla) [33]
64Tom Ridge (Thomas Ridge) [76]
65Heike Rodig [11]
66Christine Rüb [4] [10] [15]
67Arsenii Rudich [42] [54]
68Joseph N. Ruskiewicz [61] [75]
69Andrei Sabelfeld [43] [44] [48]
70Wolfgang Schmidt-Heck [11]
71Wolfram Schulte [71]
72Malte Schwerhoff [78]
73Natarajan Shankar [76]
74Jan Smans [62] [68] [76]
75Eckhard Stamer [65]
76Ian Stark [33]
77Andreas Stelter [29]
78Jan Suchotzki [22] [29]
79Alexander J. Summers [46] [51] [58] [59] [74]
80Stephan Tobies [76]
81Julian Tschannen [64]
82Thomas Tuerk [76]
83Mattias Ulbrich [76]
84Herman Venter [71]
85Eric Vétillard [33]
86Jan Vytopil [2]
87Angela Wallenburg [50]
88Benjamin Weiß [76]
89Tobias Wrigstad [56] [57]
90Valentin Wüstholz [76]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page