Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/aplas/aplas2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/aplas/Benton13,
author = {Nick Benton},
editor = {Chung{-}chieh Shan},
title = {The Proof Assistant as an Integrated Development Environment},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {307--314},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_22},
doi = {10.1007/978-3-319-03542-0\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Benton13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BiernackiL13,
author = {Dariusz Biernacki and
Sergue{\"{\i}} Lenglet},
editor = {Chung{-}chieh Shan},
title = {Environmental Bisimulations for Delimited-Control Operators},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {333--348},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_24},
doi = {10.1007/978-3-319-03542-0\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BiernackiL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BlotR13,
author = {Valentin Blot and
Colin Riba},
editor = {Chung{-}chieh Shan},
title = {On Bar Recursion and Choice in a Classical Setting},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {349--364},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_25},
doi = {10.1007/978-3-319-03542-0\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BlotR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BonchiCPS13,
author = {Filippo Bonchi and
Georgiana Caltais and
Damien Pous and
Alexandra Silva},
editor = {Chung{-}chieh Shan},
title = {Brzozowski's and Up-To Algorithms for Must Testing},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_1},
doi = {10.1007/978-3-319-03542-0\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BonchiCPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BrobergDS13,
author = {Niklas Broberg and
Bart van Delft and
David Sands},
editor = {Chung{-}chieh Shan},
title = {Paragon for Practical Programming with Information-Flow Control},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {217--232},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_16},
doi = {10.1007/978-3-319-03542-0\_16},
timestamp = {Tue, 09 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BrobergDS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/CifuentesK13,
author = {Cristina Cifuentes and
Nathan Keynes},
editor = {Chung{-}chieh Shan},
title = {Internal Deployment of the Parfait Static Code Analysis Tool at Oracle
- (Invited Talk)},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {172--175},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_12},
doi = {10.1007/978-3-319-03542-0\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/CifuentesK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/FahrenbergL13,
author = {Uli Fahrenberg and
Axel Legay},
editor = {Chung{-}chieh Shan},
title = {Generalized Quantitative Analysis of Metric Transition Systems},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {192--208},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_14},
doi = {10.1007/978-3-319-03542-0\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/FahrenbergL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/FujimaIK13,
author = {Koichi Fujima and
Sohei Ito and
Naoki Kobayashi},
editor = {Chung{-}chieh Shan},
title = {Practical Alternating Parity Tree Automata Model Checking of Higher-Order
Recursion Schemes},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {17--32},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_2},
doi = {10.1007/978-3-319-03542-0\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/FujimaIK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/GarrigueR13,
author = {Jacques Garrigue and
Didier R{\'{e}}my},
editor = {Chung{-}chieh Shan},
title = {Ambivalent Types for Principal Type Inference with GADTs},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {257--272},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_19},
doi = {10.1007/978-3-319-03542-0\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/GarrigueR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/GoubaultP13,
author = {Eric Goubault and
Sylvie Putot},
editor = {Chung{-}chieh Shan},
title = {Robustness Analysis of Finite Precision Implementations},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {50--57},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_4},
doi = {10.1007/978-3-319-03542-0\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/GoubaultP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HengleinH13,
author = {Fritz Henglein and
Ralf Hinze},
editor = {Chung{-}chieh Shan},
title = {Sorting and Searching by Distribution: From Generic Discrimination
to Generic Tries},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {315--332},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_23},
doi = {10.1007/978-3-319-03542-0\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HengleinH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KimRLS13,
author = {Jieung Kim and
Sukyoung Ryu and
Victor Luchangco and
Guy L. Steele Jr.},
editor = {Chung{-}chieh Shan},
title = {Fine-Grained Function Visibility for Multiple Dispatch with Multiple
Inheritance},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {156--171},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_11},
doi = {10.1007/978-3-319-03542-0\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KimRLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KojimaI13,
author = {Kensuke Kojima and
Atsushi Igarashi},
editor = {Chung{-}chieh Shan},
title = {A Hoare Logic for {SIMT} Programs},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {58--73},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_5},
doi = {10.1007/978-3-319-03542-0\_5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/KojimaI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KranzSS13,
author = {Julian Kranz and
Alexander Sepp and
Axel Simon},
editor = {Chung{-}chieh Shan},
title = {{GDSL:} {A} Universal Toolkit for Giving Semantics to Machine Language},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {209--216},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_15},
doi = {10.1007/978-3-319-03542-0\_15},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/KranzSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LuceroNS13,
author = {Giovanny Lucero and
David A. Naumann and
Augusto Sampaio},
editor = {Chung{-}chieh Shan},
title = {Laws of Programming for References},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {124--139},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_9},
doi = {10.1007/978-3-319-03542-0\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/LuceroNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/NaR13,
author = {Hyunik Na and
Sukyoung Ryu},
editor = {Chung{-}chieh Shan},
title = {ThisJava: An Extension of Java with Exact Types},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {233--240},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_17},
doi = {10.1007/978-3-319-03542-0\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/NaR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/PatrignaniCP13,
author = {Marco Patrignani and
Dave Clarke and
Frank Piessens},
editor = {Chung{-}chieh Shan},
title = {Secure Compilation of Object-Oriented Components to Protected Module
Architectures},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {176--191},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_13},
doi = {10.1007/978-3-319-03542-0\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/PatrignaniCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/PerezR13,
author = {Juan Antonio Navarro P{\'{e}}rez and
Andrey Rybalchenko},
editor = {Chung{-}chieh Shan},
title = {Separation Logic Modulo Theories},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {90--106},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_7},
doi = {10.1007/978-3-319-03542-0\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/PerezR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/PierroW13,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Chung{-}chieh Shan},
title = {Semantics of Probabilistic Programs: {A} Weak Limit Approach},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {241--256},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_18},
doi = {10.1007/978-3-319-03542-0\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/PierroW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Puech13,
author = {Matthias Puech},
editor = {Chung{-}chieh Shan},
title = {Proofs, Upside Down - {A} Functional Correspondence between Natural
Deduction and the Sequent Calculus},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {365--380},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_26},
doi = {10.1007/978-3-319-03542-0\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Puech13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SiegelMS13,
author = {Holger Siegel and
Bogdan Mihaila and
Axel Simon},
editor = {Chung{-}chieh Shan},
title = {The Undefined Domain: Precise Relational Information for Entities
That Do Not Exist},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {74--89},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_6},
doi = {10.1007/978-3-319-03542-0\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/SiegelMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SongT13,
author = {Fu Song and
Tayssir Touili},
editor = {Chung{-}chieh Shan},
title = {Model Checking Dynamic Pushdown Networks},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {33--49},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_3},
doi = {10.1007/978-3-319-03542-0\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/SongT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/TrinhLDC13,
author = {Minh{-}Thai Trinh and
Quang Loc Le and
Cristina David and
Wei{-}Ngan Chin},
editor = {Chung{-}chieh Shan},
title = {Bi-Abduction with Pure Properties for Specification Inference},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {107--123},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_8},
doi = {10.1007/978-3-319-03542-0\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/TrinhLDC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/VoigtM13,
author = {Janina Voigt and
Alan Mycroft},
editor = {Chung{-}chieh Shan},
title = {Dynamic Alias Protection with Aliasing Contracts},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {140--155},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_10},
doi = {10.1007/978-3-319-03542-0\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/VoigtM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/WangWHCL13,
author = {Farn Wang and
Jung{-}Hsuan Wu and
Chung{-}Hao Huang and
Cheng{-}Chieh Chang and
Chung{-}Cheng Li},
editor = {Chung{-}chieh Shan},
title = {Temporal Specification Mining for Anomaly Analysis},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {273--289},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_20},
doi = {10.1007/978-3-319-03542-0\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/WangWHCL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ZhuDD13,
author = {Haiyan Zhu and
Thomas Dillig and
Isil Dillig},
editor = {Chung{-}chieh Shan},
title = {Automated Inference of Library Specifications for Source-Sink Property
Verification},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {290--306},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_21},
doi = {10.1007/978-3-319-03542-0\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ZhuDD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2013,
editor = {Chung{-}chieh Shan},
title = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0},
doi = {10.1007/978-3-319-03542-0},
isbn = {978-3-319-03541-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/2013.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.
retrieved on 2024-05-28 05:22 CEST 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:
