default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robbert Krebbers
@article{DBLP:journals/pacmpl/ParkKMJLKK24,
author = {Sunho Park and
Jaewoo Kim and
Ike Mulder and
Jaehwang Jung and
Janggun Lee and
Robbert Krebbers and
Jeehoon Kang},
title = {A Proof Recipe for Linearizability in Relaxed Memory Separation Logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{PLDI}},
pages = {175--198},
year = {2024},
url = {https://doi.org/10.1145/3656384},
doi = {10.1145/3656384},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ParkKMJLKK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GaherSJKD24,
author = {Lennard G{\"{a}}her and
Michael Sammler and
Ralf Jung and
Robbert Krebbers and
Derek Dreyer},
title = {RefinedRust: {A} Type System for High-Assurance Verification of Rust
Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{PLDI}},
pages = {1115--1139},
year = {2024},
url = {https://doi.org/10.1145/3656422},
doi = {10.1145/3656422},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/GaherSJKD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JacobsHK24,
author = {Jules Jacobs and
Jonas Kastberg Hinrichsen and
Robbert Krebbers},
title = {Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent
Higher-Order Message Passing},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {1385--1417},
year = {2024},
url = {https://doi.org/10.1145/3632889},
doi = {10.1145/3632889},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/JacobsHK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/MulderK24,
author = {Ike Mulder and
Robbert Krebbers},
editor = {Amin Timany and
Dmitriy Traytel and
Brigitte Pientka and
Sandrine Blazy},
title = {Unification for Subformula Linking under Quantifiers},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2024, London, UK, January 15-16,
2024},
pages = {75--88},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3636501.3636950},
doi = {10.1145/3636501.3636950},
timestamp = {Thu, 11 Jan 2024 17:17:09 +0100},
biburl = {https://dblp.org/rec/conf/cpp/MulderK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/HermesK24,
author = {Marc Hermes and
Robbert Krebbers},
editor = {Yves Bertot and
Temur Kutsia and
Michael Norrish},
title = {Modular Verification of Intrusive List and Tree Data Structures in
Separation Logic},
booktitle = {15th International Conference on Interactive Theorem Proving, {ITP}
2024, September 9-14, 2024, Tbilisi, Georgia},
series = {LIPIcs},
volume = {309},
pages = {19:1--19:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ITP.2024.19},
doi = {10.4230/LIPICS.ITP.2024.19},
timestamp = {Mon, 02 Sep 2024 16:55:27 +0200},
biburl = {https://dblp.org/rec/conf/itp/HermesK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2024geuvers,
editor = {Venanzio Capretta and
Robbert Krebbers and
Freek Wiedijk},
title = {Logics and Type Systems in Theory and Practice - Essays Dedicated
to Herman Geuvers on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14560},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61716-4},
doi = {10.1007/978-3-031-61716-4},
isbn = {978-3-031-61715-7},
timestamp = {Thu, 27 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2024geuvers.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JacobsHK23,
author = {Jules Jacobs and
Jonas Kastberg Hinrichsen and
Robbert Krebbers},
title = {Dependent Session Protocols in Separation Logic from First Principles
(Functional Pearl)},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {768--795},
year = {2023},
url = {https://doi.org/10.1145/3607856},
doi = {10.1145/3607856},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/JacobsHK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MulderK23,
author = {Ike Mulder and
Robbert Krebbers},
title = {Proof Automation for Linearizability in Separation Logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA1}},
pages = {462--491},
year = {2023},
url = {https://doi.org/10.1145/3586043},
doi = {10.1145/3586043},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MulderK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Mulder0K23,
author = {Ike Mulder and
Lukasz Czajka and
Robbert Krebbers},
title = {Beyond Backtracking: Connections in Fine-Grained Concurrent Separation
Logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1340--1364},
year = {2023},
url = {https://doi.org/10.1145/3591275},
doi = {10.1145/3591275},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/Mulder0K23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SammlerSSDKGD23,
author = {Michael Sammler and
Simon Spies and
Youngju Song and
Emanuele D'Osualdo and
Robbert Krebbers and
Deepak Garg and
Derek Dreyer},
title = {DimSum: {A} Decentralized Approach to Multi-language Semantics and
Verification},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {775--805},
year = {2023},
url = {https://doi.org/10.1145/3571220},
doi = {10.1145/3571220},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SammlerSSDKGD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Krebbers23,
author = {Robbert Krebbers},
editor = {Adam Naumowicz and
Ren{\'{e}} Thiemann},
title = {Interactive and Automated Proofs in Modal Separation Logic (Invited
Talk)},
booktitle = {14th International Conference on Interactive Theorem Proving, {ITP}
2023, July 31 to August 4, 2023, Bia{\l}ystok, Poland},
series = {LIPIcs},
volume = {268},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ITP.2023.2},
doi = {10.4230/LIPICS.ITP.2023.2},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Krebbers23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2023,
editor = {Robbert Krebbers and
Dmitriy Traytel and
Brigitte Pientka and
Steve Zdancewic},
title = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
16-17, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3573105},
doi = {10.1145/3573105},
timestamp = {Fri, 13 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HinrichsenBK22,
author = {Jonas Kastberg Hinrichsen and
Jesper Bengtson and
Robbert Krebbers},
title = {Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation
Logic},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {2},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(2:16)2022},
doi = {10.46298/LMCS-18(2:16)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/HinrichsenBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SpiesGTJKBD22,
author = {Simon Spies and
Lennard G{\"{a}}her and
Joseph Tassarotti and
Ralf Jung and
Robbert Krebbers and
Lars Birkedal and
Derek Dreyer},
title = {Later credits: resourceful reasoning for the later modality},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {283--311},
year = {2022},
url = {https://doi.org/10.1145/3547631},
doi = {10.1145/3547631},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/SpiesGTJKBD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JacobsBK22a,
author = {Jules Jacobs and
Stephanie Balzer and
Robbert Krebbers},
title = {Multiparty {GV:} functional multiparty session types with certified
deadlock freedom},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {466--495},
year = {2022},
url = {https://doi.org/10.1145/3547638},
doi = {10.1145/3547638},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/JacobsBK22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GaherSSJDKKD22,
author = {Lennard G{\"{a}}her and
Michael Sammler and
Simon Spies and
Ralf Jung and
Hoang{-}Hai Dang and
Robbert Krebbers and
Jeehoon Kang and
Derek Dreyer},
title = {Simuliris: a separation logic framework for verifying concurrent program
optimizations},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--31},
year = {2022},
url = {https://doi.org/10.1145/3498689},
doi = {10.1145/3498689},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GaherSSJDKKD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/JacobsBK22,
author = {Jules Jacobs and
Stephanie Balzer and
Robbert Krebbers},
title = {Connectivity graphs: a method for proving deadlock freedom based on
separation logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--33},
year = {2022},
url = {https://doi.org/10.1145/3498662},
doi = {10.1145/3498662},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/JacobsBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LepigreSMKDS22,
author = {Rodolphe Lepigre and
Michael Sammler and
Kayvan Memarian and
Robbert Krebbers and
Derek Dreyer and
Peter Sewell},
title = {{VIP:} verifying real-world {C} idioms with integer-pointer casts},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--32},
year = {2022},
url = {https://doi.org/10.1145/3498681},
doi = {10.1145/3498681},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LepigreSMKDS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MulderKG22,
author = {Ike Mulder and
Robbert Krebbers and
Herman Geuvers},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Diaframe: automated verification of fine-grained concurrent programs
in Iris},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {809--824},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523432},
doi = {10.1145/3519939.3523432},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MulderKG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/JungJKD21,
author = {Ralf Jung and
Jacques{-}Henri Jourdan and
Robbert Krebbers and
Derek Dreyer},
title = {Safe systems programming in Rust},
journal = {Commun. {ACM}},
volume = {64},
number = {4},
pages = {144--152},
year = {2021},
url = {https://doi.org/10.1145/3418295},
doi = {10.1145/3418295},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/JungJKD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FruminKB21,
author = {Dan Frumin and
Robbert Krebbers and
Lars Birkedal},
title = {ReLoC Reloaded: {A} Mechanized Relational Logic for Fine-Grained Concurrency
and Logical Atomicity},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {3},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(3:9)2021},
doi = {10.46298/LMCS-17(3:9)2021},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/FruminKB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RouvoetKV21,
author = {Arjen Rouvoet and
Robbert Krebbers and
Eelco Visser},
title = {Intrinsically typed compilation with nameless labels},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1145/3434303},
doi = {10.1145/3434303},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RouvoetKV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/HinrichsenLKB21,
author = {Jonas Kastberg Hinrichsen and
Dani{\"{e}}l Louwrink and
Robbert Krebbers and
Jesper Bengtson},
editor = {Catalin Hritcu and
Andrei Popescu},
title = {Machine-checked semantic session typing},
booktitle = {{CPP} '21: 10th {ACM} {SIGPLAN} International Conference on Certified
Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021},
pages = {178--198},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3437992.3439914},
doi = {10.1145/3437992.3439914},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/HinrichsenLKB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SpiesGGTKDB21,
author = {Simon Spies and
Lennard G{\"{a}}her and
Daniel Gratzer and
Joseph Tassarotti and
Robbert Krebbers and
Derek Dreyer and
Lars Birkedal},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Transfinite Iris: resolving an existential dilemma of step-indexed
separation logic},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {80--95},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454031},
doi = {10.1145/3453483.3454031},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SpiesGGTKDB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SammlerLKMD021,
author = {Michael Sammler and
Rodolphe Lepigre and
Robbert Krebbers and
Kayvan Memarian and
Derek Dreyer and
Deepak Garg},
editor = {Stephen N. Freund and
Eran Yahav},
title = {RefinedC: automating the foundational verification of {C} code with
refined ownership types},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {158--174},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454036},
doi = {10.1145/3453483.3454036},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SammlerLKMD021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/FruminKB21,
author = {Dan Frumin and
Robbert Krebbers and
Lars Birkedal},
title = {Compositional Non-Interference for Fine-Grained Concurrent Programs},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {1416--1433},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00003},
doi = {10.1109/SP40001.2021.00003},
timestamp = {Thu, 21 Sep 2023 15:57:26 +0200},
biburl = {https://dblp.org/rec/conf/sp/FruminKB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GiarrussoSTBK20,
author = {Paolo G. Giarrusso and
L{\'{e}}o Stefanesco and
Amin Timany and
Lars Birkedal and
Robbert Krebbers},
title = {Scala step-by-step: soundness for {DOT} with step-indexed logical
relations in Iris},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{ICFP}},
pages = {114:1--114:29},
year = {2020},
url = {https://doi.org/10.1145/3408996},
doi = {10.1145/3408996},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GiarrussoSTBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RouvoetAPKV20,
author = {Arjen Rouvoet and
Hendrik van Antwerpen and
Casper Bach Poulsen and
Robbert Krebbers and
Eelco Visser},
title = {Knowing when to ask: sound scheduling of name resolution in type checkers
derived from declarative specifications},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {180:1--180:28},
year = {2020},
url = {https://doi.org/10.1145/3428248},
doi = {10.1145/3428248},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/RouvoetAPKV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HinrichsenBK20,
author = {Jonas Kastberg Hinrichsen and
Jesper Bengtson and
Robbert Krebbers},
title = {Actris: session-type based reasoning in separation logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {6:1--6:30},
year = {2020},
url = {https://doi.org/10.1145/3371074},
doi = {10.1145/3371074},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/HinrichsenBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/RouvoetPKV20,
author = {Arjen Rouvoet and
Casper Bach Poulsen and
Robbert Krebbers and
Eelco Visser},
editor = {Jasmin Blanchette and
Catalin Hritcu},
title = {Intrinsically-typed definitional interpreters for linear, session-typed
languages},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2020, New Orleans, LA, USA, January
20-21, 2020},
pages = {284--298},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372885.3373818},
doi = {10.1145/3372885.3373818},
timestamp = {Sun, 02 Oct 2022 15:58:04 +0200},
biburl = {https://dblp.org/rec/conf/cpp/RouvoetPKV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-13635,
author = {Dan Frumin and
Robbert Krebbers and
Lars Birkedal},
title = {ReLoC Reloaded: {A} Mechanized Relational Logic for Fine-Grained Concurrency
and Logical Atomicity},
journal = {CoRR},
volume = {abs/2006.13635},
year = {2020},
url = {https://arxiv.org/abs/2006.13635},
eprinttype = {arXiv},
eprint = {2006.13635},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-13635.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-15030,
author = {Jonas Kastberg Hinrichsen and
Jesper Bengtson and
Robbert Krebbers},
title = {Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation
Logic},
journal = {CoRR},
volume = {abs/2010.15030},
year = {2020},
url = {https://arxiv.org/abs/2010.15030},
eprinttype = {arXiv},
eprint = {2010.15030},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-15030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BizjakGKB19,
author = {Ales Bizjak and
Daniel Gratzer and
Robbert Krebbers and
Lars Birkedal},
title = {Iron: managing obligations in higher-order concurrent separation logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {65:1--65:30},
year = {2019},
url = {https://doi.org/10.1145/3290378},
doi = {10.1145/3290378},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BizjakGKB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FruminGK19,
author = {Dan Frumin and
L{\'{e}}on Gondelman and
Robbert Krebbers},
editor = {Lu{\'{\i}}s Caires},
title = {Semi-automated Reasoning About Non-determinism in {C} Expressions},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {60--87},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_3},
doi = {10.1007/978-3-030-17184-1\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/FruminGK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-01009,
author = {Marko C. J. D. van Eekelen and
Daniil Frumin and
Herman Geuvers and
L{\'{e}}on Gondelman and
Robbert Krebbers and
Marc Schoolderman and
Sjaak Smetsers and
Freek Verbeek and
Beno{\^{\i}}t Viguier and
Freek Wiedijk},
title = {A benchmark for {C} program verification},
journal = {CoRR},
volume = {abs/1904.01009},
year = {2019},
url = {http://arxiv.org/abs/1904.01009},
eprinttype = {arXiv},
eprint = {1904.01009},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-01009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-00905,
author = {Dan Frumin and
Robbert Krebbers and
Lars Birkedal},
title = {Compositional Non-Interference for Fine-Grained Concurrent Programs},
journal = {CoRR},
volume = {abs/1910.00905},
year = {2019},
url = {http://arxiv.org/abs/1910.00905},
eprinttype = {arXiv},
eprint = {1910.00905},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-00905.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JungKJBBD18,
author = {Ralf Jung and
Robbert Krebbers and
Jacques{-}Henri Jourdan and
Ales Bizjak and
Lars Birkedal and
Derek Dreyer},
title = {Iris from the ground up: {A} modular foundation for higher-order concurrent
separation logic},
journal = {J. Funct. Program.},
volume = {28},
pages = {e20},
year = {2018},
url = {https://doi.org/10.1017/S0956796818000151},
doi = {10.1017/S0956796818000151},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/JungKJBBD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KrebbersJ0TKTCD18,
author = {Robbert Krebbers and
Jacques{-}Henri Jourdan and
Ralf Jung and
Joseph Tassarotti and
Jan{-}Oliver Kaiser and
Amin Timany and
Arthur Chargu{\'{e}}raud and
Derek Dreyer},
title = {MoSeL: a general, extensible modal framework for interactive proofs
in separation logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {77:1--77:30},
year = {2018},
url = {https://doi.org/10.1145/3236772},
doi = {10.1145/3236772},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KrebbersJ0TKTCD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KaiserZKRD18,
author = {Jan{-}Oliver Kaiser and
Beta Ziliani and
Robbert Krebbers and
Yann R{\'{e}}gis{-}Gianas and
Derek Dreyer},
title = {Mtac2: typed tactics for backward reasoning in Coq},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {78:1--78:31},
year = {2018},
url = {https://doi.org/10.1145/3236773},
doi = {10.1145/3236773},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KaiserZKRD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PoulsenRTKV18,
author = {Casper Bach Poulsen and
Arjen Rouvoet and
Andrew Tolmach and
Robbert Krebbers and
Eelco Visser},
title = {Intrinsically-typed definitional interpreters for imperative languages},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {16:1--16:34},
year = {2018},
url = {https://doi.org/10.1145/3158104},
doi = {10.1145/3158104},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PoulsenRTKV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/0002JKD18,
author = {Ralf Jung and
Jacques{-}Henri Jourdan and
Robbert Krebbers and
Derek Dreyer},
title = {RustBelt: securing the foundations of the rust programming language},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {66:1--66:34},
year = {2018},
url = {https://doi.org/10.1145/3158154},
doi = {10.1145/3158154},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/0002JKD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FruminKB18,
author = {Dan Frumin and
Robbert Krebbers and
Lars Birkedal},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {ReLoC: {A} Mechanised Relational Logic for Fine-Grained Concurrency},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {442--451},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209174},
doi = {10.1145/3209108.3209174},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FruminKB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Krebbers0BJDB17,
author = {Robbert Krebbers and
Ralf Jung and
Ales Bizjak and
Jacques{-}Henri Jourdan and
Derek Dreyer and
Lars Birkedal},
editor = {Hongseok Yang},
title = {The Essence of Higher-Order Concurrent Separation Logic},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {696--723},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_26},
doi = {10.1007/978-3-662-54434-1\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Krebbers0BJDB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KrebbersTB17,
author = {Robbert Krebbers and
Amin Timany and
Lars Birkedal},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Interactive proofs in higher-order concurrent separation logic},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {205--217},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009855},
doi = {10.1145/3009837.3009855},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/KrebbersTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Krebbers16,
author = {Robbert Krebbers},
title = {A Formal {C} Memory Model for Separation Logic},
journal = {J. Autom. Reason.},
volume = {57},
number = {4},
pages = {319--387},
year = {2016},
url = {https://doi.org/10.1007/s10817-016-9369-1},
doi = {10.1007/S10817-016-9369-1},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Krebbers16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KrebbersPS16,
author = {Robbert Krebbers and
Louis Parlant and
Alexandra Silva},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {309--324},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_21},
doi = {10.1007/978-3-319-30734-3\_21},
timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KrebbersPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/0002KBD16,
author = {Ralf Jung and
Robbert Krebbers and
Lars Birkedal and
Derek Dreyer},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Higher-order ghost state},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {256--269},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951943},
doi = {10.1145/2951913.2951943},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/0002KBD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/KrebbersW15,
author = {Robbert Krebbers and
Freek Wiedijk},
editor = {Xavier Leroy and
Alwen Tiu},
title = {A Typed {C11} Semantics for Interactive Theorem Proving},
booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
{CPP} 2015, Mumbai, India, January 15-17, 2015},
pages = {15--27},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676724.2693571},
doi = {10.1145/2676724.2693571},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/KrebbersW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Krebbers15,
author = {Robbert Krebbers},
title = {A Formal {C} Memory Model for Separation Logic},
journal = {CoRR},
volume = {abs/1509.03339},
year = {2015},
url = {http://arxiv.org/abs/1509.03339},
eprinttype = {arXiv},
eprint = {1509.03339},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Krebbers15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/KrebbersLW14,
author = {Robbert Krebbers and
Xavier Leroy and
Freek Wiedijk},
editor = {Gerwin Klein and
Ruben Gamboa},
title = {Formal {C} Semantics: CompCert and the {C} Standard},
booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {543--548},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6\_36},
doi = {10.1007/978-3-319-08970-6\_36},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/KrebbersLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Krebbers14,
author = {Robbert Krebbers},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {An operational and axiomatic semantics for non-determinism and sequence
points in {C}},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {101--112},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535878},
doi = {10.1145/2535838.2535878},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/Krebbers14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Krebbers14,
author = {Robbert Krebbers},
editor = {Dimitra Giannakopoulou and
Daniel Kroening},
title = {Separation Algebras for {C} Verification in Coq},
booktitle = {Verified Software: Theories, Tools and Experiments - 6th International
Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8471},
pages = {150--166},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12154-3\_10},
doi = {10.1007/978-3-319-12154-3\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/Krebbers14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GeuversKM13,
author = {Herman Geuvers and
Robbert Krebbers and
James McKinna},
title = {The \emph{{\(\lambda\)}}\emph{{\(\mu\)}}\({}^{\mbox{\emph{T}}}\)-calculus},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {6},
pages = {676--701},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2012.05.005},
doi = {10.1016/J.APAL.2012.05.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GeuversKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Krebbers13,
author = {Robbert Krebbers},
editor = {Georges Gonthier and
Michael Norrish},
title = {Aliasing Restrictions of {C11} Formalized in Coq},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {50--65},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_4},
doi = {10.1007/978-3-319-03545-1\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/cpp/Krebbers13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KrebbersW13,
author = {Robbert Krebbers and
Freek Wiedijk},
editor = {Frank Pfenning},
title = {Separation Logic for Non-local Control Flow and Block Scope Variables},
booktitle = {Foundations of Software Science and Computation Structures - 16th
International Conference, {FOSSACS} 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 = {7794},
pages = {257--272},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37075-5\_17},
doi = {10.1007/978-3-642-37075-5\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KrebbersW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-3115,
author = {Robbert Krebbers},
editor = {Herman Geuvers and
Ugo de'Liguoro},
title = {A call-by-value lambda-calculus with lists and control},
booktitle = {Proceedings Fourth Workshop on Classical Logic and Computation, CL{\&}C
2012, Warwick, England, 8th July 2012},
series = {{EPTCS}},
volume = {97},
pages = {19--33},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.97.2},
doi = {10.4204/EPTCS.97.2},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-3115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-0347,
author = {Herman Geuvers and
Robbert Krebbers and
James McKinna},
title = {The lambda-mu-T-calculus},
journal = {CoRR},
volume = {abs/1204.0347},
year = {2012},
url = {http://arxiv.org/abs/1204.0347},
eprinttype = {arXiv},
eprint = {1204.0347},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-0347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-3448,
author = {Robbert Krebbers and
Bas Spitters},
title = {Type classes for efficient exact real arithmetic in Coq},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-9(1:01)2013},
doi = {10.2168/LMCS-9(1:01)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-3448.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GeuversK11,
author = {Herman Geuvers and
Robbert Krebbers},
title = {The correctness of Newman's typability algorithm and some of its extensions},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3242--3261},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.03.016},
doi = {10.1016/J.TCS.2011.03.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GeuversK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KrebbersS11,
author = {Robbert Krebbers and
Bas Spitters},
editor = {James H. Davenport and
William M. Farmer and
Josef Urban and
Florian Rabe},
title = {Computer Certified Efficient Exact Reals in Coq},
booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
18-23, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6824},
pages = {90--106},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22673-1\_7},
doi = {10.1007/978-3-642-22673-1\_7},
timestamp = {Fri, 20 Nov 2020 16:08:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KrebbersS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KrebbersW11,
author = {Robbert Krebbers and
Freek Wiedijk},
editor = {James H. Davenport and
William M. Farmer and
Josef Urban and
Florian Rabe},
title = {A Formalization of the {C99} Standard in HOL, Isabelle and Coq},
booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
18-23, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6824},
pages = {301--303},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22673-1\_28},
doi = {10.1007/978-3-642-22673-1\_28},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KrebbersW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-2751,
author = {Robbert Krebbers and
Bas Spitters},
title = {Computer certified efficient exact reals in Coq},
journal = {CoRR},
volume = {abs/1105.2751},
year = {2011},
url = {http://arxiv.org/abs/1105.2751},
eprinttype = {arXiv},
eprint = {1105.2751},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-2751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-2792,
author = {Herman Geuvers and
Robbert Krebbers and
James McKinna and
Freek Wiedijk},
editor = {Karl Crary and
Marino Miculan},
title = {Pure Type Systems without Explicit Contexts},
booktitle = {Proceedings 5th International Workshop on Logical Frameworks and Meta-languages:
Theory and Practice, {LFMTP} 2010, Edinburgh, UK, 14th July 2010},
series = {{EPTCS}},
volume = {34},
pages = {53--67},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.34.6},
doi = {10.4204/EPTCS.34.6},
timestamp = {Mon, 05 Feb 2024 20:18:33 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-2792.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-09-04 01:21 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:
