default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/isola/isola2022-2.bht:"
download as .bib file
@inproceedings{DBLP:conf/isola/AbusdalKPS22,
author = {Ole J{\o}rgen Abusdal and
Eduard Kamburjan and
Violet Ka I Pun and
Volker Stolz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Notion of Equivalence for Refactorings with Abstract Execution},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {259--280},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_15},
doi = {10.1007/978-3-031-19756-7\_15},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AbusdalKPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BainczykBKKWS22,
author = {Alexander Bainczyk and
Steve Bo{\ss}elmann and
Marvin Krause and
Marco Krumrey and
Dominic Wirkner and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Continuous Quality Control in the Context of Language-Driven
Engineering},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {389--406},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_22},
doi = {10.1007/978-3-031-19756-7\_22},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BainczykBKKWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BainczykBKMSDS22,
author = {Alexander Bainczyk and
Daniel Busch and
Marco Krumrey and
Daniel Sami Mitwalli and
Jonas Sch{\"{u}}rmann and
Joel Tagoukeng Dongmo and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Cinco Cloud: {A} Holistic Approach for Web-Based Language-Driven Engineering},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {407--425},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_23},
doi = {10.1007/978-3-031-19756-7\_23},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BainczykBKMSDS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeckertBHU22,
author = {Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards a Usable and Sustainable Deductive Verification Tool},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {281--300},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_16},
doi = {10.1007/978-3-031-19756-7\_16},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BeckertBHU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Beringer22,
author = {Lennart Beringer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verified Software Units for Simple {DFA} Modules and Objects in {C}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {237--258},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_14},
doi = {10.1007/978-3-031-19756-7\_14},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Beringer22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Broy22,
author = {Manfred Broy},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Software System Documentation: Coherent Description of Software System
Properties},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {10--27},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_2},
doi = {10.1007/978-3-031-19756-7\_2},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Broy22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DamsHK22,
author = {Dennis Dams and
Klaus Havelund and
Sean Kauffman},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification as Documentation},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {157--173},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_9},
doi = {10.1007/978-3-031-19756-7\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/DamsHK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DemeyerHM22,
author = {Serge Demeyer and
Reiner H{\"{a}}hnle and
Heiko Mantel},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automating Software Re-engineering: Introduction to the ISoLA 2022
Track},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {195--200},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_11},
doi = {10.1007/978-3-031-19756-7\_11},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/DemeyerHM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DemeyerRV22,
author = {Serge Demeyer and
Henrique Rocha and
Darin Verheijke},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Refactoring Solidity Smart Contracts to Protect Against Reentrancy
Exploits},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {324--344},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_18},
doi = {10.1007/978-3-031-19756-7\_18},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/DemeyerRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Eldh22,
author = {Sigrid Eldh},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Technical Debt in Software Testing - Observations from Industry},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {301--323},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_17},
doi = {10.1007/978-3-031-19756-7\_17},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Eldh22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HanxledenLFSDLB22,
author = {Reinhard von Hanxleden and
Edward A. Lee and
Hauke Fuhrmann and
Alexander Schulz{-}Rosengarten and
S{\"{o}}ren Domr{\"{o}}s and
Marten Lohstroh and
Soroush Bateni and
Christian Menard},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Pragmatics Twelve Years Later: {A} Report on Lingua Franca},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {60--89},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_5},
doi = {10.1007/978-3-031-19756-7\_5},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HanxledenLFSDLB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HatcliffHSW22,
author = {John Hatcliff and
J{\'{e}}r{\^{o}}me Hugues and
Danielle Stewart and
Lutz Wrage},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formalization of the {AADL} Run-Time Services},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {105--134},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_7},
doi = {10.1007/978-3-031-19756-7\_7},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HatcliffHSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HavelundTSS22,
author = {Klaus Havelund and
Tim Tegeler and
Steven Smyth and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Discussing the Future Role of Documentation in the Context of Modern
Software Engineering (ISoLA 2022 Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {3--9},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_1},
doi = {10.1007/978-3-031-19756-7\_1},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HavelundTSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HendriksA22,
author = {Dennis Hendriks and
Kousar Aslam},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Systematic Approach for Interfacing Component-Based Software with
an Active Automata Learning Tool},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {216--236},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_13},
doi = {10.1007/978-3-031-19756-7\_13},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HendriksA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HilbrichMKLMG22,
author = {Marcus Hilbrich and
Sebastian M{\"{u}}ller and
Svetlana Kulagina and
Christopher Lazik and
Ninon De Mecquenem and
Lars Grunske},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Consolidated View on Specification Languages for Data Analysis Workflows},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {201--215},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_12},
doi = {10.1007/978-3-031-19756-7\_12},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HilbrichMKLMG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KarsaiB22,
author = {Gabor Karsai and
Daniel Balasubramanian},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Assurance Provenance: The Next Challenge in Software Documentation},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {90--104},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_6},
doi = {10.1007/978-3-031-19756-7\_6},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KarsaiB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LanzingerUW22,
author = {Florian Lanzinger and
Mattias Ulbrich and
Alexander Weigl},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Refactoring for Data Minimisation Using Formal Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {345--364},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_19},
doi = {10.1007/978-3-031-19756-7\_19},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LanzingerUW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MadsenM22,
author = {Ole Lehrmann Madsen and
Birger M{\o}ller{-}Pedersen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Using Supplementary Properties to Reduce the Need for Documentation},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {35--59},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_4},
doi = {10.1007/978-3-031-19756-7\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MadsenM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaWBBTS22,
author = {Tiziana Margaria and
Dominic Wirkner and
Daniel Busch and
Alexander Bainczyk and
Tim Tegeler and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{DIME} Days (ISoLA 2022 Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {367--373},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_20},
doi = {10.1007/978-3-031-19756-7\_20},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargariaWBBTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SmythPSKMHS22,
author = {Steven Smyth and
Jette Petzold and
Jonas Sch{\"{u}}rmann and
Florian Karbus and
Tiziana Margaria and
Reinhard von Hanxleden and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Executable Documentation: Test-First in Action},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {135--156},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_8},
doi = {10.1007/978-3-031-19756-7\_8},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SmythPSKMHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Stevens22,
author = {Perdita Stevens},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Models as Documents, Documents as Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {28--34},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_3},
doi = {10.1007/978-3-031-19756-7\_3},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Stevens22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/TegelerBSSTS22,
author = {Tim Tegeler and
Steve Bo{\ss}elmann and
Jonas Sch{\"{u}}rmann and
Steven Smyth and
Sebastian Teumert and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Executable Documentation: From Documentation Languages to Purpose-Specific
Languages},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {174--192},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_10},
doi = {10.1007/978-3-031-19756-7\_10},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/TegelerBSSTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/TeumertTSBW22,
author = {Sebastian Teumert and
Tim Tegeler and
Jonas Sch{\"{u}}rmann and
Daniel Busch and
Dominic Wirkner},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Evaluation of Graphical Modeling of {CI/CD} Workflows with Rig},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {374--388},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_21},
doi = {10.1007/978-3-031-19756-7\_21},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/TeumertTSBW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2022-2,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7},
doi = {10.1007/978-3-031-19756-7},
isbn = {978-3-031-19755-0},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2022-2.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 2025-02-18 23:17 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:
