Bernhard Steffen Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta: CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 2009: 154-161
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: From Bio-jETI Process Models to Native Code. ICECCS 2009: 95-101
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen: Keynote: Continuous Model Driven Engineering. ICECCS 2009
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Sven Jörges, Christian Wagner, Tiziana Margaria: Maintenance, or the 3rd dimension of eXtreme model-driven design. ICSM 2009: 483-486
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen: Synthesizing Semantic Web Service Compositions with jMosel and Golog. International Semantic Web Conference 2009: 392-407
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Continuous Model-Driven Engineering. IEEE Computer 42(10): 106-109 (2009)
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike Hinchey, Tiziana Margaria, Bernhard Steffen: Guest Editor's introduction. STTT 11(3): 173-174 (2009)
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria: Dynamic testing via automata learning. STTT 11(4): 307-324 (2009)
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria: LearnLib: a framework for extrapolating behavioral models. STTT 11(5): 393-407 (2009)
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Seyfried, Oliver Passon, Bernhard Steffen, Maik Boltes, Tobias Rupprecht, Wolfram Klingsch: New Insights into Pedestrian Flow Through Bottlenecks. Transportation Science 43(3): 395-406 (2009)
2008
161no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings Springer 2008
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. ISBRA 2008: 445-456
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt: SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. ISoLA 2008: 139-154
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Agile IT: Thinking in User-Centric Models. ISoLA 2008: 490-502
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh: The jABC Approach to Rigorous Collaborative Development of SCM Applications. ISoLA 2008: 724-737
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten: Hybrid test of web applications with webtest. TAV-WEB 2008: 1-7
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Christian Kubczak, Bernhard Steffen: Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinformatics 9(S-4): (2008)
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen, Alexander Sczyrba, Sven Hartmeier, Robert Giegerich: GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. BMC Bioinformatics 9(S-4): (2008)
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Jörges, Tiziana Margaria, Bernhard Steffen: Genesys: service-oriented construction of property conform code generators. ISSE 4(4): 361-384 (2008)
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Preface. Theor. Comput. Sci. 404(3): 185 (2008)
2007
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Raffelt, Bernhard Steffen, Tiziana Margaria: Dynamic Testing Via Automata Learning. Haifa Verification Conference 2007: 136-152
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker: The LearnLib in FMICS-jETI. ICECCS 2007: 340-352
149no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Christian Winkler, Christian Kubczak, Bernhard Steffen, Marco Brambilla, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Christina Tziviskou: The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison. ICEIS (4) 2007: 422-429
148no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA 2007: 85-97
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Middleware: just another level for orchestration. MNCNA 2007: 4
146no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaxim Reshetnyak, Bernhard Steffen: Pseudo-Spectral Modeling in Geodynamo. PARCO 2007: 491-498
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. SEW 2007: 214-226
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat: Service-Oriented Mediation with jETI/jABC: Verification and Export. Web Intelligence/IAT Workshops 2007: 144-147
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kubczak, Tiziana Margaria, Christian Winkler, Bernhard Steffen: An Approach to Discovery with miAamics and jABC. Web Intelligence/IAT Workshops 2007: 157-160
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Prakash Narayan: Full Life-Cycle Support for End-to-End Processes. IEEE Computer 40(11): 64-73 (2007)
2006
141no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers Springer 2006
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen: Completing and Adapting Models of Biological Processes. BICC 2006: 43-54
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Data-Flow Analysis as Model Checking Within the jABC. CC 2006: 101-104
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria: Continuous Engineering of Embedded systems. DIPES 2006: 45-54
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Raffelt, Bernhard Steffen: LearnLib: A Library for Automata Learning and Experimentation. FASE 2006: 377-380
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak: Model-Driven Development with the jABC. Haifa Verification Conference 2006: 92-108
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. ICECCS 2006: 169-176
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Jörges, Tiziana Margaria, Bernhard Steffen: FormulaBuilder: a tool for graph-based modelling and generation of formulae. ICSE 2006: 815-818
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen: Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. ISoLA 2006: 303-308
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Bajohr, Tiziana Margaria, Bernhard Steffen: Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. ISoLA 2006: 317-324
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat: The FMICS-jETI Platform: Status and Perspectives. ISoLA 2006: 402-407
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Oliver Rüthing, Bernhard Steffen: ViDoC - Visual Design of Optimizing Compilers. Program Analysis and Compilation 2006: 145-159
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Service Engineering: Linking Business and IT. SEW 2006: 33-36
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen: jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). SPIN 2006: 293-298
127no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Datenflussanalyse als Modelchecking im jABC. Software Engineering 2006: 125-130
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Service Engineering: Linking Business and IT. IEEE Computer 39(10): 45-55 (2006)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Special Section on "Leveraging Formal Methods". STTT 8(6): 467-469 (2006)
2005
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck: Taming Interface Specifications. CONCUR 2005: 548-561
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Ralf Nagel, Bernhard Steffen: Remote Integration and Coordination of Verification Tools in JETI. ECBS 2005: 431-436
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl, Bernhard Steffen: Interprocedural Herbrand Equalities. ESOP 2005: 31-45
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTherese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen: On the Correspondence Between Conformance Testing and Regular Inference. FASE 2005: 175-189
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen, Manfred Reitenspieß: Service-Oriented Design: The Roots. ICSOC 2005: 450-464
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Second-Order Semantic Web. SEW 2005: 219-227
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen, Manfred Reitenspieß: Service-Oriented Design: The jABC Approach. Service Oriented Computing 2005
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Ralf Nagel, Bernhard Steffen: jETI: A Tool for Remote Tool Integration. TACAS 2005: 557-562
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: From the How to the What. VSTTE 2005: 448-459
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services. WRAC 2005: 257-268
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGodehard Sutmann, Bernhard Steffen: A particle-particle particle-multigrid method for long-range interactions in molecular simulations. Computer Physics Communications 169(1-3): 343-346 (2005)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Harald Raffelt, Bernhard Steffen: Knowledge-based relevance filtering for efficient system-level test-based model generation. ISSE 1(2): 147-156 (2005)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen: Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. International Journal of Parallel Programming 33(6): 585-611 (2005)
2004
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß: International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings Department of Computer Science, University of Cyprus 2004
110no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Giorgio Levi: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings Springer 2004
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen: Major Threat: From Formal Methods without Tools to Tools without Formal Methods. ICECCS 2004: 15
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2-3): 107-123 (2004)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Bernhard Steffen: Behavior-based model construction. STTT 6(1): 4-14 (2004)
2003
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Oliver Niese, Bernhard Steffen: Domain-Specific Optimization in Automata Learning. CAV 2003: 315-327
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Tiziana Margaria, Bernhard Steffen: Test-Based Model Generation For Legacy Systems. ITC 2003: 971-980
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Braun, Tiziana Margaria, Bernhard Steffen: The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. Petri Net Technology for Communication-Based Systems 2003: 363-382
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Hardi Hungar: Behavior-Based Model Construction. VMCAI 2003: 5-19
2002
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide: Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. FASE 2002: 336-340
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen: Model Generation by Moderated Regular Extrapolation. FASE 2002: 80-95
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Tiziana Margaria, Bernhard Steffen: Model Generation for Legacy Systems. RISSEF 2002: 167-183
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Oliver Niese, Bernhard Steffen: Demonstration of an Automated Integrated Test Environment for Web-Based Applications. SPIN 2002: 250-253
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
2001
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide: Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. FASE 2001: 233-248
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Volker Braun: Coarse-Granular Model Checking in Practice. SPIN 2001: 304-312
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen: Incremental Requirement Specification for Evolving Systems. Nord. J. Comput. 8(1): 65-87 (2001)
2000
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelmut Seidl, Bernhard Steffen: Constraint-Based Inter-Procedural Analysis of Parallel Programs. ESOP 2000: 351-365
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen: Incremental Requirement Specification for Evolving Systems. FIW 2000: 145-162
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Rüthing, Jens Knoop, Bernhard Steffen: Sparse Code Motion. POPL 2000: 170-183
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelmut Seidl, Bernhard Steffen: Constraint-Based Inter-Procedural Analysis of Parallel Programs. Nord. J. Comput. 7(4): 375- (2000)
1999
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst-Rüdiger Olderog, Bernhard Steffen: Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) Springer 1999
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Oliver Rüthing, Bernhard Steffen: Expansion-Based Removal of Semantic Partial Redundancies. CC 1999: 91-106
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria: METAFrame in Practice: Design of Intelligent Network Services. Correct System Design 1999: 390-415
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Bernhard Steffen, Rance Cleaveland: On the Evolution of Reactive Components: A Process-Algebraic Approach. FASE 1999: 161-175
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Bernhard Steffen: Code Motion for Explicitly Parallel Programs. PPOPP 1999: 13-24
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Rüthing, Jens Knoop, Bernhard Steffen: Detecting Equalities of Variables: Combining Efficiency with Precision. SAS 1999: 232-247
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, David A. Schmidt, Bernhard Steffen: Model-Checking: A Tutorial Introduction. SAS 1999: 330-354
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen: The ETI Online Service in Action. TACAS 1999: 439-443
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Burkart, Bernhard Steffen: Model Checking the Full Modal mu-Calculus for Infinite Sequential Processes. Theor. Comput. Sci. 221(1-2): 251-270 (1999)
1998
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen: Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings Springer 1998
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga: Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers Springer 1998
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Dirk Koschützki, Bernhard Steffen: Basic-Block Graphs: Living Dinosaurs? CC 1998: 65-79
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Oliver Rüthing, Bernhard Steffen: Code Motion and Code Placement: Just Synonyms? ESOP 1998: 154-169
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. FASE 1998: 188-204
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Schmidt, Bernhard Steffen: Program Analysis as Model Checking of Abstract Interpretations. SAS 1998: 351-380
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo: Automatic Error Location for IN Service Definition. Services and Visualization: Towards User-Friendly Design 1998: 222-237
1997
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Burkart, Bernhard Steffen: Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes. ICALP 1997: 419-429
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAchim Basermann, Bernhard Steffen: Preconditioned Solvers for Large Eigenvalue Problems on Massively Parallel Computers and Workstation Clusters. PARCO 1997: 565-572
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAchim Basermann, Bernhard Steffen: New Preconditioned Solvers for Large Sparse Eigenvalue Problems on Massively Parallel Computers. PPSC 1997
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael von der Beeck, Tiziana Margaria, Bernhard Steffen: A formal requirements engineering method for specification, synthesis, and verification. SEE 1997: 131-144
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen: Unifying Models. STACS 1997: 1-20
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen: Graphs in METAFrame: The Unifying Power of Polymorphism. TACAS 1997: 112-129
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Tiziana Margaria, Bernhard Steffen: Editorial. STTT 1(1-2): 1-5 (1997)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. STTT 1(1-2): 64-85 (1997)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Volker Braun: The Electronic Tool Integration Platform: Concepts and Design. STTT 1(1-2): 9-30 (1997)
1996
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings Springer 1996
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization. AMAST 1996: 608-611
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: The METAFrame'95 Environment. CAV 1996: 450-453
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen: Non-monotone Fixpoint Iterations to Resolve Second Order Effects. CC 1996: 106-120
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Burkart, Didier Caucal, Bernhard Steffen: Bisimulation Collapse and the Process Taxonomy. CONCUR 1996: 247-262
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen: Property-Oriented Expansion. SAS 1996: 22-41
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß: A Constraint-Oriented Service Creation Environment. TACAS 1996: 418-421
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen: DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. TACAS 1996: 422-426
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria: Tools Get Formal Methods into Practice. ACM Comput. Surv. 28(4es): 126 (1996)
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria: Method Engineering for Real-Life Concurrent Systems. ACM Comput. Surv. 28(4es): 56 (1996)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Bernhard Steffen, Jürgen Vollmer: Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. ACM Trans. Program. Lang. Syst. 18(3): 268-299 (1996)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen: Preface. Electr. Notes Theor. Comput. Sci. 5: (1996)
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott A. Smolka, Bernhard Steffen: Priority as Extremal Probability. Formal Asp. Comput. 8(5): 585-606 (1996)
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne Graf, Bernhard Steffen, Gerald Lüttgen: Compositional Minimisation of Finite State Systems Using Interface Specifications. Formal Asp. Comput. 8(5): 607-616 (1996)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Oliver Rüthing, Bernhard Steffen: Towards a tool kit for the automatic generation of interprocedural data flow analyses. J. Prog. Lang. 4(4): 211-246 (1996)
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Andreas Claßen: Heterogeneous Analysis and Verification for Distributed Systems. Software - Concepts and Tools 17(1): 13-25 (1996)
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Foreword. Software - Concepts and Tools 17(2): 49 (1996)
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools 17(2): 78- (1996)
1995
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings Springer 1995
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria: The Fixpoint-Analysis Machine. CONCUR 1995: 72-87
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBurkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski: An Approach to Intelligent Software Library Management. DASFAA 1995: 71-78
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. Hybrid Systems 1995: 604-615
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Burkart, Didier Caucal, Bernhard Steffen: An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes. MFCS 1995: 423-433
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Oliver Rüthing, Bernhard Steffen: The Power of Assignment Motion. PLDI 1995: 233-245
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: A Constraint Oriented Proof Methodology Based on Modal Transition Systems. TACAS 1995: 17-40
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Bernhard Steffen, Jürgen Vollmer: Parallelism for Free: Bitvector Analyses -> No State Explosion! TACAS 1995: 264-289
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Andreas Claßen: The META-Frame: An Environment for Flexible Tool Management. TAPSOFT 1995: 791-792
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen: Reactive, Generative and Stratified Models of Probabilistic Processes Inf. Comput. 121(1): 59-80 (1995)
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Burkart, Bernhard Steffen: Composition, Decomposition and Model Checking of Pushdown Processes. Nord. J. Comput. 2(2): 89-125 (1995)
1994
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Burkart, Bernhard Steffen: Pushdown Processes: Parallel Composition and Model Checking. CONCUR 1994: 98-113
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: The Methodology of Modal Constraints. Formal Systems Specification 1994: 405-435
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Oliver Rüthing, Bernhard Steffen: Partial Dead Code Elimination. PLDI 1994: 147-158
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBurkhard Freitag, Tiziana Margaria, Bernhard Steffen: A Pragmatic Approach to Software Synthesis. Workshop on Interface Definition Languages 1994: 46-58
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Oliver Rüthing, Bernhard Steffen: Optimal Code Motion: Theory and Practice. ACM Trans. Program. Lang. Syst. 16(4): 1117-1155 (1994)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Anna Ingólfsdóttir: Characteristic Formulae for Processes with Divergence Inf. Comput. 110(1): 149-163 (1994)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Bernhard Steffen: Local Model-Checking for Context-Free Processes. Nord. J. Comput. 1(3): 364- (1994)
1993
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Bernhard Steffen: Local Model Checking for Context-Free Processes. ICALP 1993: 593-605
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Carsten Weise: Deciding Testing Equivalence for Real-Time Processes with Dense Time. MFCS 1993: 703-713
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Joachim Parrow, Bernhard Steffen: The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM Trans. Program. Lang. Syst. 15(1): 36-72 (1993)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Bernhard Steffen: A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. Formal Methods in System Design 2(2): 121-147 (1993)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen: Generating Data Flow Analysis Algorithms from Modal Specifications. Sci. Comput. Program. 21(2): 115-139 (1993)
1992
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Oliver Rüthing, Bernhard Steffen: Lazy code motion (with retrospective) Best of PLDI 1992: 460-472
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Marion Klein, Bernhard Steffen: Faster Model Checking for the Modal Mu-Calculus. CAV 1992: 410-422
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Bernhard Steffen: The Interprocedural Coincidence Theorem. CC 1992: 125-140
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf Burkart, Bernhard Steffen: Model Checking for Context-Free Processes. CONCUR 1992: 123-137
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Knoop, Oliver Rüthing, Bernhard Steffen: Lazy Code Motion. PLDI 1992: 224-234
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, C. Barry Jay, Michael Mendler: Compositional characterization of observable program properties. ITA 26: 403-424 (1992)
1991
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Bernhard Steffen: A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. CAV 1991: 48-58
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Bernhard Steffen: Computing Behavioural Relations, Logically. ICALP 1991: 127-138
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen: Data Flow Analysis as Model Checking. TACS 1991: 346-365
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Jens Knoop, Oliver Rüthing: Efficient Code Motion and an Adaption to Strength Reduction. TAPSOFT, Vol.2 1991: 394-415
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Jens Knoop: Finite Constants: Characterizations of a New Decidable Set of Constants. Theor. Comput. Sci. 80(2): 303-318 (1991)
1990
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne Graf, Bernhard Steffen: Compositional Minimization of Finite State Systems. CAV 1990: 186-196
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Bernhard Steffen: A Preorder for Partial Process Specifications. CONCUR 1990: 141-151
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott A. Smolka, Bernhard Steffen: Priority as Extremal Probability. CONCUR 1990: 456-466
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Jens Knoop, Oliver Rüthing: The Value Flow Graph: A Program Representation for Optimal Program Transformations. ESOP 1990: 389-405
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts: Reactive, Generative, and Stratified Models of Probabilistic Processes LICS 1990: 130-141
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Bernhard Steffen: When is ``Partial'' Adequate? A Logic-Based Proof Technique Using Partial Specifications LICS 1990: 440-449
1989
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Joachim Parrow, Bernhard Steffen: The Concurrency Workbench. Automatic Verification Methods for Finite State Systems 1989: 24-37
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen: Characteristic Formulae. ICALP 1989: 723-732
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Jens Knoop: Finite Constants: Characterizations of a New Decidable Set of Constants. MFCS 1989: 481-491
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen: Optimal Data Flow Analysis via Observational Equivalence. MFCS 1989: 492-502
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Joachim Parrow, Bernhard Steffen: A Semantics Based Verification Tool for Finite State Systems. PSTV 1989: 287-302
1988
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen: Implementation of a resonant cavity package on MIMD computers. Parallel Computing 7(1): 55-63 (1988)
1987
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen: Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation. TAPSOFT, Vol.1 1987: 52-68

Coauthor Index

1Markus Bajohr [132]
2Marco Bakera [148]
3Achim Basermann [72] [73]
4Michael von der Beeck [69] [71]
5Therese Berg [121] [163]
6Antonia Bertolino [171]
7Gordon S. Blair [171]
8Maik Boltes [162]
9Marco Brambilla [149]
10Volker Braun [48] [59] [63] [64] [66] [69] [75] [83] [96] [104]
11Ed Brinksma [47]
12Georg Brune [97]
13Olaf Burkart [21] [36] [37] [43] [61] [74] [82]
14Radu Calinescu [171]
15Didier Caucal [43] [61]
16Stefano Ceri [149]
17Dario Cerizza [149]
18Andreas Claßen [39] [46] [48] [50] [59] [63] [64] [69]
19Rance Cleaveland [3] [7] [8] [12] [17] [18] [23] [26] [27] [47] [68] [87]
20Achim Dannecker [69]
21Federico Michele Facca [149]
22Burkhard Freitag [33] [45]
23Carsten Friedrich [69]
24Arno Fritsch [133]
25Alfons Geser [62]
26Robert Giegerich [154]
27Rob J. van Glabbeek [9] [38]
28Paul Grace [171]
29Susanne Graf [13] [52]
30Olga Grinchtein [121]
31Andreas Hagerer [97] [101] [102]
32Sven Hartmeier [154]
33Michael G. Hinchey (Mike Hinchey) [140] [165]
34Martina Hörmann [157]
35Hardi Hungar [29] [30] [100] [101] [102] [103] [105] [106] [107]
36Hans-Dieter Ide [97] [102]
37Anna Ingólfsdóttir [31]
38Paola Inverardi [171]
39Malte Isberner [167]
40Valérie Issarny [171]
41C. Barry Jay [19]
42Bengt Jonsson [93] [95] [121] [171]
43Sven Jörges [134] [136] [153] [168]
44Georg Jung [159]
45Marion Klein [23] [46] [58]
46Wolfram Klingsch [162]
47Jens Knoop [5] [10] [14] [15] [20] [22] [24] [32] [34] [40] [42] [46] [51] [55] [58] [62] [78] [79] [85] [86] [89] [92]
48Dirk Koschützki [58] [69] [79]
49Jürgen Kreileder [83]
50Christian Kubczak [131] [133] [135] [136] [143] [144] [149] [155] [167]
51Marta Z. Kwiatkowska [171]
52Anna-Lena Lamprecht [127] [139] [154] [160] [170]
53Kim Guldstrand Larsen (Kim G. Larsen) [35] [41] [44] [47] [67]
54Martin Leucker [121] [150]
55Giorgio Levi [110]
56Mirko Loghi [112]
57Gerald Lüttgen [52] [62]
58Tiziana Margaria (Tiziana Margaria-Steffen) [33] [39] [45] [46] [47] [48] [49] [50] [56] [57] [59] [63] [64] [65] [66] [68] [69] [71] [75] [77] [80] [83] [88] [93] [95] [96] [97] [98] [99] [100] [102] [104] [105] [108] [111] [112] [113] [115] [116] [117] [118] [119] [120] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [138] [139] [140] [141] [143] [144] [145] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [163] [164] [165] [166] [167] [168] [170]
59Thomas Mender [157]
60Michael Mendler [19]
61Maik Merten [156] [164]
62Daniel Meyer [167]
63Markus Müller-Olm [84] [87] [122]
64Gustaf Naeser [93] [95]
65Ralf Nagel [117] [123] [136] [157] [159]
66Prakash Narayan [142]
67Stefan Naujokat [131] [144]
68Oliver Niese [97] [99] [101] [102] [106]
69Rita Nisius [59]
70Marc Njoku [135]
71Jan Nyström [93] [95]
72Ernst-Rüdiger Olderog [90]
73Joachim Parrow [3] [7] [27]
74Oliver Passon [162]
75Anna Philippou [111]
76Joachim Posegga [80]
77Graziano Pravadelli [112]
78Harald Raffelt [113] [121] [137] [140] [150] [151] [156] [163] [164]
79James L. Rash [140]
80Manfred Reitenspieß [59] [111] [118] [120]
81Clemens D. Renner [148]
82Maxim Reshetnyak [146]
83Christopher A. Rouff (Christopher Rouff) [140]
84Roland Rückert [80]
85Tobias Rupprecht [162]
86Oliver Rüthing [10] [15] [20] [24] [32] [34] [42] [51] [62] [78] [85] [89] [92] [130]
87Antonino Sabetta [171]
88David A. Schmidt [76] [84]
89Falk Schreiber [69]
90Wolfgang Schubert [159]
91Alexander Sczyrba [154]
92Helmut Seidl [91] [94] [122]
93Armin Seyfried [162]
94A. Prasad Sistla [124]
95Scott A. Smolka [9] [11] [38] [53]
96Godehard Sutmann [114]
97Massimo Tivoli [171]
98Chris M. N. Tofts [9]
99Christian Topnik [128]
100Hong Trinh [157]
101Christina Tziviskou [149]
102Emanuele Della Valle [149]
103Horst Voigt [159]
104Jürgen Vollmer [40] [55]
105Christian Wagner [168]
106Carsten Weise [28] [35] [41] [44] [67]
107Eva Wilhelm [128]
108Christian Winkler [143] [149]
109Haiseung Yoo [75]
110Lenore D. Zuck [124]
111Ulrich Zukowski [45]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)