Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jan Hoffmann 0002
@article{DBLP:journals/topc/MullerH24,
author = {Stefan K. Muller and
Jan Hoffmann},
title = {Modeling and Analyzing Evaluation Cost of {CUDA} Kernels},
journal = {{ACM} Trans. Parallel Comput.},
volume = {11},
number = {1},
pages = {5:1--5:53},
year = {2024},
url = {https://doi.org/10.1145/3639403},
doi = {10.1145/3639403},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topc/MullerH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DasWH23,
author = {Ankush Das and
Di Wang and
Jan Hoffmann},
title = {Probabilistic Resource-Aware Session Types},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {1925--1956},
year = {2023},
url = {https://doi.org/10.1145/3571259},
doi = {10.1145/3571259},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/DasWH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GrosenK023,
author = {Jessie Grosen and
David M. Kahn and
Jan Hoffmann},
title = {Automatic Amortized Resource Analysis with Regular Recursive Types},
booktitle = {{LICS}},
pages = {1--14},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175720},
doi = {10.1109/LICS56636.2023.10175720},
timestamp = {Thu, 20 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GrosenK023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-13627,
author = {Jessie Grosen and
David M. Kahn and
Jan Hoffmann},
title = {Automatic Amortized Resource Analysis with Regular Recursive Types},
journal = {CoRR},
volume = {abs/2304.13627},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.13627},
doi = {10.48550/ARXIV.2304.13627},
eprinttype = {arXiv},
eprint = {2304.13627},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-13627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-01261,
author = {Long Pham and
Jan Hoffmann},
title = {Worst-Case Input Generation for Concurrent Programs under Non-Monotone
Resource Metrics},
journal = {CoRR},
volume = {abs/2309.01261},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.01261},
doi = {10.48550/ARXIV.2309.01261},
eprinttype = {arXiv},
eprint = {2309.01261},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-01261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HoffmannSS22,
author = {Jan Hoffmann and
Donald Sannella and
Ulrich Sch{\"{o}}pp},
title = {Preface for the special issue in homage to Martin Hofmann Part 2},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {6},
pages = {682--684},
year = {2022},
url = {https://doi.org/10.1017/S0960129522000147},
doi = {10.1017/S0960129522000147},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/HoffmannSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HoffmannJ22,
author = {Jan Hoffmann and
Steffen Jost},
title = {Two decades of automatic amortized resource analysis},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {6},
pages = {729--759},
year = {2022},
url = {https://doi.org/10.1017/S0960129521000487},
doi = {10.1017/S0960129521000487},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/HoffmannJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HoffmannSS21,
author = {Jan Hoffmann and
Donald Sannella and
Ulrich Sch{\"{o}}pp},
title = {Preface for the special issue in homage to Martin Hofmann Part 1},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {950--952},
year = {2021},
url = {https://doi.org/10.1017/S0960129522000135},
doi = {10.1017/S0960129522000135},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HoffmannSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KahnH21,
author = {David M. Kahn and
Jan Hoffmann},
title = {Automatic amortized resource analysis with the Quantum physicist's
method},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{ICFP}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3473581},
doi = {10.1145/3473581},
timestamp = {Mon, 30 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KahnH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Muller021,
author = {Stefan K. Muller and
Jan Hoffmann},
title = {Modeling and analyzing evaluation cost of {CUDA} kernels},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--31},
year = {2021},
url = {https://doi.org/10.1145/3434306},
doi = {10.1145/3434306},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Muller021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RajaniG0021,
author = {Vineet Rajani and
Marco Gaboardi and
Deepak Garg and
Jan Hoffmann},
title = {A unifying type-theory for higher-order (amortized) cost analysis},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1145/3434308},
doi = {10.1145/3434308},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RajaniG0021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/DasB0PS21,
author = {Ankush Das and
Stephanie Balzer and
Jan Hoffmann and
Frank Pfenning and
Ishani Santurkar},
title = {Resource-Aware Session Types for Digital Contracts},
booktitle = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik,
Croatia, June 21-25, 2021},
pages = {1--16},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CSF51468.2021.00004},
doi = {10.1109/CSF51468.2021.00004},
timestamp = {Fri, 13 Aug 2021 09:20:41 +0200},
biburl = {https://dblp.org/rec/conf/csfw/DasB0PS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Pham021,
author = {Long Pham and
Jan Hoffmann},
editor = {Christel Baier and
Jean Goubault{-}Larrecq},
title = {Typable Fragments of Polynomial Automatic Amortized Resource Analysis},
booktitle = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021,
January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)},
series = {LIPIcs},
volume = {183},
pages = {34:1--34:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CSL.2021.34},
doi = {10.4230/LIPICS.CSL.2021.34},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Pham021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Wang0R21,
author = {Di Wang and
Jan Hoffmann and
Thomas W. Reps},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Central moment analysis for cost accumulators in probabilistic programs},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {559--573},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454062},
doi = {10.1145/3453483.3454062},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Wang0R21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Wang0R21a,
author = {Di Wang and
Jan Hoffmann and
Thomas W. Reps},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Sound probabilistic inference via guide types},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {788--803},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454077},
doi = {10.1145/3453483.3454077},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Wang0R21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-16105,
author = {Di Wang and
Jan Hoffmann and
Thomas W. Reps},
title = {Expected-Cost Analysis for Probabilistic Programs and Semantics-Level
Adaption of Optional Stopping Theorems},
journal = {CoRR},
volume = {abs/2103.16105},
year = {2021},
url = {https://arxiv.org/abs/2103.16105},
eprinttype = {arXiv},
eprint = {2103.16105},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-16105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-03598,
author = {Di Wang and
Jan Hoffmann and
Thomas W. Reps},
title = {Sound Probabilistic Inference via Guide Types},
journal = {CoRR},
volume = {abs/2104.03598},
year = {2021},
url = {https://arxiv.org/abs/2104.03598},
eprinttype = {arXiv},
eprint = {2104.03598},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-03598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-13936,
author = {David M. Kahn and
Jan Hoffmann},
title = {Automatic Amortized Resource Analysis with the Quantum Physicist's
Method},
journal = {CoRR},
volume = {abs/2106.13936},
year = {2021},
url = {https://arxiv.org/abs/2106.13936},
eprinttype = {arXiv},
eprint = {2106.13936},
timestamp = {Wed, 30 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-13936.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KnothWRHP20,
author = {Tristan Knoth and
Di Wang and
Adam Reynolds and
Jan Hoffmann and
Nadia Polikarpova},
title = {Liquid resource types},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{ICFP}},
pages = {106:1--106:29},
year = {2020},
url = {https://doi.org/10.1145/3408988},
doi = {10.1145/3408988},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KnothWRHP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangKH20,
author = {Di Wang and
David M. Kahn and
Jan Hoffmann},
title = {Raising expectations: automating expected cost analysis with types},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{ICFP}},
pages = {110:1--110:31},
year = {2020},
url = {https://doi.org/10.1145/3408992},
doi = {10.1145/3408992},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WangKH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Kahn020,
author = {David M. Kahn and
Jan Hoffmann},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {Exponential Automatic Amortized Resource Analysis},
booktitle = {Foundations of Software Science and Computation Structures - 23rd
International Conference, {FOSSACS} 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12077},
pages = {359--380},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_19},
doi = {10.1007/978-3-030-45231-5\_19},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Kahn020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-10150,
author = {Di Wang and
Jan Hoffmann and
Thomas W. Reps},
title = {Tail Bound Analysis for Probabilistic Programs via Central Moments},
journal = {CoRR},
volume = {abs/2001.10150},
year = {2020},
url = {https://arxiv.org/abs/2001.10150},
eprinttype = {arXiv},
eprint = {2001.10150},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-10150.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-09519,
author = {David M. Kahn and
Jan Hoffmann},
title = {Exponential Amortized Resource Analysis},
journal = {CoRR},
volume = {abs/2002.09519},
year = {2020},
url = {https://arxiv.org/abs/2002.09519},
eprinttype = {arXiv},
eprint = {2002.09519},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-09519.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-14010,
author = {Di Wang and
David M. Kahn and
Jan Hoffmann},
title = {Raising Expectations: Automating Expected Cost Analysis with Types},
journal = {CoRR},
volume = {abs/2006.14010},
year = {2020},
url = {https://arxiv.org/abs/2006.14010},
eprinttype = {arXiv},
eprint = {2006.14010},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-14010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-16233,
author = {Tristan Knoth and
Di Wang and
Adam Reynolds and
Jan Hoffmann and
Nadia Polikarpova},
title = {Liquid Resource Types},
journal = {CoRR},
volume = {abs/2006.16233},
year = {2020},
url = {https://arxiv.org/abs/2006.16233},
eprinttype = {arXiv},
eprint = {2006.16233},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-16233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-16353,
author = {Long Pham and
Jan Hoffmann},
title = {Typable Fragments of Polynomial Automatic Amortized Resource Analysis},
journal = {CoRR},
volume = {abs/2010.16353},
year = {2020},
url = {https://arxiv.org/abs/2010.16353},
eprinttype = {arXiv},
eprint = {2010.16353},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-16353.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-09037,
author = {Ankush Das and
Di Wang and
Jan Hoffmann},
title = {Probabilistic Resource-Aware Session Types},
journal = {CoRR},
volume = {abs/2011.09037},
year = {2020},
url = {https://arxiv.org/abs/2011.09037},
eprinttype = {arXiv},
eprint = {2011.09037},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-09037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangH19,
author = {Di Wang and
Jan Hoffmann},
title = {Type-guided worst-case input generation},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {13:1--13:30},
year = {2019},
url = {https://doi.org/10.1145/3290326},
doi = {10.1145/3290326},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WangH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KnothWP019,
author = {Tristan Knoth and
Di Wang and
Nadia Polikarpova and
Jan Hoffmann},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Resource-guided program synthesis},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {253--268},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314602},
doi = {10.1145/3314221.3314602},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/KnothWP019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WangHR19,
author = {Di Wang and
Jan Hoffmann and
Thomas W. Reps},
editor = {Barbara K{\"{o}}nig},
title = {A Denotational Semantics for Low-Level Probabilistic Programs with
Nondeterminism},
booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {347},
pages = {303--324},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.09.016},
doi = {10.1016/J.ENTCS.2019.09.016},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WangHR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-06056,
author = {Ankush Das and
Stephanie Balzer and
Jan Hoffmann and
Frank Pfenning},
title = {Resource-Aware Session Types for Digital Contracts},
journal = {CoRR},
volume = {abs/1902.06056},
year = {2019},
url = {http://arxiv.org/abs/1902.06056},
eprinttype = {arXiv},
eprint = {1902.06056},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-06056.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07415,
author = {Tristan Knoth and
Di Wang and
Nadia Polikarpova and
Jan Hoffmann},
title = {Resource-Guided Program Synthesis},
journal = {CoRR},
volume = {abs/1904.07415},
year = {2019},
url = {http://arxiv.org/abs/1904.07415},
eprinttype = {arXiv},
eprint = {1904.07415},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Das0P18,
author = {Ankush Das and
Jan Hoffmann and
Frank Pfenning},
title = {Parallel complexity analysis with temporal session types},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {91:1--91:30},
year = {2018},
url = {https://doi.org/10.1145/3236786},
doi = {10.1145/3236786},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Das0P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Das0P18,
author = {Ankush Das and
Jan Hoffmann and
Frank Pfenning},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Work Analysis with Resource-Aware Session Types},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {305--314},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209146},
doi = {10.1145/3209108.3209146},
timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
biburl = {https://dblp.org/rec/conf/lics/Das0P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NiuH18,
author = {Yue Niu and
Jan Hoffmann},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {Automatic Space Bound Analysis for Functional Programs with Garbage
Collection},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {543--563},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/xkwx},
doi = {10.29007/XKWX},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/NiuH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NgoC018,
author = {Van Chan Ngo and
Quentin Carbonneaux and
Jan Hoffmann},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Bounded expectations: resource analysis for probabilistic programs},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {496--512},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192394},
doi = {10.1145/3192366.3192394},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NgoC018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WangHR18,
author = {Di Wang and
Jan Hoffmann and
Thomas W. Reps},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {{PMAF:} an algebraic framework for static analysis of probabilistic
programs},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {513--528},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192408},
doi = {10.1145/3192366.3192408},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/WangHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-01896,
author = {Van Chan Ngo and
Mario Dehesa{-}Azuara and
Matthew Fredrikson and
Jan Hoffmann},
title = {Verifying and Synthesizing Constant-Resource Implementations with
Types},
journal = {CoRR},
volume = {abs/1801.01896},
year = {2018},
url = {http://arxiv.org/abs/1801.01896},
eprinttype = {arXiv},
eprint = {1801.01896},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-01896.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-06013,
author = {Ankush Das and
Jan Hoffmann and
Frank Pfenning},
title = {Parallel Complexity Analysis with Temporal Session Types},
journal = {CoRR},
volume = {abs/1804.06013},
year = {2018},
url = {http://arxiv.org/abs/1804.06013},
eprinttype = {arXiv},
eprint = {1804.06013},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-06013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GieslH17,
author = {J{\"{u}}rgen Giesl and
Jan Hoffmann},
title = {Preface: Special Issue on Automatic Resource Bound Analysis},
journal = {J. Autom. Reason.},
volume = {59},
number = {1},
pages = {1--2},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9399-8},
doi = {10.1007/S10817-016-9399-8},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GieslH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Carbonneaux0RS17,
author = {Quentin Carbonneaux and
Jan Hoffmann and
Thomas W. Reps and
Zhong Shao},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Automated Resource Analysis with Coq Proof Objects},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {64--85},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_4},
doi = {10.1007/978-3-319-63390-9\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Carbonneaux0RS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CicekBG0H17,
author = {Ezgi {\c{C}}i{\c{c}}ek and
Gilles Barthe and
Marco Gaboardi and
Deepak Garg and
Jan Hoffmann},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Relational cost analysis},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {316--329},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009858},
doi = {10.1145/3009837.3009858},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/CicekBG0H17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HoffmannDW17,
author = {Jan Hoffmann and
Ankush Das and
Shu{-}Chun Weng},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Towards automatic resource bound analysis for OCaml},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {359--373},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009842},
doi = {10.1145/3009837.3009842},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/HoffmannDW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/LichtmanH17,
author = {Benjamin Lichtman and
Jan Hoffmann},
editor = {Dale Miller},
title = {Arrays and References in Resource Aware {ML}},
booktitle = {2nd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
series = {LIPIcs},
volume = {84},
pages = {26:1--26:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2017.26},
doi = {10.4230/LIPICS.FSCD.2017.26},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/LichtmanH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/NgoDFH17,
author = {Van Chan Ngo and
Mario Dehesa{-}Azuara and
Matthew Fredrikson and
Jan Hoffmann},
title = {Verifying and Synthesizing Constant-Resource Implementations with
Types},
booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
CA, USA, May 22-26, 2017},
pages = {710--728},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SP.2017.53},
doi = {10.1109/SP.2017.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/NgoDFH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Das017,
author = {Ankush Das and
Jan Hoffmann},
editor = {Axel Legay and
Tiziana Margaria},
title = {{ML} for {ML:} Learning Cost Semantics by Experiment},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {190--207},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_11},
doi = {10.1007/978-3-662-54577-5\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Das017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08847,
author = {Van Chan Ngo and
Quentin Carbonneaux and
Jan Hoffmann},
title = {Bounded Expectations: Resource Analysis for Probabilistic Programs},
journal = {CoRR},
volume = {abs/1711.08847},
year = {2017},
url = {http://arxiv.org/abs/1711.08847},
eprinttype = {arXiv},
eprint = {1711.08847},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-08310,
author = {Ankush Das and
Jan Hoffmann and
Frank Pfenning},
title = {Work Analysis with Resource-Aware Session Types},
journal = {CoRR},
volume = {abs/1712.08310},
year = {2017},
url = {http://arxiv.org/abs/1712.08310},
eprinttype = {arXiv},
eprint = {1712.08310},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-08310.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GaboardiHWZ17,
author = {Marco Gaboardi and
Jan Hoffmann and
Reinhard Wilhelm and
Florian Zuleger},
title = {Resource Bound Analysis (Dagstuhl Seminar 17291)},
journal = {Dagstuhl Reports},
volume = {7},
number = {7},
pages = {72--87},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.7.72},
doi = {10.4230/DAGREP.7.7.72},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GaboardiHWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HoffmannDW16,
author = {Jan Hoffmann and
Ankush Das and
Shu{-}Chun Weng},
title = {Towards Automatic Resource Bound Analysis for OCaml},
journal = {CoRR},
volume = {abs/1611.00692},
year = {2016},
url = {http://arxiv.org/abs/1611.00692},
eprinttype = {arXiv},
eprint = {1611.00692},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HoffmannDW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/0002S15,
author = {Jan Hoffmann and
Zhong Shao},
title = {Type-based amortized resource analysis with integers and arrays},
journal = {J. Funct. Program.},
volume = {25},
year = {2015},
url = {https://doi.org/10.1017/S0956796815000192},
doi = {10.1017/S0956796815000192},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/0002S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/0002S15,
author = {Jan Hoffmann and
Zhong Shao},
editor = {Jan Vitek},
title = {Automatic Static Cost Analysis for Parallel Programs},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {132--157},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_6},
doi = {10.1007/978-3-662-46669-8\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/0002S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Carbonneaux0S15,
author = {Quentin Carbonneaux and
Jan Hoffmann and
Zhong Shao},
editor = {David Grove and
Stephen M. Blackburn},
title = {Compositional certified resource bounds},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {467--478},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737955},
doi = {10.1145/2737924.2737955},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Carbonneaux0S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/0002S14,
author = {Jan Hoffmann and
Zhong Shao},
editor = {Michael Codish and
Eijiro Sumii},
title = {Type-Based Amortized Resource Analysis with Integers and Arrays},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {152--168},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_10},
doi = {10.1007/978-3-319-07151-0\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/0002S14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Carbonneaux0RS14,
author = {Quentin Carbonneaux and
Jan Hoffmann and
Tahina Ramananandro and
Zhong Shao},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {End-to-end verification of stack-space bounds for {C} programs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {270--281},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594301},
doi = {10.1145/2594291.2594301},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Carbonneaux0RS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BaumeisterBF0R13,
author = {Dorothea Baumeister and
Felix Brandt and
Felix A. Fischer and
Jan Hoffmann and
J{\"{o}}rg Rothe},
title = {The Complexity of Computing Minimal Unidirectional Covering Sets},
journal = {Theory Comput. Syst.},
volume = {53},
number = {3},
pages = {467--502},
year = {2013},
url = {https://doi.org/10.1007/s00224-012-9437-9},
doi = {10.1007/S00224-012-9437-9},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BaumeisterBF0R13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LiangHFS13,
author = {Hongjin Liang and
Jan Hoffmann and
Xinyu Feng and
Zhong Shao},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Characterizing Progress Properties of Concurrent Objects via Contextual
Refinements},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {227--241},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_17},
doi = {10.1007/978-3-642-40184-8\_17},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/LiangHFS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HoffmannMS13,
author = {Jan Hoffmann and
Michael Marmar and
Zhong Shao},
title = {Quantitative Reasoning for Proving Lock-Freedom},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {124--133},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.18},
doi = {10.1109/LICS.2013.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HoffmannMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SchererH13,
author = {Gabriel Scherer and
Jan Hoffmann},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Tracking Data-Flow with Open Closure Types},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {710--726},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_47},
doi = {10.1007/978-3-642-45221-5\_47},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SchererH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchererH13,
author = {Gabriel Scherer and
Jan Hoffmann},
title = {Tracking Data-Flow with Open Closure Types},
journal = {CoRR},
volume = {abs/1312.0018},
year = {2013},
url = {http://arxiv.org/abs/1312.0018},
eprinttype = {arXiv},
eprint = {1312.0018},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchererH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/0002AH12,
author = {Jan Hoffmann and
Klaus Aehlig and
Martin Hofmann},
title = {Multivariate amortized resource analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {34},
number = {3},
pages = {14:1--14:62},
year = {2012},
url = {https://doi.org/10.1145/2362389.2362393},
doi = {10.1145/2362389.2362393},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/0002AH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/0002AH12,
author = {Jan Hoffmann and
Klaus Aehlig and
Martin Hofmann},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Resource Aware {ML}},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {781--786},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_64},
doi = {10.1007/978-3-642-31424-7\_64},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/0002AH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KrishnaswamiBH12,
author = {Neelakantan R. Krishnaswami and
Nick Benton and
Jan Hoffmann},
editor = {John Field and
Michael Hicks},
title = {Higher-order functional reactive programming in bounded space},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {45--58},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103665},
doi = {10.1145/2103656.2103665},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/KrishnaswamiBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Hoffmann11b,
author = {Jan Hoffmann},
title = {Types with potential: polynomial resource bounds via automatic amortized
analysis},
school = {Ludwig Maximilians University Munich},
year = {2011},
url = {http://edoc.ub.uni-muenchen.de/13955/},
urn = {urn:nbn:de:bvb:19-139552},
isbn = {978-3-8442-1516-8},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Hoffmann11b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BrandtBFH11,
author = {Felix Brandt and
Markus Brill and
Felix A. Fischer and
Jan Hoffmann},
title = {The Computational Complexity of Weak Saddles},
journal = {Theory Comput. Syst.},
volume = {49},
number = {1},
pages = {139--161},
year = {2011},
url = {https://doi.org/10.1007/s00224-010-9298-z},
doi = {10.1007/S00224-010-9298-Z},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BrandtBFH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HoffmannAH11,
author = {Jan Hoffmann and
Klaus Aehlig and
Martin Hofmann},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Multivariate amortized resource analysis},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {357--370},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926427},
doi = {10.1145/1926385.1926427},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/HoffmannAH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HoffmannH10,
author = {Jan Hoffmann and
Martin Hofmann},
editor = {Kazunori Ueda},
title = {Amortized Resource Analysis with Polymorphic Recursion and Partial
Big-Step Operational Semantics},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {172--187},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_13},
doi = {10.1007/978-3-642-17164-2\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HoffmannH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciac/BaumeisterBFHR10,
author = {Dorothea Baumeister and
Felix Brandt and
Felix A. Fischer and
Jan Hoffmann and
J{\"{o}}rg Rothe},
editor = {Tiziana Calamoneri and
Josep D{\'{\i}}az},
title = {The Complexity of Computing Minimal Unidirectional Covering Sets},
booktitle = {Algorithms and Complexity, 7th International Conference, {CIAC} 2010,
Rome, Italy, May 26-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6078},
pages = {299--310},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13073-1\_27},
doi = {10.1007/978-3-642-13073-1\_27},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ciac/BaumeisterBFHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Hoffmann10,
author = {Jan Hoffmann},
editor = {Kai Bollue and
Dominique G{\"{u}}ckel and
Ulrich Loup and
Jacob Sp{\"{o}}nemann and
Melanie Winkler},
title = {An Automatic Amortized Analysis of the Resource Consumption of Functional
Programs},
booktitle = {Proceedings of the Joint Workshop of the German Research Training
Groups in Computer Science, Algorithmic synthesis of reactive and
discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010},
pages = {151},
publisher = {Verlagshaus Mainz, Aachen, Germany},
year = {2010},
timestamp = {Tue, 03 Mar 2020 17:20:41 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/Hoffmann10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HoffmannH10,
author = {Jan Hoffmann and
Martin Hofmann},
editor = {Andrew D. Gordon},
title = {Amortized Resource Analysis with Polynomial Potential},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {287--306},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_16},
doi = {10.1007/978-3-642-11957-6\_16},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/HoffmannH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigecom/BrandtBFHH09,
author = {Felix Brandt and
Markus Brill and
Felix A. Fischer and
Paul Harrenstein and
Jan Hoffmann},
title = {Computing Shapley's saddles},
journal = {SIGecom Exch.},
volume = {8},
number = {2},
pages = {3},
year = {2009},
url = {https://doi.org/10.1145/1980522.1980525},
doi = {10.1145/1980522.1980525},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigecom/BrandtBFHH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hoffmann09,
author = {Jan Hoffmann},
title = {Finding a tree structure in a resolution proof is NP-complete},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {21-23},
pages = {2295--2300},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.02.018},
doi = {10.1016/J.TCS.2009.02.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hoffmann09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sagt/BrandtBFH09,
author = {Felix Brandt and
Markus Brill and
Felix A. Fischer and
Jan Hoffmann},
editor = {Marios Mavronicolas and
Vicky G. Papadopoulou},
title = {The Computational Complexity of Weak Saddles},
booktitle = {Algorithmic Game Theory, Second International Symposium, {SAGT} 2009,
Paphos, Cyprus, October 18-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5814},
pages = {238--249},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04645-2\_22},
doi = {10.1007/978-3-642-04645-2\_22},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/sagt/BrandtBFH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BussHJ08,
author = {Samuel R. Buss and
Jan Hoffmann and
Jan Johannsen},
title = {Resolution Trees with Lemmas: Resolution Refinements that Characterize
{DLL} Algorithms with Clause Learning},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {4},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(4:13)2008},
doi = {10.2168/LMCS-4(4:13)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BussHJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BussH08,
author = {Samuel R. Buss and
Jan Hoffmann},
title = {The NP-hardness of finding a directed acyclic graph for regular resolution},
journal = {Theor. Comput. Sci.},
volume = {396},
number = {1-3},
pages = {271--276},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.01.039},
doi = {10.1016/J.TCS.2008.01.039},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BussH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-1075,
author = {Samuel R. Buss and
Jan Hoffmann and
Jan Johannsen},
title = {Resolution Trees with Lemmas: Resolution Refinements that Characterize
{DLL} Algorithms with Clause Learning},
journal = {CoRR},
volume = {abs/0811.1075},
year = {2008},
url = {http://arxiv.org/abs/0811.1075},
eprinttype = {arXiv},
eprint = {0811.1075},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-1075.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.
last updated on 2024-04-21 17:06 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:
