default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ifm/ifm2022.bht:"
download as .bib file
@inproceedings{DBLP:conf/ifm/AmeurBDSS22,
author = {Yamine A{\"{\i}}t Ameur and
Sergiy Bogomolov and
Guillaume Dupont and
Neeraj Kumar Singh and
Paulius Stankaitis},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Reachability Analysis and Simulation for Hybridised Event-B Models},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {109--128},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_7},
doi = {10.1007/978-3-031-07727-2\_7},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AmeurBDSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AmeurDMMPRS22,
author = {Yamine A{\"{\i}}t Ameur and
Guillaume Dupont and
Isma{\"{\i}}l Mendil and
Dominique M{\'{e}}ry and
Marc Pantel and
Peter Riviere and
Neeraj Kumar Singh},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Empowering the Event-B Method Using External Theories},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {18--35},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_2},
doi = {10.1007/978-3-031-07727-2\_2},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AmeurDMMPRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ArslanagicSP22,
author = {Alen Arslanagic and
Pavle Subotic and
Jorge A. P{\'{e}}rez},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Scalable Typestate Analysis for Low-Latency Environments},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {322--340},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_18},
doi = {10.1007/978-3-031-07727-2\_18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ArslanagicSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Bairy22,
author = {Akhila Bairy},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Modeling Explanations in Autonomous Vehicles},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {347--351},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_20},
doi = {10.1007/978-3-031-07727-2\_20},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Bairy22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BaramashetruTOG22,
author = {Chinmayi Prabhu Baramashetru and
Silvia Lizeth Tapia Tarifa and
Olaf Owe and
Nils Gruschka},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {A Policy Language to Capture Compliance of Data Protection Requirements},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {289--309},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_16},
doi = {10.1007/978-3-031-07727-2\_16},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BaramashetruTOG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BlatterKPG22,
author = {Lionel Blatter and
Nikolai Kosmatov and
Virgile Prevosto and
Pascale Le Gall},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Certified Verification of Relational Properties},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {86--105},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_6},
doi = {10.1007/978-3-031-07727-2\_6},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BlatterKPG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BoerGKJUW22,
author = {Martin de Boer and
Stijn de Gouw and
Jonas Klamroth and
Christian Jung and
Mattias Ulbrich and
Alexander Weigl},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Formal Specification and Verification of JDK's Identity Hash Map Implementation},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {45--62},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_4},
doi = {10.1007/978-3-031-07727-2\_4},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BoerGKJUW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Carreira22,
author = {Carolina Carreira},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Studying Users' Willingness to Use a Formally Verified Password Manager},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {343--346},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_19},
doi = {10.1007/978-3-031-07727-2\_19},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Carreira22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Carvalho22,
author = {Lu{\'{\i}}s Carvalho},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {A Dialogue Interface for Low Code Program Evolution},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {357--360},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_22},
doi = {10.1007/978-3-031-07727-2\_22},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Carvalho22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Dennis22,
author = {Louise A. Dennis},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Verifying Autonomous Systems},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {3--17},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_1},
doi = {10.1007/978-3-031-07727-2\_1},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Dennis22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/FalconeSZ22,
author = {Yli{\`{e}}s Falcone and
Gwen Sala{\"{u}}n and
Ahang Zuo},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Probabilistic Model Checking of {BPMN} Processes at Runtime},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {191--208},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_11},
doi = {10.1007/978-3-031-07727-2\_11},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/FalconeSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/FarrellMFDG22,
author = {Marie Farrell and
Nikos Mavrakis and
Angelo Ferrando and
Clare Dixon and
Yang Gao},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Journal-First: Formal Modelling and Runtime Verification of Autonomous
Grasping for Active Debris Removal},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {39--44},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_3},
doi = {10.1007/978-3-031-07727-2\_3},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/FarrellMFDG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ForetsS22,
author = {Marcelo Forets and
Christian Schilling},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Conservative Time Discretization: {A} Comparative Study},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {149--167},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_9},
doi = {10.1007/978-3-031-07727-2\_9},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ForetsS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Geraldo22,
author = {Eduardo Geraldo},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {{SNITCH:} {A} Platform for Information Flow Control},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {365--368},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_24},
doi = {10.1007/978-3-031-07727-2\_24},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Geraldo22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GriloCFAM22,
author = {Miguel Grilo and
Jo{\~{a}}o Campos and
Jo{\~{a}}o F. Ferreira and
Jos{\'{e}} Bacelar Almeida and
Alexandra Mendes},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Verified Password Generation from Password Composition Policies},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {271--288},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_15},
doi = {10.1007/978-3-031-07727-2\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/GriloCFAM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Jakobs22,
author = {Marie{-}Christine Jakobs},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Reusing Predicate Precision in Value Analysis},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {63--85},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_5},
doi = {10.1007/978-3-031-07727-2\_5},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Jakobs22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/JohansenKMNST22,
author = {Nicklas S. Johansen and
Lasse B. K{\ae}r and
Andreas L. Madsen and
Kristian {\O}. Nielsen and
Jir{\'{\i}} Srba and
Rasmus G. Tollund},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {249--267},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_14},
doi = {10.1007/978-3-031-07727-2\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/JohansenKMNST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KolchinP22,
author = {Alexander Kolchin and
Stepan Potiyenko},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Extending Data Flow Coverage to Test Constraint Refinements},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {313--321},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_17},
doi = {10.1007/978-3-031-07727-2\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/KolchinP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Leuschel22,
author = {Michael Leuschel},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Operation Caching and State Compression for Model Checking of High-Level
Models - How to Have Your Cake and Eat It},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {129--145},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_8},
doi = {10.1007/978-3-031-07727-2\_8},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Leuschel22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MuskardinAPT22,
author = {Edi Muskardin and
Bernhard K. Aichernig and
Ingo Pill and
Martin Tappler},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Learning Finite State Models fromRecurrent Neural Networks},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {229--248},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_13},
doi = {10.1007/978-3-031-07727-2\_13},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/MuskardinAPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Parreira22,
author = {Joana Parreira},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Simple Dependent Types for {OSTRICH}},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {361--364},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_23},
doi = {10.1007/978-3-031-07727-2\_23},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Parreira22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ReynoldsM22,
author = {Conor Reynolds and
Rosemary Monahan},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Machine-Assisted Proofs for Institutions in Coq},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {369--372},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_25},
doi = {10.1007/978-3-031-07727-2\_25},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ReynoldsM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SaeedloeiK22,
author = {Neda Saeedloei and
Feliks Kluzniak},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Untangling the Graphs of Timed Automata to Decrease the Number of
Clocks},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {168--187},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_10},
doi = {10.1007/978-3-031-07727-2\_10},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SaeedloeiK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SheridanML22,
author = {Ois{\'{\i}}n Sheridan and
Rosemary Monahan and
Matt Luckcuck},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {A Requirements-Driven Methodology: Formal Modelling and Verification
of an Aircraft Engine Controller},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {352--356},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_21},
doi = {10.1007/978-3-031-07727-2\_21},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SheridanML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ZamanCAB22,
author = {Eshita Zaman and
Gianfranco Ciardo and
Erika {\'{A}}brah{\'{a}}m and
Borzoo Bonakdarpour},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {HyperPCTL Model Checking by Probabilistic Decomposition},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {209--226},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_12},
doi = {10.1007/978-3-031-07727-2\_12},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ZamanCAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2022,
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2},
doi = {10.1007/978-3-031-07727-2},
isbn = {978-3-031-07726-5},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2022.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.
retrieved on 2024-11-10 17:30 CET from data curated 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:
