Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bernhard Reus
@inproceedings{DBLP:conf/esop/KnappMR23,
author = {Alexander Knapp and
Heribert M{\"{u}}hlberger and
Bernhard Reus},
editor = {Thomas Wies},
title = {Interpreting Knowledge-based Programs},
booktitle = {Programming Languages and Systems - 32nd European Symposium on Programming,
{ESOP} 2023, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13990},
pages = {253--280},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30044-8\_10},
doi = {10.1007/978-3-031-30044-8\_10},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/KnappMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-10807,
author = {Alexander Knapp and
Heribert M{\"{u}}hlberger and
Bernhard Reus},
title = {Interpreting Knowledge-based Programs (Extended Version with Proofs)},
journal = {CoRR},
volume = {abs/2301.10807},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.10807},
doi = {10.48550/ARXIV.2301.10807},
eprinttype = {arXiv},
eprint = {2301.10807},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-10807.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KlimisPR20,
author = {Vasileios Klimis and
George Parisis and
Bernhard Reus},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Towards Model Checking Real-World Software-Defined Networks},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {126--148},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_8},
doi = {10.1007/978-3-030-53291-8\_8},
timestamp = {Wed, 12 Aug 2020 15:15:44 +0200},
biburl = {https://dblp.org/rec/conf/cav/KlimisPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KlimisPR20,
author = {Vasileios Klimis and
George Parisis and
Bernhard Reus},
title = {Model Checking Software-Defined Networks with Flow Entries that Time
Out},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {179--184},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_25},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_25},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/KlimisPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-11988,
author = {Vasileios Klimis and
George Parisis and
Bernhard Reus},
title = {Towards Model Checking Real-World Software-Defined Networks},
journal = {CoRR},
volume = {abs/2004.11988},
year = {2020},
url = {https://arxiv.org/abs/2004.11988},
eprinttype = {arXiv},
eprint = {2004.11988},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-11988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-06149,
author = {Vasileios Klimis and
George Parisis and
Bernhard Reus},
title = {Model Checking Software-Defined Networks with Flow Entries that Time
Out},
journal = {CoRR},
volume = {abs/2008.06149},
year = {2020},
url = {https://arxiv.org/abs/2008.06149},
eprinttype = {arXiv},
eprint = {2008.06149},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-06149.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/Reus16,
author = {Bernhard Reus},
title = {Limits of Computation - From a Programming Perspective},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27889-6},
doi = {10.1007/978-3-319-27889-6},
isbn = {978-3-319-27887-2},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/utcs/Reus16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ReusCH15,
author = {Bernhard Reus and
Nathaniel Charlton and
Ben Horsfall},
title = {Symbolic Execution Proofs for Higher Order Store Programs},
journal = {J. Autom. Reason.},
volume = {54},
number = {3},
pages = {199--284},
year = {2015},
url = {https://doi.org/10.1007/s10817-014-9319-8},
doi = {10.1007/S10817-014-9319-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ReusCH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CharltonR13,
author = {Nathaniel Charlton and
Bernhard Reus},
title = {Specification patterns for reasoning about recursion through the store},
journal = {Inf. Comput.},
volume = {231},
pages = {167--203},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2013.08.011},
doi = {10.1016/J.IC.2013.08.011},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CharltonR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SchwinghammerBPRSY13,
author = {Jan Schwinghammer and
Lars Birkedal and
Fran{\c{c}}ois Pottier and
Bernhard Reus and
Kristian St{\o}vring and
Hongseok Yang},
title = {A step-indexed Kripke model of hidden state},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {1},
pages = {1--54},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000035},
doi = {10.1017/S0960129512000035},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SchwinghammerBPRSY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ReusS12,
author = {Bernhard Reus and
Thomas Streicher},
title = {A synthetic theory of sequential domains},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {8},
pages = {1062--1074},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.12.028},
doi = {10.1016/J.APAL.2011.12.028},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/ReusS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HorsfallCR12,
author = {Ben Horsfall and
Nathaniel Charlton and
Bernhard Reus},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Verifying the reflective visitor pattern},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {27--34},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318208},
doi = {10.1145/2318202.2318208},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HorsfallCR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CharltonHR12,
author = {Nathaniel Charlton and
Ben Horsfall and
Bernhard Reus},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Crowfoot: {A} Verifier for Higher-Order Store Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {136--151},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_10},
doi = {10.1007/978-3-642-27940-9\_10},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CharltonHR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-3031,
author = {Jan Schwinghammer and
Lars Birkedal and
Bernhard Reus and
Hongseok Yang},
title = {Nested Hoare Triples and Frame Rules for Higher-order Store},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:21)2011},
doi = {10.2168/LMCS-7(3:21)2011},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-3031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ReusS11,
author = {Bernhard Reus and
Thomas Streicher},
editor = {Marc Bezem},
title = {Relative Completeness for Logics of Functional Programs},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {470--480},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.470},
doi = {10.4230/LIPICS.CSL.2011.470},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ReusS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/CharltonR11,
author = {Nathaniel Charlton and
Bernhard Reus},
editor = {Olaf Owe and
Martin Steffen and
Jan Arne Telle},
title = {Specification Patterns and Proofs for Recursion through the Store},
booktitle = {Fundamentals of Computation Theory - 18th International Symposium,
{FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6914},
pages = {310--321},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22953-4\_27},
doi = {10.1007/978-3-642-22953-4\_27},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/CharltonR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/CharltonHR11,
author = {Nathaniel Charlton and
Ben Horsfall and
Bernhard Reus},
editor = {Serge Abiteboul and
Klemens B{\"{o}}hm and
Christoph Koch and
Kian{-}Lee Tan},
title = {Formal reasoning about runtime code update},
booktitle = {Workshops Proceedings of the 27th International Conference on Data
Engineering, {ICDE} 2011, April 11-16, 2011, Hannover, Germany},
pages = {134--138},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICDEW.2011.5767624},
doi = {10.1109/ICDEW.2011.5767624},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/CharltonHR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BirkedalRSSTY11,
author = {Lars Birkedal and
Bernhard Reus and
Jan Schwinghammer and
Kristian St{\o}vring and
Jacob Thamsborg and
Hongseok Yang},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Step-indexed kripke models over recursive worlds},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {119--132},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926401},
doi = {10.1145/1926385.1926401},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/BirkedalRSSTY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ReusJKS10,
author = {Bernhard Reus and
Achim Jung and
Klaus Keimel and
Thomas Streicher},
title = {Preface for the special issue on domains},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {2},
pages = {105--106},
year = {2010},
url = {https://doi.org/10.1017/S0960129509990338},
doi = {10.1017/S0960129509990338},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ReusJKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SchwinghammerYBPR10,
author = {Jan Schwinghammer and
Hongseok Yang and
Lars Birkedal and
Fran{\c{c}}ois Pottier and
Bernhard Reus},
editor = {C.{-}H. Luke Ong},
title = {A Semantic Foundation for Hidden State},
booktitle = {Foundations of Software Science and Computational Structures, 13th
International Conference, {FOSSACS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6014},
pages = {2--17},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12032-9\_2},
doi = {10.1007/978-3-642-12032-9\_2},
timestamp = {Wed, 16 Mar 2022 23:55:17 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/SchwinghammerYBPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/CharltonR09,
author = {Nathaniel Charlton and
Bernhard Reus},
title = {A decidable class of verification conditions for programs with higher
order store},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {23},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.23.318},
doi = {10.14279/TUJ.ECEASST.23.318},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/CharltonR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SchwinghammerBRY09,
author = {Jan Schwinghammer and
Lars Birkedal and
Bernhard Reus and
Hongseok Yang},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {Nested Hoare Triples and Frame Rules for Higher-Order Store},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {440--454},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_32},
doi = {10.1007/978-3-642-04027-6\_32},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/SchwinghammerBRY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BirkedalRSY08,
author = {Lars Birkedal and
Bernhard Reus and
Jan Schwinghammer and
Hongseok Yang},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {A Simple Model of Separation Logic for Higher-Order Store},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {348--360},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_29},
doi = {10.1007/978-3-540-70583-3\_29},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BirkedalRSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ReusS06,
author = {Bernhard Reus and
Jan Schwinghammer},
title = {Denotational semantics for a program logic of objects},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {2},
pages = {313--358},
year = {2006},
url = {https://doi.org/10.1017/S0960129506005214},
doi = {10.1017/S0960129506005214},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ReusS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ReusS06,
author = {Bernhard Reus and
Jan Schwinghammer},
editor = {Zolt{\'{a}}n {\'{E}}sik},
title = {Separation Logic for Higher-Order Store},
booktitle = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th
Annual Conference of the EACSL, Szeged, Hungary, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4207},
pages = {575--590},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11874683\_38},
doi = {10.1007/11874683\_38},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/ReusS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ReusS05,
author = {Bernhard Reus and
Jan Schwinghammer},
editor = {Shmuel Sagiv},
title = {Denotational Semantics for Abadi and Leino's Logic of Objects},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {263--278},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_19},
doi = {10.1007/978-3-540-31987-0\_19},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/ReusS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/PattinsonR05,
author = {Dirk Pattinson and
Bernhard Reus},
editor = {Bernhard Gramlich},
title = {A Complete Temporal and Spatial Logic for Distributed Systems},
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 = {122--137},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_7},
doi = {10.1007/11559306\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/PattinsonR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ReusS05,
author = {Bernhard Reus and
Thomas Streicher},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {About Hoare Logics for Higher-Order Store},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {1337--1348},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_108},
doi = {10.1007/11523468\_108},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ReusS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ReusS04,
author = {Bernhard Reus and
Thomas Streicher},
title = {Semantics and logic of object calculi},
journal = {Theor. Comput. Sci.},
volume = {316},
number = {1},
pages = {191--213},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.01.030},
doi = {10.1016/J.TCS.2004.01.030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ReusS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Reus03,
author = {Bernhard Reus},
editor = {Matthias Baaz and
Johann A. Makowsky},
title = {Modular Semantics and Logics of Classes},
booktitle = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
{KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2803},
pages = {456--469},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45220-1\_37},
doi = {10.1007/978-3-540-45220-1\_37},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Reus03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Reus02,
author = {Bernhard Reus},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Class-Based versus Object-Based: {A} Denotational Comparison},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {473--488},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_32},
doi = {10.1007/3-540-45719-4\_32},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Reus02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ReusS02,
author = {Bernhard Reus and
Thomas Streicher},
title = {Semantics and Logic of Object Calculi},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {113},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029821},
doi = {10.1109/LICS.2002.1029821},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ReusS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergerNR01,
author = {Ulrich Berger and
Karl{-}Heinz Niggl and
Bernhard Reus},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {264},
number = {2},
pages = {169},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00220-6},
doi = {10.1016/S0304-3975(00)00220-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BergerNR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ReusWH01,
author = {Bernhard Reus and
Martin Wirsing and
Rolf Hennicker},
editor = {Heinrich Hu{\ss}mann},
title = {A Hoare Calculus for Verifying Java Realizations of OCL-Constrained
Design Models},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {300--317},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_22},
doi = {10.1007/3-540-45314-8\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/ReusWH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/ReusH00,
author = {Bernhard Reus and
Tatjana Hein},
editor = {Mark D. Aagaard and
John Harrison},
title = {Towards a Machine-Checked Java Specification Book},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {480--497},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_30},
doi = {10.1007/3-540-44659-1\_30},
timestamp = {Tue, 15 Aug 2023 09:02:05 +0200},
biburl = {https://dblp.org/rec/conf/tphol/ReusH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/Reus99,
author = {Bernhard Reus},
title = {Extensional Sigma-Spaces in Type Theory},
journal = {Appl. Categorical Struct.},
volume = {7},
number = {1-2},
pages = {159--183},
year = {1999},
url = {https://doi.org/10.1023/A:1008600521659},
doi = {10.1023/A:1008600521659},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/Reus99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Reus99,
author = {Bernhard Reus},
title = {Formalizing Synthetic Domain Theory},
journal = {J. Autom. Reason.},
volume = {23},
number = {3-4},
pages = {411--444},
year = {1999},
url = {https://doi.org/10.1023/A:1006258506401},
doi = {10.1023/A:1006258506401},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Reus99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ReusS99,
author = {Bernhard Reus and
Thomas Streicher},
title = {General synthetic domain theory - a logical approach},
journal = {Math. Struct. Comput. Sci.},
volume = {9},
number = {2},
pages = {177--223},
year = {1999},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44811},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ReusS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AltenkirchR99,
author = {Thorsten Altenkirch and
Bernhard Reus},
editor = {J{\"{o}}rg Flum and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Monadic Presentations of Lambda Terms Using Generalized Inductive
Types},
booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1683},
pages = {453--468},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48168-0\_32},
doi = {10.1007/3-540-48168-0\_32},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AltenkirchR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/Reus99,
author = {Bernhard Reus},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {A Logic of Recursive Objects},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {107},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 15 Jun 2020 17:08:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/Reus99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/CenciarelliKRW99,
author = {Pietro Cenciarelli and
Alexander Knapp and
Bernhard Reus and
Martin Wirsing},
editor = {Jim Alves{-}Foss},
title = {An Event-Based Structural Operational Semantics of Multi-Threaded
Java},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {157--200},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_5},
doi = {10.1007/3-540-48737-9\_5},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/java/CenciarelliKRW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Reus99,
author = {Bernhard Reus},
editor = {Lars Birkedal and
Jaap van Oosten and
Giuseppe Rosolini and
Dana S. Scott},
title = {Realizability Models for Type Theories},
booktitle = {Tutorial Workshop on Realizability Semantics and Applications, associated
to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
30 - July 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {1},
pages = {128--158},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(04)00108-2},
doi = {10.1016/S1571-0661(04)00108-2},
timestamp = {Tue, 22 Nov 2022 15:04:18 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Reus99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/types/1998,
editor = {Thorsten Altenkirch and
Wolfgang Naraschewski and
Bernhard Reus},
title = {Types for Proofs and Programs, International Workshop {TYPES} '98,
Kloster Irsee, Germany, March 27-31, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1657},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48167-2},
doi = {10.1007/3-540-48167-2},
isbn = {3-540-66537-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/StreicherR98,
author = {Thomas Streicher and
Bernhard Reus},
title = {Classical Logic, Continuation Semantics and Abstract Machines},
journal = {J. Funct. Program.},
volume = {8},
number = {6},
pages = {543--572},
year = {1998},
url = {https://doi.org/10.1017/s0956796898003141},
doi = {10.1017/S0956796898003141},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/StreicherR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/CenciarelliKRW97,
author = {Pietro Cenciarelli and
Alexander Knapp and
Bernhard Reus and
Martin Wirsing},
editor = {Michael Johnson},
title = {From Sequential to Multi-Threaded Java: An Event-Based Operational
Semantics},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {75--90},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000464},
doi = {10.1007/BFB0000464},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/CenciarelliKRW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/ReusS97,
author = {Bernhard Reus and
Thomas Streicher},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {General Synthetic Domain Theory - {A} Logical Approach},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {293--313},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026995},
doi = {10.1007/BFB0026995},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/ReusS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/ReusKCW97,
author = {Bernhard Reus and
Alexander Knapp and
Pietro Cenciarelli and
Martin Wirsing},
editor = {Francesco Parisi{-}Presicce},
title = {Verifying a compiler optimization for Multi-Threaded Java},
booktitle = {Recent Trends in Algebraic Development Techniques, 12th International
Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1376},
pages = {402--417},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-64299-4\_47},
doi = {10.1007/3-540-64299-4\_47},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/ReusKCW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Reus96,
author = {Bernhard Reus},
title = {Program verification in synthetic domain theory},
school = {Ludwig Maximilians University Munich},
year = {1996},
url = {https://d-nb.info/94732609X},
isbn = {3-8265-1352-5},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Reus96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Reus96,
author = {Bernhard Reus},
editor = {Joakim von Wright and
Jim Grundy and
John Harrison},
title = {Synthetic Domain Theory in Type Theory: Another Logic of Computable
Functions},
booktitle = {Theorem Proving in Higher Order Logics, 9th International Conference,
TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1125},
pages = {365--380},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0105416},
doi = {10.1007/BFB0105416},
timestamp = {Thu, 05 Sep 2019 14:51:32 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Reus96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ReusS93,
author = {Bernhard Reus and
Thomas Streicher},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {Verifying Properties of Module Construction in Type Theory},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {660--670},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_57},
doi = {10.1007/3-540-57182-5\_57},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ReusS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Reus92,
author = {Bernhard Reus},
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {Implementing Higher-Order Functions in an Algebraic Specification
Language with Narrowing},
booktitle = {Programming Language Implementation and Logic Programming, 4th International
Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {631},
pages = {483--484},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6\_160},
doi = {10.1007/3-540-55844-6\_160},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Reus92.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-04-25 02:43 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:
