Christoph Beierle

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL - ACM Guide - CiteSeer - CSB - Google

2007

76 Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle: Learning Uncertain Rules with CONDORCKD. FLAIRS Conference 2007: 74-79

75 EE Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller: Algebraic Knowledge Discovery Using Haskell. PADL 2007: 80-93

2006

74 Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle: Computer Science Exercises in a Virtual University. CSREA EEE 2006: 23-29

73 Immo Schulz-Gerlach, Christoph Beierle: Ein erweiterbares interaktives Online-Übungssystem mit Aufgaben zu Aussagen- und Prädikatenlogik. DeLFI 2006: 243-254

72 EE Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle: An Extendable System for the Specification and Generation of Interactive Self-tests. Edutainment 2006: 316-321

71 Christoph Beierle, Gabriele Kern-Isberner: A Note on Comparing Semantics for Conditionals. FLAIRS Conference 2006: 794-799

2005

70 Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera: Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. DeLFI 2005: 523-524

69 EE Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner: Using Answer Set Programming for a Decision Support System. LPNMR 2005: 374-378

68 EE Christoph Beierle, Gabriele Kern-Isberner: Footprints of Conditionals. Mechanizing Mathematical Reasoning 2005: 99-119

67 EE Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso: Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005

2004

66 EE Christoph Beierle, Marija Kulas, Manfred Widera: A Pragmatic Approach to Pre-testing Prolog Programs. INAP/WLP 2004: 294-308

2003

65 EE Christoph Beierle, Gabriele Kern-Isberner: Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. Abstract State Machines 2003: 186-203

64 Christoph Beierle, Marjaa Kulaa, Manfred Widera: Automatic Analysis of Programming Assignments. DeLFI 2003: 144-153

63 EE Christoph Beierle, Gabriele Kern-Isberner: An Alternative View of Knowledge Discovery. HICSS 2003: 68

62 EE Christoph Beierle, Gabriele Kern-Isberner: A Logical Study on Qualitative Default Reasoning with Probabilities. LPAR 2003: 376-388

2002

61 Christoph Beierle, Gabriele Kern-Isberner: On the Interpretation of Uncertain Rules in Prepositional Logic. IC-AI 2002: 522-528

60 EE Christoph Beierle, Gabriele Kern-Isberner: Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. JELIA 2002: 161-172

2001

59 Manfred Widera, Christoph Beierle: Function Types in Complete Type Inference. Scottish Functional Programming Workshop 2001: 111-122

2000

58 Manfred Widera, Christoph Beierle: Detecting common elements of types. Scottish Functional Programming Workshop 2000: 173-184

57 EE Marija Kulas, Christoph Beierle: Defining Standard Prolog in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 36: (2000)

1999

56 Christoph Beierle, Gregor Meyer: Using Types as Approximations for Type Checking Prolog Programs. Fuji International Symposium on Functional and Logic Programming 1999: 251-266

55 Manfred Widera, Christoph Beierle: Combining Strict and Soft Typing in Functional Programming. GI Jahrestagung 1999: 350-359

54 Manfred Widera, Christoph Beierle: How to Combine the Benefits of Strict and Soft Typing. Scottish Functional Programming Workshop 1999: 68-78

53 EE Christoph Beierle, Reinhold Kloos, Gregor Meyer: A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. Electr. Notes Theor. Comput. Sci. 30(1): (1999)

1996

52 Christoph Beierle, Egon Börger: Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. Formal Asp. Comput. 8(4): 428-462 (1996)

51 Christoph Beierle, Egon Börger: Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. Formal Asp. Comput. 8(5): 539-564 (1996)

1995

50 Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene: Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. Formal Methods for Industrial Applications 1995: 52-78

49 Christoph Beierle: Type Inferencing for Polymorphic Order-Sorted Logic Programs. ICLP 1995: 765-779

48 Christoph Beierle: Concepts, Implementation, and Applications of a Typed Logic Programming Language. Logic Programming: Formal Methods and Practical Applications 1995: 139-167

1994

47 Christoph Beierle: Formal Design of an Abstract Machine for Constraint Logic Programming. IFIP Congress (1) 1994: 377-382

46 Christoph Beierle, Gregor Meyer: Run-Time Type Computations in the Warren Abstract Machine. J. Log. Program. 18(2): 123-148 (1994)

1993

45 EE Christoph Beierle, Udo Pletat, Rudi Studer: Knowledge Representation for Natural Language Understanding: The L_LILOG Approach. IEEE Trans. Knowl. Data Eng. 5(3): 386-401 (1993)

1992

44 Christoph Beierle: Knowledge Based PPS Applications in PROTOS-L. Logic Programming Summer School 1992: 80-90

43 Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191 (1992)

42 Michel Bénichou, Henri Beringer, Jean-Michel Gauthier, Christoph Beierle: Prolog at IBM: An Advanced and Evolving Application Development Technology. IBM Systems Journal 31(4): 755-773 (1992)

41 Gregor Meyer, Christoph Beierle, Ralph Scheubrein: Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken IWBS Report 219: (1992)

1991

40 Christoph Beierle, Egon Börger: Correctness Proof For the WAM with Types. CSL 1991: 15-34

39 Christoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. ISLP 1991: 272-286

38 Christoph Beierle, Gregor Meyer, Heiner Semle: A Brief Description of the PROTOS-L System. PDK 1991: 402-404

37 Christoph Beierle: An Overview on Planning Applications in PROTOS-L IWBS Report 163: (1991)

36 Christoph Beierle, Stefan Böttcher, Gregor Meyer: Draft Report of the Logic Programming Language PROTOS-L IWBS Report 175: (1991)

35 Christoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution IWBS Report 181: (1991)

34 Christoph Beierle, Egon Börger: A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof IWBS Report 200: (1991)

33 Christoph Beierle, Egon Börger: Correctness Proof for the WAM IWBS Report 205: (1991)

1990

32 Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems IWBS Report 113: (1990)

31 Christoph Beierle, Angi Voß: Stepwise Software Development with Algebraic Specifications IWBS Report 140: (1990)

1989

30 Christoph Beierle: Types, Modules and Databases in the Logic Programming Language PROTOS-L. Sorts and Types in Artificial Intelligence 1989: 73-110

29 Christoph Beierle, Stefan Böttcher: PROTOS-L: Towards a Knowledge Base Programming Language. Wissensbasierte Systeme 1989: 388-400

28 Stefan Böttcher, Christoph Beierle: Database Support for the PROTOS-L System IWBS Report 71: (1989)

27 Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann: An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information IWBS Report 86: (1989)

26 Christoph Beierle: Types, Modules and Databases in the Logic Programming Language PROTOS-L IWBS Report 88: (1989)

25 Christoph Beierle, Stefan Böttcher: PROTOS-L: Towards a Knowledge Base Programming Language IWBS Report 89: (1989)

24 Christoph Beierle, Udo Pletat: The Algebra of Feature Graph Specifications IWBS Report 94: (1989)

1988

23 Christoph Beierle, Udo Pletat: Integrating Logic Programming and Equational Specification of Abstract Data Types. ALP 1988: 71-82

22 Christoph Beierle, Udo Pletat: Feature graphs and abstract data types: a unifying approach. COLING 1988: 40-45

21 Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language L_LILOG. CSL 1988: 14-51

20 Christoph Beierle, Udo Pletat, Hans Uszkoreit: An Algebraic Characterization of STUF. Computerlinguistik und ihre theoretischen Grundlagen 1988: 15-32

19 Christoph Beierle, Walter G. Olthoff, Angi Voß: Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. Informatik Spektrum 11(6): 292-302 (1988)

18 Christoph Beierle, Udo Pletat: Semantics of Logic Programs with Equational Abstract Data Type Specifications LILOG-Report 38: (1988)

17 Christoph Beierle, Udo Pletat: Feature Graphs and Abstract Data Types: A Unifying Approach LILOG-Report 39: (1988)

16 Christoph Beierle, Udo Pletat, Hans Uszkoreit: An Algebraic Characterization of STUF LILOG-Report 40: (1988)

15 Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language L_LILOG LILOG-Report 41: (1988)

14 Christoph Beierle, Walter G. Olthoff, Angi Voß: Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung LILOG-Report 42: (1988)

1987

13 Christoph Beierle, Udo Pletat: On the Integration of Equality, Sorts, and Logic Programming. ÖGAI 1987: 133-144

12 Christoph Beierle, Angi Voß: Viewing Implementations as an Institution. Category Theory and Computer Science 1987: 196-218

11 Christoph Beierle, Angi Voß: On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition. STACS 1987: 245-259

10 Christoph Beierle, Angi Voß: Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. TAPSOFT, Vol.2 1987: 320-334

9 Christoph Beierle, Udo Pletat: On the Interpretation of Equality, Sorts, and Logic Programming LILOG-Report 37: (1987)

8 Udo Pletat, Christoph Beierle: The Semantics of Asserting and Retracting Clauses to Logic Programs LILOG-Report 7: (1987)

1986

7 Christoph Beierle: Vertical and Horizontal Compositions of Implementation Specifications. ADT 1986

6 Christoph Beierle, Walter G. Olthoff, Angi Voß: Automatic Theorem Proving in the ISDV System. CADE 1986: 670-671

5 Christoph Beierle, Walter G. Olthoff, Angi Voß: A Software Development Environment Integrating Specification and Programming Languages. Software-Architektur 1986: 9-25

1984

4 Christoph Beierle, Angi Voß: Implementation Specifications. ADT 1984: 39-53

1983

3 Christoph Beierle, Angi Voß: A Parameterization Concept for Hierarchies of Specifications. ADT 1983

1982

2 Christoph Beierle, Angi Voß: Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras. ADT 1982

1 Christoph Beierle: Synthesizing Minimal Programs from Traces of Observable Behaviour. ECAI 1982: 96-101

2007
76		Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle: Learning Uncertain Rules with CONDORCKD. FLAIRS Conference 2007: 74-79
75	EE	Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller: Algebraic Knowledge Discovery Using Haskell. PADL 2007: 80-93
2006
74		Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle: Computer Science Exercises in a Virtual University. CSREA EEE 2006: 23-29
73		Immo Schulz-Gerlach, Christoph Beierle: Ein erweiterbares interaktives Online-Übungssystem mit Aufgaben zu Aussagen- und Prädikatenlogik. DeLFI 2006: 243-254
72	EE	Manfred Widera, Barbara Messing, Gabriele Kern-Isberner, Malte Isberner, Christoph Beierle: An Extendable System for the Specification and Generation of Interactive Self-tests. Edutainment 2006: 316-321
71		Christoph Beierle, Gabriele Kern-Isberner: A Note on Comparing Semantics for Conditionals. FLAIRS Conference 2006: 794-799
2005
70		Christoph Beierle, Malte Isberner, Gabriele Kern-Isberner, Barbara Messing, Manfred Widera: Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. DeLFI 2005: 523-524
69	EE	Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner: Using Answer Set Programming for a Decision Support System. LPNMR 2005: 374-378
68	EE	Christoph Beierle, Gabriele Kern-Isberner: Footprints of Conditionals. Mechanizing Mathematical Reasoning 2005: 99-119
67	EE	Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso: Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005
2004
66	EE	Christoph Beierle, Marija Kulas, Manfred Widera: A Pragmatic Approach to Pre-testing Prolog Programs. INAP/WLP 2004: 294-308
2003
65	EE	Christoph Beierle, Gabriele Kern-Isberner: Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. Abstract State Machines 2003: 186-203
64		Christoph Beierle, Marjaa Kulaa, Manfred Widera: Automatic Analysis of Programming Assignments. DeLFI 2003: 144-153
63	EE	Christoph Beierle, Gabriele Kern-Isberner: An Alternative View of Knowledge Discovery. HICSS 2003: 68
62	EE	Christoph Beierle, Gabriele Kern-Isberner: A Logical Study on Qualitative Default Reasoning with Probabilities. LPAR 2003: 376-388
2002
61		Christoph Beierle, Gabriele Kern-Isberner: On the Interpretation of Uncertain Rules in Prepositional Logic. IC-AI 2002: 522-528
60	EE	Christoph Beierle, Gabriele Kern-Isberner: Using Institutions for the Study of Qualitative and Quantitative Conditional Logics. JELIA 2002: 161-172
2001
59		Manfred Widera, Christoph Beierle: Function Types in Complete Type Inference. Scottish Functional Programming Workshop 2001: 111-122
2000
58		Manfred Widera, Christoph Beierle: Detecting common elements of types. Scottish Functional Programming Workshop 2000: 173-184
57	EE	Marija Kulas, Christoph Beierle: Defining Standard Prolog in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 36: (2000)
1999
56		Christoph Beierle, Gregor Meyer: Using Types as Approximations for Type Checking Prolog Programs. Fuji International Symposium on Functional and Logic Programming 1999: 251-266
55		Manfred Widera, Christoph Beierle: Combining Strict and Soft Typing in Functional Programming. GI Jahrestagung 1999: 350-359
54		Manfred Widera, Christoph Beierle: How to Combine the Benefits of Strict and Soft Typing. Scottish Functional Programming Workshop 1999: 68-78
53	EE	Christoph Beierle, Reinhold Kloos, Gregor Meyer: A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
1996
52		Christoph Beierle, Egon Börger: Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. Formal Asp. Comput. 8(4): 428-462 (1996)
51		Christoph Beierle, Egon Börger: Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. Formal Asp. Comput. 8(5): 539-564 (1996)
1995
50		Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene: Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. Formal Methods for Industrial Applications 1995: 52-78
49		Christoph Beierle: Type Inferencing for Polymorphic Order-Sorted Logic Programs. ICLP 1995: 765-779
48		Christoph Beierle: Concepts, Implementation, and Applications of a Typed Logic Programming Language. Logic Programming: Formal Methods and Practical Applications 1995: 139-167
1994
47		Christoph Beierle: Formal Design of an Abstract Machine for Constraint Logic Programming. IFIP Congress (1) 1994: 377-382
46		Christoph Beierle, Gregor Meyer: Run-Time Type Computations in the Warren Abstract Machine. J. Log. Program. 18(2): 123-148 (1994)
1993
45	EE	Christoph Beierle, Udo Pletat, Rudi Studer: Knowledge Representation for Natural Language Understanding: The L_LILOG Approach. IEEE Trans. Knowl. Data Eng. 5(3): 386-401 (1993)
1992
44		Christoph Beierle: Knowledge Based PPS Applications in PROTOS-L. Logic Programming Summer School 1992: 80-90
43		Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191 (1992)
42		Michel Bénichou, Henri Beringer, Jean-Michel Gauthier, Christoph Beierle: Prolog at IBM: An Advanced and Evolving Application Development Technology. IBM Systems Journal 31(4): 755-773 (1992)
41		Gregor Meyer, Christoph Beierle, Ralph Scheubrein: Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken IWBS Report 219: (1992)
1991
40		Christoph Beierle, Egon Börger: Correctness Proof For the WAM with Types. CSL 1991: 15-34
39		Christoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. ISLP 1991: 272-286
38		Christoph Beierle, Gregor Meyer, Heiner Semle: A Brief Description of the PROTOS-L System. PDK 1991: 402-404
37		Christoph Beierle: An Overview on Planning Applications in PROTOS-L IWBS Report 163: (1991)
36		Christoph Beierle, Stefan Böttcher, Gregor Meyer: Draft Report of the Logic Programming Language PROTOS-L IWBS Report 175: (1991)
35		Christoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution IWBS Report 181: (1991)
34		Christoph Beierle, Egon Börger: A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof IWBS Report 200: (1991)
33		Christoph Beierle, Egon Börger: Correctness Proof for the WAM IWBS Report 205: (1991)
1990
32		Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems IWBS Report 113: (1990)
31		Christoph Beierle, Angi Voß: Stepwise Software Development with Algebraic Specifications IWBS Report 140: (1990)
1989
30		Christoph Beierle: Types, Modules and Databases in the Logic Programming Language PROTOS-L. Sorts and Types in Artificial Intelligence 1989: 73-110
29		Christoph Beierle, Stefan Böttcher: PROTOS-L: Towards a Knowledge Base Programming Language. Wissensbasierte Systeme 1989: 388-400
28		Stefan Böttcher, Christoph Beierle: Database Support for the PROTOS-L System IWBS Report 71: (1989)
27		Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann: An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information IWBS Report 86: (1989)
26		Christoph Beierle: Types, Modules and Databases in the Logic Programming Language PROTOS-L IWBS Report 88: (1989)
25		Christoph Beierle, Stefan Böttcher: PROTOS-L: Towards a Knowledge Base Programming Language IWBS Report 89: (1989)
24		Christoph Beierle, Udo Pletat: The Algebra of Feature Graph Specifications IWBS Report 94: (1989)
1988
23		Christoph Beierle, Udo Pletat: Integrating Logic Programming and Equational Specification of Abstract Data Types. ALP 1988: 71-82
22		Christoph Beierle, Udo Pletat: Feature graphs and abstract data types: a unifying approach. COLING 1988: 40-45
21		Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language L_LILOG. CSL 1988: 14-51
20		Christoph Beierle, Udo Pletat, Hans Uszkoreit: An Algebraic Characterization of STUF. Computerlinguistik und ihre theoretischen Grundlagen 1988: 15-32
19		Christoph Beierle, Walter G. Olthoff, Angi Voß: Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung. Informatik Spektrum 11(6): 292-302 (1988)
18		Christoph Beierle, Udo Pletat: Semantics of Logic Programs with Equational Abstract Data Type Specifications LILOG-Report 38: (1988)
17		Christoph Beierle, Udo Pletat: Feature Graphs and Abstract Data Types: A Unifying Approach LILOG-Report 39: (1988)
16		Christoph Beierle, Udo Pletat, Hans Uszkoreit: An Algebraic Characterization of STUF LILOG-Report 40: (1988)
15		Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language L_LILOG LILOG-Report 41: (1988)
14		Christoph Beierle, Walter G. Olthoff, Angi Voß: Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung LILOG-Report 42: (1988)
1987
13		Christoph Beierle, Udo Pletat: On the Integration of Equality, Sorts, and Logic Programming. ÖGAI 1987: 133-144
12		Christoph Beierle, Angi Voß: Viewing Implementations as an Institution. Category Theory and Computer Science 1987: 196-218
11		Christoph Beierle, Angi Voß: On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition. STACS 1987: 245-259
10		Christoph Beierle, Angi Voß: Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. TAPSOFT, Vol.2 1987: 320-334
9		Christoph Beierle, Udo Pletat: On the Interpretation of Equality, Sorts, and Logic Programming LILOG-Report 37: (1987)
8		Udo Pletat, Christoph Beierle: The Semantics of Asserting and Retracting Clauses to Logic Programs LILOG-Report 7: (1987)
1986
7		Christoph Beierle: Vertical and Horizontal Compositions of Implementation Specifications. ADT 1986
6		Christoph Beierle, Walter G. Olthoff, Angi Voß: Automatic Theorem Proving in the ISDV System. CADE 1986: 670-671
5		Christoph Beierle, Walter G. Olthoff, Angi Voß: A Software Development Environment Integrating Specification and Programming Languages. Software-Architektur 1986: 9-25
1984
4		Christoph Beierle, Angi Voß: Implementation Specifications. ADT 1984: 39-53
1983
3		Christoph Beierle, Angi Voß: A Parameterization Concept for Hierarchies of Specifications. ADT 1983
1982
2		Christoph Beierle, Angi Voß: Hierarchical Specification of Parameterized Abstract Data Types by Means of Canonical Term Algebras. ADT 1982
1		Christoph Beierle: Synthesizing Minimal Programs from Traces of Observable Behaviour. ECAI 1982: 96-101

Coauthor Index

1 Michel Bénichou [42]

2 Henri Beringer [42]

3 Egon Börger [33] [34] [40] [50] [51] [52]

4 Stefan Böttcher [25] [28] [29] [36]

5 Jochen Dörre [15] [21]

6 Igor Durdanovic [50]

7 Oliver Dusso [67] [69]

8 Jens Fisseler [75] [76]

9 Jean-Michel Gauthier [42]

10 Uwe Glässer [50]

11 Ulrich Hedtstück [27] [32] [43]

12 Malte Isberner [70] [72] [74]

13 Gabriele Kern-Isberner [60] [61] [62] [63] [65] [67] [68] [69] [70] [71] [72] [74] [75] [76]

14 Reinhold Kloos [53]

15 Andreas Koch [75]

16 Marjaa Kulaa [64]

17 Marija Kulas [57] [66]

18 Barbara Messing [70] [72] [74]

19 Gregor Meyer [35] [36] [38] [39] [41] [46] [53] [56]

20 Christian Müller [75]

21 Walter G. Olthoff [5] [6] [14] [19]

22 Udo Pletat [8] [9] [13] [15] [16] [17] [18] [20] [21] [22] [23] [24] [27] [32] [43] [45]

23 Elvinia Riccobene [50]

24 Claus-Rainer Rollinger [15] [21]

25 Ralph Scheubrein [41]

26 Peter H. Schmitt [15] [21] [32] [43]

27 Immo Schulz-Gerlach [73]

28 Heiner Semle [35] [38] [39]

29 Jörg H. Siekmann [27] [32] [43]

30 Rudi Studer [15] [21] [45]

31 Hans Uszkoreit [16] [20]

32 Angi Voß (Angi Voss) [2] [3] [4] [5] [6] [10] [11] [12] [14] [19] [31]

33 Manfred Widera [54] [55] [58] [59] [64] [66] [70] [72] [74]

Colors in the list of coauthors

DBLP: [Home | Search: Author, Title | Conferences | Journals]

Michael Ley (ley@uni-trier.de) Wed Mar 12 02:24:58 2008

1	Michel Bénichou	[42]
2	Henri Beringer	[42]
3	Egon Börger	[33] [34] [40] [50] [51] [52]
4	Stefan Böttcher	[25] [28] [29] [36]
5	Jochen Dörre	[15] [21]
6	Igor Durdanovic	[50]
7	Oliver Dusso	[67] [69]
8	Jens Fisseler	[75] [76]
9	Jean-Michel Gauthier	[42]
10	Uwe Glässer	[50]
11	Ulrich Hedtstück	[27] [32] [43]
12	Malte Isberner	[70] [72] [74]
13	Gabriele Kern-Isberner	[60] [61] [62] [63] [65] [67] [68] [69] [70] [71] [72] [74] [75] [76]
14	Reinhold Kloos	[53]
15	Andreas Koch	[75]
16	Marjaa Kulaa	[64]
17	Marija Kulas	[57] [66]
18	Barbara Messing	[70] [72] [74]
19	Gregor Meyer	[35] [36] [38] [39] [41] [46] [53] [56]
20	Christian Müller	[75]
21	Walter G. Olthoff	[5] [6] [14] [19]
22	Udo Pletat	[8] [9] [13] [15] [16] [17] [18] [20] [21] [22] [23] [24] [27] [32] [43] [45]
23	Elvinia Riccobene	[50]
24	Claus-Rainer Rollinger	[15] [21]
25	Ralph Scheubrein	[41]
26	Peter H. Schmitt	[15] [21] [32] [43]
27	Immo Schulz-Gerlach	[73]
28	Heiner Semle	[35] [38] [39]
29	Jörg H. Siekmann	[27] [32] [43]
30	Rudi Studer	[15] [21] [45]
31	Hans Uszkoreit	[16] [20]
32	Angi Voß (Angi Voss)	[2] [3] [4] [5] [6] [10] [11] [12] [14] [19] [31]
33	Manfred Widera	[54] [55] [58] [59] [64] [66] [70] [72] [74]