Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Egon Börger
@book{DBLP:books/sp/BorgerG24,
author = {Egon B{\"{o}}rger and
Vincenzo Gervasi},
title = {Structures of Computing - {A} Guide to Practice-Oriented Theory},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-54358-6},
doi = {10.1007/978-3-031-54358-6},
isbn = {978-3-031-54357-9},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/BorgerG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-06546,
author = {Egon B{\"{o}}rger},
title = {The Role of Executable Abstract Programs in Software Development and
Documentation},
journal = {CoRR},
volume = {abs/2209.06546},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.06546},
doi = {10.48550/ARXIV.2209.06546},
eprinttype = {arXiv},
eprint = {2209.06546},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-06546.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BorgerS20,
author = {Egon B{\"{o}}rger and
Klaus{-}Dieter Schewe},
title = {A Behavioural Theory of Recursive Algorithms},
journal = {Fundam. Informaticae},
volume = {177},
number = {1},
pages = {1--37},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1978},
doi = {10.3233/FI-2020-1978},
timestamp = {Fri, 26 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BorgerS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BorgerS20,
author = {Egon B{\"{o}}rger and
Klaus{-}Dieter Schewe},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {A Characterization of Distributed ASMs with Partial-Order Runs},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {78--92},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_6},
doi = {10.1007/978-3-030-48077-6\_6},
timestamp = {Mon, 25 May 2020 12:30:51 +0200},
biburl = {https://dblp.org/rec/conf/asm/BorgerS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-01862,
author = {Egon B{\"{o}}rger and
Klaus{-}Dieter Schewe},
title = {A Behavioural Theory of Recursive Algorithms},
journal = {CoRR},
volume = {abs/2001.01862},
year = {2020},
url = {http://arxiv.org/abs/2001.01862},
eprinttype = {arXiv},
eprint = {2001.01862},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-01862.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/Schewe0B19,
author = {Klaus{-}Dieter Schewe and
Andreas Prinz and
Egon B{\"{o}}rger},
editor = {Klaus{-}Dieter Schewe and
Neeraj Kumar Singh},
title = {Concurrent Computing with Shared Replicated Memory},
booktitle = {Model and Data Engineering - 9th International Conference, {MEDI}
2019, Toulouse, France, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11815},
pages = {219--234},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32065-2\_16},
doi = {10.1007/978-3-030-32065-2\_16},
timestamp = {Thu, 10 Nov 2022 09:00:14 +0100},
biburl = {https://dblp.org/rec/conf/medi/Schewe0B19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-04789,
author = {Klaus{-}Dieter Schewe and
Andreas Prinz and
Egon B{\"{o}}rger},
title = {Concurrent Computing with Shared Replicated Memory},
journal = {CoRR},
volume = {abs/1902.04789},
year = {2019},
url = {http://arxiv.org/abs/1902.04789},
eprinttype = {arXiv},
eprint = {1902.04789},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-04789.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/BorgerR18,
author = {Egon B{\"{o}}rger and
Alexander Raschke},
title = {Modeling Companion for Software Practitioners},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-56641-1},
doi = {10.1007/978-3-662-56641-1},
isbn = {978-3-662-56639-8},
timestamp = {Tue, 10 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/BorgerR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Borger18,
author = {Egon B{\"{o}}rger},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Why Programming Must Be Supported by Modeling and How},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {89--110},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_6},
doi = {10.1007/978-3-030-03418-4\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/Borger18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BorgerS17,
author = {Egon B{\"{o}}rger and
Klaus{-}Dieter Schewe},
title = {Communication in Abstract State Machines},
journal = {J. Univers. Comput. Sci.},
volume = {23},
number = {2},
pages = {129--145},
year = {2017},
url = {http://www.jucs.org/jucs\_23\_2/communication\_in\_abstract\_state},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BorgerS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Borger17,
author = {Egon B{\"{o}}rger},
title = {The abstract state machines method for modular design and analysis
of programming languages},
journal = {J. Log. Comput.},
volume = {27},
number = {2},
pages = {417--439},
year = {2017},
url = {https://doi.org/10.1093/logcom/exu077},
doi = {10.1093/LOGCOM/EXU077},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Borger17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorgerS17,
author = {Egon B{\"{o}}rger and
Klaus{-}Dieter Schewe},
title = {Specifying Transaction Control to Serialize Concurrent Program Executions},
journal = {CoRR},
volume = {abs/1706.01762},
year = {2017},
url = {http://arxiv.org/abs/1706.01762},
eprinttype = {arXiv},
eprint = {1706.01762},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorgerS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorgerSW17,
author = {Egon B{\"{o}}rger and
Klaus{-}Dieter Schewe and
Qing Wang},
title = {Serialisable Multi-Level Transaction Control: {A} Specification and
Verification},
journal = {CoRR},
volume = {abs/1706.04043},
year = {2017},
url = {http://arxiv.org/abs/1706.04043},
eprinttype = {arXiv},
eprint = {1706.04043},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorgerSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BorgerS16,
author = {Egon B{\"{o}}rger and
Klaus{-}Dieter Schewe},
title = {Concurrent abstract state machines},
journal = {Acta Informatica},
volume = {53},
number = {5},
pages = {469--492},
year = {2016},
url = {https://doi.org/10.1007/s00236-015-0249-7},
doi = {10.1007/S00236-015-0249-7},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BorgerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BorgerSW16,
author = {Egon B{\"{o}}rger and
Klaus{-}Dieter Schewe and
Qing Wang},
title = {Serialisable multi-level transaction control: {A} specification and
verification},
journal = {Sci. Comput. Program.},
volume = {131},
pages = {42--58},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.03.008},
doi = {10.1016/J.SCICO.2016.03.008},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BorgerSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Borger16,
author = {Egon B{\"{o}}rger},
editor = {Michael J. Butler and
Klaus{-}Dieter Schewe and
Atif Mashkoor and
Mikl{\'{o}}s Bir{\'{o}}},
title = {Modeling Distributed Algorithms by Abstract State Machines Compared
to Petri Nets},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9675},
pages = {3--34},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33600-8\_1},
doi = {10.1007/978-3-319-33600-8\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/Borger16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/LeuschelB16,
author = {Michael Leuschel and
Egon B{\"{o}}rger},
editor = {Michael J. Butler and
Klaus{-}Dieter Schewe and
Atif Mashkoor and
Mikl{\'{o}}s Bir{\'{o}}},
title = {A Compact Encoding of Sequential ASMs in Event-B},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9675},
pages = {119--134},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33600-8\_7},
doi = {10.1007/978-3-319-33600-8\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/LeuschelB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/s-bpm-one/BorgerF15,
author = {Egon B{\"{o}}rger and
Albert Fleischmann},
editor = {Jens Ehlers and
Bernhard Thalheim},
title = {Abstract state machine nets: closing the gap between business process
models and their implementation},
booktitle = {Proceedings of the 7th International Conference on Subject-Oriented
Business Process Management, {S-BPM} {ONE} 2015, Kiel, Germany, April
23-24, 2015},
pages = {1:1--1:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2723839.2723840},
doi = {10.1145/2723839.2723840},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/s-bpm-one/BorgerF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/s-bpm-one/BorgerZ15,
author = {Egon B{\"{o}}rger and
Simone Zenzaro},
editor = {Jens Ehlers and
Bernhard Thalheim},
title = {Modeling for change via component-based decomposition and {ASM} refinement},
booktitle = {Proceedings of the 7th International Conference on Subject-Oriented
Business Process Management, {S-BPM} {ONE} 2015, Kiel, Germany, April
23-24, 2015},
pages = {13:1--13:13},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2723839.2723854},
doi = {10.1145/2723839.2723854},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/s-bpm-one/BorgerZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GervasiBC14,
author = {Vincenzo Gervasi and
Egon B{\"{o}}rger and
Antonio Cisternino},
title = {Modeling web applications infrastructure with ASMs},
journal = {Sci. Comput. Program.},
volume = {94},
pages = {69--92},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.02.025},
doi = {10.1016/J.SCICO.2014.02.025},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GervasiBC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BorgerS14,
author = {Egon B{\"{o}}rger and
Klaus{-}Dieter Schewe},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Specifying Transaction Control to Serialize Concurrent Program Executions},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
pages = {142--157},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_13},
doi = {10.1007/978-3-662-43652-3\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/BorgerS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bics/FleischmannBL13,
author = {Albert Fleischmann and
Egon B{\"{o}}rger and
Harald Lerchner},
editor = {Derong Liu and
Cesare Alippi and
Dongbin Zhao and
Amir Hussain},
title = {Subject-Orientation as a Method to Specify the Cooperation of Active
Entities in the uCepCortex Project},
booktitle = {Advances in Brain Inspired Cognitive Systems - 6th International Conference,
{BICS} 2013, Beijing, China, June 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7888},
pages = {328--337},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38786-9\_37},
doi = {10.1007/978-3-642-38786-9\_37},
timestamp = {Wed, 07 Dec 2022 23:12:07 +0100},
biburl = {https://dblp.org/rec/conf/bics/FleischmannBL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0030187,
author = {Albert Fleischmann and
Werner Schmidt and
Christian Stary and
Stefan Obermeier and
Egon B{\"{o}}rger},
title = {Subject-Oriented Business Process Management},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32392-8},
doi = {10.1007/978-3-642-32392-8},
isbn = {978-3-642-32391-1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0030187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BorgerCG12,
author = {Egon B{\"{o}}rger and
Antonio Cisternino and
Vincenzo Gervasi},
title = {Ambient Abstract State Machines with applications},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {939--959},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.004},
doi = {10.1016/J.JCSS.2011.08.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BorgerCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Borger12,
author = {Egon B{\"{o}}rger},
title = {Approaches to modeling business processes: a critical analysis of
BPMN, workflow patterns and {YAWL}},
journal = {Softw. Syst. Model.},
volume = {11},
number = {3},
pages = {305--318},
year = {2012},
url = {https://doi.org/10.1007/s10270-011-0214-z},
doi = {10.1007/S10270-011-0214-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Borger12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BorgerCG12,
author = {Egon B{\"{o}}rger and
Antonio Cisternino and
Vincenzo Gervasi},
editor = {John Derrick and
John S. Fitzgerald and
Stefania Gnesi and
Sarfraz Khurshid and
Michael Leuschel and
Steve Reeves and
Elvinia Riccobene},
title = {Contribution to a Rigorous Analysis of Web Application Frameworks},
booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7316},
pages = {1--20},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30885-7\_1},
doi = {10.1007/978-3-642-30885-7\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BorgerCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Borger12,
author = {Egon B{\"{o}}rger},
editor = {Antje D{\"{u}}sterh{\"{o}}ft and
Meike Klettke and
Klaus{-}Dieter Schewe},
title = {The Subject-Oriented Approach to Software Design and the Abstract
State Machines Method},
booktitle = {Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated
to Bernhard Thalheim on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7260},
pages = {52--72},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28279-9\_6},
doi = {10.1007/978-3-642-28279-9\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Borger12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BorgerCG12,
author = {Egon B{\"{o}}rger and
Antonio Cisternino and
Vincenzo Gervasi},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {Contribution to a Rigorous Analysis of Web Application Frameworks},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {1--20},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_1},
doi = {10.1007/978-3-642-30729-4\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BorgerCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/s-bpm-one/Borger12,
author = {Egon B{\"{o}}rger},
editor = {Christian Stary},
title = {The Subject-Oriented Approach to Software Design and the Abstract
State Machines Method},
booktitle = {{S-BPM} {ONE} - Scientific Research - 4th International Conference,
{S-BPM} {ONE} 2012, Vienna, Austria, April 4-5, 2012. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {104},
pages = {1--21},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29133-3\_1},
doi = {10.1007/978-3-642-29133-3\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/s-bpm-one/Borger12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0028857,
author = {Albert Fleischmann and
Werner Schmidt and
Christian Stary and
Stefan Obermeier and
Egon B{\"{o}}rger},
title = {Subjektorientiertes Prozessmanagement - Mitarbeiter einbinden, Motivation
und Prozessakzeptanz steigern},
publisher = {Hanser},
year = {2011},
url = {http://www.hanser-fachbuch.de/buch/Subjektorientiertes+Prozessmanagement/9783446427075},
isbn = {978-3-446-42707-5},
timestamp = {Fri, 24 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0028857.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Borger11,
author = {Egon B{\"{o}}rger},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {23},
number = {1},
pages = {1--2},
year = {2011},
url = {https://doi.org/10.1007/s00165-010-0168-x},
doi = {10.1007/S00165-010-0168-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Borger11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/BorgerS11,
author = {Egon B{\"{o}}rger and
Ove S{\"{o}}rensen},
editor = {David W. Embley and
Bernhard Thalheim},
title = {{BPMN} Core Modeling Concepts: Inheritance-Based Execution Semantics},
booktitle = {Handbook of Conceptual Modeling - Theory, Practice, and Research Challenges},
pages = {287--332},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-15865-0\_9},
doi = {10.1007/978-3-642-15865-0\_9},
timestamp = {Wed, 14 Nov 2018 10:12:21 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/BorgerS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/CraigB10,
author = {Iain Craig and
Egon B{\"{o}}rger},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Synchronous Message Passing and Semaphores: An Equivalence Proof},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {20--33},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_3},
doi = {10.1007/978-3-642-11811-1\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/CraigB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BorgerST09,
author = {Egon B{\"{o}}rger and
Ove S{\"{o}}rensen and
Bernhard Thalheim},
title = {On Defining the Behavior of OR-joins in Business Process Models},
journal = {J. Univers. Comput. Sci.},
volume = {15},
number = {1},
pages = {3--32},
year = {2009},
url = {https://doi.org/10.3217/jucs-015-01-0003},
doi = {10.3217/JUCS-015-01-0003},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BorgerST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BorgerP08,
author = {Egon B{\"{o}}rger and
Andreas Prinz},
title = {Quo Vadis Abstract State Machines?},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {12},
pages = {1921--1928},
year = {2008},
url = {http://www.jucs.org/jucs\_14\_12/quo\_vadis\_abstract\_state},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BorgerP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BatoryB08,
author = {Don S. Batory and
Egon B{\"{o}}rger},
title = {Modularizing Theorems for Software Product Lines: The Jbook Case Study},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {12},
pages = {2059--2082},
year = {2008},
url = {https://doi.org/10.3217/jucs-014-12-2059},
doi = {10.3217/JUCS-014-12-2059},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BatoryB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BorgerT08,
author = {Egon B{\"{o}}rger and
Bernhard Thalheim},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {Modeling Workflows, Interaction Patterns, Web Services and Business
Processes: The ASM-Based Approach},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {24--38},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_3},
doi = {10.1007/978-3-540-87603-8\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/BorgerT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BorgerB08,
author = {Egon B{\"{o}}rger and
Don S. Batory},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {Coupling Design and Verification in Software Product Lines},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {1--4},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_1},
doi = {10.1007/978-3-540-77684-0\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BorgerB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/AltenhofenB08,
author = {Michael Altenhofen and
Egon B{\"{o}}rger},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Concurrent Abstract State Machines and \({}^{\mbox{+}}\)CAL Programs},
booktitle = {Recent Trends in Algebraic Development Techniques, 19th International
Workshop, {WADT} 2008, Pisa, Italy, June 13-16, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5486},
pages = {1--17},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03429-9\_1},
doi = {10.1007/978-3-642-03429-9\_1},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/wadt/AltenhofenB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2008,
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8},
doi = {10.1007/978-3-540-87603-8},
isbn = {978-3-540-87602-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lipari/2007,
editor = {Egon B{\"{o}}rger and
Antonio Cisternino},
title = {Advances in Software Engineering, Lipari Summer School 2007, Lipari
Island, Italy, July 8-21, 2007, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5316},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89762-0},
doi = {10.1007/978-3-540-89762-0},
isbn = {978-3-540-89761-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lipari/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Borger07,
author = {Egon B{\"{o}}rger},
title = {Construction and analysis of ground models and their refinements as
a foundation for validating computer-based systems},
journal = {Formal Aspects Comput.},
volume = {19},
number = {2},
pages = {225--241},
year = {2007},
url = {https://doi.org/10.1007/s00165-006-0019-y},
doi = {10.1007/S00165-006-0019-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Borger07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/Borger07,
author = {Egon B{\"{o}}rger},
editor = {Christine Parent and
Klaus{-}Dieter Schewe and
Veda C. Storey and
Bernhard Thalheim},
title = {Modeling Workflow Patterns from First Principles},
booktitle = {Conceptual Modeling - {ER} 2007, 26th International Conference on
Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4801},
pages = {1--20},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75563-0\_1},
doi = {10.1007/978-3-540-75563-0\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/er/Borger07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lipari/BorgerT07,
author = {Egon B{\"{o}}rger and
Bernhard Thalheim},
editor = {Egon B{\"{o}}rger and
Antonio Cisternino},
title = {A Method for Verifiable and Validatable Business Process Modeling},
booktitle = {Advances in Software Engineering, Lipari Summer School 2007, Lipari
Island, Italy, July 8-21, 2007, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5316},
pages = {59--115},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89762-0\_3},
doi = {10.1007/978-3-540-89762-0\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lipari/BorgerT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbpim/AltenhofenFLB06,
author = {Michael Altenhofen and
Andreas Friesen and
Jens Lemcke and
Egon B{\"{o}}rger},
title = {A high-level specification for virtual providers},
journal = {Int. J. Bus. Process. Integr. Manag.},
volume = {1},
number = {4},
pages = {267--278},
year = {2006},
url = {https://doi.org/10.1504/IJBPIM.2006.012625},
doi = {10.1504/IJBPIM.2006.012625},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijbpim/AltenhofenFLB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/FrujaB06,
author = {Nicu G. Fruja and
Egon B{\"{o}}rger},
title = {Modeling the .NET {CLR} Exception Handling Mechanism for a Mathematical
Analysis},
journal = {J. Object Technol.},
volume = {5},
number = {3},
pages = {5--34},
year = {2006},
url = {https://doi.org/10.5381/jot.2006.5.3.a1},
doi = {10.5381/JOT.2006.5.3.A1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/FrujaB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/FriesenB06,
author = {Andreas Friesen and
Egon B{\"{o}}rger},
editor = {Nora Koch and
Luis Olsina},
title = {A high-level specification for Semantic Web Service Discovery Services},
booktitle = {Workshop Proceedings of the 6th International Conference on Web Engineering,
{ICWE} 2006, Palo Alto, California, USA, July 11-14, 2006},
series = {{ACM} International Conference Proceeding Series},
volume = {155},
pages = {16},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1149993.1150012},
doi = {10.1145/1149993.1150012},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icwe/FriesenB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Borger05,
author = {Egon B{\"{o}}rger},
title = {Abstract State Machines: a unifying view of models of computation
and of system design frameworks},
journal = {Ann. Pure Appl. Log.},
volume = {133},
number = {1-3},
pages = {149--171},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.10.007},
doi = {10.1016/J.APAL.2004.10.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Borger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Borger05,
author = {Egon B{\"{o}}rger},
title = {Abstract state machines and high-level system design and analysis},
journal = {Theor. Comput. Sci.},
volume = {336},
number = {2-3},
pages = {205--207},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.11.006},
doi = {10.1016/J.TCS.2004.11.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Borger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BorgerFGS05,
author = {Egon B{\"{o}}rger and
Nicu G. Fruja and
Vincenzo Gervasi and
Robert F. St{\"{a}}rk},
title = {A high-level modular definition of the semantics of C{\#}},
journal = {Theor. Comput. Sci.},
volume = {336},
number = {2-3},
pages = {235--284},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.11.008},
doi = {10.1016/J.TCS.2004.11.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BorgerFGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BeauquierBS05,
author = {Dani{\`{e}}le Beauquier and
Egon B{\"{o}}rger and
Anatol Slissenko},
title = {Introduction},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {5--10},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/IntroProcAsm05.ps},
timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
biburl = {https://dblp.org/rec/conf/asm/BeauquierBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Borger05,
author = {Egon B{\"{o}}rger},
title = {The {ASM} Method: a Cornerstone in Computer Science Education},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {49--56},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/TeachAsm.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Borger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Borger05a,
author = {Egon B{\"{o}}rger},
title = {Design Pattern Abstractions and Abstract State Machines},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {91--100},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/DesignPattern.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Borger05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AltenhofenBL05,
author = {Michael Altenhofen and
Egon B{\"{o}}rger and
Jens Lemcke},
editor = {Christoph Bussler and
Armin Haller},
title = {A High-Level Specification for Mediators(Virtual Providers)},
booktitle = {Business Process Management Workshops, {BPM} 2005 International Workshops,
BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005,
Revised Selected Papers},
volume = {3812},
pages = {116--129},
year = {2005},
url = {https://doi.org/10.1007/11678564\_11},
doi = {10.1007/11678564\_11},
timestamp = {Tue, 30 May 2017 16:36:53 +0200},
biburl = {https://dblp.org/rec/conf/bpm/AltenhofenBL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/Borger05,
author = {Egon B{\"{o}}rger},
editor = {Carlo Mereghetti and
Beatrice Palano and
Giovanni Pighizzini and
Detlef Wotschke},
title = {Using Abstract State Machines for the Description and the Analysis
of Formal Systems},
booktitle = {7th International Workshop on Descriptional Complexity of Formal Systems
- {DCFS} 2005, Como, Italy, June 30 - July 2, 2005. Proceedings},
pages = {15--22},
publisher = {Universit{\`{a}} degli Studi di Milano, Milan, Italy},
year = {2005},
timestamp = {Fri, 21 Oct 2011 15:06:32 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/Borger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Borger05,
author = {Egon B{\"{o}}rger},
editor = {Bernhard Gramlich},
title = {The {ASM} Method for System Design and Analysis. {A} Tutorial Introduction},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {264--283},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_15},
doi = {10.1007/11559306\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Borger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BarrosB05,
author = {Alistair Barros and
Egon B{\"{o}}rger},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {A Compositional Framework for Service Interaction Patterns and Interaction
Flows},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {5--35},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_2},
doi = {10.1007/11576280\_2},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BarrosB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AltenhofenBL05,
author = {Michael Altenhofen and
Egon B{\"{o}}rger and
Jens Lemcke},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {An Abstract Model for Process Mediation},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {81--95},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_7},
doi = {10.1007/11576280\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/AltenhofenBL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Borger05,
author = {Egon B{\"{o}}rger},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Linking the Meaning of Programs to What the Compiler Can Verify},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {325--336},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_35},
doi = {10.1007/978-3-540-69149-5\_35},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Borger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wiw/AltenhofenBL05,
author = {Michael Altenhofen and
Egon B{\"{o}}rger and
Jens Lemcke},
editor = {Christoph Bussler and
Dieter Fensel and
Uwe Keller and
Brahmananda Sapkota},
title = {An Execution Semantics for Mediation Patterns},
booktitle = {Proceedings of the {WIW} 2005 Workshop on {WSMO} Implementations,
Innsbruck, Austria, June 6-7, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {134},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-134/lemcke-wiw05.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:28 +0100},
biburl = {https://dblp.org/rec/conf/wiw/AltenhofenBL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BorgerCR04,
author = {Egon B{\"{o}}rger and
Alessandra Cavarra and
Elvinia Riccobene},
title = {On formalizing {UML} state machines using {ASM}},
journal = {Inf. Softw. Technol.},
volume = {46},
number = {5},
pages = {287--292},
year = {2004},
url = {https://doi.org/10.1016/j.infsof.2003.09.009},
doi = {10.1016/J.INFSOF.2003.09.009},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/BorgerCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/StarkB04,
author = {Robert F. St{\"{a}}rk and
Egon B{\"{o}}rger},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {An {ASM} Specification of C{\#} Threads and the .NET Memory Model},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {38--60},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_4},
doi = {10.1007/978-3-540-24773-9\_4},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/StarkB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/Borger04,
author = {Egon B{\"{o}}rger},
editor = {Bernhard Rumpe and
Wolfgang Hesse},
title = {Modeling with Abstract State Machines: {A} support for accurate system
design and analysis},
booktitle = {Modellierung 2004, Proceedings zur Tagung, 23.-26. M{\"{a}}rz
2004, Marburg, Proceedings},
series = {{LNI}},
volume = {{P-45}},
pages = {235--239},
publisher = {{GI}},
year = {2004},
url = {https://dl.gi.de/handle/20.500.12116/29223},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/Borger04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/Borger04,
author = {Egon B{\"{o}}rger},
editor = {C. Neville Dean and
Raymond T. Boute},
title = {A Practice-Oriented Course on the Principles of Computation, Programming,
and System Design and Analysis},
booktitle = {Teaching Formal Methods, CoLogNET/FME Symposium, {TFM} 2004, Ghent,
Belgium, November 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3294},
pages = {65--84},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30472-2\_5},
doi = {10.1007/978-3-540-30472-2\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tfm/Borger04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/BorgerS2003,
author = {Egon B{\"{o}}rger and
Robert F. St{\"{a}}rk},
title = {Abstract State Machines. {A} Method for High-Level System Design and
Analysis},
publisher = {Springer},
year = {2003},
url = {http://www.springer.com/computer/swe/book/978-3-540-00702-9},
isbn = {3540007024},
timestamp = {Wed, 31 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/BorgerS2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Borger03,
author = {Egon B{\"{o}}rger},
title = {The {ASM} Refinement Method},
journal = {Formal Aspects Comput.},
volume = {15},
number = {2-3},
pages = {237--257},
year = {2003},
url = {https://doi.org/10.1007/s00165-003-0012-7},
doi = {10.1007/S00165-003-0012-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Borger03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BolognesiB03,
author = {Tommaso Bolognesi and
Egon B{\"{o}}rger},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Abstract State Processes},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {22--32},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_2},
doi = {10.1007/3-540-36498-6\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/BolognesiB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BorgerB03,
author = {Egon B{\"{o}}rger and
Tommaso Bolognesi},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Remarks on Turbo ASMs for Functional Equations and Recursion Schemes},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {218--228},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_12},
doi = {10.1007/3-540-36498-6\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BorgerB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Borger03,
author = {Egon B{\"{o}}rger},
editor = {Nachum Dershowitz},
title = {The {ASM} Ground Model Method as a Foundation for Requirements Engineering},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {145--160},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_6},
doi = {10.1007/978-3-540-39910-0\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Borger03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BorgerS03,
author = {Egon B{\"{o}}rger and
Robert F. St{\"{a}}rk},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Exploiting Abstraction for Specification Reuse. The Java/C{\#} Case
Study},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {42--76},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_3},
doi = {10.1007/978-3-540-30101-1\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BorgerS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BorgerRC03,
author = {Egon B{\"{o}}rger and
Elvinia Riccobene and
Alessandra Cavarra},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {Modeling the Meaning of Transitions from and to Concurrent States
in {UML} State Machines},
booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC),
March 9-12, 2003, Melbourne, FL, {USA}},
pages = {1086--1091},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/952532.952745},
doi = {10.1145/952532.952745},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/BorgerRC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2003,
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6},
doi = {10.1007/3-540-36498-6},
isbn = {3-540-00624-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Borger02,
author = {Egon B{\"{o}}rger},
title = {The Origins and the Development of the {ASM} Method for High Level
System Design and Analysis},
journal = {J. Univers. Comput. Sci.},
volume = {8},
number = {1},
pages = {2--74},
year = {2002},
url = {https://doi.org/10.3217/jucs-008-01-0002},
doi = {10.3217/JUCS-008-01-0002},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Borger02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Stark2001,
author = {Robert F. St{\"{a}}rk and
Joachim Schmid and
Egon B{\"{o}}rger},
title = {Java and the Java Virtual Machine: Definition, Verification, Validation},
publisher = {Springer},
year = {2001},
timestamp = {Thu, 10 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Stark2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BorgerG01,
author = {Egon B{\"{o}}rger and
Uwe Gl{\"{a}}sser},
title = {Abstract State Machines 2001: New Developments and Applications -
{J.UCS} Special Issue},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {11},
pages = {914--916},
year = {2001},
url = {http://www.jucs.org/jucs\_7\_11/abstract\_state\_machines\_2001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BorgerG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BorgerS01,
author = {Egon B{\"{o}}rger and
Diego Sona},
title = {A Neural Abstract Machine},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {11},
pages = {1006--1023},
year = {2001},
url = {https://doi.org/10.3217/jucs-007-11-1006},
doi = {10.3217/JUCS-007-11-1006},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BorgerS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Borger01,
author = {Egon B{\"{o}}rger},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Bruno Buchberger and
Jos{\'{e}} Luis Freire},
title = {Design for Reuse via Structuring Techniques for ASMs},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
Canaria, Spain, February 19-23, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2178},
pages = {20--35},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45654-6\_2},
doi = {10.1007/3-540-45654-6\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Borger01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BorgerG00,
author = {Egon B{\"{o}}rger and
Reinhard Gotzhein},
title = {Requirements Engineering - The Light Control Case Study},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {7},
pages = {580--581},
year = {2000},
url = {http://www.jucs.org/jucs\_6\_7/requirements\_engineering\_the\_light},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BorgerG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BorgerG00a,
author = {Egon B{\"{o}}rger and
Reinhard Gotzhein},
title = {The Light Control Case Study: {A} Synopsis},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {7},
pages = {582--585},
year = {2000},
url = {https://doi.org/10.3217/jucs-006-07-0582},
doi = {10.3217/JUCS-006-07-0582},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BorgerG00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BorgerRS00,
author = {Egon B{\"{o}}rger and
Elvinia Riccobene and
Joachim Schmid},
title = {Capturing Requirements by Abstract State Machines: The Light Control
Case Study},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {7},
pages = {597--620},
year = {2000},
url = {https://doi.org/10.3217/jucs-006-07-0597},
doi = {10.3217/JUCS-006-07-0597},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BorgerRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BorgerS00,
author = {Egon B{\"{o}}rger and
Wolfram Schulte},
title = {Initialization problems for Java},
journal = {Softw. Concepts Tools},
volume = {19},
number = {4},
pages = {175--178},
year = {2000},
url = {https://doi.org/10.1007/s003789900003},
doi = {10.1007/S003789900003},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/BorgerS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BorgerS00,
author = {Egon B{\"{o}}rger and
Wolfram Schulte},
title = {A Practical Method for Specification and Analysis of Exception Handling
- {A} Java/JVM Case Study},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {9},
pages = {872--887},
year = {2000},
url = {https://doi.org/10.1109/32.877847},
doi = {10.1109/32.877847},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BorgerS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BorgerCR00,
author = {Egon B{\"{o}}rger and
Alessandra Cavarra and
Elvinia Riccobene},
editor = {Teodor Rus},
title = {An {ASM} Semantics for {UML} Activity Diagrams},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {293--308},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_22},
doi = {10.1007/3-540-45499-3\_22},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BorgerCR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Borger00,
author = {Egon B{\"{o}}rger},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Abstract State Machines at the Cusp of the Millenium},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {1--8},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_1},
doi = {10.1007/3-540-44518-8\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/Borger00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BorgerCR00,
author = {Egon B{\"{o}}rger and
Alessandra Cavarra and
Elvinia Riccobene},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Modeling the Dynamics of {UML} State Machines},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {223--241},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_13},
doi = {10.1007/3-540-44518-8\_13},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BorgerCR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BorgerPS00,
author = {Egon B{\"{o}}rger and
Peter P{\"{a}}ppinghaus and
Joachim Schmid},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Report on a Practical Application of ASMs in Software Design},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {361--366},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_20},
doi = {10.1007/3-540-44518-8\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BorgerPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BarnettBGSV00,
author = {Michael Barnett and
Egon B{\"{o}}rger and
Yuri Gurevich and
Wolfram Schulte and
Margus Veanes},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Using Abstract State Machines at Microsoft: {A} Case Study},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {367--379},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_21},
doi = {10.1007/3-540-44518-8\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BarnettBGSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BorgerS00,
author = {Egon B{\"{o}}rger and
Joachim Schmid},
editor = {Peter Clote and
Helmut Schwichtenberg},
title = {Composition and Submachine Concepts for Sequential ASMs},
booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
Germany, August 21-26, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1862},
pages = {41--60},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44622-2\_3},
doi = {10.1007/3-540-44622-2\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BorgerS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/BorgerS99,
author = {Egon B{\"{o}}rger and
Wolfram Schulte},
editor = {Jim Alves{-}Foss},
title = {A Programmer Friendly Modular Definition of the Semantics of Java},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {353--404},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_10},
doi = {10.1007/3-540-48737-9\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/java/BorgerS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BergerH98,
author = {Egon B{\"{o}}rger and
James K. Huggins},
title = {Abstract State Machines 1988-1998: Commented {ASM} Bibliography},
journal = {Bull. {EATCS}},
volume = {64},
year = {1998},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BergerH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Borger98,
author = {Egon B{\"{o}}rger},
editor = {Dieter Hutter and
Werner Stephan and
Paolo Traverso and
Markus Ullmann},
title = {High Level System Design and Analysis Using Abstract State Machines},
booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1641},
pages = {1--43},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48257-1\_1},
doi = {10.1007/3-540-48257-1\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Borger98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BorgerS98,
author = {Egon B{\"{o}}rger and
Wolfram Schulte},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Defining the Java Virtual Machine as Platform for Provably Correct
Java Compilation},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {17--35},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055755},
doi = {10.1007/BFB0055755},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BorgerS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-9811014,
author = {Egon B{\"{o}}rger and
James K. Huggins},
title = {Abstract State Machines 1988-1998: Commented {ASM} Bibliography},
journal = {CoRR},
volume = {cs.SE/9811014},
year = {1998},
url = {https://arxiv.org/abs/cs/9811014},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-9811014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/BorgerGG1997,
author = {Egon B{\"{o}}rger and
Erich Gr{\"{a}}del and
Yuri Gurevich},
title = {The Classical Decision Problem},
series = {Perspectives in Mathematical Logic},
publisher = {Springer},
year = {1997},
timestamp = {Mon, 06 Nov 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/BorgerGG1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Borger97,
author = {Egon B{\"{o}}rger},
title = {Ten Years of Gurevich's Abstract State Machines},
journal = {J. Univers. Comput. Sci.},
volume = {3},
number = {4},
pages = {230--232},
year = {1997},
url = {http://www.jucs.org/jucs\_3\_4/introduction},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/Borger97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Borger97a,
author = {Egon B{\"{o}}rger},
title = {{JUCS} Special {ASM} Issue, Part {II} - Introduction},
journal = {J. Univers. Comput. Sci.},
volume = {3},
number = {5},
pages = {414--415},
year = {1997},
url = {http://www.jucs.org/jucs\_3\_5/intro},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/Borger97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BorgerM97,
author = {Egon B{\"{o}}rger and
Luca Mearelli},
title = {Integrating ASMs into the Software Development Life Cycle},
journal = {J. Univers. Comput. Sci.},
volume = {3},
number = {5},
pages = {603--665},
year = {1997},
url = {https://doi.org/10.3217/jucs-003-05-0603},
doi = {10.3217/JUCS-003-05-0603},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BorgerM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BorgerS97,
author = {Egon B{\"{o}}rger and
Peter H. Schmitt},
title = {A Description of the Tableau Method Using Abstract State Machines},
journal = {J. Log. Comput.},
volume = {7},
number = {5},
pages = {659--681},
year = {1997},
url = {https://doi.org/10.1093/logcom/7.5.659},
doi = {10.1093/LOGCOM/7.5.659},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BorgerS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BorgerM97,
author = {Egon B{\"{o}}rger and
Stefano Mazzanti},
editor = {Jonathan P. Bowen and
Michael G. Hinchey and
David Till},
title = {A Practical Method for Rigorously Controllable Hardware Design},
booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1212},
pages = {151--187},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027289},
doi = {10.1007/BFB0027289},
timestamp = {Thu, 14 Oct 2021 10:43:56 +0200},
biburl = {https://dblp.org/rec/conf/zum/BorgerM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BorgerD96,
author = {Egon B{\"{o}}rger and
Igor Durdanovic},
title = {Correctness of Compiling Occam to Transputer Code},
journal = {Comput. J.},
volume = {39},
number = {1},
pages = {52--92},
year = {1996},
url = {https://doi.org/10.1093/comjnl/39.1.52},
doi = {10.1093/COMJNL/39.1.52},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BorgerD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BeierleB96,
author = {Christoph Beierle and
Egon B{\"{o}}rger},
title = {Specification and Correctness Proof of a {WAM} Extension with Abstract
Type Constraints},
journal = {Formal Aspects Comput.},
volume = {8},
number = {4},
pages = {428--462},
year = {1996},
url = {https://doi.org/10.1007/BF01213533},
doi = {10.1007/BF01213533},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BeierleB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BeierleB96a,
author = {Christoph Beierle and
Egon B{\"{o}}rger},
title = {Refinement of a Typed {WAM} Extension by Polymorphic Order-Sorted
Types},
journal = {Formal Aspects Comput.},
volume = {8},
number = {5},
pages = {539--564},
year = {1996},
url = {https://doi.org/10.1007/BF01211908},
doi = {10.1007/BF01211908},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BeierleB96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/1995fm,
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027227},
doi = {10.1007/BFB0027227},
isbn = {3-540-61929-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/1995fm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BorgerR95,
author = {Egon B{\"{o}}rger and
Dean Rosenzweig},
title = {A Mathematical Definition of Full Prolog},
journal = {Sci. Comput. Program.},
volume = {24},
number = {3},
pages = {249--286},
year = {1995},
url = {https://doi.org/10.1016/0167-6423(95)00006-E},
doi = {10.1016/0167-6423(95)00006-E},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BorgerR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrialBL95,
author = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {The Stream Boiler Case Study: Competition of Formal Program Specification
and Development Methods},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {1--12},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027228},
doi = {10.1007/BFB0027228},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbrialBL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BeierleBDGR95,
author = {Christoph Beierle and
Egon B{\"{o}}rger and
Igor Durdanovic and
Uwe Gl{\"{a}}sser and
Elvinia Riccobene},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Refining Abstract Machine Specifications of the Steam Boiler Control
to Well Documented Executable Code},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {52--78},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027231},
doi = {10.1007/BFB0027231},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BeierleBDGR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BorgerC95,
author = {Egon B{\"{o}}rger and
Giuseppe Del Castillo},
title = {A formal method for provably correct composition of a real-life processor
out of basic components. (The {APE100} Reverse Engineering Study},
booktitle = {1st {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
{USA}},
pages = {145--148},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICECCS.1995.479320},
doi = {10.1109/ICECCS.1995.479320},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BorgerC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Borger95,
author = {Egon B{\"{o}}rger},
editor = {Miroslav Bartosek and
Jan Staudek and
Jir{\'{\i}} Wiedermann},
title = {Why Use Evolving Algebras for Hardware and Software Engineering?},
booktitle = {{SOFSEM} '95, 22nd Seminar on Current Trends in Theory and Practice
of Informatics, Milovy, Czech Republic, November 23 - December 1,
1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1012},
pages = {236--271},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60609-2\_12},
doi = {10.1007/3-540-60609-2\_12},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Borger95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/beierleP95/BorgerR95,
author = {Egon B{\"{o}}rger and
Dean Rosenzweig},
editor = {Christoph Beierle and
Lutz Pl{\"{u}}mer},
title = {The {WAM} - Definition and Compiler Correctness},
booktitle = {Logic Programming: Formal Methods and Practical Applications, Studies
in Computer Science and Artificial Intelligence},
pages = {20--90},
publisher = {Elsevier Science B.V./North-Holland},
year = {1995},
timestamp = {Mon, 05 Aug 2019 11:57:50 +0200},
biburl = {https://dblp.org/rec/books/el/beierleP95/BorgerR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/asm/1993eap,
editor = {Egon B{\"{o}}rger},
title = {Specification and validation methods},
publisher = {Oxford University Press},
year = {1995},
isbn = {0-19-853854-5},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/1993eap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/MullerBG94,
author = {Wolfgang M{\"{u}}ller and
Egon B{\"{o}}rger and
Uwe Gl{\"{a}}sser},
editor = {Jean Mermet},
title = {The semantics of behavioral {VHDL} '93 descriptions},
booktitle = {Proceedings EURO-DAC'94, European Design Automation Conference, Grenoble,
France, September 19-22, 1994},
pages = {500--505},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=198312},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/MullerBG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Borger94,
author = {Egon B{\"{o}}rger},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Logic Programming: The Evolving Algebra Approach},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {391--395},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 13:03:03 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Borger94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BorgerCGR94,
author = {Egon B{\"{o}}rger and
Giuseppe Del Castillo and
Paola Glavan and
Dean Rosenzweig},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Towards a Mathematical Specification of the {APE100} Architecture:
The {APESE} Model},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {396--401},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BorgerCGR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BorgerG94,
author = {Egon B{\"{o}}rger and
Uwe Gl{\"{a}}sser},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Formal Specification of the {PVM} Architecture},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {402--409},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BorgerG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BorgerLR94,
author = {Egon B{\"{o}}rger and
Francisco Javier L{\'{o}}pez{-}Fraguas and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Model for Mathematical Analysis of Functional Logic Programs and
Their Implementations},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {410--415},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BorgerLR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/BorgerDR94,
author = {Egon B{\"{o}}rger and
Igor Durdanovic and
Dean Rosenzweig},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {Occam: Specification and Compiler Correctness - Part {I:} The Primary
Model},
booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
1994},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {489--508},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
biburl = {https://dblp.org/rec/conf/procomet/BorgerDR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1993,
editor = {Egon B{\"{o}}rger and
Yuri Gurevich and
Karl Meinke},
title = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
September 13-17, 1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {832},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0049319},
doi = {10.1007/BFB0049319},
isbn = {3-540-58277-0},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BorgerR93,
author = {Egon B{\"{o}}rger and
Dean Rosenzweig},
editor = {David Scott Warren},
title = {Full Prolog in a Nutshell},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {832},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BorgerR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/BorgerR93,
author = {Egon B{\"{o}}rger and
Dean Rosenzweig},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {The Mathematics of Set Predicates in Prolog},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {1--13},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022547},
doi = {10.1007/BFB0022547},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/BorgerR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Borger93,
author = {Egon B{\"{o}}rger},
editor = {Christoph Beierle},
title = {Evolving Algebras for Specification of Logic Programming Systems},
booktitle = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
Hagen, Germany, Informatik-Bericht 146},
pages = {5},
year = {1993},
timestamp = {Thu, 21 Mar 2019 11:19:43 +0100},
biburl = {https://dblp.org/rec/conf/wlp/Borger93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/Borger93,
author = {Egon B{\"{o}}rger},
editor = {Egon B{\"{o}}rger},
title = {Annotated bibliography on evolving algebras},
booktitle = {Specification and validation methods},
pages = {37--51},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 18:03:07 +0100},
biburl = {https://dblp.org/rec/conf/asm/Borger93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/BorgerS93,
author = {Egon B{\"{o}}rger and
Rosario F. Salamone},
editor = {Egon B{\"{o}}rger},
title = {{CLAM} specification for provably correct compilation of {CLP(} {R}
{)} programs},
booktitle = {Specification and validation methods},
pages = {96--130},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/BorgerS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/RosenzweigBG93,
author = {Dean Rosenzweig and
Egon B{\"{o}}rger and
Yuri Gurevich},
editor = {Egon B{\"{o}}rger},
title = {The bakery algorithm: yet another specification and verification},
booktitle = {Specification and validation methods},
pages = {231--243},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/RosenzweigBG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1992,
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Simone Martini and
Michael M. Richter},
title = {Computer Science Logic, 6th Workshop, {CSL} '92, San Miniato, Italy,
September 28 - October 2, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {702},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56992-8},
doi = {10.1007/3-540-56992-8},
isbn = {3-540-56992-8},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067891,
author = {Egon B{\"{o}}rger},
title = {Berechenbarkeit, Komplexit{\"{a}}t und Logik - Algorithmen, Sprachen
und Kalk{\"{u}}le unter besonderer Ber{\"{u}}cksichtigung
ihrer Komplexit{\"{a}}t {(3.} Aufl.)},
publisher = {Vieweg},
year = {1992},
isbn = {978-3-528-28928-7},
timestamp = {Thu, 07 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1991,
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023753},
doi = {10.1007/BFB0023753},
isbn = {3-540-55789-X},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BeierleB91,
author = {Christoph Beierle and
Egon B{\"{o}}rger},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {Correctness Proof For the {WAM} with Types},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {15--34},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023755},
doi = {10.1007/BFB0023755},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/BeierleB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BorgerR91,
author = {Egon B{\"{o}}rger and
Elvinia Riccobene},
editor = {Andrei Voronkov},
title = {Logical Operational Semantics of Parlog. Part {II:} Or-Parallelism},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {27--34},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_3},
doi = {10.1007/3-540-55460-2\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BorgerR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BorgerR91a,
author = {Egon B{\"{o}}rger and
Dean Rosenzweig},
editor = {Andrei Voronkov},
title = {{WAM} Algebras - {A} Mathematical Study of Implementation, Part 2},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {35--54},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_4},
doi = {10.1007/3-540-55460-2\_4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BorgerR91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdk/BorgerR91,
author = {Egon B{\"{o}}rger and
Elvinia Riccobene},
editor = {Harold Boley and
Michael M. Richter},
title = {Logical Operational Semantics of Parlog, Part {I:} And-Parallelism},
booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
Germany, July 1-3, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {567},
pages = {191--198},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013530},
doi = {10.1007/BFB0013530},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/pdk/BorgerR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BorgerD91,
author = {Egon B{\"{o}}rger and
Bart Demoen},
editor = {Jan Maluszynski and
Martin Wirsing},
title = {A Framework to Specify Database Update Views for Prolog},
booktitle = {Programming Language Implementation and Logic Programming, 3rd International
Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {528},
pages = {147--158},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54444-5\_95},
doi = {10.1007/3-540-54444-5\_95},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/plilp/BorgerD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1990,
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter and
Wolfgang Sch{\"{o}}nfeld},
title = {Computer Science Logic, 4th Workshop, {CSL} '90, Heidelberg, Germany,
October 1-5, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {533},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54487-9},
doi = {10.1007/3-540-54487-9},
isbn = {3-540-54487-9},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS200,
author = {Christoph Beierle and
Egon B{\"{o}}rger},
title = {A {WAM} Extension for Type-Constraint Logic Programming: Specification
and Correctness Proof},
journal = {{IWBS} Report},
volume = {200},
year = {1991},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS205,
author = {Christoph Beierle and
Egon B{\"{o}}rger},
title = {Correctness Proof for the {WAM}},
journal = {{IWBS} Report},
volume = {205},
year = {1991},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BorgerR90,
author = {Egon B{\"{o}}rger and
Dean Rosenzweig},
editor = {Egon B{\"{o}}rger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter and
Wolfgang Sch{\"{o}}nfeld},
title = {From Prolog Algebras Towards {WAM} - {A} Mathematical Study of Implementation},
booktitle = {Computer Science Logic, 4th Workshop, {CSL} '90, Heidelberg, Germany,
October 1-5, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {533},
pages = {31--66},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54487-9\_51},
doi = {10.1007/3-540-54487-9\_51},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/BorgerR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BorgerS90,
author = {Egon B{\"{o}}rger and
Peter H. Schmitt},
editor = {Egon B{\"{o}}rger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter and
Wolfgang Sch{\"{o}}nfeld},
title = {A Formal Operational Semantics for Languages of Type Prolog {III}},
booktitle = {Computer Science Logic, 4th Workshop, {CSL} '90, Heidelberg, Germany,
October 1-5, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {533},
pages = {67--79},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54487-9\_52},
doi = {10.1007/3-540-54487-9\_52},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BorgerS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Borger90,
author = {Egon B{\"{o}}rger},
editor = {Branislav Rovan},
title = {A Logical Operational Semantics of Full Prolog, Part {II:} Built-in
Predicates for Database Manipulation},
booktitle = {Mathematical Foundations of Computer Science 1990, MFCS'90, Bansk{\'{a}}
Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {452},
pages = {1--14},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0029592},
doi = {10.1007/BFB0029592},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Borger90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1989,
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {{CSL} '89, 3rd Workshop on Computer Science Logic, Kaiserslautern,
Germany, October 2-6, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {440},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52753-2},
doi = {10.1007/3-540-52753-2},
isbn = {3-540-52753-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS111,
author = {Egon B{\"{o}}rger},
title = {A Logical Operational Semantics of Full Prolog},
journal = {{IWBS} Report},
volume = {111},
year = {1990},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS115,
author = {Egon B{\"{o}}rger},
title = {A Logical Operational Semantics of Full Prolog Part {II:} Built-in
Predicates for Database Manipulations},
journal = {{IWBS} Report},
volume = {115},
year = {1990},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS117,
author = {Egon B{\"{o}}rger},
title = {A Logical Operational Semantics of Full Prolog Part {III:} Built-in
Predicates for Files, Terms, Arithmetic and Input-Output},
journal = {{IWBS} Report},
volume = {117},
year = {1990},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS143,
author = {Egon B{\"{o}}rger},
title = {Complexity of Logical Decision Problems: An Introduction},
journal = {{IWBS} Report},
volume = {143},
year = {1990},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS143.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/IWBS144,
author = {Egon B{\"{o}}rger and
Peter H. Schmitt},
title = {A Formal Operational Semantics for {PROLOG} {III:} Using Dynamic Algebras},
journal = {{IWBS} Report},
volume = {144},
year = {1990},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/IWBS144.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/el/Borger1989,
author = {Egon B{\"{o}}rger},
title = {Computability, Complexity, Logic (English translation of "Berechenbarkeit,
Komplexit{\"{a}}t, Logik" from 1985)},
series = {Studies in Logic and the Foundations of Mathematics},
volume = {128},
publisher = {North-Holland},
year = {1989},
timestamp = {Mon, 06 Nov 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/el/Borger1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Borger89,
author = {Egon B{\"{o}}rger},
editor = {Egon B{\"{o}}rger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {A Logical Operational Semantics of Full Prolog. Part {I:} Selection
Core and Control},
booktitle = {{CSL} '89, 3rd Workshop on Computer Science Logic, Kaiserslautern,
Germany, October 2-6, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {440},
pages = {36--64},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52753-2\_31},
doi = {10.1007/3-540-52753-2\_31},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Borger89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1988,
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0026291},
doi = {10.1007/BFB0026291},
isbn = {3-540-51659-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0074391,
author = {Egon B{\"{o}}rger and
Andrea Maggiolo{-}Schettini},
title = {Fondamenti di informatica},
publisher = {{ETS} Editrice},
year = {1988},
timestamp = {Fri, 06 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0074391.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1987,
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50241-6},
doi = {10.1007/3-540-50241-6},
isbn = {3-540-50241-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Borger87,
author = {Egon B{\"{o}}rger},
editor = {Egon B{\"{o}}rger},
title = {Unsolvable Decision Problems for Prolog Programs},
booktitle = {Computation Theory and Logic, In Memory of Dieter R{\"{o}}dding},
series = {Lecture Notes in Computer Science},
volume = {270},
pages = {37--48},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18170-9\_152},
doi = {10.1007/3-540-18170-9\_152},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Borger87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/1987rodding,
editor = {Egon B{\"{o}}rger},
title = {Computation Theory and Logic, In Memory of Dieter R{\"{o}}dding},
series = {Lecture Notes in Computer Science},
volume = {270},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18170-9},
doi = {10.1007/3-540-18170-9},
isbn = {3-540-18170-9},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/1987rodding.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lam/1983,
editor = {Egon B{\"{o}}rger and
Gisbert Hasenjaeger and
Dieter R{\"{o}}dding},
title = {Logic and Machines: Decision Problems and Complexity, Proceedings
of the Symposium "Rekursive Kombinatorik" held from May
23-28, 1983 at the Institut f{\"{u}}r Mathematische Logik und
Grundlagenforschung der Universit{\"{a}}t M{\"{u}}nster/Westfalen},
series = {Lecture Notes in Computer Science},
volume = {171},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13331-3},
doi = {10.1007/3-540-13331-3},
isbn = {3-540-13331-3},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lam/1983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lam/Borger83,
author = {Egon B{\"{o}}rger},
editor = {Egon B{\"{o}}rger and
Gisbert Hasenjaeger and
Dieter R{\"{o}}dding},
title = {Spektralproblem and completeness of logical decision problems},
booktitle = {Logic and Machines: Decision Problems and Complexity, Proceedings
of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983
at the Institut f{\"{u}}r Mathematische Logik und Grundlagenforschung
der Universit{\"{a}}t M{\"{u}}nster/Westfalen},
series = {Lecture Notes in Computer Science},
volume = {171},
pages = {333--356},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-13331-3\_50},
doi = {10.1007/3-540-13331-3\_50},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/lam/Borger83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AanderaaBL82,
author = {St{\aa}l Aanderaa and
Egon B{\"{o}}rger and
Harry R. Lewis},
title = {Conservative Reduction Classes of Krom Formulas},
journal = {J. Symb. Log.},
volume = {47},
number = {1},
pages = {110--130},
year = {1982},
url = {https://doi.org/10.2307/2273385},
doi = {10.2307/2273385},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AanderaaBL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AnderaaB81,
author = {St{\aa}l O. Aanderaa and
Egon B{\"{o}}rger},
title = {The Equivalence of Horn and Network Complexity for Boolean Functions},
journal = {Acta Informatica},
volume = {15},
pages = {303--307},
year = {1981},
url = {https://doi.org/10.1007/BF00289267},
doi = {10.1007/BF00289267},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AnderaaB81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Borger81,
author = {Egon B{\"{o}}rger},
editor = {Ferenc G{\'{e}}cseg},
title = {Logical Description of Computation Processes},
booktitle = {Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981
International FCT-Conference, Szeged, Hungary, August 24-28, 1981},
series = {Lecture Notes in Computer Science},
volume = {117},
pages = {410--424},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10854-8\_45},
doi = {10.1007/3-540-10854-8\_45},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Borger81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/AanderaaBG80,
author = {St{\aa}l O. Aanderaa and
Egon B{\"{o}}rger and
Yuri Gurevich},
title = {Prefix classes of krom formulae with identity},
journal = {Arch. Math. Log.},
volume = {22},
number = {1-2},
pages = {43--49},
year = {1980},
url = {https://doi.org/10.1007/BF02318025},
doi = {10.1007/BF02318025},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AanderaaBG80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BorgerB80,
author = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning},
title = {The R. E. Complexity of Decision Problems for Commutative Semi-Thue
Systems With Recursive Rule Set},
journal = {Math. Log. Q.},
volume = {26},
number = {28-30},
pages = {459--469},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262805},
doi = {10.1002/MALQ.19800262805},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BorgerB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BorgerB80,
author = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning},
title = {The Reachability Problem for Petri Nets and Decision Problems for
Skolem Arithmetic},
journal = {Theor. Comput. Sci.},
volume = {11},
pages = {123--143},
year = {1980},
url = {https://doi.org/10.1016/0304-3975(80)90042-0},
doi = {10.1016/0304-3975(80)90042-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BorgerB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Borger79,
author = {Egon B{\"{o}}rger},
title = {A New General Approach to the Theory of the Many-One Equivalence of
Decision Problems for Algorithmic Systems},
journal = {Math. Log. Q.},
volume = {25},
number = {7-12},
pages = {135--162},
year = {1979},
url = {https://doi.org/10.1002/malq.19790250707},
doi = {10.1002/MALQ.19790250707},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Borger79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Borger78,
author = {Egon B{\"{o}}rger},
title = {Bemerkung zu Gurevich's Arbeit {\"{u}}ber das Entscheidungsproblem
f{\"{u}}r Standardklassen},
journal = {Arch. Math. Log.},
volume = {19},
number = {1},
pages = {111--114},
year = {1978},
url = {https://doi.org/10.1007/BF02011872},
doi = {10.1007/BF02011872},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Borger78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BorgerH75,
author = {Egon B{\"{o}}rger and
Klaus Heidler},
title = {Die\emph{m}-Grade Logischer Entscheidungsprobleme},
journal = {Arch. Math. Log.},
volume = {17},
number = {3-4},
pages = {105--111},
year = {1975},
url = {https://doi.org/10.1007/BF02276798},
doi = {10.1007/BF02276798},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BorgerH75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-02 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
