Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stephan Falke 0001
@article{DBLP:journals/toplas/BrockschmidtE0F16,
author = {Marc Brockschmidt and
Fabian Emmes and
Stephan Falke and
Carsten Fuhs and
J{\"{u}}rgen Giesl},
title = {Analyzing Runtime and Size Complexity of Integer Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {38},
number = {4},
pages = {13:1--13:50},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2866575},
timestamp = {Tue, 03 Jan 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BrockschmidtE0F16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001K15,
author = {Stephan Falke and
Deepak Kapur},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {When Is a Formula a Loop Invariant?},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {264--286},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_13},
doi = {10.1007/978-3-319-23165-5\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/0001K15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BrockschmidtEFFG14,
author = {Marc Brockschmidt and
Fabian Emmes and
Stephan Falke and
Carsten Fuhs and
J{\"{u}}rgen Giesl},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Alternating Runtime and Size Complexity Analysis of Integer Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {140--155},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_10},
doi = {10.1007/978-3-642-54862-8\_10},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BrockschmidtEFFG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FalkeMS13,
author = {Stephan Falke and
Florian Merz and
Carsten Sinz},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {The bounded model checker {LLBMC}},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {706--709},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693138},
doi = {10.1109/ASE.2013.6693138},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/FalkeMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FalkeMS13,
author = {Stephan Falke and
Florian Merz and
Carsten Sinz},
editor = {Nir Piterman and
Scott A. Smolka},
title = {{LLBMC:} Improved Bounded Model Checking of {C} Programs Using {LLVM}
- (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {623--626},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_48},
doi = {10.1007/978-3-642-36742-7\_48},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FalkeMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/FalkeMS13,
author = {Stephan Falke and
Florian Merz and
Carsten Sinz},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Extending the Theory of Arrays: memset, memcpy, and Beyond},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {108--128},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_6},
doi = {10.1007/978-3-642-54108-7\_6},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/FalkeMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Falke12,
author = {Stephan Falke},
title = {Review of introduction to mathematics of satisfiability, by Victor
W. Marek},
journal = {{SIGACT} News},
volume = {43},
number = {3},
pages = {41--44},
year = {2012},
url = {https://doi.org/10.1145/2421096.2421105},
doi = {10.1145/2421096.2421105},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Falke12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Falke12a,
author = {Stephan Falke},
title = {Review of transitions and trees: an introduction to structural operational
semantics, by Hans H{\"{u}}ttel},
journal = {{SIGACT} News},
volume = {43},
number = {4},
pages = {34--37},
year = {2012},
url = {https://doi.org/10.1145/2421119.2421126},
doi = {10.1145/2421119.2421126},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Falke12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MerzSF12,
author = {Florian Merz and
Carsten Sinz and
Stephan Falke},
editor = {Vladimir Klebanov and
Bernhard Beckert and
Armin Biere and
Geoff Sutcliffe},
title = {Challenges in Comparing Software Verification Tools for {C}},
booktitle = {Proceedings of the 1st International Workshop on Comparative Empirical
Evaluation of Reasoning Systems, Manchester, United Kingdom, June
30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {873},
pages = {60--65},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-873/papers/paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/MerzSF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FalkeSM12,
author = {Stephan Falke and
Carsten Sinz and
Florian Merz},
editor = {Pascal Fontaine and
Amit Goel},
title = {A Theory of Arrays with set and copy Operations},
booktitle = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
2012, Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {20},
pages = {98--108},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/q58t},
doi = {10.29007/Q58T},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FalkeSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FalkeK12,
author = {Stephan Falke and
Deepak Kapur},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Rewriting Induction + Linear Arithmetic = Decision Procedure},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {241--255},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_20},
doi = {10.1007/978-3-642-31365-3\_20},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/FalkeK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SinzMF12,
author = {Carsten Sinz and
Florian Merz and
Stephan Falke},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {{LLBMC:} {A} Bounded Model Checker for LLVM's Intermediate Representation
- (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {542--544},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_44},
doi = {10.1007/978-3-642-28756-5\_44},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SinzMF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/MerzFS12,
author = {Florian Merz and
Stephan Falke and
Carsten Sinz},
editor = {Rajeev Joshi and
Peter M{\"{u}}ller and
Andreas Podelski},
title = {{LLBMC:} Bounded Model Checking of {C} and {C++} Programs Using a
Compiler {IR}},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7152},
pages = {146--161},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27705-4\_12},
doi = {10.1007/978-3-642-27705-4\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/MerzFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/FalkeKS12,
author = {Stephan Falke and
Deepak Kapur and
Carsten Sinz},
editor = {Rajeev Joshi and
Peter M{\"{u}}ller and
Andreas Podelski},
title = {Termination Analysis of Imperative Programs Using Bitvector Arithmetic},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7152},
pages = {261--277},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27705-4\_21},
doi = {10.1007/978-3-642-27705-4\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/FalkeKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FalkeKS11,
author = {Stephan Falke and
Deepak Kapur and
Carsten Sinz},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Termination Analysis of {C} Programs Using Compiler Intermediate Languages},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {41--50},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.41},
doi = {10.4230/LIPICS.RTA.2011.41},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/FalkeKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/SinzFM10,
author = {Carsten Sinz and
Stephan Falke and
Florian Merz},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {A Precise Memory Model for Low-Level Bounded Model Checking},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/precise-memory-model-low-level-bounded-model-checking},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/ssv/SinzFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FalkeK09,
author = {Stephan Falke and
Deepak Kapur},
editor = {Renate A. Schmidt},
title = {A Term Rewriting Approach to the Automated Termination Analysis of
Imperative Programs},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {277--293},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_22},
doi = {10.1007/978-3-642-02959-2\_22},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/FalkeK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FuhsGPSF09,
author = {Carsten Fuhs and
J{\"{u}}rgen Giesl and
Martin Pl{\"{u}}cker and
Peter Schneider{-}Kamp and
Stephan Falke},
editor = {Ralf Treinen},
title = {Proving Termination of Integer Term Rewriting},
booktitle = {Rewriting Techniques and Applications, 20th International Conference,
{RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5595},
pages = {32--47},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02348-4\_3},
doi = {10.1007/978-3-642-02348-4\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/FuhsGPSF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/FalkeK09,
author = {Stephan Falke and
Deepak Kapur},
editor = {Santiago Escobar},
title = {Termination of Context-Sensitive Rewriting with Built-In Numbers and
Collection Data Structures},
booktitle = {Functional and Constraint Logic Programming, 18th International Workshop,
{WFLP} 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5979},
pages = {44--61},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11999-6\_4},
doi = {10.1007/978-3-642-11999-6\_4},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/FalkeK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/FuhsGPS009,
author = {Carsten Fuhs and
J{\"{u}}rgen Giesl and
Martin Pl{\"{u}}cker and
Peter Schneider{-}Kamp and
Stephan Falke},
editor = {Thomas Ball and
J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle and
Tobias Nipkow},
title = {Termination of Integer Term Rewriting},
booktitle = {Interaction versus Automation: The two Faces of Deduction, 04.10.
- 09.10.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09411},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2423/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/FuhsGPS009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FalkeK08,
author = {Stephan Falke and
Deepak Kapur},
editor = {Andrei Voronkov},
title = {Dependency Pairs for Rewriting with Built-In Numbers and Semantic
Data Structures},
booktitle = {Rewriting Techniques and Applications, 19th International Conference,
{RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5117},
pages = {94--109},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_7},
doi = {10.1007/978-3-540-70590-1\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/FalkeK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FalkeK09,
author = {Stephan Falke and
Deepak Kapur},
editor = {Aart Middeldorp},
title = {Operational Termination of Conditional Rewriting with Built-in Numbers
and Semantic Data Structures},
booktitle = {Proceedings of the 8th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July
14, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {237},
pages = {75--90},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.036},
doi = {10.1016/J.ENTCS.2009.03.036},
timestamp = {Thu, 09 Mar 2023 13:23:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FalkeK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FalkeK07,
author = {Stephan Falke and
Deepak Kapur},
editor = {Frank Pfenning},
title = {Dependency Pairs for Rewriting with Non-free Constructors},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {426--442},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_32},
doi = {10.1007/978-3-540-73595-3\_32},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/FalkeK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GieslTSF06,
author = {J{\"{u}}rgen Giesl and
Ren{\'{e}} Thiemann and
Peter Schneider{-}Kamp and
Stephan Falke},
title = {Mechanizing and Improving Dependency Pairs},
journal = {J. Autom. Reason.},
volume = {37},
number = {3},
pages = {155--203},
year = {2006},
url = {https://doi.org/10.1007/s10817-006-9057-7},
doi = {10.1007/S10817-006-9057-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GieslTSF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FalkeK06,
author = {Stephan Falke and
Deepak Kapur},
editor = {Miki Hermann and
Andrei Voronkov},
title = {Inductive Decidability Using Implicit Induction},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {45--59},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_4},
doi = {10.1007/11916277\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FalkeK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GieslTSF04,
author = {J{\"{u}}rgen Giesl and
Ren{\'{e}} Thiemann and
Peter Schneider{-}Kamp and
Stephan Falke},
editor = {Vincent van Oostrom},
title = {Automated Termination Proofs with AProVE},
booktitle = {Rewriting Techniques and Applications, 15th International Conference,
{RTA} 2004, Aachen, Germany, June 3-5, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3091},
pages = {210--220},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25979-4\_15},
doi = {10.1007/978-3-540-25979-4\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/GieslTSF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GieslTSF03,
author = {J{\"{u}}rgen Giesl and
Ren{\'{e}} Thiemann and
Peter Schneider{-}Kamp and
Stephan Falke},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Improving Dependency Pairs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {167--182},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_11},
doi = {10.1007/978-3-540-39813-4\_11},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GieslTSF03.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 2023-09-28 03:36 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:
