Reinhard Wilhelm Home Page Coauthor index pubzone.org

Compiler Design Lab, Saarland University / Scientific Director of Schloss Dagstuhl

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Biographical Citations

DBLP keys2012
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Philipp Lucas, Oleg Parshin, Lili Tan, Björn Wachter: Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints. Advances in Real-Time Systems 2012: 123-143
2011
149no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, Reinhard Wilhelm: Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, March 18, 2011, Grenoble, France. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2011
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Grund, Jan Reineke, Reinhard Wilhelm: A Template for Predictability Definitions with Supporting Evidence. PPES 2011: 22-31
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm: Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). Dagstuhl Manifestos 1(1): 21-40 (2011)
2010
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Helmut Seidl: Compiler Design - Virtual Machines. Springer 2010: I-XIII, 1-187
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Matteo Maffei: Ubiquitous Verification of Ubiquitous Systems. SEUS 2010: 47-58
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm: Static Timing Analysis for Hard Real-Time Systems. VMCAI 2010: 3-22
2009
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm: Polynomial Precise Interval Analysis Revisited. Efficient Algorithms 2009: 422-437
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Heinz, Reinhard Wilhelm: Towards device emulation code generation. LCTES 2009: 109-118
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: The PROMPT design principles for predictable multi-core architectures. SCOPES 2009: 31-32
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm: Teaching WCET Analysis in Academia and Industry: A Panel Discussion. WCET 2009
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoswitha Bardohl, Christian Lindig, Angelika Müller-von Brochowski, Reinhard Wilhelm: Editorial. Computer Science - R&D 23(1): 3-5 (2009)
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph M. Kirsch, Reinhard Wilhelm: EMSOFT 2007 guest editors' introduction. Design Autom. for Emb. Sys. 13(1-2): 3-4 (2009)
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Daniel Grund, Jan Reineke, Marc Schlickling, Markus Pister, Christian Ferdinand: Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems. IEEE Trans. on CAD of Integrated Circuits and Systems 28(7): 966-978 (2009)
2008
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Björn Wachter: Abstract Interpretation with Applications to Timing Validation. CAV 2008: 22-36
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLE. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. DATE 2008: 659-663
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand: Timing Validation of Automotive Software. ISoLA 2008: 93-107
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Architectural Influence on the Timing Predictability. MMB 2008: 11-12
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm: Parametric Timing Analysis for Complex Architectures. RTCSA 2008: 367-376
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSascha A. Parduhn, Raimund Seidel, Reinhard Wilhelm: Algorithm visualization using concrete and abstract shape graphs. SOFTVIS 2008: 33-36
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter P. Puschner, Jan Staschulat, Per Stenström: The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embedded Comput. Syst. 7(3): (2008)
2007
129no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph M. Kirsch, Reinhard Wilhelm: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria ACM 2007
128no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 5, 2005, Palma de Mallorca, Spain Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph M. Kirsch, Reinhard Wilhelm: Grand challenges in embedded software. EMSOFT 2007: 2-6
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Fritz, Philipp Lucas, Reinhard Wilhelm: Exploiting SIMD Parallelism with the CGiSCompiler Framework. LCPC 2007: 246-260
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Bauer, Reinhard Wilhelm: Static Analysis of Dynamic Communication Systems by Partner Abstraction. SAS 2007: 249-264
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm: Logical characterizations of heap abstractions. ACM Trans. Comput. Log. 8(1): (2007)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm: Timing predictability of cache replacement policies. Real-Time Systems 37(2): 99-122 (2007)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm: SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). it - Information Technology 49(2): 118- (2007)
2006
121no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper: Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm: Towards Model-Driven Development of Hard Real-Time Systems. ASWSD 2006: 145-160
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilipp Lucas, Nicolas Fritz, Reinhard Wilhelm: The CGiS Compiler-A Tool Demonstration. CC 2006: 105-108
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm: Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. DDECS 2006: 15-20
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilipp Lucas, Nicolas Fritz, Reinhard Wilhelm: The Development of the Data-Parallel GPU Programming Language CGiS. International Conference on Computational Science (4) 2006: 200-203
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel: Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality. RTCSA 2006: 87-90
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Bauer, Reinhard Wilhelm: Abstract Interpretation of Graph Transformation. Simulation and Verification of Dynamic Systems 2006
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Bauer, Reinhard Wilhelm: Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper: Preface -- Workshop Trustworthy Software 2006. Trustworthy Software 2006
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker: A Definition and Classification of Timing Anomalies. WCET 2006
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. Logic Journal of the IGPL 14(5): 755-783 (2006)
2005
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: A semantics for procedure local heaps and its abstractions. POPL 2005: 296-309
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDierk Johannes, Raimund Seidel, Reinhard Wilhelm: Algorithm animation using shape analysis: visualising abstract executions. SOFTVIS 2005: 17-26
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh: Automatic Verification of Strongly Dynamic Software Systems. VSTTE 2005: 82-92
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: 2005 WCET Preface - Message from the Workshop Chair. WCET 2005
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
2004
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLothar Thiele, Reinhard Wilhelm: Perspectives Workshop: Design of Systems with Predictable Behaviour, 16.-19. November 2003 IBFI, Schloss Dagstuhl, Germany 2004
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm: Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. ASWSD 2004: 1-14
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm: Component-Wise Instruction-Cache Behavior Prediction. ATVA 2004: 211-229
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Static Program Analysis via 3-Valued Logic. CAV 2004: 15-30
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLothar Thiele, Reinhard Wilhelm: Abstracts Collection. Design of Systems with Predictable Behaviour 2004
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLothar Thiele, Reinhard Wilhelm: Design for Time-Predictability. Design of Systems with Predictable Behaviour 2004
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Berg, Jakob Engblom, Reinhard Wilhelm: Requirements for and Design of a Processor with Predictable Timing. Design of Systems with Predictable Behaviour 2004
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Timing Analysis and Timing Predictability. FMCO 2004: 317-323
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Formal Analysis of Processor Timing Models. SPIN 2004: 1-4
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone. VMCAI 2004: 309-322
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLothar Thiele, Reinhard Wilhelm: Design for Timing Predictability. Real-Time Systems 28(2-3): 157-177 (2004)
2003
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand: An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. DSN 2003: 625-632
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP 2003: 204-222
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Run-Time Guarantees for Real-Time Systems. FORMATS 2003: 166-167
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Ferdinand, Daniel Kästner, Florian Martin, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nicolas Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm: Validierung des Zeitverhaltens von kritischer Echtzeit-Software. GI Jahrestagung (1) 2003: 335-339
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm: Convenient User Annotations for a WCET Tool. WCET 2003: 17-20
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley: Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. WCET 2003: 39-43
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Logical Characterizations of Heap Abstractions CoRR cs.LO/0312014: (2003)
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhold Heckmann, Marc Langenbach, Stephan Thesing, Reinhard Wilhelm: The influence of processor architecture on the design and the results of WCET tools. Proceedings of the IEEE 91(7): 1038-1054 (2003)
2002
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv: Shape Analysis and Applications. The Compiler Design Handbook 2002: 175-218
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst. 24(3): 217-298 (2002)
2001
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Informatics - 10 Years Back. 10 Years Ahead. Springer 2001
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings Springer 2001
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm: Reliable and Precise WCET Determination for a Real-Life Processor. EMSOFT 2001: 469-485
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Tomasz Müldner, Raimund Seidel: Algorithm Explanation: Visualizing Abstract States and Invariants. Software Visualization 2001: 381-394
2000
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps: Shape Analysis. CC 2000: 1-17
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Putting static analysis to work for verification: A case study. ISSTA 2000: 26-38
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBeatrix Braune, Reinhard Wilhelm: Focusing in Algorithm Explanation. IEEE Trans. Vis. Comput. Graph. 6(1): 1-7 (2000)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Theiling, Christian Ferdinand, Reinhard Wilhelm: Fast and Precise WCET Prediction by Separated Cache and Path Analyses. Real-Time Systems 18(2/3): 157-179 (2000)
1999
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLY. Annie Liu, Reinhard Wilhelm: Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'99), Atlanta, Georgia, USA, May 5, 1999 ACM 1999
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm: Run-Time Guarantees for Real-Time Systems - The USES Approach. GI Jahrestagung 1999: 410-419
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Parametric Shape Analysis via 3-Valued Logic. POPL 1999: 105-118
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBeatrix Braune, Stephan Diehl, Andreas Kerren, Reinhard Wilhelm: Animation of the Generation and Computation of Finite Automata for Learning Software. WIA 1999: 39-47
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Timing Analysis and Validation for Real-Time Systems - Guest Editor's Introduction. Real-Time Systems 17(2-3): 127-129 (1999)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Ferdinand, Reinhard Wilhelm: Efficient and Precise Cache Behavior Prediction for Real-Time Systems. Real-Time Systems 17(2-3): 131-181 (1999)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Alt: Cache Behavior Prediction by Abstract Interpretation. Sci. Comput. Program. 35(2): 163-189 (1999)
1998
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Martin, Martin Alt, Reinhard Wilhelm, Christian Ferdinand: Analysis of Loops. CC 1998: 80-94
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Ferdinand, Reinhard Wilhelm: On Predicting Data Cache Behavior for Real-Time Systems. LCTES 1998: 16-30
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Solving Shape-Analysis Problems in Languages with Destructive Updating. ACM Trans. Program. Lang. Syst. 20(1): 1-50 (1998)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm: A Logic-Based Approach to Program Flow Analysis. Acta Inf. 35(6): 457-504 (1998)
1997
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Dieter Maurer: Übersetzerbau - Theorie, Konstruktion, Generierung, 2. Auflage Springer 1997
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhold Heckmann, Reinhard Wilhelm: A Functional Description of TEX's Formula Layout. J. Funct. Program. 7(5): 451-485 (1997)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Program Analysis: A Toolmaker's Perspective. SIGPLAN Notices 32(1): 120-121 (1997)
1996
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Reinhold Heckmann: Grundlagen der Dokumentenverarbeitung. Addison-Wesley 1996: I-XIV, 1-274
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven der Informatik", Dagstuhl, November 1993] Verlag C. H. Beck 1996
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Martin Alt, Florian Martin, Martin Raber: Parallel Implementation of Functional Languages. LOMAPS 1996: 279-295
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm: Solving Shape-Analysis Problems in Languages with Destructive Updating. POPL 1996: 16-31
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm: Cache Behavior Prediction by Abstract Interpretation. SAS 1996: 52-66
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Program Analysis - A Toolmaker's Perspective. ACM Comput. Surv. 28(4es): 177 (1996)
1995
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Dieter Maurer: Compiler design. Addison-Wesley 1995: I-XV, 1-606
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Sander, Martin Alt, Christian Ferdinand, Reinhard Wilhelm: CLaX - A Visualized Compiler. Graph Drawing 1995: 459-462
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Rauber, Gudula Rünger, Reinhard Wilhelm: An application specific parallel programming paradigm. HPCN Europe 1995: 735-740
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm: 2DT-FP: A parallel functional programming language on two-dimensional data. International Journal of Parallel Programming 23(5): 389-422 (1995)
1994
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Dieter Maurer: Les compilateurs - théorie, construction, génération. Masson 1994: I-XII, 1-612
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYosi Ben-Asher, Gudula Rünger, Reinhard Wilhelm, Assaf Schuster: Implementing 2DT on a Multiprocessor. CC 1994: 113-127
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Ferdinand, Helmut Seidl, Reinhard Wilhelm: Tree Automata for Code Selection. Acta Inf. 31(8): 741-760 (1994)
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter G. Bouillon, Georg Sander, Reinhard Wilhelm: Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung. Inform., Forsch. Entwickl. 9(2): 72-81 (1994)
1993
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm: 2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks. PARLE 1993: 42-55
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Alt, Georg Sander, Reinhard Wilhelm: Generation of Synchronization Code for Parallel Compilers. PLILP 1993: 420-421
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm: Transformation Development: TrafoLa-H Subsystem. PROSPECTRA Book 1993: 539-576
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Generische und generative Methoden. Perspektiven der Informatik 1993: 84-85
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Hans Hagen: Programmiersprachen. Perspektiven der Informatik 1993: 86-90
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Claus, Reinhard Wilhelm: Einleitung. Perspektiven der Informatik 1993: 9-12
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Otto Spaniol: Parallele und verteilte Systeme. Perspektiven der Informatik 1993: 90-94
1992
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Dieter Maurer: Übersetzerbau - Theorie, Konstruktion, Generierung Springer 1992
1991
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Möncke, Reinhard Wilhelm: Grammar Flow Analysis. Attribute Grammars, Applications and Systems 1991: 151-186
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Lipps, Ulrich Möncke, Reinhard Wilhelm: An Overview of the OPTRAN System. Attribute Grammars, Applications and Systems 1991: 505-506
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Attributive Reevaluation in OPTRAN. Attribute Grammars, Applications and Systems 1991: 507
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Ferdinand, Helmut Seidl, Reinhard Wilhelm: Tree Automata for Code Selection. Code Generation 1991: 30-50
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Börstler, Ulrich Möncke, Reinhard Wilhelm: Table Compression for Tree Automata. ACM Trans. Program. Lang. Syst. 13(3): 295-314 (1991)
1990
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm: A Logic-Based Approach to Data Flow Analysis Problem. PLILP 1990: 277-292
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Tree Tranformations, Functional Languages, and Attribute Grammars. WAGA 1990: 116-129
1989
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Foundations of Programming Languages John Wiley 1989
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Übersetzer für imperative, funktionale und logische Programmiersprachen: Ein Vergleich (eingeladener Vortrag). Software-Entwicklung 1989: 156-165
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWinfried Thome, Reinhard Wilhelm: Simulating Circular Attribute Grammars Through Attribute Reevaluation. Inf. Process. Lett. 33(2): 79-81 (1989)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter Maurer, Reinhard Wilhelm: MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen. Inform., Forsch. Entwickl. 4(2): 67-88 (1989)
1988
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Raber, Thomas Remmel, Erwin Hoffmann, Dieter Maurer, Fritz Müller, Hans-Georg Oberhauser, Reinhard Wilhelm: Complied Graph Reduction on a Processor Network. ARCS 1988: 198-212
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBeatrix Weisgerber, Reinhard Wilhelm: Two Tree Pattern Matchers for Code Selection. CC 1988: 215-229
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Lipps, Ulrich Möncke, Reinhard Wilhelm: OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences. CC 1988: 52-65
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Baston, H.-J. Bach, A. Lucks-Baus, Fritz Müller, Reinhard Wilhelm: Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren. Innovative Informations-Infrastrukturen 1988: 114-131
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Becker, Brigitte Kuhn, Dieter Maurer, Reinhard Wilhelm: SiATEX - eine interaktive Arbeitsumgeubng für TEX. Innovative Informations-Infrastrukturen 1988: 162-169
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Lipps, Ulrich Möncke, Matthias Olk, Reinhard Wilhelm: Attribute (Re)evaluation in OPTRAN. Acta Inf. 26(3): 213-239 (1988)
1987
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLF. Warren Burton, Dieter Maurer, Hans-Georg Oberhauser, Reinhard Wilhelm: A Space-Efficient Optimization of Call-by-Need. IEEE Trans. Software Eng. 13(6): 636-642 (1987)
1986
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernard Robinet, Reinhard Wilhelm: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings Springer 1986
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Grundlagen der Programmiersprachen Teubner 1986
1984
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Möncke, Beatrix Weisgerber, Reinhard Wilhelm: How to Implement a System for Manipulation of Attributed Trees. Fachtagung über Programmiersprachen 1984: 112-127
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Inverse Currying Transformation on Attribute Grammars. POPL 1984: 140-147
1983
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Symbolische Programmausführung - Das aktuelle Schlagwort. Informatik Spektrum 6(3): 170 (1983)
1982
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: LL- and LR-Attributed Grammars. Fachtagung über Programmiersprachen 1982: 151-164
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Imperative, prädikative und funktionale Programmierung (Kurzfassung). GI Jahrestagung 1982: 188-193
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Ganzinger, Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm: A Truly Generative Semantics-Directed Compiler Generator. SIGPLAN Symposium on Compiler Construction 1982: 172-184
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Messerschmidt, Reinhard Wilhelm: Constructors for Composed Objects. Comput. Lang. 7(2): 53-59 (1982)
1981
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Giegerich, Ulrich Möncke, Reinhard Wilhelm: Invariance of Approximate Semantics with Respect to Program Transformations. GI Jahrestagung 1981: 1-10
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: A Modified Tree-to-Tree Correction Problem. Inf. Process. Lett. 12(3): 127-132 (1981)
1980
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings Springer 1980
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: CAD-Fachgespräch, GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings Springer 1980
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngrid Glasner, Ulrich Möncke, Reinhard Wilhelm: OPTRAN, a Language for the Specification of Program Transformations. Fachtagung über Programmiersprachen 1980: 125-142
1979
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Computation and Use of Data Flow Information in Optimizing Compilers. Acta Inf. 12: 209-225 (1979)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Attributierte Grammatiken. Informatik Spektrum 2(3): 123-130 (1979)
1978
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Giegerich, Reinhard Wilhelm: Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars. Inf. Process. Lett. 7(6): 279-284 (1978)
1977
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Giegerich, Reinhard Wilhelm: Implementierbarkeit attributierter Grammatiken. GI Jahrestagung 1977: 17-36
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Ganzinger, Knut Ripken, Reinhard Wilhelm: Automatic Generation of Optimizing Multipass Compilers. IFIP Congress 1977: 535-540
1976
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm, Knut Ripken, Joachim Ciesinger, Harald Ganzinger, Walter Lahner, R. Nollmann: Design Evaluation of the Compiler Generating System MUGI. ICSE 1976: 571-576
1975
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Ganzinger, Reinhard Wilhelm: Verschränkung von Compiler-Moduln. GI Jahrestagung 1975: 654-665
1974
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Wilhelm: Code-Optimierung Mittels Attributierter Transformationsgrammatiken. GI Jahrestagung 1974: 257-266

Coauthor Index

1Luís Almeida [106]
2Martin Alt [46] [47] [55] [58] [60] [69] [70]
3Sebastian Altmeyer [132] [144]
4Serge Autexier [113] [121]
5H.-J. Bach [26]
6Roswitha Bardohl [139]
7M. Baston [26]
8Bernd Becker [112] [118] [122]
9Gerhard Becker [25]
10Yosi Ben-Asher [48] [51] [53]
11Albert Benveniste [106]
12Christoph Berg [99] [123]
13Guillem Bernat [130] [140]
14Jürgen Börstler [36]
15Peter G. Bouillon [49]
16Bruno Bouyssounouse [106]
17Beatrix Braune [73] [78]
18Angelika Müller-von Brochowski [139]
19F. Warren Burton [23]
20Giorgio C. Buttazzo [106]
21Paul Caspi [106]
22Joachim Ciesinger [3]
23Volker Claus [43]
24Ivica Crnkovic [106]
25Werner Damm [106] [116] [122]
26Stephan Diehl [73]
27Nurit Dor [108]
28Friedrich Eisenbrand [116]
29Jochen Eisinger [112] [118]
30Jakob Engblom [89] [99] [106] [130]
31Andreas Ermedahl [130]
32Rolf Ernst [135]
33Alexander A. Evstiougov-Babaev [91]
34Christian Fecht [46]
35Christian Ferdinand [37] [46] [50] [55] [58] [68] [69] [70] [71] [75] [77] [82] [90] [91] [94] [104] [120] [130] [134] [137] [140]
36John Field [108]
37Gerhard Fohler [106]
38Frank Fontaine [91]
39Nissim Francez [35] [66]
40E. Frank [135]
41Martin Fränzle [122]
42Nicolas Fritz [91] [117] [119] [126]
43Harald Ganzinger [2] [3] [4] [15]
44Marisol García-Valls [106]
45Thomas Gawlitza (Thomas Martin Gawlitza) [143]
46Robert Giegerich [5] [6] [13] [15]
47Ingrid Glasner [9]
48Denis Gopan [108]
49Daniel Grund [123] [137] [144] [148]
50Hans Hagen [44]
51Reinhold Heckmann [62] [64] [82] [87] [90] [91] [94] [104] [120] [130] [134]
52Thomas Heinz [142]
53Jörg Herter [144]
54Erwin Hoffmann [29]
55Niklas Holsti [130] [140]
56Christian Humbert [132]
57Marek Jersak [134]
58Dierk Johannes [109]
59Daniel Kästner [75] [91] [134]
60Andreas Kerren [73]
61Christoph M. Kirsch (Christoph Meyer) [127] [129] [138]
62Hermann Kopetz [106]
63Jörg Kreiker (Jörg Bauer) [110] [114] [115] [125] [147]
64Brigitte Kuhn [25]
65Walter Lahner [3]
66Yassine Lakhnech [106]
67Marc Langenbach [75] [82] [87] [91] [94]
68François Laroussinie [106]
69Luciano Lavagno [106]
70Jérôme Leroux [143]
71Tal Lev-Ami [79] [108]
72Christian Lindig [139]
73Giuseppe Lipari [106]
74Peter Lipps [24] [27] [39]
75Björn Lisper [132]
76Y. Annie Liu [76]
77Jacques Loeckx [21] [33]
78Alexey Loginov [108]
79Philipp Lucas [117] [119] [126] [149] [150]
80A. Lucks-Baus [26]
81Matteo Maffei [145]
82Claire Maiza (Claire Burguière) [144]
83Roman Manevich [108]
84Florence Maraninchi [106]
85Florian Martin [58] [60] [69] [70] [75] [82] [91]
86Dieter Maurer [23] [25] [29] [30] [41] [52] [56] [65]
87Kurt Mehlhorn [21] [33]
88Stephan Merz [113] [121]
89Jan Messerschmidt [14]
90Alexander Metzner [116] [118]
91Tulika Mitra [130]
92Ulrich Möncke [9] [13] [15] [20] [24] [27] [36] [39] [40]
93Frank Mueller [130]
94Tomasz Müldner [81]
95Fritz Müller [26] [29]
96Marco Di Natale [135]
97R. Nollmann [3]
98Hans-Georg Oberhauser [23] [29]
99Ernst-Rüdiger Olderog [122]
100Matthias Olk [24]
101Sascha A. Parduhn [131]
102Oleg Parshin [103] [120] [150]
103Philipp Peti [106]
104Markus Pister [134] [137]
105Andreas Podelski [122]
106Ilia Polian [112] [118]
107Isabelle Puaut [130]
108Juan Antonio de la Puente [106]
109Peter P. Puschner [130] [140]
110Martin Raber [29] [60]
111Abdur Rakib [103]
112G. Ramalingam (Ganesan Ramalingam) [108]
113Famantanantsoa Randimbivololona [94]
114Thomas Rauber [54]
115Jan Reineke [112] [123] [137] [143] [144] [148]
116Thomas Remmel [29]
117Christian Renz [120]
118Thomas W. Reps [59] [67] [74] [79] [80] [85] [86] [88] [93] [102] [108] [110] [111] [124]
119Kai Richter [134]
120Noam Rinetzky [108] [110]
121Knut Ripken [3] [4]
122Bernard Robinet [22]
123Michael Rodeh [35] [66]
124Gudula Rünger [48] [51] [53] [54]
125Shmuel Sagiv (Mooly Sagiv) [35] [59] [66] [67] [74] [79] [80] [85] [86] [88] [93] [102] [108] [110] [111] [124]
126Georg Sander [47] [49] [55]
127Alberto L. Sangiovanni-Vincentelli [106] [135]
128Norman Scaife [106]
129Marc Schlickling [134] [137]
130Michael Schmidt [75] [82] [91]
131Jörn Schneider [75]
132Assaf Schuster [48] [51] [53]
133Raimund Seidel [81] [109] [131]
134Helmut Seidl [37] [50] [143] [146]
135Gennady Shmonin [116]
136Martin Sicks [91]
137Joseph Sifakis [106]
138Robert de Simone [106]
139Jean Souyris [94]
140Otto Spaniol [42]
141Jan Staschulat [130]
142Per Stenström [130]
143Grégoire Sutre [143]
144Lili Tan [150]
145Andrzej Tarlecki [147]
146Henrik Theiling [75] [77] [82] [90] [91]
147Stephan Thesing [75] [82] [87] [89] [91] [94] [103] [112] [118] [130]
148Lothar Thiele [95] [100] [101] [105] [149]
149Winfried Thome [31]
150Martin Törngren [106]
151Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre) [113] [121]
152Benoit Triquet [149]
153Theo Ungerer [149]
154Moshe Y. Vardi [147]
155Paulo Veríssimo [106]
156Björn Wachter [112] [136] [144] [150]
157Beatrix Weisgerber [20] [28]
158Andy J. Wellings [106]
159David B. Whalley [89] [130]
160Stephan Wilhelm [91] [144]
161Tim A. C. Willemse [106]
162Sebastian Winkel [116]
163Hans-Jörg Wolff [120]
164Pierre Wolper [113] [121]
165Eran Yahav [93] [108] [111]
166Wang Yi [106]
167Greta Yorsh [88] [108] [124]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 26 02:31:23 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