dblp.uni-trier.de

Martin Wirsing

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2007
121EEM. Birna van Riemsdijk, Martin Wirsing: Using Goals for Flexible Service Orchestration. SOCASE 2007: 31-48
120EEMartin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister: A Rewriting Logic Framework for Soft Constraints. Electr. Notes Theor. Comput. Sci. 176(4): 181-197 (2007)
2006
119 José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing: Foundations of Global Computing, 20.-25. February 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
118EEMartin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder: Semantic-Based Development of Service-Oriented Systems. FORTE 2006: 24-45
117EEMartin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro: SensoriaProcess Calculi for Service-Oriented Computing. TGC 2006: 30-50
116EEHubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing: A Component Model for Architectural Programming. Electr. Notes Theor. Comput. Sci. 160: 75-96 (2006)
115EEAlexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe: Specification and refinement of mobile systems in MTLA and mobile UML. Theor. Comput. Sci. 351(2): 184-202 (2006)
2005
114 Dang Van Hung, Martin Wirsing: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings Springer 2005
113EEJosé Luiz Fiadeiro, Ugo Montanari, Martin Wirsing: 05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing 2005
112 Nora Koch, Piero Fraternali, Martin Wirsing: Editorial. J. Web Eng. 4(1): 1-2 (2005)
111EEDirk Pattinson, Martin Wirsing: A coordination approach to mobile components. Theor. Comput. Sci. 331(2-3): 457-483 (2005)
2004
110 Martin Wirsing, Alexander Knapp, Simonetta Balsamo: Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers Springer 2004
109 Nora Koch, Piero Fraternali, Martin Wirsing: Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings Springer 2004
108EEAlexander Knapp, Stephan Merz, Martin Wirsing: Refining Mobile UML State Machines. AMAST 2004: 274-288
107EEAxel Rauschmayer, Alexander Knapp, Martin Wirsing: Consistency Checking in an Infrastructure for Large-Scale Generative. ASE 2004: 238-247
106EEDiego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing: Mobile UML Statecharts with Localities. Global Computing 2004: 34-58
105EEHubert Baumeister, Alexander Knapp, Martin Wirsing: Property-Driven Development. SEFM 2004: 96-102
2003
104 Martin Wirsing, Dirk Pattinson, Rolf Hennicker: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers Springer 2003
103EEStephan Merz, Martin Wirsing, Júlia Zappe: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. FASE 2003: 87-101
102EEHubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing: UML for Global Computing. Global Computing 2003: 1-24
101EERichard Krutisch, Philipp Meier, Martin Wirsing: The Agent Component Approach, Combining Agents, and Components. MATES 2003: 1-12
100EEPhilipp Meier, Martin Wirsing: Towards a Formal Specification for the AgentComponent. Objects, Agents, and Features 2003: 175-188
2002
99EENora Koch, Martin Wirsing: The Munich Reference Model for Adaptive Hypermedia Applications. AH 2002: 213-222
98EEDirk Pattinson, Martin Wirsing: Making Components Move: A Separation of Concerns Approach. FMCO 2002: 487-507
97EEHubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing: Extending Activity Diagrams to Model Mobile Systems. NetObjectDays 2002: 278-293
96EEMartin Wirsing, Alexander Knapp: View Consistency in Software Development. RISSEF 2002: 341-357
95EELuis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki: AGILE: Software Architecture for Mobility. WADT 2002: 1-33
94EEBernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing: MultiMedia Instruction in Safe and Secure Systems. WADT 2002: 82-117
93EEMartin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2): 519-560 (2002)
2001
92EEBernhard Reus, Martin Wirsing, Rolf Hennicker: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE 2001: 300-317
91 Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing: Specifying Component Invariants with OCL. GI Jahrestagung (1) 2001: 600-607
90EEIman Poernomo, John N. Crossley, Martin Wirsing: Programs, Proofs and Parametrized Specifications. WADT 2001: 280-304
89EEMingsheng Ying, Martin Wirsing: Recursive equations in higher-order process calculi. Theor. Comput. Sci. 266(1-2): 839-852 (2001)
2000
88EEMingsheng Ying, Martin Wirsing: Approximate Bisimilarity. AMAST 2000: 309-322
87EEManfred Broy, Martin Wirsing: Invited Talk: Algebraic State Machines. AMAST 2000: 89-188
1999
86EEPietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: An Event-Based Structural Operational Semantics of Multi-Threaded Java. Formal Syntax and Semantics of Java 1999: 157-200
85 Martin Wirsing, Nora Koch, Gustavo Rossi, Alejandra Garrido, Luis Mandel, Alfred Helmerich, Luis Olsina: Specification and Modelling of Multimedia and Hypermedia Applications in Distributed Systems. German-Argentinian Workshop on Information Technology 1999: 95-
84 Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing: Correct Realization of Interface Constraints with OCL. UML 1999: 399-415
83 John N. Crossley, Iman Poernomo, Martin Wirsing: Extraction of Structured Programs from Specification Proofs. WADT 1999: 419-437
82EEPiotr Kosiuczenko, Martin Wirsing: Formalizing and Executing Message Sequence Charts via Timed Rewriting. Electr. Notes Theor. Comput. Sci. 25: (1999)
1998
81EEMartin Wirsing, John N. Crossley, Hannes Peterreins: Proof Normalization of Structured Algebraic Specifications Is Convergent. WADT 1998: 326-340
1997
80 Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST 1997: 75-90
79 Rolf Hennicker, Martin Wirsing: Proof Systems for Struvtured Algebraic Specifications: An Overview. FCT 1997: 19-37
78 Josef Schneeberger, Nora Koch, Andreas Turk, Rainer Lutze, Martin Wirsing, Hartmut Fritzsche, Patrick Closhen: EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge. GI Jahrestagung 1997: 446-455
77 Martin Wirsing, Josef Schneeberger, Rainer Lutze: Workshop: Software-Engineering für Multimedia-Systeme. GI Jahrestagung 1997: 631
76 Alexander Knapp, Nora Koch, Martin Wirsing, J. Duckeck, Rainer Lutze, Hartmut Fritzsche, D. Timm, Patrick Closhen, M. Frisch, Hans-Jürgen Hoffmann, Bernd Gaede, Josef Schneeberger, Herbert Stoyan, Andreas Turk: EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues. IDMS 1997: 199-209
75 Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing: Verifying a compiler optimization for Multi-Threaded Java. WADT 1997: 402-417
74 Piotr Kosiuczenko, Martin Wirsing: Timed Rewriting Logic with an Application to Object-Based Specification. Sci. Comput. Program. 28(2-3): 225-246 (1997)
73EERolf Hennicker, Martin Wirsing, Michel Bidoit: Proof Systems for Structured Specifications with Observability Operators. Theor. Comput. Sci. 173(2): 393-443 (1997)
1996
72 Martin Wirsing, Maurice Nivat: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings Springer 1996
71EEUlrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing: (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. ECOOP 1996: 232-247
70 John N. Crossley, Luis Mandel, Martin Wirsing: First-Order Constrained Lambda Calculus. Frontiers of Combining Systems (FroCos) 1996: 339-356
69EEMartin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Electr. Notes Theor. Comput. Sci. 4: (1996)
1995
68 Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing: An Object-Oriented Algebraic Steam-Boiler Control Specification. Formal Methods for Industrial Applications 1995: 379-402
67 Manfred Broy, Martin Wirsing: Correct Software: From Experiments to Applications. KORSO Book 1995: 1-26
66 Peter Pepper, Martin Wirsing: A Method for the Development of Correct Software. KORSO Book 1995: 27-57
65 Michel Bidoit, Rolf Hennicker, Martin Wirsing: Behavioural and Abstractor Specifications. Sci. Comput. Program. 25(2-3): 149-186 (1995)
1994
64 Ulrike Lechner, Christian Lengauer, Martin Wirsing: An Object-Oriented Airport: Specification and Refinement in Maude. COMPASS/ADT 1994: 351-367
63 Martin Wirsing: Algebraic Specification Languages: An Overview. COMPASS/ADT 1994: 81-115
62 Michel Bidoit, Rolf Hennicker, Martin Wirsing: Characterizing Behavioural Semantics and Abstractor Semantics. ESOP 1994: 105-119
61 Martin Wirsing: Ist zuverlässige Software eine Utopie? GI Jahrestagung 1994: 531
1993
60 Friederike Nickl, Martin Wirsing: A Formal Approach to Requirements Engineering (Invited Paper). Formal Methods in Programming and Their Applications 1993: 312-334
59 Manfred Broy, Martin Wirsing: Korrekte Software: Vom Experiment zur Anwendung. GI Jahrestagung 1993: 29-43
1992
58 Maurice Bruynooghe, Martin Wirsing: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings Springer 1992
57 María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider: An Approach to the DIN Kernel Lisp Definition. Lisp and Symbolic Computation 4(4): 319-369 (1992)
56 María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider: Answer to Baker's Remarks of July 1991 on Version 1.0. Lisp and Symbolic Computation 4(4): 399-404 (1992)
1991
55 Jan Maluszynski, Martin Wirsing: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings Springer 1991
54 Manfred Broy, Martin Wirsing: Method of Programming, Selected Papers on the CIP-Project Springer 1991
53 Rolf Hennicker, Martin Wirsing: A Formal Method for the Systematic Reuse of Specification Components. Methods of Programming 1991: 49-75
52 Jacek Leszczylowski, Martin Wirsing: Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. STACS 1991: 1-15
51 María Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider: Knowledge Representation in Kernel Lisp. Wissensbasierte Systeme 1991: 278-286
1990
50 Thomas Streicher, Martin Wirsing: Dependent Types Considered Necessary for Specification Languages. ADT 1990: 323-340
49 Martin Wirsing: Algebraic Specification. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 675-788
1989
48 Martin Wirsing, Jan A. Bergstra: Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987] Springer 1989
47 Martin Wirsing, Rolf Hennicker, Robert Stabl: MENU - An Example for the Systematic Reuse of Specifications. ESEC 1989: 20-41
46 Martin Wirsing, Manfred Broy: A Modular Framework for Specification and Implementation. TAPSOFT, Vol.1 1989: 42-73
1988
45 Robert Cori, Martin Wirsing: STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings Springer 1988
44 Bernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specification with Built-in Domain Constructions. CAAP 1988: 132-148
43 Martin Wirsing, Rolf Hennicker, Ruth Breu: Reusable Specification Components. MFCS 1988: 121-137
42 Friedrich L. Bauer, Martin Wirsing: Crypt-Equivalent Algebraic Specifications. Acta Inf. 25(2): 111-153 (1988)
41 Manfred Broy, Martin Wirsing: Ultra-loose algebraic specifications. Bulletin of the EATCS 35: 117-127 (1988)
1987
40 Franz-Josef Brandenburg, Guy Vidal-Naquet, Martin Wirsing: STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings Springer 1987
39 Bernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specifications of Reachable Higher-Order Algebras. ADT 1987: 154-169
38EEManfred Broy, Martin Wirsing, Peter Pepper: On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. 9(1): 54-99 (1987)
1986
37 Martin Wirsing: Specification Languages versus Programming Languages (Panel). IFIP Congress 1986: 777-778
36 Egidio Astesiano, Gianna Reggio, Martin Wirsing: Relational Specifications and Observational Semantics. MFCS 1986: 209-217
35 Martin Wirsing: Algebraic specification of the abstract data type "Continuum" without hidden operations. Bulletin of the EATCS 29: 46-54 (1986)
34 Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing: Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7(1): 35-53 (1986)
33 Martin Wirsing: Structured Algebraic Specifications: A Kernel Language. Theor. Comput. Sci. 42: 123-249 (1986)
1985
32 Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, T. Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner: The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L Springer 1985
31 Andrzej Tarlecki, Martin Wirsing: Continuous abstract data types: basic machinery and results. FCT 1985: 431-441
30 Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358
1984
29 Rolf Hennicker, Martin Wirsing: Observational Specification: A Birkhoff Theorem. ADT 1984: 119-135
28 Peter Padawitz, Martin Wirsing: Completeness of many-sorted equational logic revisited. Bulletin of the EATCS 24: 88-93 (1984)
27 Manfred Broy, Martin Wirsing, C. Pair: A Systematic Study of Models of Abstract Data Types. Theor. Comput. Sci. 33: 139-174 (1984)
1983
26 Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation. ADT 1983
25 Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras. ADT 1983
24 Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras and Partial Interpretations. CAAP 1983: 1-34
23 Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. FCT 1983: 413-427
22 Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch: On Hierarchies of Abstract Data Types. Acta Inf. 20: 1-33 (1983)
21 Manfred Broy, Martin Wirsing: Algebraic Definition of a Functional Programming Language and Its Semantic Models. ITA 17(2): 137-161 (1983)
1982
20 Martin Wirsing: Implementation of Parameterized Hierarchical Specifications. ADT 1982
19 Donald Sannella, Martin Wirsing: Implementation of Parameterised Specifications (Extended Abstract). ICALP 1982: 473-488
18 Jacek Leszczylowski, Martin Wirsing: A system for reasoning within and about algebraic specifications. Symposium on Programming 1982: 257-282
17EEWalter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385
16 Manfred Broy, Martin Wirsing: Partial Abstract Types. Acta Inf. 18: 47-64 (1982)
15 Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing: Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Informatik Spektrum 5(2): 107-119 (1982)
1981
14 Manfred Broy, Martin Wirsing: On the Algebraic Specification of Nondeterministic Programming Languages. CAAP 1981: 162-179
13 Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing: GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). GI Jahrestagung 1981: 109-121
12 Manfred Broy, Martin Wirsing: On the Algebraic Extensions of Abstract Data Types. ICFPC 1981: 244-251
11 Jan A. Bergstra, Manfred Broy, J. V. Tucker, Martin Wirsing: On the Power of Algebraic Specifications. MFCS 1981: 193-204
10 Manfred Broy, Rupert Gnatz, Martin Wirsing: Nichtdeterminismus - Das aktuelle Schlagwort. Informatik Spektrum 4(2): 125-126 (1981)
9 Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, T. Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner: Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1(1-2): 73-114 (1981)
1980
8 Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari: Polynomials - The Specification, Analysis and Development of an Abstract Data Type. GI Jahrestagung 1980: 306-320
7 Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing: Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106
6 Martin Wirsing, Manfred Broy: Abstract Data Types as Lattices of Finitely Generated Models. MFCS 1980: 673-685
5 Manfred Broy, Peter Pepper, Martin Wirsing: On Relations Between Programs. Symposium on Programming 1980: 59-78
4 Manfred Broy, Martin Wirsing: Program Development: From Enumeration to Backtracking. Inf. Process. Lett. 10(4/5): 193-197 (1980)
1979
3 Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing: Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87
2 Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Remy: Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. Inf. Process. Lett. 8(5): 224-229 (1979)
1978
1 Manfred Broy, Rupert Gnatz, Martin Wirsing: Semantics of Nondeterministic and Noncontinuous Constructs. Program Construction 1978: 553-592

Coauthor Index

1Luis Filipe Andrade [95]
2Egidio Astesiano [30] [36]
3Giorgio Ausiello [8]
4Paolo Baldan [95]
5Simonetta Balsamo [110]
6Friedrich L. Bauer [9] [15] [32] [42]
7Hubert Baumeister [91] [95] [97] [102] [105] [106] [116]
8Rudolf Berghammer [32]
9Jan A. Bergstra [11] [48]
10Michel Bidoit [62] [65] [73] [84]
11Heiner Brand [51] [56] [57]
12Franz-Josef Brandenburg [40]
13Ruth Breu [43]
14Linda Briesemeister [120]
15Manfred Broy [1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16] [21] [24] [25] [27] [32] [34] [38] [41] [46] [54] [59] [67] [87]
16Roberto Bruni [95]
17Maurice Bruynooghe [58]
18Pietro Cenciarelli [75] [80] [86]
19María Victoria Cengarle [51] [56] [57]
20Allan Clark [118]
21Patrick Closhen [76] [78]
22Robert Cori [45]
23Andrea Corradini [95]
24John N. Crossley [70] [81] [83] [90]
25Klaus Däßler [51] [56] [57]
26Grit Denker [120]
27Walter Dosch [3] [8] [9] [13] [15] [17] [22] [32]
28J. Duckeck [76]
29José Luiz Fiadeiro [95] [113] [119]
30Jean-Pierre Finance [2]
31Piero Fraternali [109] [112]
32M. Frisch [76]
33Hartmut Fritzsche [76] [78]
34Fabio Gadducci [95]
35Bernd Gaede [76]
36Alejandra Garrido [85]
37Franz Geiselbrechtinger [32]
38Stephen Gilmore (Stephen T. Gilmore) [117] [118]
39Rupert Gnatz [1] [9] [10] [32]
40Stefania Gnesi [95]
41Florian Hacklinger [116]
42E. Hangel [32]
43Alfred Helmerich [85]
44Rolf Hennicker [29] [43] [47] [53] [62] [65] [73] [79] [84] [91] [92] [104] [116]
45Wolfgang Hesse [32]
46Piotr Hoffman [95]
47Hans-Jürgen Hoffmann [76]
48Matthias M. Hölzl [117] [118]
49Dang Van Hung [114]
50Dieter Hutter [94]
51Alexander Knapp [69] [75] [76] [80] [86] [91] [93] [96] [105] [107] [108] [110] [115] [116] [118]
52Nora Koch [76] [78] [85] [95] [97] [99] [102] [109] [112] [118]
53Piotr Kosiuczenko [68] [74] [82] [95] [97] [102]
54Bernd Krieg-Brückner [9] [32] [94]
55Richard Krutisch [101]
56Alessandro Lapadula [95]
57Diego Latella [95] [106]
58Alfred Laut [9] [32]
59Ulrike Lechner [64] [71]
60Christian Lengauer [64] [71]
61Jacek Leszczylowski [18] [52]
62Arne Lindow [94]
63Antónia Lopes [95]
64Michele Loreti [95]
65Roberto Lucchi [117]
66M. Luckmann [9]
67Christoph Lüth [94]
68Rainer Lutze [76] [77] [78]
69Achim Mahnke [94]
70Jan Maluszynski [55]
71Luis Mandel [51] [56] [57] [70] [85]
72Gianfranco Mascari [8] [17] [30]
73Mieke Massink [95] [106]
74T. Matzner [9] [32]
75Franco Mazzanti [95]
76Philipp Meier [94] [100] [101]
77Erica Melis [94]
78Stephan Merz [103] [108] [115]
79Bernhard Möller [9] [13] [32] [34] [39] [44]
80Ugo Montanari [95] [113] [119]
81Friederike Nickl [32] [60] [71]
82Rocco De Nicola [95] [117]
83Maurice Nivat [72]
84Cristóvão Oliveira [95]
85Luis Olsina [85]
86Peter Csaba Ölveczky [68]
87Peter Padawitz [28]
88C. Pair [27]
89Helmuth Partsch [3] [7] [9] [15] [22] [32]
90Dirk Pattinson [98] [104] [111]
91Peter Pepper [3] [5] [7] [9] [15] [22] [32] [34] [38] [66]
92Hannes Peterreins [81]
93Iman Poernomo [83] [90]
94Arnd Poetzsch-Heffter [94]
95Andy Poggio [120]
96Rosario Pugliese [95]
97Alain Quéré [2]
98Axel Rauschmayer [107]
99Gianna Reggio [30] [36]
100Jean-Luc Remy [2]
101Bernhard Reus [75] [80] [86] [92]
102M. Birna van Riemsdijk (Birna van Riemsdijk) [121]
103Markus Roggenbach [94]
104Gustavo Rossi [85]
105George Russell [94]
106Klaus Samelson [9] [32]
107Donald Sannella [19] [23] [26]
108Josef Schneeberger [76] [77] [78]
109Thekla Schneider [51] [56] [57]
110Andreas Schroeder [118]
111Jan-Georg Smaus [94]
112Robert Stabl [47]
113Ralf Steinbrüggen [9]
114Perdita Stevens [102]
115Herbert Stoyan [76]
116Thomas Streicher [50]
117Carolyn L. Talcott [120]
118Andrzej Tarlecki [31] [39] [44] [95]
119D. Timm [76]
120Françoise Tort [84]
121Mirco Tribastone [117]
122J. V. Tucker (John V. Tucker) [11]
123Andreas Turk [76] [78]
124Guy Vidal-Naquet [40]
125Michel Wermelinger [95]
126Hans Wössner [9] [32]
127Mingsheng Ying [88] [89]
128Júlia Zappe [103] [115]
129Gianluigi Zavattaro [117]
130Artur Zawlocki [95]

Colors in the list of coauthors

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Thu Dec 27 04:59:51 2007