Edit Profile (opens in new tab) Börger, Egon Co-Author Distance Author ID: borger.egon Published as: Börger, Egon; Börger, E.; Boerger, Egon more...less External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 77 Publications since 1973, including 10 Books 21 Contributions as Editor · 1 Further Contribution Biographic References: 3 Publications Co-Authors: 44 Co-Authors with 58 Joint Publications 590 Co-Co-Authors all top 5 Co-Authors 40 single-authored 9 Kleine Büning, Hans 7 Richter, Michael M. 6 Gurevich, Yuri 5 Riccobene, Elvinia 5 Stärk, Robert F. 4 Rosenzweig, Dean 3 Aanderaa, Stål Olav 3 Beierle, Christoph 3 Rödding, Dieter 3 Schewe, Klaus-Dieter 3 Schmid, Joachim 2 Bolognesi, Tommaso 2 Bowen, Jonathan P. 2 Cavarra, Alessandra 2 Gervasi, Vincenzo 2 Grädel, Erich 2 Päppinghaus, Peter 2 Schulte, Wolfram 1 Abrial, Jean-Raymond 1 Anderaa, Stal O. 1 Barnett, Mike 1 Barnocchi, Donatella 1 Boca, Paul P. 1 Brämik, Hansjürgen 1 Carstens, Hans Georg 1 Cisternino, Antonio 1 Cohors-Fresenborg, Elmer 1 Fruja, Nicu G. 1 Gargantini, Angelo 1 Hasenjaeger, Gisbert 1 Heidler, Klaus 1 Huggins, James K. 1 Kaulbach, Friedrich 1 Langmaack, Hans 1 Lewis, Harry R. 1 Löwen, Ulrich 1 Martini, Simone 1 Mearelli, Luca 1 Meinke, Karl 1 Oberschelp, Walter 1 Poppelton, Michael 1 Priese, Lutz 1 Salamone, Rosario F. 1 Schinzel, Britta 1 Schmitt, Peter H. 1 Schönfeld, Wolfgang 1 Slissenko, Anatol 1 Veanes, Margus 1 Vogel, Helmuth all top 5 Serials 12 Lecture Notes in Computer Science 5 Formal Aspects of Computing 4 Archiv für Mathematische Logik und Grundlagenforschung 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 Journal of Universal Computer Science 2 Acta Informatica 2 Theoretical Computer Science 2 Journal of Logic and Computation 2 Fundamenta Informaticae 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Journal of Computer and System Sciences 1 The Journal of Symbolic Logic 1 Logique et Analyse. Nouvelle Série 1 Annales Societatis Mathematicae Polonae. Series IV 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Mathematisch-Physikalische Semesterberichte, Neue Folge 1 Lecture Notes in Mathematics 1 Studies in Logic and the Foundations of Mathematics 1 Universitext 1 Perspectives in Mathematical Logic all top 5 Fields 80 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 21 General and overarching topics; collections (00-XX) 4 Information and communication theory, circuits (94-XX) 3 History and biography (01-XX) 1 Number theory (11-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 53 Publications have been cited 461 times in 311 Documents Cited by ▼ Year ▼ The classical decision problem. Zbl 0865.03004 Börger, Egon; Grädel, Erich; Gurevich, Yu. 118 1997 Abstract state machines. A method for high-level system design and analysis (with CD-ROM). Zbl 1040.68042 Börger, Egon; Stärk, Robert 77 2003 Java and the Java virtual machine. Definition, verification, validation. Incl. 1 CD-ROM. Zbl 0978.68033 Stärk, Robert F.; Schmid, Joachim; Börger, Egon 37 2001 The classical decision problem. Paperback ed. Zbl 0970.03001 Börger, Egon; Grädel, Erich; Gurevich, Yu. 32 2001 The ASM refinement method. Zbl 1093.68601 Börger, Egon 21 2003 The WAM – definition and compiler correctness. Zbl 0832.68024 Börger, Egon; Rosenzweig, Dean 15 1995 A logical operational semantics of full Prolog. I: Selection core and control. Zbl 0925.68301 Börger, Egon 11 1990 A mathematical definition of full Prolog. Zbl 0832.68022 Börger, Egon; Rosenzweig, Dean 11 1995 Concurrent abstract state machines. Zbl 1352.68176 Börger, Egon; Schewe, Klaus-Dieter 10 2016 A high-level modular definition of the semantics of C\(_{\sharp}\). Zbl 1080.68006 Börger, Egon; Fruja, Nicu G.; Gervasi, Vincenzo; Stärk, Robert F. 9 2005 Formal methods for industrial applications. Specification and programming the Steam Boiler Control. Zbl 1060.68501 8 1996 A logical operational semantics of full Prolog. II: Built-in predicates for database manipulations. Zbl 0796.68140 Börger, Egon 7 1990 Computability, complexity, logic. Transl. from the German. Zbl 0669.68002 Börger, E. 7 1989 The bakery algorithm: Yet another specification and verification. Zbl 0844.68080 Börger, Egon; Gurevich, Yuri; Rosenzweig, Dean 6 1995 Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen. Zbl 0277.02009 Börger, Egon 5 1974 Composition and submachine concepts for sequential ASMs. Zbl 0973.68066 Börger, Egon; Schmid, Joachim 5 2000 Abstract state machines: a unifying view of models of computation and of system design frameworks. Zbl 1066.68047 Börger, Egon 5 2005 Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. Zbl 1123.68036 Börger, Egon 4 2007 Specification and correctness proof of a WAM extension with abstract type constraints. Zbl 0857.68016 Beierle, Christoph; Börger, Egon 3 1996 Refinement of a typed WAM extension by polymorphic order-sorted types. Zbl 0876.68019 Beierle, Christoph; Börger, Egon 3 1996 Integrating ASMs into the software development life cycle. Zbl 0971.68051 Börger, Egon; Mearelli, Luca 3 1997 An ASM semantics for UML activity diagrams. Zbl 0983.68130 Börger, Egon; Cavarra, Alessandra; Riccobene, Elvinia 3 2000 Correctness proof for the WAM with types. Zbl 0819.68028 Beierle, Ch.; Börger, E. 3 1992 Specification and validation methods. Zbl 0831.00010 3 1995 The ASM method for system design and analysis. A tutorial introduction. Zbl 1171.68422 Börger, Egon 3 2005 The equivalence of Horn and network complexity for Boolean functions. Zbl 0477.94034 Anderaa, Stal O.; Börger, Egon 3 1981 A logical operational semantics of full Prolog. History of ideas. Zbl 0744.68088 Börger, Egon 3 1990 Ambient abstract state machines with applications. Zbl 1246.68088 Börger, Egon; Cisternino, Antonio; Gervasi, Vincenzo 3 2012 An ASM specification of C# threads and the .NET memory model. Zbl 1188.68102 Stärk, Robert F.; Börger, Egon 3 2004 Remarks on turbo ASMs for functional equations and recursion schemes. Zbl 1021.68035 Börger, Egon; Bolognesi, Tommaso 3 2003 A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems. Zbl 0429.03016 Börger, Egon 2 1979 Die m-Grade logischer Entscheidungsprobleme. Zbl 0362.02025 Börger, Egon; Heidler, Klaus 2 1976 Modeling the dynamics of UML state machines. Zbl 0976.68516 Börger, Egon; Cavarra, Alessandra; Riccobene, Elvinia 2 2000 Report on a practical application of ASMs in software design. Zbl 0976.68567 Börger, Egon; Päppinghaus, Peter; Schmid, Joachim 2 2000 Spektralproblem and completeness of logical decision problems. Zbl 0564.03008 Börger, Egon 2 1984 Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Hrsg. von Dieter Rödding. Zbl 0593.03001 Börger, Egon 2 1985 The abstract state machines method for modular design and analysis of programming languages. Zbl 1361.68025 Börger, Egon 2 2017 Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 – October 2, 1992. Selected papers. Zbl 0852.00039 2 1993 Abstract state machines 1988-1998: Commented ASM bibliography. Zbl 0901.68130 Börger, Egon; Huggins, James K. 2 1998 Annotated bibliography on evolving algebras. Zbl 0844.68001 Börger, Egon 2 1995 CLAM specification for provably correct compilation of \(\text{CLP} ({\mathcal R})\) programs. Zbl 0852.68057 Börger, Egon; Salamone, Rosario F. 2 1995 A logical operational semantics of full Prolog. III: Built -in predicates for files, terms, arithmetic and input-output. Zbl 0753.68060 Börger, Egon 2 1992 A behavioural theory of recursive algorithms. Zbl 1497.68552 Börger, Egon; Schewe, Klaus-Dieter 2 2020 Abstract state processes. Zbl 1021.68525 Bolognesi, Tommaso; Börger, Egon 2 2003 The reachability problem for Petri nets and decision problems for Skolem arithmetic. Zbl 0453.03012 Börger, Egon; Kleine Büning, Hans 1 1980 Eine entscheidbare Klasse von Kromformeln. Zbl 0298.02048 Börger, Egon 1 1973 Initialization problems for Java. Zbl 1049.68029 Börger, Egon; Schulte, Wolfram 1 2000 Exploiting abstraction for specification reuse. The Java/C# case study. Zbl 1104.68357 Börger, Egon; Stärk, Robert F. 1 2004 Unsolvable decision problems for PROLOG programs. Zbl 0691.03027 Börger, Egon 1 1987 Computer science logic. 4th workshop, CSL ’90, Heidelberg, Germany, October 1–5, 1990. Proceedings. Zbl 0782.00052 1 1991 Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7–11, 1991. Proceedings. Zbl 0772.68004 1 1992 The abstract state machines method for high-level system design and analysis. Zbl 1189.93006 Börger, Egon 1 2010 Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16–18, 2008. Proceedings. Zbl 1147.68002 1 2008 A behavioural theory of recursive algorithms. Zbl 1497.68552 Börger, Egon; Schewe, Klaus-Dieter 2 2020 The abstract state machines method for modular design and analysis of programming languages. Zbl 1361.68025 Börger, Egon 2 2017 Concurrent abstract state machines. Zbl 1352.68176 Börger, Egon; Schewe, Klaus-Dieter 10 2016 Ambient abstract state machines with applications. Zbl 1246.68088 Börger, Egon; Cisternino, Antonio; Gervasi, Vincenzo 3 2012 The abstract state machines method for high-level system design and analysis. Zbl 1189.93006 Börger, Egon 1 2010 Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16–18, 2008. Proceedings. Zbl 1147.68002 1 2008 Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. Zbl 1123.68036 Börger, Egon 4 2007 A high-level modular definition of the semantics of C\(_{\sharp}\). Zbl 1080.68006 Börger, Egon; Fruja, Nicu G.; Gervasi, Vincenzo; Stärk, Robert F. 9 2005 Abstract state machines: a unifying view of models of computation and of system design frameworks. Zbl 1066.68047 Börger, Egon 5 2005 The ASM method for system design and analysis. A tutorial introduction. Zbl 1171.68422 Börger, Egon 3 2005 An ASM specification of C# threads and the .NET memory model. Zbl 1188.68102 Stärk, Robert F.; Börger, Egon 3 2004 Exploiting abstraction for specification reuse. The Java/C# case study. Zbl 1104.68357 Börger, Egon; Stärk, Robert F. 1 2004 Abstract state machines. A method for high-level system design and analysis (with CD-ROM). Zbl 1040.68042 Börger, Egon; Stärk, Robert 77 2003 The ASM refinement method. Zbl 1093.68601 Börger, Egon 21 2003 Remarks on turbo ASMs for functional equations and recursion schemes. Zbl 1021.68035 Börger, Egon; Bolognesi, Tommaso 3 2003 Abstract state processes. Zbl 1021.68525 Bolognesi, Tommaso; Börger, Egon 2 2003 Java and the Java virtual machine. Definition, verification, validation. Incl. 1 CD-ROM. Zbl 0978.68033 Stärk, Robert F.; Schmid, Joachim; Börger, Egon 37 2001 The classical decision problem. Paperback ed. Zbl 0970.03001 Börger, Egon; Grädel, Erich; Gurevich, Yu. 32 2001 Composition and submachine concepts for sequential ASMs. Zbl 0973.68066 Börger, Egon; Schmid, Joachim 5 2000 An ASM semantics for UML activity diagrams. Zbl 0983.68130 Börger, Egon; Cavarra, Alessandra; Riccobene, Elvinia 3 2000 Modeling the dynamics of UML state machines. Zbl 0976.68516 Börger, Egon; Cavarra, Alessandra; Riccobene, Elvinia 2 2000 Report on a practical application of ASMs in software design. Zbl 0976.68567 Börger, Egon; Päppinghaus, Peter; Schmid, Joachim 2 2000 Initialization problems for Java. Zbl 1049.68029 Börger, Egon; Schulte, Wolfram 1 2000 Abstract state machines 1988-1998: Commented ASM bibliography. Zbl 0901.68130 Börger, Egon; Huggins, James K. 2 1998 The classical decision problem. Zbl 0865.03004 Börger, Egon; Grädel, Erich; Gurevich, Yu. 118 1997 Integrating ASMs into the software development life cycle. Zbl 0971.68051 Börger, Egon; Mearelli, Luca 3 1997 Formal methods for industrial applications. Specification and programming the Steam Boiler Control. Zbl 1060.68501 8 1996 Specification and correctness proof of a WAM extension with abstract type constraints. Zbl 0857.68016 Beierle, Christoph; Börger, Egon 3 1996 Refinement of a typed WAM extension by polymorphic order-sorted types. Zbl 0876.68019 Beierle, Christoph; Börger, Egon 3 1996 The WAM – definition and compiler correctness. Zbl 0832.68024 Börger, Egon; Rosenzweig, Dean 15 1995 A mathematical definition of full Prolog. Zbl 0832.68022 Börger, Egon; Rosenzweig, Dean 11 1995 The bakery algorithm: Yet another specification and verification. Zbl 0844.68080 Börger, Egon; Gurevich, Yuri; Rosenzweig, Dean 6 1995 Specification and validation methods. Zbl 0831.00010 3 1995 Annotated bibliography on evolving algebras. Zbl 0844.68001 Börger, Egon 2 1995 CLAM specification for provably correct compilation of \(\text{CLP} ({\mathcal R})\) programs. Zbl 0852.68057 Börger, Egon; Salamone, Rosario F. 2 1995 Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 – October 2, 1992. Selected papers. Zbl 0852.00039 2 1993 Correctness proof for the WAM with types. Zbl 0819.68028 Beierle, Ch.; Börger, E. 3 1992 A logical operational semantics of full Prolog. III: Built -in predicates for files, terms, arithmetic and input-output. Zbl 0753.68060 Börger, Egon 2 1992 Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7–11, 1991. Proceedings. Zbl 0772.68004 1 1992 Computer science logic. 4th workshop, CSL ’90, Heidelberg, Germany, October 1–5, 1990. Proceedings. Zbl 0782.00052 1 1991 A logical operational semantics of full Prolog. I: Selection core and control. Zbl 0925.68301 Börger, Egon 11 1990 A logical operational semantics of full Prolog. II: Built-in predicates for database manipulations. Zbl 0796.68140 Börger, Egon 7 1990 A logical operational semantics of full Prolog. History of ideas. Zbl 0744.68088 Börger, Egon 3 1990 Computability, complexity, logic. Transl. from the German. Zbl 0669.68002 Börger, E. 7 1989 Unsolvable decision problems for PROLOG programs. Zbl 0691.03027 Börger, Egon 1 1987 Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Hrsg. von Dieter Rödding. Zbl 0593.03001 Börger, Egon 2 1985 Spektralproblem and completeness of logical decision problems. Zbl 0564.03008 Börger, Egon 2 1984 The equivalence of Horn and network complexity for Boolean functions. Zbl 0477.94034 Anderaa, Stal O.; Börger, Egon 3 1981 The reachability problem for Petri nets and decision problems for Skolem arithmetic. Zbl 0453.03012 Börger, Egon; Kleine Büning, Hans 1 1980 A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems. Zbl 0429.03016 Börger, Egon 2 1979 Die m-Grade logischer Entscheidungsprobleme. Zbl 0362.02025 Börger, Egon; Heidler, Klaus 2 1976 Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen. Zbl 0277.02009 Börger, Egon 5 1974 Eine entscheidbare Klasse von Kromformeln. Zbl 0298.02048 Börger, Egon 1 1973 all cited Publications top 5 cited Publications all top 5 Cited by 488 Authors 15 Börger, Egon 13 Schewe, Klaus-Dieter 10 Gurevich, Yuri 8 Ferrarotti, Flavio Antonio 6 Schellhorn, Gerhard 6 Sciavicco, Guido 6 Stärk, Robert F. 6 Wang, Qing 6 Wolter, Frank 6 Zakharyaschev, Michael Viktorovich 5 Beierle, Christoph 5 Kleine Büning, Hans 5 Montanari, Angelo 5 Pratt-Hartmann, Ian 5 Rybakov, Mikhail Nikolaevich 4 Bresolin, Davide 4 Durand, Bruno 4 Meseguer Guaita, José 4 Roşu, Grigore 4 Tec, Loredana 3 Areces, Carlos 3 Biskup, Joachim 3 Blass, Andreas Raphael 3 Bubeck, Uwe 3 Della Monica, Dario 3 Eiter, Thomas 3 Fontaine, Pascal 3 Fruja, Nicu G. 3 González, Senén 3 Grädel, Erich 3 Hofbauer, Dieter 3 Kontchakov, Roman 3 Leuschel, Michael 3 Otto, Martin 3 Reif, Wolfgang 3 Ryzhikov, Vladislav 3 Sagiv, Mooly 3 Schwentick, Thomas 3 Shkatov, Dmitry 3 ten Cate, Balder David 3 Veanes, Margus 3 Zhu, Huibiao 2 Abadi, Aharon 2 Abraham, Uri 2 Ait-Ameur, Yamine 2 Anureev, Igor’ Sergeevich 2 Arcaini, Paolo 2 Artale, Alessandro 2 Baaz, Matthias 2 Banach, Richard 2 Barbosa, Luís Soares 2 Barceló, Pablo 2 Cavarra, Alessandra 2 Colvin, Robert J. 2 Cuenca Grau, Bernardo 2 Ernst, Gidon 2 Fan, Wenfei 2 Finkel, Olivier 2 Franceschet, Massimo 2 Gervasi, Vincenzo 2 Goranko, Valentin F. 2 Hallerstede, Stefan 2 Hartonas, Chrysafis 2 Hennicker, Rolf 2 Huggins, James K. 2 Jordan, Charles 2 Kazakov, Yevgeny 2 Kern-Isberner, Gabriele 2 Kirst, Dominik 2 Klein, Gerwin 2 Kovtunova, Alisa 2 Kuncak, Viktor 2 Larchey-Wendling, Dominique 2 Leroy, Xavier 2 Lutz, Carsten 2 Madeira, Alexandre 2 Makowsky, Johann-Andreas 2 Martins, Manuel António 2 Méry, Dominique 2 Moser, Georg 2 Moses, Yoram 2 Ognjanović, Zoran 2 Omodeo, Eugenio Giovanni 2 Ouaknine, Joel O. 2 Padmanabha, Anantha 2 Patkin, Katia 2 Policriti, Alberto 2 Rabinovich, Alexander 2 Ramanujam, R. 2 Riccobene, Elvinia 2 Romashchenko, Andrei 2 Sala, Pietro 2 Sattler, Ulrike 2 Schulte, Wolfram 2 Şerbănuţă, Traian Florin 2 Shen, Alexander 2 Singh, Neeraj Kumar 2 Strecker, Martin 2 Tendera, Lidia 2 Thalheim, Bernhard ...and 388 more Authors all top 5 Cited in 53 Serials 41 Theoretical Computer Science 16 Formal Aspects of Computing 12 Annals of Pure and Applied Logic 12 Information and Computation 11 Journal of Computer and System Sciences 9 Artificial Intelligence 9 Annals of Mathematics and Artificial Intelligence 6 Journal of Automated Reasoning 6 Theory of Computing Systems 4 Archiv für Mathematische Logik und Grundlagenforschung 4 The Journal of Symbolic Logic 4 Studia Logica 4 Science of Computer Programming 4 Archive for Mathematical Logic 4 Theory and Practice of Logic Programming 3 MSCS. Mathematical Structures in Computer Science 3 Journal of Logic, Language and Information 3 Mathematical Logic Quarterly (MLQ) 3 Journal of Applied Logic 2 Acta Informatica 2 Information Processing Letters 2 Transactions of the American Mathematical Society 2 Journal of Symbolic Computation 2 Journal of Applied Non-Classical Logics 2 Journal of Mathematical Sciences (New York) 2 The Bulletin of Symbolic Logic 2 Logical Methods in Computer Science 2 Logicheskie Issledovaniya 1 The Mathematical Intelligencer 1 Fuzzy Sets and Systems 1 Manuscripta Mathematica 1 Programming and Computer Software 1 New Generation Computing 1 International Journal of Approximate Reasoning 1 Mathematical and Computer Modelling 1 International Journal of Foundations of Computer Science 1 Automation and Remote Control 1 Applicable Algebra in Engineering, Communication and Computing 1 Formal Methods in System Design 1 The Journal of Artificial Intelligence Research (JAIR) 1 Science in China. Series E 1 Doklady Mathematics 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Fundamenta Informaticae 1 Lobachevskii Journal of Mathematics 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures 1 Logica Universalis 1 The Review of Symbolic Logic 1 Science China. Information Sciences 1 Frontiers of Computer Science 1 Journal of Logical and Algebraic Methods in Programming 1 Modelirovanie i Analiz Informatsionnykh Sistem all top 5 Cited in 21 Fields 247 Computer science (68-XX) 158 Mathematical logic and foundations (03-XX) 7 Combinatorics (05-XX) 5 Information and communication theory, circuits (94-XX) 4 History and biography (01-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Systems theory; control (93-XX) 3 Convex and discrete geometry (52-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Category theory; homological algebra (18-XX) 2 Operations research, mathematical programming (90-XX) 2 Mathematics education (97-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Biology and other natural sciences (92-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.