default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/popl/popl2004.bht:"
download as .bib file
@inproceedings{DBLP:conf/popl/AnconaZ04,
author = {Davide Ancona and
Elena Zucca},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Principal typings for Java-like languages},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {306--317},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964027},
doi = {10.1145/964001.964027},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/AnconaZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BalatCF04,
author = {Vincent Balat and
Roberto Di Cosmo and
Marcelo P. Fiore},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Extensional normalisation and type-directed partial evaluation for
typed lambda calculus with sums},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {64--76},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964007},
doi = {10.1145/964001.964007},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BalatCF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Benton04,
author = {Nick Benton},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Simple relational correctness proofs for static analyses and program
transformations},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {14--25},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964003},
doi = {10.1145/964001.964003},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Benton04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BhargavanFG04,
author = {Karthikeyan Bhargavan and
C{\'{e}}dric Fournet and
Andrew D. Gordon},
editor = {Neil D. Jones and
Xavier Leroy},
title = {A semantics for web services authentication},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {198--209},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964018},
doi = {10.1145/964001.964018},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BhargavanFG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BirkedalTR04,
author = {Lars Birkedal and
Noah Torp{-}Smith and
John C. Reynolds},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Local reasoning about a copying garbage collector},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {220--231},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964020},
doi = {10.1145/964001.964020},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BirkedalTR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Boehm04,
author = {Hans{-}Juergen Boehm},
editor = {Neil D. Jones and
Xavier Leroy},
title = {The space cost of lazy reference counting},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {210--219},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964019},
doi = {10.1145/964001.964019},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Boehm04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CaromelHS04,
author = {Denis Caromel and
Ludovic Henrio and
Bernard P. Serpette},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Asynchronous and deterministic objects},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {123--134},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964012},
doi = {10.1145/964001.964012},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/CaromelHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CousotC04,
author = {Patrick Cousot and
Radhia Cousot},
editor = {Neil D. Jones and
Xavier Leroy},
title = {An abstract interpretation-based framework for software watermarking},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {173--185},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964016},
doi = {10.1145/964001.964016},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/CousotC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Dal-ZilioLM04,
author = {Silvano Dal{-}Zilio and
Denis Lugiez and
Charles Meyssonnier},
editor = {Neil D. Jones and
Xavier Leroy},
title = {A logic you can count on},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {135--146},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964013},
doi = {10.1145/964001.964013},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Dal-ZilioLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Dreyer04,
author = {Derek Dreyer},
editor = {Neil D. Jones and
Xavier Leroy},
title = {A type system for well-founded recursion},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {293--305},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964026},
doi = {10.1145/964001.964026},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Dreyer04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DunfieldP04,
author = {Jana Dunfield and
Frank Pfenning},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Tridirectional typechecking},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {281--292},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964025},
doi = {10.1145/964001.964025},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/DunfieldP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Fiore04,
author = {Marcelo P. Fiore},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Isomorphisms of generic recursive polynomial types},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {77--88},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964008},
doi = {10.1145/964001.964008},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Fiore04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FlanaganF04,
author = {Cormac Flanagan and
Stephen N. Freund},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Atomizer: a dynamic atomicity checker for multithreaded programs},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {256--267},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964023},
doi = {10.1145/964001.964023},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/FlanaganF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Ford04,
author = {Bryan Ford},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Parsing expression grammars: a recognition-based syntactic foundation},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {111--122},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964011},
doi = {10.1145/964001.964011},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Ford04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GiacobazziM04,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Abstract non-interference: parameterizing non-interference by abstract
interpretation},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {186--197},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964017},
doi = {10.1145/964001.964017},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GiacobazziM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GulwaniN04,
author = {Sumit Gulwani and
George C. Necula},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Global value numbering using random interpretation},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {342--352},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964030},
doi = {10.1145/964001.964030},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GulwaniN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HenzingerJMM04,
author = {Thomas A. Henzinger and
Ranjit Jhala and
Rupak Majumdar and
Kenneth L. McMillan},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Abstractions from proofs},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {232--244},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964021},
doi = {10.1145/964001.964021},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/HenzingerJMM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JohannV04,
author = {Patricia Johann and
Janis Voigtl{\"{a}}nder},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Free theorems in the presence of \emph{seq}},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {99--110},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964010},
doi = {10.1145/964001.964010},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/JohannV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Muller-OlmS04,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Precise interprocedural analysis through linear algebra},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {330--341},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964029},
doi = {10.1145/964001.964029},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Muller-OlmS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OHearnYR04,
author = {Peter W. O'Hearn and
Hongseok Yang and
John C. Reynolds},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Separation and information hiding},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {268--280},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964024},
doi = {10.1145/964001.964024},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/OHearnYR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PottierG04,
author = {Fran{\c{c}}ois Pottier and
Nadji Gauthier},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Polymorphic typed defunctionalization},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {89--98},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964009},
doi = {10.1145/964001.964009},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/PottierG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/QadeerRR04,
author = {Shaz Qadeer and
Sriram K. Rajamani and
Jakob Rehof},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Summarizing procedures in concurrent programs},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {245--255},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964022},
doi = {10.1145/964001.964022},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/QadeerRR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Rival04,
author = {Xavier Rival},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Symbolic transfer function-based approaches to certified compilation},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {1--13},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964002},
doi = {10.1145/964001.964002},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Rival04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SankaranarayananSM04,
author = {Sriram Sankaranarayanan and
Henny Sipma and
Zohar Manna},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Non-linear loop invariant generation using Gr{\"{o}}bner bases},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {318--329},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964028},
doi = {10.1145/964001.964028},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SankaranarayananSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SittampalamML04,
author = {Ganesh Sittampalam and
Oege de Moor and
Ken Friis Larsen},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Incremental execution of transformation specifications},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {26--38},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964004},
doi = {10.1145/964001.964004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SittampalamML04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SumiiP04,
author = {Eijiro Sumii and
Benjamin C. Pierce},
editor = {Neil D. Jones and
Xavier Leroy},
title = {A bisimulation for dynamic sealing},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {161--172},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964015},
doi = {10.1145/964001.964015},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SumiiP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VouillonM04,
author = {Jerome Vouillon and
Paul{-}Andr{\'{e}} Melli{\`{e}}s},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Semantic types: a fresh look at the ideal model for types},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {52--63},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964006},
doi = {10.1145/964001.964006},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/VouillonM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Yoshida04,
author = {Nobuko Yoshida},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Channel dependent types for higher-order mobile processes},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {147--160},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964014},
doi = {10.1145/964001.964014},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Yoshida04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/YuKS04,
author = {Dachuan Yu and
Andrew Kennedy and
Don Syme},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Formalization of generics for the .NET common language runtime},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {39--51},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964005},
doi = {10.1145/964001.964005},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/YuKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2004,
editor = {Neil D. Jones and
Xavier Leroy},
title = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001},
doi = {10.1145/964001},
isbn = {1-58113-729-X},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2004.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-09-26 08:17 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:
