Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Helmut Seidl
@article{DBLP:journals/iandc/ManethSV24,
author = {Sebastian Maneth and
Helmut Seidl and
Martin Vu},
title = {Functionality of compositions of top-down tree transducers is decidable},
journal = {Inf. Comput.},
volume = {296},
pages = {105131},
year = {2024},
url = {https://doi.org/10.1016/j.ic.2023.105131},
doi = {10.1016/J.IC.2023.105131},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ManethSV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ManethS24,
author = {Sebastian Maneth and
Helmut Seidl},
title = {Checking in polynomial time whether or not a regular tree language
is deterministic top-down},
journal = {Inf. Process. Lett.},
volume = {184},
pages = {106449},
year = {2024},
url = {https://doi.org/10.1016/j.ipl.2023.106449},
doi = {10.1016/J.IPL.2023.106449},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/ManethS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SaanESBHTVS24,
author = {Simmo Saan and
Julian Erhard and
Michael Schwarz and
Stanimir Bozhilov and
Karoliine Holter and
Sarah Tilscher and
Vesal Vojdani and
Helmut Seidl},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Goblint Validator: Correctness Witness Validation by Abstract Interpretation
- (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14572},
pages = {335--340},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57256-2\_17},
doi = {10.1007/978-3-031-57256-2\_17},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SaanESBHTVS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SaanESBHTVS24a,
author = {Simmo Saan and
Julian Erhard and
Michael Schwarz and
Stanimir Bozhilov and
Karoliine Holter and
Sarah Tilscher and
Vesal Vojdani and
Helmut Seidl},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Goblint: Abstract Interpretation for Memory Safety and Termination
- (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14572},
pages = {381--386},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57256-2\_25},
doi = {10.1007/978-3-031-57256-2\_25},
timestamp = {Sun, 14 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SaanESBHTVS24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SaanSESTV24,
author = {Simmo Saan and
Michael Schwarz and
Julian Erhard and
Helmut Seidl and
Sarah Tilscher and
Vesal Vojdani},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Correctness Witness Validation by Abstract Interpretation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {74--97},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_4},
doi = {10.1007/978-3-031-50524-9\_4},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/SaanSESTV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-05165,
author = {Helmut Seidl and
Julian Erhard and
Sarah Tilscher and
Michael Schwarz},
title = {Non-Numerical Weakly Relational Domains},
journal = {CoRR},
volume = {abs/2401.05165},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.05165},
doi = {10.48550/ARXIV.2401.05165},
eprinttype = {arXiv},
eprint = {2401.05165},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-05165.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ManethSV23,
author = {Sebastian Maneth and
Helmut Seidl and
Martin Vu},
title = {Definability Results for Top-Down Tree Transducers},
journal = {Int. J. Found. Comput. Sci.},
volume = {34},
number = {2{\&}3},
pages = {253--287},
year = {2023},
url = {https://doi.org/10.1142/S0129054122440051},
doi = {10.1142/S0129054122440051},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ManethSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ManethS23,
author = {Sebastian Maneth and
Helmut Seidl},
title = {Deciding origin equivalence of weakly self-nesting macro tree transducers},
journal = {Inf. Process. Lett.},
volume = {180},
pages = {106332},
year = {2023},
url = {https://doi.org/10.1016/j.ipl.2022.106332},
doi = {10.1016/J.IPL.2022.106332},
timestamp = {Fri, 06 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/ManethS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SchwarzSSEV23,
author = {Michael Schwarz and
Simmo Saan and
Helmut Seidl and
Julian Erhard and
Vesal Vojdani},
editor = {Thomas Wies},
title = {Clustered Relational Thread-Modular Abstract Interpretation with Local
Traces},
booktitle = {Programming Languages and Systems - 32nd European Symposium on Programming,
{ESOP} 2023, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13990},
pages = {28--58},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30044-8\_2},
doi = {10.1007/978-3-031-30044-8\_2},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/SchwarzSSEV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0007EVSS23,
author = {Michael Schwarz and
Julian Erhard and
Vesal Vojdani and
Simmo Saan and
Helmut Seidl},
editor = {Pietro Ferrara and
Liana Hadarean},
title = {When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection
for Non-local Jumps in {C}},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
USA, 17 June 2023},
pages = {20--26},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250.3596140},
doi = {10.1145/3589250.3596140},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0007EVSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SchwarzS23,
author = {Michael Schwarz and
Helmut Seidl},
editor = {Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales},
title = {Octagons Revisited - Elegant Proofs and Simplified Algorithms},
booktitle = {Static Analysis - 30th International Symposium, {SAS} 2023, Cascais,
Portugal, October 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14284},
pages = {485--507},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44245-2\_21},
doi = {10.1007/978-3-031-44245-2\_21},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/SchwarzS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SaanSEPSTV23,
author = {Simmo Saan and
Michael Schwarz and
Julian Erhard and
Manuel Pietsch and
Helmut Seidl and
Sarah Tilscher and
Vesal Vojdani},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition
Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {547--552},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_34},
doi = {10.1007/978-3-031-30820-8\_34},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SaanSEPSTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-06439,
author = {Michael Schwarz and
Simmo Saan and
Helmut Seidl and
Julian Erhard and
Vesal Vojdani},
title = {Clustered Relational Thread-Modular Abstract Interpretation with Local
Traces},
journal = {CoRR},
volume = {abs/2301.06439},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.06439},
doi = {10.48550/ARXIV.2301.06439},
eprinttype = {arXiv},
eprint = {2301.06439},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-06439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-00573,
author = {Sebastian Maneth and
Helmut Seidl},
title = {Checking in Polynomial Time whether or not a Regular Tree Language
is Deterministic Top-Down},
journal = {CoRR},
volume = {abs/2306.00573},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.00573},
doi = {10.48550/ARXIV.2306.00573},
eprinttype = {arXiv},
eprint = {2306.00573},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-00573.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-16572,
author = {Simmo Saan and
Michael Schwarz and
Julian Erhard and
Helmut Seidl and
Sarah Tilscher and
Vesal Vojdani},
title = {Correctness Witness Validation by Abstract Interpretation},
journal = {CoRR},
volume = {abs/2310.16572},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.16572},
doi = {10.48550/ARXIV.2310.16572},
eprinttype = {arXiv},
eprint = {2310.16572},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-16572.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/ManethSV22,
author = {Sebastian Maneth and
Helmut Seidl and
Martin Vu},
editor = {Dimitrios Poulakis and
George Rahonis},
title = {How to Decide Functionality of Compositions of Top-Down Tree Transducers},
booktitle = {Algebraic Informatics - 9th International Conference, {CAI} 2022,
Virtual Event, October 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13706},
pages = {175--191},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19685-0\_13},
doi = {10.1007/978-3-031-19685-0\_13},
timestamp = {Fri, 21 Oct 2022 19:54:56 +0200},
biburl = {https://dblp.org/rec/conf/cai/ManethSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2022,
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6},
doi = {10.1007/978-3-031-17715-6},
isbn = {978-3-031-17714-9},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-01044,
author = {Sebastian Maneth and
Helmut Seidl and
Martin Vu},
title = {How to decide Functionality of Compositions of Top-Down Tree Transducers},
journal = {CoRR},
volume = {abs/2209.01044},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.01044},
doi = {10.48550/ARXIV.2209.01044},
eprinttype = {arXiv},
eprint = {2209.01044},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-01044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-10445,
author = {Julian Erhard and
Simmo Saan and
Sarah Tilscher and
Michael Schwarz and
Karoliine Holter and
Vesal Vojdani and
Helmut Seidl},
title = {Interactive Abstract Interpretation: Reanalyzing Whole Programs for
Cheap},
journal = {CoRR},
volume = {abs/2209.10445},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.10445},
doi = {10.48550/ARXIV.2209.10445},
eprinttype = {arXiv},
eprint = {2209.10445},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10445.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LobelLS21,
author = {Raphaela L{\"{o}}bel and
Michael Luttenberger and
Helmut Seidl},
title = {On the Balancedness of Tree-to-Word Transducers},
journal = {Int. J. Found. Comput. Sci.},
volume = {32},
number = {6},
pages = {761--783},
year = {2021},
url = {https://doi.org/10.1142/S0129054121420077},
doi = {10.1142/S0129054121420077},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/LobelLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SeidlV21,
author = {Helmut Seidl and
Ralf Vogler},
title = {Three improvements to the top-down solver},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {1090--1134},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000499},
doi = {10.1017/S0960129521000499},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SeidlV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/ManethSV21,
author = {Sebastian Maneth and
Helmut Seidl and
Martin Vu},
editor = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Definability Results for Top-Down Tree Transducers},
booktitle = {Developments in Language Theory - 25th International Conference, {DLT}
2021, Porto, Portugal, August 16-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12811},
pages = {291--303},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81508-0\_24},
doi = {10.1007/978-3-030-81508-0\_24},
timestamp = {Tue, 10 Aug 2021 15:35:08 +0200},
biburl = {https://dblp.org/rec/conf/dlt/ManethSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SchwarzSSAEV21,
author = {Michael Schwarz and
Simmo Saan and
Helmut Seidl and
Kalmer Apinis and
Julian Erhard and
Vesal Vojdani},
editor = {Cezara Dragoi and
Suvam Mukherjee and
Kedar S. Namjoshi},
title = {Improving Thread-Modular Abstract Interpretation},
booktitle = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
IL, USA, October 17-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12913},
pages = {359--383},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88806-0\_18},
doi = {10.1007/978-3-030-88806-0\_18},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SchwarzSSAEV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SaanSAESVV21,
author = {Simmo Saan and
Michael Schwarz and
Kalmer Apinis and
Julian Erhard and
Helmut Seidl and
Ralf Vogler and
Vesal Vojdani},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting
Constraints - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {438--442},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_28},
doi = {10.1007/978-3-030-72013-1\_28},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SaanSAESVV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14860,
author = {Sebastian Maneth and
Helmut Seidl and
Martin Vu},
title = {Definability Results for Top-Down Tree Transducers},
journal = {CoRR},
volume = {abs/2105.14860},
year = {2021},
url = {https://arxiv.org/abs/2105.14860},
eprinttype = {arXiv},
eprint = {2105.14860},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-07613,
author = {Michael Schwarz and
Simmo Saan and
Helmut Seidl and
Kalmer Apinis and
Julian Erhard and
Vesal Vojdani},
title = {Improving Thread-Modular Abstract Interpretation},
journal = {CoRR},
volume = {abs/2108.07613},
year = {2021},
url = {https://arxiv.org/abs/2108.07613},
eprinttype = {arXiv},
eprint = {2108.07613},
timestamp = {Fri, 20 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-07613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SeidlEV15,
author = {Helmut Seidl and
Julian Erhard and
Ralf Vogler},
editor = {Alessandra Di Pierro and
Pasquale Malacaria and
Rajagopal Nagarajan},
title = {Incremental Abstract Interpretation},
booktitle = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
Dedicated to Chris Hankin on the Occasion of His Retirement},
series = {Lecture Notes in Computer Science},
volume = {12065},
pages = {132--148},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-41103-9\_5},
doi = {10.1007/978-3-030-41103-9\_5},
timestamp = {Sat, 21 Mar 2020 18:49:30 +0100},
biburl = {https://dblp.org/rec/conf/birthday/SeidlEV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/LobelLS20,
author = {Raphaela L{\"{o}}bel and
Michael Luttenberger and
Helmut Seidl},
editor = {Natasa Jonoska and
Dmytro Savchuk},
title = {Equivalence of Linear Tree Transducers with Output in the Free Group},
booktitle = {Developments in Language Theory - 24th International Conference, {DLT}
2020, Tampa, FL, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12086},
pages = {207--221},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48516-0\_16},
doi = {10.1007/978-3-030-48516-0\_16},
timestamp = {Tue, 26 May 2020 17:27:29 +0200},
biburl = {https://dblp.org/rec/conf/dlt/LobelLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/LobelLS20a,
author = {Raphaela L{\"{o}}bel and
Michael Luttenberger and
Helmut Seidl},
editor = {Natasa Jonoska and
Dmytro Savchuk},
title = {On the Balancedness of Tree-to-Word Transducers},
booktitle = {Developments in Language Theory - 24th International Conference, {DLT}
2020, Tampa, FL, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12086},
pages = {222--236},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48516-0\_17},
doi = {10.1007/978-3-030-48516-0\_17},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/LobelLS20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ManethS20,
author = {Sebastian Maneth and
Helmut Seidl},
editor = {Artur Czumaj and
Anuj Dawar and
Emanuela Merelli},
title = {When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?},
booktitle = {47th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {168},
pages = {134:1--134:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.134},
doi = {10.4230/LIPICS.ICALP.2020.134},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/icalp/ManethS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MullerS20,
author = {Christan M{\"{u}}ller and
Helmut Seidl},
editor = {David Pichardie and
Mihaela Sighireanu},
title = {Stratified Guarded First-Order Transition Systems},
booktitle = {Static Analysis - 27th International Symposium, {SAS} 2020, Virtual
Event, November 18-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12389},
pages = {113--133},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65474-0\_6},
doi = {10.1007/978-3-030-65474-0\_6},
timestamp = {Fri, 29 Jan 2021 16:47:04 +0100},
biburl = {https://dblp.org/rec/conf/sas/MullerS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/IzychevaDS20,
author = {Anastasiia Izycheva and
Eva Darulova and
Helmut Seidl},
editor = {David Pichardie and
Mihaela Sighireanu},
title = {Counterexample- and Simulation-Guided Floating-Point Loop Invariant
Synthesis},
booktitle = {Static Analysis - 27th International Symposium, {SAS} 2020, Virtual
Event, November 18-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12389},
pages = {156--177},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65474-0\_8},
doi = {10.1007/978-3-030-65474-0\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/IzychevaDS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SeidlMF20,
author = {Helmut Seidl and
Christian M{\"{u}}ller and
Bernd Finkbeiner},
editor = {Dirk Beyer and
Damien Zufferey},
title = {How to Win First-Order Safety Games},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 21st International
Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11990},
pages = {426--448},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39322-9\_20},
doi = {10.1007/978-3-030-39322-9\_20},
timestamp = {Thu, 16 Jan 2020 17:28:31 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/SeidlMF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-03480,
author = {Raphaela L{\"{o}}bel and
Michael Luttenberger and
Helmut Seidl},
title = {Equivalence of Linear Tree Transducers with Output in the Free Group},
journal = {CoRR},
volume = {abs/2001.03480},
year = {2020},
url = {https://arxiv.org/abs/2001.03480},
eprinttype = {arXiv},
eprint = {2001.03480},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-03480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/IzychevaDS19,
author = {Anastasiia Izycheva and
Eva Darulova and
Helmut Seidl},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Synthesizing Efficient Low-Precision Kernels},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {294--313},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_17},
doi = {10.1007/978-3-030-31784-3\_17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/IzychevaDS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SeidlPM19,
author = {Helmut Seidl and
Raphaela Palenta and
Sebastian Maneth},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Deciding Equivalence of Separated Non-nested Attribute Systems in
Polynomial Time},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {488--504},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_28},
doi = {10.1007/978-3-030-17127-8\_28},
timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/SeidlPM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03858,
author = {Helmut Seidl and
Raphaela Palenta and
Sebastian Maneth},
title = {Deciding Equivalence of Separated Non-Nested Attribute Systems in
Polynomial Time},
journal = {CoRR},
volume = {abs/1902.03858},
year = {2019},
url = {http://arxiv.org/abs/1902.03858},
eprinttype = {arXiv},
eprint = {1902.03858},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03858.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-05964,
author = {Helmut Seidl and
Christian M{\"{u}}ller and
Bernd Finkbeiner},
title = {How to Win First-Order Safety Games},
journal = {CoRR},
volume = {abs/1908.05964},
year = {2019},
url = {http://arxiv.org/abs/1908.05964},
eprinttype = {arXiv},
eprint = {1908.05964},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-05964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-13054,
author = {Raphaela L{\"{o}}bel and
Michael Luttenberger and
Helmut Seidl},
title = {On the Balancedness of Tree-to-word Transducers},
journal = {CoRR},
volume = {abs/1911.13054},
year = {2019},
url = {http://arxiv.org/abs/1911.13054},
eprinttype = {arXiv},
eprint = {1911.13054},
timestamp = {Wed, 08 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-13054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FrielinghausSV18,
author = {Stefan Schulze Frielinghaus and
Helmut Seidl and
Ralf Vogler},
title = {Enforcing termination of interprocedural analysis},
journal = {Formal Methods Syst. Des.},
volume = {53},
number = {2},
pages = {313--338},
year = {2018},
url = {https://doi.org/10.1007/s10703-017-0288-5},
doi = {10.1007/S10703-017-0288-5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/FrielinghausSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ManethS18,
author = {Sebastian Maneth and
Helmut Seidl},
title = {Balancedness of {MSO} transductions in polynomial time},
journal = {Inf. Process. Lett.},
volume = {133},
pages = {26--32},
year = {2018},
url = {https://doi.org/10.1016/j.ipl.2018.01.002},
doi = {10.1016/J.IPL.2018.01.002},
timestamp = {Mon, 19 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/ManethS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/SeidlMK18,
author = {Helmut Seidl and
Sebastian Maneth and
Gregor Kemper},
title = {Equivalence of Deterministic Top-Down Tree-to-String Transducers Is
Decidable},
journal = {J. {ACM}},
volume = {65},
number = {4},
pages = {21:1--21:30},
year = {2018},
url = {https://doi.org/10.1145/3182653},
doi = {10.1145/3182653},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/SeidlMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ReussS18,
author = {Andreas Reu{\ss} and
Helmut Seidl},
title = {Paths, tree homomorphisms and disequalities for -clauses},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {10},
pages = {1786--1846},
year = {2018},
url = {https://doi.org/10.1017/S096012951700024X},
doi = {10.1017/S096012951700024X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ReussS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/0008SZ18,
author = {Christian M{\"{u}}ller and
Helmut Seidl and
Eugen Zalinescu},
title = {Inductive Invariants for Noninterference in Multi-agent Workflows},
booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford,
United Kingdom, July 9-12, 2018},
pages = {247--261},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/CSF.2018.00025},
doi = {10.1109/CSF.2018.00025},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/0008SZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SeidlV18,
author = {Helmut Seidl and
Ralf Vogler},
editor = {David Sabel and
Peter Thiemann},
title = {Three Improvements to the Top-Down Solver},
booktitle = {Proceedings of the 20th International Symposium on Principles and
Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
Germany, September 03-05, 2018},
pages = {21:1--21:14},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236950.3236967},
doi = {10.1145/3236950.3236967},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/SeidlV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LuttenbergerPS18,
author = {Michael Luttenberger and
Raphaela Palenta and
Helmut Seidl},
editor = {Rolf Niedermeier and
Brigitte Vall{\'{e}}e},
title = {Computing the Longest Common Prefix of a Context-free Language in
Polynomial Time},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science, {STACS}
2018, February 28 to March 3, 2018, Caen, France},
series = {LIPIcs},
volume = {96},
pages = {48:1--48:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.STACS.2018.48},
doi = {10.4230/LIPICS.STACS.2018.48},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/LuttenbergerPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FrielinghausPS17,
author = {Stefan Schulze Frielinghaus and
Michael Petter and
Helmut Seidl},
title = {Inter-procedural Two-Variable Herbrand Equalities},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:5)2017},
doi = {10.23638/LMCS-13(2:5)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FrielinghausPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SeidlV17,
author = {Helmut Seidl and
Ralf Vogler},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Proving Absence of Starvation by Means of Abstract Interpretation
and Model Checking},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {3--22},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_1},
doi = {10.1007/978-3-319-68167-2\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/SeidlV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/Finkbeiner0SZ17,
author = {Bernd Finkbeiner and
Christian M{\"{u}}ller and
Helmut Seidl and
Eugen Zalinescu},
editor = {Bhavani Thuraisingham and
David Evans and
Tal Malkin and
Dongyan Xu},
title = {Verifying Security Policies in Multi-agent Workflows with Loops},
booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
November 03, 2017},
pages = {633--645},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133956.3134080},
doi = {10.1145/3133956.3134080},
timestamp = {Wed, 29 Jun 2022 15:37:41 +0200},
biburl = {https://dblp.org/rec/conf/ccs/Finkbeiner0SZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MuschollSW17,
author = {Anca Muscholl and
Helmut Seidl and
Igor Walukiewicz},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Reachability for Dynamic Parametric Processes},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {424--441},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_23},
doi = {10.1007/978-3-319-52234-0\_23},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/MuschollSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LuttenbergerPS17,
author = {Michael Luttenberger and
Raphaela Palenta and
Helmut Seidl},
title = {Computing the longest common prefix of a context-free language in
polynomial time},
journal = {CoRR},
volume = {abs/1702.06698},
year = {2017},
url = {http://arxiv.org/abs/1702.06698},
eprinttype = {arXiv},
eprint = {1702.06698},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LuttenbergerPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-09013,
author = {Bernd Finkbeiner and
Christian M{\"{u}}ller and
Helmut Seidl and
Eugen Zalinescu},
title = {Verifying Security Policies in Multi-agent Workflows with Loops},
journal = {CoRR},
volume = {abs/1708.09013},
year = {2017},
url = {http://arxiv.org/abs/1708.09013},
eprinttype = {arXiv},
eprint = {1708.09013},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-09013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/FiliotMS17,
author = {Emmanuel Filiot and
Sebastian Maneth and
Helmut Seidl},
title = {Formal Methods of Transformations (Dagstuhl Seminar 17142)},
journal = {Dagstuhl Reports},
volume = {7},
number = {4},
pages = {23--37},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.4.23},
doi = {10.4230/DAGREP.7.4.23},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/FiliotMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AmatoSSAV16,
author = {Gianluca Amato and
Francesca Scozzari and
Helmut Seidl and
Kalmer Apinis and
Vesal Vojdani},
title = {Efficiently intertwining widening and narrowing},
journal = {Sci. Comput. Program.},
volume = {120},
pages = {1--24},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2015.12.005},
doi = {10.1016/J.SCICO.2015.12.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AmatoSSAV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EngelfrietMS16,
author = {Joost Engelfriet and
Sebastian Maneth and
Helmut Seidl},
title = {Look-ahead removal for total deterministic top-down tree transducers},
journal = {Theor. Comput. Sci.},
volume = {616},
pages = {18--58},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.12.005},
doi = {10.1016/J.TCS.2015.12.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EngelfrietMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FinkbeinerS016,
author = {Bernd Finkbeiner and
Helmut Seidl and
Christian M{\"{u}}ller},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Specifying and Verifying Secrecy in Workflows with Arbitrarily Many
Agents},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {157--173},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_11},
doi = {10.1007/978-3-319-46520-3\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/FinkbeinerS016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ApinisSV16,
author = {Kalmer Apinis and
Helmut Seidl and
Vesal Vojdani},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {Enhancing Top-Down Solving with Widening and Narrowing},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {272--288},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_14},
doi = {10.1007/978-3-319-27810-0\_14},
timestamp = {Tue, 21 Mar 2023 20:58:42 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ApinisSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/VojdaniARSVV16,
author = {Vesal Vojdani and
Kalmer Apinis and
Vootele R{\~{o}}tov and
Helmut Seidl and
Varmo Vene and
Ralf Vogler},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Static race detection for device drivers: the Goblint approach},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {391--402},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970337},
doi = {10.1145/2970276.2970337},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/VojdaniARSVV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FrielinghausSV16,
author = {Stefan Schulze Frielinghaus and
Helmut Seidl and
Ralf Vogler},
editor = {Xavier Rival},
title = {Enforcing Termination of Interprocedural Analysis},
booktitle = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
UK, September 8-10, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9837},
pages = {447--468},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53413-7\_22},
doi = {10.1007/978-3-662-53413-7\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/FrielinghausSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/SeidlMKE16,
author = {Helmut Seidl and
Sebastian Maneth and
Gregor Kemper and
Joost Engelfriet},
editor = {Javier Esparza and
Orna Grumberg and
Salomon Sickert},
title = {Equivalence - Combinatorics, Algebra, Proofs},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {45},
pages = {202--243},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-627-9-202},
doi = {10.3233/978-1-61499-627-9-202},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/SeidlMKE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FrielinghausSV16,
author = {Stefan Schulze Frielinghaus and
Helmut Seidl and
Ralf Vogler},
title = {Enforcing Termination of Interprocedural Analysis},
journal = {CoRR},
volume = {abs/1606.07687},
year = {2016},
url = {http://arxiv.org/abs/1606.07687},
eprinttype = {arXiv},
eprint = {1606.07687},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FrielinghausSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MuschollSW16,
author = {Anca Muscholl and
Helmut Seidl and
Igor Walukiewicz},
title = {Reachability for dynamic parametric processes},
journal = {CoRR},
volume = {abs/1609.05385},
year = {2016},
url = {http://arxiv.org/abs/1609.05385},
eprinttype = {arXiv},
eprint = {1609.05385},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MuschollSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/MullerKS15,
author = {Christian M{\"{u}}ller and
M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
Helmut Seidl},
editor = {C{\'{e}}dric Fournet and
Michael W. Hicks and
Luca Vigan{\`{o}}},
title = {An Analysis of Universal Information Flow Based on Self-Composition},
booktitle = {{IEEE} 28th Computer Security Foundations Symposium, {CSF} 2015, Verona,
Italy, 13-17 July, 2015},
pages = {380--393},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CSF.2015.33},
doi = {10.1109/CSF.2015.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/MullerKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FrielinghausPS15,
author = {Stefan Schulze Frielinghaus and
Michael Petter and
Helmut Seidl},
editor = {Jan Vitek},
title = {Inter-procedural Two-Variable Herbrand Equalities},
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 = {457--482},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_19},
doi = {10.1007/978-3-662-46669-8\_19},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/FrielinghausPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/SeidlMK15,
author = {Helmut Seidl and
Sebastian Maneth and
Gregor Kemper},
editor = {Venkatesan Guruswami},
title = {Equivalence of Deterministic Top-Down Tree-to-String Transducers is
Decidable},
booktitle = {{IEEE} 56th Annual Symposium on Foundations of Computer Science, {FOCS}
2015, Berkeley, CA, USA, 17-20 October, 2015},
pages = {943--962},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/FOCS.2015.62},
doi = {10.1109/FOCS.2015.62},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/SeidlMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spire/ManethPS15,
author = {Sebastian Maneth and
Alberto Ord{\'{o}}{\~{n}}ez Pereira and
Helmut Seidl},
editor = {Costas S. Iliopoulos and
Simon J. Puglisi and
Emine Yilmaz},
title = {Transforming {XML} Streams with References},
booktitle = {String Processing and Information Retrieval - 22nd International Symposium,
{SPIRE} 2015, London, UK, September 1-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9309},
pages = {33--45},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23826-5\_4},
doi = {10.1007/978-3-319-23826-5\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/spire/ManethPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmatoSSAV15,
author = {Gianluca Amato and
Francesca Scozzari and
Helmut Seidl and
Kalmer Apinis and
Vesal Vojdani},
title = {Efficiently intertwining widening and narrowing},
journal = {CoRR},
volume = {abs/1503.00883},
year = {2015},
url = {http://arxiv.org/abs/1503.00883},
eprinttype = {arXiv},
eprint = {1503.00883},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmatoSSAV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SeidlMK15,
author = {Helmut Seidl and
Sebastian Maneth and
Gregor Kemper},
title = {Equivalence of Deterministic Top-Down Tree-to-String Transducers is
Decidable},
journal = {CoRR},
volume = {abs/1503.09163},
year = {2015},
url = {http://arxiv.org/abs/1503.09163},
eprinttype = {arXiv},
eprint = {1503.09163},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SeidlMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GawlitzaS14,
author = {Thomas Martin Gawlitza and
Helmut Seidl},
title = {Numerical invariants through convex relaxation and max-strategy iteration},
journal = {Formal Methods Syst. Des.},
volume = {44},
number = {2},
pages = {101--148},
year = {2014},
url = {https://doi.org/10.1007/s10703-013-0190-8},
doi = {10.1007/S10703-013-0190-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/GawlitzaS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EngelfrietMS14,
author = {Joost Engelfriet and
Sebastian Maneth and
Helmut Seidl},
editor = {Arseny M. Shur and
Mikhail V. Volkov},
title = {How to Remove the Look-Ahead of Top-Down Tree Transducers},
booktitle = {Developments in Language Theory - 18th International Conference, {DLT}
2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8633},
pages = {103--115},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09698-8\_10},
doi = {10.1007/978-3-319-09698-8\_10},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/dlt/EngelfrietMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/SeidlK14,
author = {Helmut Seidl and
M{\'{a}}t{\'{e}} Kov{\'{a}}cs},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
Bianca Truthe},
title = {Interprocedural Information Flow Analysis of {XML} Processors},
booktitle = {Language and Automata Theory and Applications - 8th International
Conference, {LATA} 2014, Madrid, Spain, March 10-14, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8370},
pages = {34--61},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04921-2\_4},
doi = {10.1007/978-3-319-04921-2\_4},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/SeidlK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/SeidlGS14,
author = {Helmut Seidl and
Thomas Martin Gawlitza and
Martin D. Schwarz},
editor = {Temur Kutsia and
Andrei Voronkov},
title = {Parametric Strategy Iteration},
booktitle = {6th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
series = {EPiC Series in Computing},
volume = {30},
pages = {62--76},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/c4kg},
doi = {10.29007/C4KG},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/SeidlGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SchwarzSVA14,
author = {Martin D. Schwarz and
Helmut Seidl and
Vesal Vojdani and
Kalmer Apinis},
editor = {Kenneth L. McMillan and
Xavier Rival},
title = {Precise Analysis of Value-Dependent Synchronization in Priority Scheduled
Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International
Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8318},
pages = {21--38},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54013-4\_2},
doi = {10.1007/978-3-642-54013-4\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SchwarzSVA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/SeidlAV14,
author = {Helmut Seidl and
Kalmer Apinis and
Vesal Vojdani},
editor = {Orna Grumberg and
Helmut Seidl and
Maximilian Irlbeck},
title = {Frameworks for Interprocedural Analysis of Concurrent Programs},
booktitle = {Software Systems Safety},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {36},
pages = {309--347},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-385-8-309},
doi = {10.3233/978-1-61499-385-8-309},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/SeidlAV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2014,
editor = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
title = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
Germany, September 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8723},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10936-7},
doi = {10.1007/978-3-319-10936-7},
isbn = {978-3-319-10935-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/natosec/36,
editor = {Orna Grumberg and
Helmut Seidl and
Maximilian Irlbeck},
title = {Software Systems Safety},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {36},
publisher = {{IOS} Press},
year = {2014},
isbn = {978-1-61499-384-1},
timestamp = {Mon, 06 Jul 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/36.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GawlitzaSS14,
author = {Thomas Martin Gawlitza and
Martin D. Schwarz and
Helmut Seidl},
title = {Parametric Strategy Iteration},
journal = {CoRR},
volume = {abs/1406.5457},
year = {2014},
url = {http://arxiv.org/abs/1406.5457},
eprinttype = {arXiv},
eprint = {1406.5457},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GawlitzaSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FrielinghausPS14,
author = {Stefan Schulze Frielinghaus and
Michael Petter and
Helmut Seidl},
title = {Inter-procedural Two-Variable Herbrand Equalities},
journal = {CoRR},
volume = {abs/1410.4416},
year = {2014},
url = {http://arxiv.org/abs/1410.4416},
eprinttype = {arXiv},
eprint = {1410.4416},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FrielinghausPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0031526,
author = {Reinhard Wilhelm and
Helmut Seidl and
Sebastian Hack},
title = {Compiler Design - Syntactic and Semantic Analysis},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-17540-4},
doi = {10.1007/978-3-642-17540-4},
isbn = {978-3-642-17539-8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0031526.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/KovacsSF13,
author = {M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
Helmut Seidl and
Bernd Finkbeiner},
editor = {Ahmad{-}Reza Sadeghi and
Virgil D. Gligor and
Moti Yung},
title = {Relational abstract interpretation for the verification of 2-hypersafety
properties},
booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security,
CCS'13, Berlin, Germany, November 4-8, 2013},
pages = {211--222},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508859.2516721},
doi = {10.1145/2508859.2516721},
timestamp = {Tue, 10 Nov 2020 19:58:06 +0100},
biburl = {https://dblp.org/rec/conf/ccs/KovacsSF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ApinisSV13,
author = {Kalmer Apinis and
Helmut Seidl and
Vesal Vojdani},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {How to combine widening and narrowing for non-monotonic systems of
equations},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {377--386},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462190},
doi = {10.1145/2491956.2462190},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ApinisSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LammichMSW13,
author = {Peter Lammich and
Markus M{\"{u}}ller{-}Olm and
Helmut Seidl and
Alexander Wenner},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Contextual Locking for Dynamic Pushdown Networks},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {477--498},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_25},
doi = {10.1007/978-3-642-38856-9\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/LammichMSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EngelfrietMS13,
author = {Joost Engelfriet and
Sebastian Maneth and
Helmut Seidl},
title = {Look-Ahead Removal for Top-Down Tree Transducers},
journal = {CoRR},
volume = {abs/1311.2400},
year = {2013},
url = {http://arxiv.org/abs/1311.2400},
eprinttype = {arXiv},
eprint = {1311.2400},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EngelfrietMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ManethS13,
author = {Sebastian Maneth and
Helmut Seidl},
title = {Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)},
journal = {Dagstuhl Reports},
volume = {3},
number = {5},
pages = {1--18},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.5.1},
doi = {10.4230/DAGREP.3.5.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ManethS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0030106,
author = {Helmut Seidl and
Reinhard Wilhelm and
Sebastian Hack},
title = {Compiler Design - Analysis and Transformation},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-17548-0},
doi = {10.1007/978-3-642-17548-0},
isbn = {978-3-642-17547-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0030106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GawlitzaSAGG12,
author = {Thomas Martin Gawlitza and
Helmut Seidl and
Assal{\'{e}} Adj{\'{e}} and
St{\'{e}}phane Gaubert and
Eric Goubault},
title = {Abstract interpretation meets convex optimization},
journal = {J. Symb. Comput.},
volume = {47},
number = {12},
pages = {1416--1446},
year = {2012},
url = {https://doi.org/10.1016/j.jsc.2011.12.048},
doi = {10.1016/J.JSC.2011.12.048},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GawlitzaSAGG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ApinisSV12,
author = {Kalmer Apinis and
Helmut Seidl and
Vesal Vojdani},
editor = {Ranjit Jhala and
Atsushi Igarashi},
title = {Side-Effecting Constraint Systems: {A} Swiss Army Knife for Program
Analysis},
booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7705},
pages = {157--172},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35182-2\_12},
doi = {10.1007/978-3-642-35182-2\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ApinisSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/KovacsS12,
author = {M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
Helmut Seidl},
editor = {Gilles Barthe and
Benjamin Livshits and
Riccardo Scandariato},
title = {Runtime Enforcement of Information Flow Security in Tree Manipulating
Processes},
booktitle = {Engineering Secure Software and Systems - 4th International Symposium,
ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7159},
pages = {46--59},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28166-2\_6},
doi = {10.1007/978-3-642-28166-2\_6},
timestamp = {Sat, 19 Oct 2019 20:24:21 +0200},
biburl = {https://dblp.org/rec/conf/essos/KovacsS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SeidlR12,
author = {Helmut Seidl and
Andreas Reu{\ss}},
editor = {Lars Birkedal},
title = {Extending {\textdollar}\{{\textbackslash}cal H\}{\_}1{\textdollar}
-Clauses with Path Disequalities},
booktitle = {Foundations of Software Science and Computational Structures - 15th
International Conference, {FOSSACS} 2012, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7213},
pages = {165--179},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_11},
doi = {10.1007/978-3-642-28729-9\_11},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/SeidlR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DimitrovaFKRS12,
author = {Rayna Dimitrova and
Bernd Finkbeiner and
M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
Markus N. Rabe and
Helmut Seidl},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Model Checking Information Flow in Reactive Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {169--185},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_12},
doi = {10.1007/978-3-642-27940-9\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DimitrovaFKRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/ReussS12,
author = {Andreas Reu{\ss} and
Helmut Seidl},
editor = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Crossing the Syntactic Barrier: Hom-Disequalities for H\({}_{\mbox{1}}\)-Clauses},
booktitle = {Implementation and Application of Automata - 17th International Conference,
{CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7381},
pages = {301--312},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31606-7\_26},
doi = {10.1007/978-3-642-31606-7\_26},
timestamp = {Wed, 25 Sep 2019 18:11:54 +0200},
biburl = {https://dblp.org/rec/conf/wia/ReussS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/automata2012/ManethFS12,
author = {Sebastian Maneth and
Sylvia Friese and
Helmut Seidl},
editor = {Deepak D'Souza and
Priti Shankar},
title = {Type Checking of Tree Walking Transducers},
booktitle = {Modern Applications of Automata Theory},
series = {IISc Research Monographs Series},
volume = {2},
pages = {325--372},
publisher = {World Scientific},
year = {2012},
url = {https://doi.org/10.1142/9789814271059\_0011},
doi = {10.1142/9789814271059\_0011},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/automata2012/ManethFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/GawlitzaS12,
author = {Thomas Martin Gawlitza and
Helmut Seidl},
editor = {Tobias Nipkow and
Orna Grumberg and
Benedikt Hauptmann},
title = {Precise Program Analysis through Strategy Iteration and Optimization},
booktitle = {Software Safety and Security - Tools for Analysis and Verification},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {33},
pages = {348--384},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-028-4-348},
doi = {10.3233/978-1-61499-028-4-348},
timestamp = {Wed, 04 Mar 2020 14:10:38 +0100},
biburl = {https://dblp.org/rec/series/natosec/GawlitzaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2012,
editor = {Helmut Seidl},
title = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2},
doi = {10.1007/978-3-642-28869-2},
isbn = {978-3-642-28868-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-1147,
author = {Thomas Martin Gawlitza and
Helmut Seidl},
title = {Numerical Invariants through Convex Relaxation and Max-Strategy Iteration},
journal = {CoRR},
volume = {abs/1204.1147},
year = {2012},
url = {http://arxiv.org/abs/1204.1147},
eprinttype = {arXiv},
eprint = {1204.1147},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-1147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FrieseSM11,
author = {Sylvia Friese and
Helmut Seidl and
Sebastian Maneth},
title = {Earliest Normal Form and Minimization for Bottom-up Tree Transducers},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {7},
pages = {1607--1623},
year = {2011},
url = {https://doi.org/10.1142/S012905411100891X},
doi = {10.1142/S012905411100891X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/FrieseSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/SeidlR11,
author = {Helmut Seidl and
Andreas Reu{\ss}},
title = {Extending H\({}_{\mbox{1}}\)-clauses with disequalities},
journal = {Inf. Process. Lett.},
volume = {111},
number = {20},
pages = {1007--1013},
year = {2011},
url = {https://doi.org/10.1016/j.ipl.2011.07.011},
doi = {10.1016/J.IPL.2011.07.011},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/SeidlR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GawlitzaS11,
author = {Thomas Martin Gawlitza and
Helmut Seidl},
title = {Solving systems of rational equations through strategy iteration},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {3},
pages = {11:1--11:48},
year = {2011},
url = {https://doi.org/10.1145/1961204.1961207},
doi = {10.1145/1961204.1961207},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GawlitzaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FlexederMPS11,
author = {Andrea Flexeder and
Markus M{\"{u}}ller{-}Olm and
Michael Petter and
Helmut Seidl},
title = {Fast interprocedural linear two-variable equalities},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {6},
pages = {21:1--21:33},
year = {2011},
url = {https://doi.org/10.1145/2049706.2049710},
doi = {10.1145/2049706.2049710},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FlexederMPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SchwarzSVLM11,
author = {Martin D. Schwarz and
Helmut Seidl and
Vesal Vojdani and
Peter Lammich and
Markus M{\"{u}}ller{-}Olm},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Static analysis of interrupt-driven programs synchronized via the
priority ceiling protocol},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {93--104},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926398},
doi = {10.1145/1926385.1926398},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SchwarzSVLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FlexederPS11,
author = {Andrea Flexeder and
Michael Petter and
Helmut Seidl},
editor = {Eran Yahav},
title = {Side-Effect Analysis of Assembly Code},
booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
Italy, September 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6887},
pages = {77--94},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23702-7\_10},
doi = {10.1007/978-3-642-23702-7\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/FlexederPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GawlitzaLMSW11,
author = {Thomas Martin Gawlitza and
Peter Lammich and
Markus M{\"{u}}ller{-}Olm and
Helmut Seidl and
Alexander Wenner},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs
with Dynamic Process Creation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {199--213},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_15},
doi = {10.1007/978-3-642-18275-4\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GawlitzaLMSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0025732,
author = {Reinhard Wilhelm and
Helmut Seidl},
title = {Compiler Design - Virtual Machines},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14909-2},
doi = {10.1007/978-3-642-14909-2},
isbn = {978-3-642-14908-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0025732.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Seidl10,
author = {Helmut Seidl},
title = {Praktische Programmverifikation durch statische Analyse},
journal = {Inform. Spektrum},
volume = {33},
number = {5},
pages = {484--488},
year = {2010},
url = {https://doi.org/10.1007/s00287-010-0460-4},
doi = {10.1007/S00287-010-0460-4},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Seidl10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/FlexederMPS10,
author = {Andrea Flexeder and
Bogdan Mihaila and
Michael Petter and
Helmut Seidl},
editor = {Kazunori Ueda},
title = {Interprocedural Control Flow Reconstruction},
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 = {188--203},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_14},
doi = {10.1007/978-3-642-17164-2\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/FlexederMPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GawlitzaS10,
author = {Thomas Martin Gawlitza and
Helmut Seidl},
editor = {Andrei Voronkov and
Laura Kov{\'{a}}cs and
Nikolaj S. Bj{\o}rner},
title = {Abstract Interpretation over Zones without Widening},
booktitle = {Second International Workshop on Invariant Generation, {WING} 2009,
York, UK, March 29, 2009 and Third International Workshop on Invariant
Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
series = {EPiC Series in Computing},
volume = {1},
pages = {12--43},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/qqdg},
doi = {10.29007/QQDG},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/cade/GawlitzaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/FrieseSM10,
author = {Sylvia Friese and
Helmut Seidl and
Sebastian Maneth},
editor = {Yuan Gao and
Hanlin Lu and
Shinnosuke Seki and
Sheng Yu},
title = {Minimization of Deterministic Bottom-Up Tree Transducers},
booktitle = {Developments in Language Theory, 14th International Conference, {DLT}
2010, London, ON, Canada, August 17-20, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6224},
pages = {185--196},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14455-4\_18},
doi = {10.1007/978-3-642-14455-4\_18},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/dlt/FrieseSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HofmannKS10,
author = {Martin Hofmann and
Aleksandr Karbyshev and
Helmut Seidl},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {What Is a Pure Functional?},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {199--210},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_17},
doi = {10.1007/978-3-642-14162-1\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HofmannKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ReussS10,
author = {Andreas Reu{\ss} and
Helmut Seidl},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Bottom-Up Tree Automata with Term Constraints},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {581--593},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_41},
doi = {10.1007/978-3-642-16242-8\_41},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ReussS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GawlitzaS10,
author = {Thomas Martin Gawlitza and
Helmut Seidl},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {271--286},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_17},
doi = {10.1007/978-3-642-15769-1\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/GawlitzaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HofmannKS10,
author = {Martin Hofmann and
Aleksandr Karbyshev and
Helmut Seidl},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Verifying a Local Generic Solver in Coq},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {340--355},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_21},
doi = {10.1007/978-3-642-15769-1\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HofmannKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GawlitzaSV10,
author = {Thomas Martin Gawlitza and
Helmut Seidl and
Kumar Neeraj Verma},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Normalization of Linear Horn Clauses},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {242--257},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_16},
doi = {10.1007/978-3-642-19829-8\_16},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/GawlitzaSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KreikerSV10,
author = {J{\"{o}}rg Kreiker and
Helmut Seidl and
Vesal Vojdani},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Shape Analysis of Low-Level {C} with Overlapping Structures},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {214--230},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_17},
doi = {10.1007/978-3-642-11319-2\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KreikerSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/EngelfrietMS09,
author = {Joost Engelfriet and
Sebastian Maneth and
Helmut Seidl},
title = {Deciding equivalence of top-down {XML} transformations in polynomial
time},
journal = {J. Comput. Syst. Sci.},
volume = {75},
number = {5},
pages = {271--286},
year = {2009},
url = {https://doi.org/10.1016/j.jcss.2009.01.001},
doi = {10.1016/J.JCSS.2009.01.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/EngelfrietMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GawlitzaLRSSW09,
author = {Thomas Gawlitza and
J{\'{e}}r{\^{o}}me Leroux and
Jan Reineke and
Helmut Seidl and
Gr{\'{e}}goire Sutre and
Reinhard Wilhelm},
editor = {Susanne Albers and
Helmut Alt and
Stefan N{\"{a}}her},
title = {Polynomial Precise Interval Analysis Revisited},
booktitle = {Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5760},
pages = {422--437},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03456-5\_28},
doi = {10.1007/978-3-642-03456-5\_28},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GawlitzaLRSSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GawlitzaS09,
author = {Thomas Gawlitza and
Helmut Seidl},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Games through Nested Fixpoints},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {291--305},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_24},
doi = {10.1007/978-3-642-02658-4\_24},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GawlitzaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SeidlVV09,
author = {Helmut Seidl and
Vesal Vojdani and
Varmo Vene},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {A Smooth Combination of Linear and Herbrand Equalities for Polynomial
Time Must-Alias Analysis},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {644--659},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_41},
doi = {10.1007/978-3-642-05089-3\_41},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SeidlVV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SeidlV09,
author = {Helmut Seidl and
Kumar Neeraj Verma},
editor = {Ralf Treinen},
title = {Flat and One-Variable Clauses for Single Blind Copying Protocols:
The {XOR} Case},
booktitle = {Rewriting Techniques and Applications, 20th International Conference,
{RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5595},
pages = {118--132},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02348-4\_9},
doi = {10.1007/978-3-642-02348-4\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/SeidlV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SeidlV09,
author = {Helmut Seidl and
Vesal Vojdani},
editor = {Jens Palsberg and
Zhendong Su},
title = {Region Analysis for Race Detection},
booktitle = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
CA, USA, August 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5673},
pages = {171--187},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03237-0\_13},
doi = {10.1007/978-3-642-03237-0\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SeidlV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Seidl09,
author = {Helmut Seidl},
editor = {Sebastian Maneth},
title = {Program Analysis through Finite Tree Automata},
booktitle = {Implementation and Application of Automata, 14th International Conference,
{CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5642},
pages = {3},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02979-0\_3},
doi = {10.1007/978-3-642-02979-0\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/Seidl09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SeidlV08,
author = {Helmut Seidl and
Kumar Neeraj Verma},
title = {Flat and one-variable clauses: Complexity of verifying cryptographic
protocols with single blind copying},
journal = {{ACM} Trans. Comput. Log.},
volume = {9},
number = {4},
pages = {28:1--28:45},
year = {2008},
url = {https://doi.org/10.1145/1380572.1380577},
doi = {10.1145/1380572.1380577},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/SeidlV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SeidlSM08,
author = {Helmut Seidl and
Thomas Schwentick and
Anca Muscholl},
editor = {J{\"{o}}rg Flum and
Erich Gr{\"{a}}del and
Thomas Wilke},
title = {Counting in trees},
booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
Thomas]},
series = {Texts in Logic and Games},
volume = {2},
pages = {575--612},
publisher = {Amsterdam University Press},
year = {2008},
timestamp = {Wed, 15 Dec 2010 22:14:40 +0100},
biburl = {https://dblp.org/rec/conf/birthday/SeidlSM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Muller-OlmS08,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
editor = {Sophia Drossopoulou},
title = {Upper Adjoints for Fast Inter-procedural Variable Equalities},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {178--192},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_15},
doi = {10.1007/978-3-540-78739-6\_15},
timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
biburl = {https://dblp.org/rec/conf/esop/Muller-OlmS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GawlitzaS08,
author = {Thomas Gawlitza and
Helmut Seidl},
editor = {Jorge Cu{\'{e}}llar and
T. S. E. Maibaum and
Kaisa Sere},
title = {Precise Interval Analysis vs. Parity Games},
booktitle = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
Methods, Turku, Finland, May 26-30, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5014},
pages = {342--357},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68237-0\_24},
doi = {10.1007/978-3-540-68237-0\_24},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/GawlitzaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/LeuckerS07,
author = {Martin Leucker and
Helmut Seidl},
editor = {Heinz{-}Gerd Hegering and
Axel Lehmann and
Hans J{\"{u}}rgen Ohlbach and
Christian Scheideler},
title = {Lightweight Verification 2008},
booktitle = {38. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Beherrschbare
Systeme - dank Informatik, {INFORMATIK} 2008, Munich, Germany, September
8-13, 2008, Band 2},
series = {{LNI}},
volume = {{P-134}},
pages = {965--966},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/21316},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/LeuckerS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EsparzaGKS08,
author = {Javier Esparza and
Thomas Gawlitza and
Stefan Kiefer and
Helmut Seidl},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{I:} Tack {A:} Algorithms, Automata, Complexity, and Games},
series = {Lecture Notes in Computer Science},
volume = {5125},
pages = {698--710},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70575-8\_57},
doi = {10.1007/978-3-540-70575-8\_57},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EsparzaGKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SeidlFP08,
author = {Helmut Seidl and
Andrea Flexeder and
Michael Petter},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Analysing All Polynomial Equations in},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {299--314},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_20},
doi = {10.1007/978-3-540-69166-2\_20},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/SeidlFP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Muller-OlmS07,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
title = {Analysis of modular arithmetic},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {5},
pages = {29},
year = {2007},
url = {https://doi.org/10.1145/1275497.1275504},
doi = {10.1145/1275497.1275504},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Muller-OlmS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GawlitzaS07,
author = {Thomas Gawlitza and
Helmut Seidl},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Computing Game Values for Crash Games},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {177--191},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_14},
doi = {10.1007/978-3-540-75596-8\_14},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/GawlitzaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GawlitzaS07,
author = {Thomas Gawlitza and
Helmut Seidl},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Precise Relational Invariants Through Strategy Iteration},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {23--40},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_6},
doi = {10.1007/978-3-540-74915-8\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/GawlitzaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SeidlFP07,
author = {Helmut Seidl and
Andrea Flexeder and
Michael Petter},
editor = {Rocco De Nicola},
title = {Interprocedurally Analysing Linear Inequality Relations},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {284--299},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_20},
doi = {10.1007/978-3-540-71316-6\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/SeidlFP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GawlitzaS07,
author = {Thomas Gawlitza and
Helmut Seidl},
editor = {Rocco De Nicola},
title = {Precise Fixpoint Computation Through Strategy Iteration},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {300--315},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_21},
doi = {10.1007/978-3-540-71316-6\_21},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/GawlitzaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/ManethPS07,
author = {Sebastian Maneth and
Thomas Perst and
Helmut Seidl},
editor = {Thomas Schwentick and
Dan Suciu},
title = {Exact {XML} Type Checking in Polynomial Time},
booktitle = {Database Theory - {ICDT} 2007, 11th International Conference, Barcelona,
Spain, January 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4353},
pages = {254--268},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/11965893\_18},
doi = {10.1007/11965893\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/ManethPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/ManethS07,
author = {Sebastian Maneth and
Helmut Seidl},
title = {Deciding Equivalence of Top-Down {XML} Transformations in Polynomial
Time},
booktitle = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
{SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
20, 2007},
pages = {73--79},
year = {2007},
url = {http://www.plan-x-2007.org/plan-x-2007.pdf},
timestamp = {Wed, 27 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/planX/ManethS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2007,
editor = {Helmut Seidl},
title = {Foundations of Software Science and Computational Structures, 10th
International Conference, {FOSSACS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007,
Braga, Portugal, March 24-April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4423},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0},
doi = {10.1007/978-3-540-71389-0},
isbn = {978-3-540-71388-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GenestMSZ06,
author = {Blaise Genest and
Anca Muscholl and
Helmut Seidl and
Marc Zeitoun},
title = {Infinite-state high-level MSCs: Model-checking and realizability},
journal = {J. Comput. Syst. Sci.},
volume = {72},
number = {4},
pages = {617--647},
year = {2006},
url = {https://doi.org/10.1016/j.jcss.2005.09.007},
doi = {10.1016/J.JCSS.2005.09.007},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GenestMSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SeidlV06,
author = {Helmut Seidl and
Kumar Neeraj Verma},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {Cryptographic Protocol Verification Using Tractable Classes of Horn
Clauses},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {97--119},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_5},
doi = {10.1007/978-3-540-71322-7\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SeidlV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Muller-OlmPS06,
author = {Markus M{\"{u}}ller{-}Olm and
Michael Petter and
Helmut Seidl},
editor = {Bruno Durand and
Wolfgang Thomas},
title = {Interprocedurally Analyzing Polynomial Identities},
booktitle = {{STACS} 2006, 23rd Annual Symposium on Theoretical Aspects of Computer
Science, Marseille, France, February 23-25, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3884},
pages = {50--67},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11672142\_3},
doi = {10.1007/11672142\_3},
timestamp = {Wed, 19 May 2021 12:05:43 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Muller-OlmPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI06-04,
author = {Sebastian Maneth and
Thomas Perst and
Helmut Seidl},
title = {Exact {XML} Type Checking in Polynomial Time},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {06-04},
year = {2006},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI06-04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/VermaSS05,
author = {Kumar Neeraj Verma and
Helmut Seidl and
Thomas Schwentick},
editor = {Robert Nieuwenhuis},
title = {On the Complexity of Equational Horn Clauses},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {337--352},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_25},
doi = {10.1007/11532231\_25},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/VermaSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Muller-OlmSS05,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl and
Bernhard Steffen},
editor = {Shmuel Sagiv},
title = {Interprocedural Herbrand Equalities},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {31--45},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_4},
doi = {10.1007/978-3-540-31987-0\_4},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/Muller-OlmSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Muller-OlmS05,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
editor = {Shmuel Sagiv},
title = {Analysis of Modular Arithmetic},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {46--60},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_5},
doi = {10.1007/978-3-540-31987-0\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Muller-OlmS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ManethBPS05,
author = {Sebastian Maneth and
Alexandru Berlea and
Thomas Perst and
Helmut Seidl},
editor = {Chen Li},
title = {{XML} type checking with macro tree transducers},
booktitle = {Proceedings of the Twenty-fourth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland,
{USA}},
pages = {283--294},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065167.1065203},
doi = {10.1145/1065167.1065203},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/ManethBPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Muller-OlmS05,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
editor = {Chris Hankin and
Igor Siveroni},
title = {A Generic Framework for Interprocedural Analysis of Numerical Properties},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {235--250},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_17},
doi = {10.1007/11547662\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Muller-OlmS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Muller-OlmRS05,
author = {Markus M{\"{u}}ller{-}Olm and
Oliver R{\"{u}}thing and
Helmut Seidl},
editor = {Radhia Cousot},
title = {Checking Herbrand Equalities and Beyond},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {79--96},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_6},
doi = {10.1007/978-3-540-30579-8\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Muller-OlmRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0511014,
author = {Helmut Seidl and
Kumar Neeraj Verma},
title = {Flat and One-Variable Clauses: Complexity of Verifying Cryptographic
Protocols with Single Blind Copying},
journal = {CoRR},
volume = {abs/cs/0511014},
year = {2005},
url = {http://arxiv.org/abs/cs/0511014},
eprinttype = {arXiv},
eprint = {cs/0511014},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0511014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/PerstS04,
author = {Thomas Perst and
Helmut Seidl},
title = {Macro forest transducers},
journal = {Inf. Process. Lett.},
volume = {89},
number = {3},
pages = {141--149},
year = {2004},
url = {https://doi.org/10.1016/j.ipl.2003.05.001},
doi = {10.1016/J.IPL.2003.05.001},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/PerstS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Muller-OlmS04,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
title = {Computing polynomial program invariants},
journal = {Inf. Process. Lett.},
volume = {91},
number = {5},
pages = {233--244},
year = {2004},
url = {https://doi.org/10.1016/j.ipl.2004.05.004},
doi = {10.1016/J.IPL.2004.05.004},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Muller-OlmS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BerleaS04,
author = {Alexandru Berlea and
Helmut Seidl},
title = {Binary Queries for Document Trees},
journal = {Nord. J. Comput.},
volume = {11},
number = {1},
pages = {41--71},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BerleaS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/ZiewerS04,
author = {Peter Ziewer and
Helmut Seidl},
editor = {Gregor Engels and
Silke Seehusen},
title = {Annotiertes Lecture Recording},
booktitle = {DeLFI 2004: Die e-Learning Fachtagung Informatik, Tagung der Fachgruppe
e-Learning der Gesellschaft f{\"{u}}r Informatik e.V. {(GI)}
6.-8. September 2004 in Paderborn},
series = {{LNI}},
volume = {{P-52}},
pages = {43--54},
publisher = {{GI}},
year = {2004},
url = {https://dl.gi.de/handle/20.500.12116/15168},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/delfi/ZiewerS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Muller-OlmS04,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {A Note on Karr's Algorithm},
booktitle = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {1016--1028},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_85},
doi = {10.1007/978-3-540-27836-8\_85},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Muller-OlmS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SeidlSMH04,
author = {Helmut Seidl and
Thomas Schwentick and
Anca Muscholl and
Peter Habermehl},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {Counting in Trees for Free},
booktitle = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {1136--1149},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_94},
doi = {10.1007/978-3-540-27836-8\_94},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SeidlSMH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SeidlV04,
author = {Helmut Seidl and
Kumar Neeraj Verma},
editor = {Franz Baader and
Andrei Voronkov},
title = {Flat and One-Variable Clauses: Complexity of Verifying Cryptographic
Protocols with Single Blind Copying},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {79--94},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_6},
doi = {10.1007/978-3-540-32275-7\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SeidlV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Muller-OlmS04,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
editor = {Franz Baader and
Andrei Voronkov},
title = {A Generic Framework for Interprocedural Analyses of Numerical Properties},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {432--432},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_28},
doi = {10.1007/978-3-540-32275-7\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Muller-OlmS04.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 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/Muller-OlmS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NielsonNSBHPS04,
author = {Flemming Nielson and
Hanne Riis Nielson and
Hongyan Sun and
Mikael Buchholtz and
Ren{\'{e}} Rydhof Hansen and
Henrik Pilegaard and
Helmut Seidl},
editor = {Kurt Jensen and
Andreas Podelski},
title = {The Succinct Solver Suite},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {251--265},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_21},
doi = {10.1007/978-3-540-24730-2\_21},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/NielsonNSBHPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/Muller-OlmS03,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
title = {(Linear) Algebra for Program Analysis Dynamische Programmanalyse},
journal = {Softwaretechnik-Trends},
volume = {23},
number = {2},
year = {2003},
url = {http://pi.informatik.uni-siegen.de/stt/23\_2/01\_Fachgruppenberichte/wsr2003.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/Muller-OlmS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/SeidlSM03,
author = {Helmut Seidl and
Thomas Schwentick and
Anca Muscholl},
editor = {Frank Neven and
Catriel Beeri and
Tova Milo},
title = {Numerical document queries},
booktitle = {Proceedings of the Twenty-Second {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 9-12, 2003, San Diego, CA,
{USA}},
pages = {155--166},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/773153.773169},
doi = {10.1145/773153.773169},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/SeidlSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NielsonSN02,
author = {Flemming Nielson and
Helmut Seidl and
Hanne Riis Nielson},
title = {A Succinct Solver for {ALFP}},
journal = {Nord. J. Comput.},
volume = {9},
number = {4},
pages = {335--372},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NielsonSN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascilite/ZiewerS02,
author = {Peter Ziewer and
Helmut Seidl},
editor = {Andy Williamson and
Cathy Gunn and
Alison Young and
Tony Clear},
title = {Transparent teleteaching},
booktitle = {Winds of Changing in the Sea of Learning, Proceedings of the 19th
Annual Conference of the Australian Society for Computers in Tertiary
Education (ASCILITE), Auckland, New Zealand, 8-11 December 2002},
pages = {749--758},
publisher = {{UNITEC} Institute of Technology, Auckland, New Zealand},
year = {2002},
timestamp = {Tue, 17 Jun 2003 15:32:29 +0200},
biburl = {https://dblp.org/rec/conf/ascilite/ZiewerS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsonNS02,
author = {Flemming Nielson and
Hanne Riis Nielson and
Helmut Seidl},
editor = {Daniel Le M{\'{e}}tayer},
title = {Automatic Complexity Analysis},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {243--261},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_18},
doi = {10.1007/3-540-45927-8\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsonNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/extreme/BerleaS02,
author = {Alexandru Berlea and
Helmut Seidl},
title = {Binary Queries},
booktitle = {Proceedings of the Extreme Markup Languages{\textregistered} 2002
Conference, 4-9 August 2002, Montr{\'{e}}al, Quebec, Canada},
year = {2002},
url = {http://www.mulberrytech.com/Extreme/Proceedings/html/2002/Berlea01/EML2002Berlea01.html},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/extreme/BerleaS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/extreme/PerstS02,
author = {Thomas Perst and
Helmut Seidl},
title = {A Type-safe Macro System for {XML}},
booktitle = {Proceedings of the Extreme Markup Languages{\textregistered} 2002
Conference, 4-9 August 2002, Montr{\'{e}}al, Quebec, Canada},
year = {2002},
url = {http://www.mulberrytech.com/Extreme/Proceedings/html/2002/Perst01/EML2002Perst01.html},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/extreme/PerstS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GenestMSZ02,
author = {Blaise Genest and
Anca Muscholl and
Helmut Seidl and
Marc Zeitoun},
editor = {Peter Widmayer and
Francisco Triguero Ruiz and
Rafael Morales Bueno and
Matthew Hennessy and
Stephan J. Eidenbenz and
Ricardo Conejo},
title = {Infinite-State High-Level MSCs: Model-Checking and Realizability},
booktitle = {Automata, Languages and Programming, 29th International Colloquium,
{ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2380},
pages = {657--668},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45465-9\_56},
doi = {10.1007/3-540-45465-9\_56},
timestamp = {Wed, 11 Sep 2019 13:15:53 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GenestMSZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Muller-OlmS02,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Polynomial Constants Are Decidable},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {4--19},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_4},
doi = {10.1007/3-540-45789-5\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Muller-OlmS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NielsonNS02,
author = {Flemming Nielson and
Hanne Riis Nielson and
Helmut Seidl},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {20--35},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_5},
doi = {10.1007/3-540-45789-5\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/NielsonNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI02-09,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
title = {Polynomial Constants are Decidable},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {02-09},
year = {2002},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI02-09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI02-10,
author = {Helmut Seidl and
Varmo Vene and
Markus M{\"{u}}ller{-}Olm},
title = {Interprocedural Invariants},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {02-10},
year = {2002},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI02-10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI02-17,
author = {Helmut Seidl and
Aditya V. Nori},
title = {On the Expressiveness of Tree Set Operators},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {02-17},
year = {2002},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI02-17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsonS01,
author = {Flemming Nielson and
Helmut Seidl},
editor = {David Sands},
title = {Control-Flow Analysis in Cubic Time},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {252--268},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_17},
doi = {10.1007/3-540-45309-1\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsonS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GourantonRS01,
author = {Val{\'{e}}rie Gouranton and
Pierre R{\'{e}}ty and
Helmut Seidl},
editor = {Furio Honsell and
Marino Miculan},
title = {Synchronized Tree Languages Revisited and New Applications},
booktitle = {Foundations of Software Science and Computation Structures, 4th International
Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2030},
pages = {214--229},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45315-6\_14},
doi = {10.1007/3-540-45315-6\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GourantonRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/LimetRS01,
author = {S{\'{e}}bastien Limet and
Pierre R{\'{e}}ty and
Helmut Seidl},
editor = {Aart Middeldorp},
title = {Weakly Regular Relations and Applications},
booktitle = {Rewriting Techniques and Applications, 12th International Conference,
{RTA} 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2051},
pages = {185--200},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45127-7\_15},
doi = {10.1007/3-540-45127-7\_15},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/LimetRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Muller-OlmS01,
author = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
editor = {Jeffrey Scott Vitter and
Paul G. Spirakis and
Mihalis Yannakakis},
title = {On optimal slicing of parallel programs},
booktitle = {Proceedings on 33rd Annual {ACM} Symposium on Theory of Computing,
July 6-8, 2001, Heraklion, Crete, Greece},
pages = {647--656},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/380752.380864},
doi = {10.1145/380752.380864},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Muller-OlmS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NielsonNS01,
author = {Flemming Nielson and
Hanne Riis Nielson and
Helmut Seidl},
editor = {Marina Lenisa and
Marino Miculan},
title = {Cryptographic Analysis in Cubic Time},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
Udine, Italy, November 19-21, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {62},
pages = {7--23},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00316-0},
doi = {10.1016/S1571-0661(04)00316-0},
timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NielsonNS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI01-12,
author = {Flemming Nielson and
Helmut Seidl},
title = {Succinct Solvers},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {01-12},
year = {2001},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI01-12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SeidlF00,
author = {Helmut Seidl and
Christian Fecht},
title = {Interprocedural Analyses: {A} Comparison},
journal = {J. Log. Program.},
volume = {43},
number = {2},
pages = {123--156},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(99)00058-8},
doi = {10.1016/S0743-1066(99)00058-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SeidlF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/SeidlS00,
author = {Helmut Seidl and
Bernhard Steffen},
title = {Constraint-Based Inter-Procedural Analysis of Parallel Programs},
journal = {Nord. J. Comput.},
volume = {7},
number = {4},
pages = {375},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/SeidlS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SeidlS00,
author = {Helmut Seidl and
Bernhard Steffen},
editor = {Gert Smolka},
title = {Constraint-Based Inter-Procedural Analysis of Parallel Programs},
booktitle = {Programming Languages and Systems, 9th European Symposium on Programming,
{ESOP} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1782},
pages = {351--365},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_23},
doi = {10.1007/3-540-46425-5\_23},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/SeidlS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/SeidlN99,
author = {Helmut Seidl and
Damian Niwinski},
title = {On distributive fixed-point expressions},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {33},
number = {4/5},
pages = {427--446},
year = {1999},
url = {https://doi.org/10.1051/ita:1999101},
doi = {10.1051/ITA:1999101},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/SeidlN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FechtS99,
author = {Christian Fecht and
Helmut Seidl},
title = {A Faster Solver for General Systems of Equations},
journal = {Sci. Comput. Program.},
volume = {35},
number = {2},
pages = {137--161},
year = {1999},
url = {https://doi.org/10.1016/S0167-6423(99)00009-X},
doi = {10.1016/S0167-6423(99)00009-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FechtS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SeidlN99,
author = {Helmut Seidl and
Andreas Neumann},
editor = {J{\"{o}}rg Flum and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {On Guarding Nested Fixpoints},
booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1683},
pages = {484--498},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48168-0\_34},
doi = {10.1007/3-540-48168-0\_34},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/SeidlN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/KesslerS99,
author = {Christoph W. Ke{\ss}ler and
Helmut Seidl},
editor = {Peter M. A. Sloot and
Marian Bubak and
Alfons G. Hoekstra and
Louis O. Hertzberger},
title = {ForkLight: {A} Control-Synchronous Parallel Programming Language},
booktitle = {High-Performance Computing and Networking, 7th International Conference,
{HPCN} Europe 1999, Amsterdam, The Netherlands, April 12-14, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1593},
pages = {525--534},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/BFb0100613},
doi = {10.1007/BFB0100613},
timestamp = {Sun, 12 Nov 2023 02:09:00 +0100},
biburl = {https://dblp.org/rec/conf/hpcn/KesslerS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI99-10,
author = {Christoph W. Ke{\ss}ler and
Helmut Seidl and
Craig Smith},
title = {The {SPARAMAT} Approach to Automatic Comprehension of Sparse Matrix
Computations},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {99-10},
year = {1999},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI99-10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/FechtS98,
author = {Christian Fecht and
Helmut Seidl},
title = {Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive
Constraint Systems},
journal = {Nord. J. Comput.},
volume = {5},
number = {4},
pages = {304--329},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/FechtS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SeidlS98,
author = {Helmut Seidl and
Morten Heine S{\o}rensen},
title = {Constraints to Stop Deforestation},
journal = {Sci. Comput. Program.},
volume = {32},
number = {1-3},
pages = {73--107},
year = {1998},
url = {https://doi.org/10.1016/S0167-6423(97)00031-2},
doi = {10.1016/S0167-6423(97)00031-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SeidlS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FechtS98,
author = {Christian Fecht and
Helmut Seidl},
editor = {Chris Hankin},
title = {Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive
Constraint Systems},
booktitle = {Programming Languages and Systems - ESOP'98, 7th European Symposium
on Programming, Held as Part of the European Joint Conferences on
the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March
28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1381},
pages = {90--104},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053565},
doi = {10.1007/BFB0053565},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/FechtS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/NeumannS98,
author = {Andreas Neumann and
Helmut Seidl},
editor = {Vikraman Arvind and
Ramaswamy Ramanujam},
title = {Locating Matches of Tree Patterns in Forests},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1530},
pages = {134--145},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49382-2\_12},
doi = {10.1007/978-3-540-49382-2\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/NeumannS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI98-08,
author = {Andreas Neumann and
Helmut Seidl},
title = {Locating Matches of Tree Patterns in Forests},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {98-08},
year = {1998},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI98-08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI98-13,
author = {Christoph W. Ke{\ss}ler and
Helmut Seidl},
title = {ForkLight: {A} Control-Synchronous Parallel Programming Language},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {98-13},
year = {1998},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI98-13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/KesslerS97,
author = {Christoph W. Ke{\ss}ler and
Helmut Seidl},
title = {The Fork95 parallel programming language: Design, implementation,
application},
journal = {Int. J. Parallel Program.},
volume = {25},
number = {1},
pages = {17--50},
year = {1997},
url = {https://doi.org/10.1007/BF02700045},
doi = {10.1007/BF02700045},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/KesslerS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apdc/KesslerS97,
author = {Christoph W. Ke{\ss}ler and
Helmut Seidl},
title = {Language Support for Synchronous Parallel Critical Sections},
booktitle = {Proceedings of the 1997 Advances in Parallel and Distributed Computing
Conference {(APDC} '97), March 19-21, 1997, Shanghai, China},
pages = {92--99},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/APDC.1997.574018},
doi = {10.1109/APDC.1997.574018},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apdc/KesslerS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SeidlS97,
author = {Helmut Seidl and
Morten Heine S{\o}rensen},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {Constraints to Stop Higher-Order Deforestation},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {400--413},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263758},
doi = {10.1145/263699.263758},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SeidlS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SeidlF97,
author = {Helmut Seidl and
Christian Fecht},
editor = {Jan Maluszynski},
title = {Disjuntive Completion Is Not "Optimal"},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {408},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Fri, 10 Jul 2015 12:20:33 +0200},
biburl = {https://dblp.org/rec/conf/slp/SeidlF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI97-06,
author = {Helmut Seidl and
Christian Fecht},
title = {Interprocedural Analysis Based on PDAs},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {97-06},
year = {1997},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI97-06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI97-13,
author = {Helmut Seidl and
Christian Fecht},
title = {Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive
Constraint Systems},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {97-13},
year = {1997},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI97-13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI97-18,
author = {Helmut Seidl},
title = {Model-Checking for L\({}_{\mbox{2}}\)},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {97-18},
year = {1997},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI97-18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Seidl96,
author = {Helmut Seidl},
title = {Fast and Simple Nested Fixpoints},
journal = {Inf. Process. Lett.},
volume = {59},
number = {6},
pages = {303--308},
year = {1996},
url = {https://doi.org/10.1016/0020-0190(96)00130-5},
doi = {10.1016/0020-0190(96)00130-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Seidl96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Seidl96,
author = {Helmut Seidl},
title = {Least and Greatest Solutions of Equations over {N}},
journal = {Nord. J. Comput.},
volume = {3},
number = {1},
pages = {41--62},
year = {1996},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Seidl96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Seidl96,
author = {Helmut Seidl},
editor = {Hanne Riis Nielson},
title = {Integer Constraints to Stop Deforestation},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1058},
pages = {326--340},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3\_46},
doi = {10.1007/3-540-61055-3\_46},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Seidl96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Seidl96,
author = {Helmut Seidl},
title = {A Modal Mu-Calculus for Durational Transition Systems},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {128--137},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561312},
doi = {10.1109/LICS.1996.561312},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Seidl96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FechtS96,
author = {Christian Fecht and
Helmut Seidl},
editor = {Radhia Cousot and
David A. Schmidt},
title = {An Even Faster Solver for General Systems of Equations},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {189--204},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6\_42},
doi = {10.1007/3-540-61739-6\_42},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/FechtS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI96-05,
author = {Helmut Seidl},
title = {Fast and Simple Nested Fixpoints},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {96-05},
year = {1996},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI96-05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI96-11,
author = {Christian Fecht and
Helmut Seidl},
title = {An Even Faster Solver for General Systems of Equations},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {96-11},
year = {1996},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI96-11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI95-05,
author = {Christoph W. Ke{\ss}ler and
Helmut Seidl},
title = {Integrating Synchronous and Asynchronous Paradigms: The Fork95 Parallel
Programming Language},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {95-05},
year = {1995},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI95-05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI95-08,
author = {Helmut Seidl},
title = {A Modal {\(\mathrm{\mu}\)}-Calculus for Durational Transition Systems},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {95-08},
year = {1995},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI95-08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI95-23,
author = {Christoph W. Ke{\ss}ler and
Helmut Seidl},
title = {Language Support for Synchronous Parallel Critical Sections},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {95-23},
year = {1995},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI95-23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FerdinandSW94,
author = {Christian Ferdinand and
Helmut Seidl and
Reinhard Wilhelm},
title = {Tree Automata for Code Selection},
journal = {Acta Informatica},
volume = {31},
number = {8},
pages = {741--760},
year = {1994},
url = {https://doi.org/10.1007/BF01178733},
doi = {10.1007/BF01178733},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/FerdinandSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Seidl94,
author = {Helmut Seidl},
title = {Haskell Overloading is DEXPTIME-Complete},
journal = {Inf. Process. Lett.},
volume = {52},
number = {2},
pages = {57--60},
year = {1994},
url = {https://doi.org/10.1016/0020-0190(94)00130-8},
doi = {10.1016/0020-0190(94)00130-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Seidl94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Seidl94,
author = {Helmut Seidl},
title = {Equivalence of Finite-Valued Tree Transducers Is Decidable},
journal = {Math. Syst. Theory},
volume = {27},
number = {4},
pages = {285--346},
year = {1994},
url = {https://doi.org/10.1007/BF01192143},
doi = {10.1007/BF01192143},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Seidl94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Seidl94,
author = {Helmut Seidl},
title = {Finite Tree Automata with Cost Functions},
journal = {Theor. Comput. Sci.},
volume = {126},
number = {1},
pages = {113--142},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90271-2},
doi = {10.1016/0304-3975(94)90271-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Seidl94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Seidl94,
author = {Helmut Seidl},
editor = {Serge Abiteboul and
Eli Shamir},
title = {Least Solutions of Equations over {N}},
booktitle = {Automata, Languages and Programming, 21st International Colloquium,
ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {820},
pages = {400--411},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58201-0\_85},
doi = {10.1007/3-540-58201-0\_85},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Seidl94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Seidl93,
author = {Helmut Seidl},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {When Is a Functional Tree Transduction Deterministic?},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {251--265},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_69},
doi = {10.1007/3-540-56610-4\_69},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Seidl93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/HagerupSS92,
author = {Torben Hagerup and
Arno Schmitt and
Helmut Seidl},
title = {{FORK:} {A} high-level language for PRAMs},
journal = {Future Gener. Comput. Syst.},
volume = {8},
number = {4},
pages = {379--393},
year = {1992},
url = {https://doi.org/10.1016/0167-739X(92)90070-R},
doi = {10.1016/0167-739X(92)90070-R},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/HagerupSS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Seidl92,
author = {Helmut Seidl},
title = {Single-Valuedness of Tree Transducers is Decidable in Polynomial Time},
journal = {Theor. Comput. Sci.},
volume = {106},
number = {1},
pages = {135--181},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90281-J},
doi = {10.1016/0304-3975(92)90281-J},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Seidl92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Seidl92,
author = {Helmut Seidl},
editor = {Jean{-}Claude Raoult},
title = {Finite Tree Automata with Cost Functions},
booktitle = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
France, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {581},
pages = {279--299},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55251-0\_16},
doi = {10.1007/3-540-55251-0\_16},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/Seidl92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/treeauto1992/Seidl92,
author = {Helmut Seidl},
editor = {Maurice Nivat and
Andreas Podelski},
title = {Ambiguity and valuedness},
booktitle = {Tree Automata and Languages},
pages = {355--380},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 05 Aug 2019 12:47:51 +0200},
biburl = {https://dblp.org/rec/books/el/treeauto1992/Seidl92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/92/FerdinandSW92,
author = {Christian Ferdinand and
Helmut Seidl and
Reinhard Wilhelm},
editor = {Johannes Buchmann and
Harald Ganzinger and
Wolfgang J. Paul},
title = {Baumautomaten zur Codeselektion},
booktitle = {Informatik, Festschrift zum 60. Geburtstag von G{\"{u}}nter Hotz},
series = {Teubner-Texte zur Informatik},
volume = {1},
pages = {121--144},
publisher = {Teubner / Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-322-95233-2\_8},
doi = {10.1007/978-3-322-95233-2\_8},
timestamp = {Tue, 16 Jul 2019 08:16:16 +0200},
biburl = {https://dblp.org/rec/books/sp/92/FerdinandSW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/WeberS91,
author = {Andreas Weber and
Helmut Seidl},
title = {On finitely generated monoids of matrices with entries in {N}},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {25},
pages = {19--38},
year = {1991},
url = {https://doi.org/10.1051/ita/1991250100191},
doi = {10.1051/ITA/1991250100191},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/WeberS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WeberS91,
author = {Andreas Weber and
Helmut Seidl},
title = {On the Degree of Ambiguity of Finite Automata},
journal = {Theor. Comput. Sci.},
volume = {88},
number = {2},
pages = {325--349},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90381-B},
doi = {10.1016/0304-3975(91)90381-B},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WeberS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/FerdinandSW91,
author = {Christian Ferdinand and
Helmut Seidl and
Reinhard Wilhelm},
editor = {Robert Giegerich and
Susan L. Graham},
title = {Tree Automata for Code Selection},
booktitle = {Code Generation - Concepts, Tools, Techniques, Workshop on Code Generation,
Dagstuhl, Germany, 20-24 May 1991},
series = {Workshops in Computing},
pages = {30--50},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3501-2\_2},
doi = {10.1007/978-1-4471-3501-2\_2},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/FerdinandSW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/HargerupSS91,
author = {Torben Hagerup and
Arno Schmitt and
Helmut Seidl},
editor = {Emile H. L. Aarts and
Jan van Leeuwen and
Martin Rem},
title = {{FORK:} {A} High-Level Language for PRAMs},
booktitle = {{PARLE} '91: Parallel Architectures and Languages Europe, Volume {I:}
Parallel Architectures and Algorithms, Eindhoven, The Netherlands,
June 10-13, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {505},
pages = {304--320},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0035112},
doi = {10.1007/BFB0035112},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/HargerupSS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Seidl90,
author = {Helmut Seidl},
title = {Deciding Equivalence of Finite Tree Automata},
journal = {{SIAM} J. Comput.},
volume = {19},
number = {3},
pages = {424--437},
year = {1990},
url = {https://doi.org/10.1137/0219027},
doi = {10.1137/0219027},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Seidl90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Seidl90,
author = {Helmut Seidl},
editor = {Andr{\'{e}} Arnold},
title = {Equivalence of Finite-Valued Bottom-up Finite State Tree Transducers
Is Decidable},
booktitle = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
Denmark, May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {431},
pages = {269--284},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52590-4\_54},
doi = {10.1007/3-540-52590-4\_54},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/Seidl90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/GoerdtS90,
author = {Andreas Goerdt and
Helmut Seidl},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Characterizing Complexity Classes by Higher Type Primitive Recursive
Definitions, Part {II}},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {148--158},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_37},
doi = {10.1007/3-540-53414-8\_37},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/imycs/GoerdtS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Seidl89,
author = {Helmut Seidl},
title = {On the Finite Degree of Ambiguity of Finite Tree Automata},
journal = {Acta Informatica},
volume = {26},
number = {6},
pages = {527--542},
year = {1989},
url = {https://doi.org/10.1007/BF00263578},
doi = {10.1007/BF00263578},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Seidl89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Seidl89,
author = {Helmut Seidl},
editor = {J{\'{a}}nos Csirik and
J{\'{a}}nos Demetrovics and
Ferenc G{\'{e}}cseg},
title = {On the Finite Degree of Ambiguity of Finite Tree Automata},
booktitle = {Fundamentals of Computation Theory, International Conference FCT'89,
Szeged, Hungary, August 21-25, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {380},
pages = {395--404},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51498-8\_38},
doi = {10.1007/3-540-51498-8\_38},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Seidl89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Seidl89,
author = {Helmut Seidl},
editor = {Burkhard Monien and
Robert Cori},
title = {Deciding Equivalence of Finite Tree Automata},
booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer
Science, Paderborn, FRG, February 16-18, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {349},
pages = {480--492},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0029009},
doi = {10.1007/BFB0029009},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Seidl89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Seidl88,
author = {Helmut Seidl},
editor = {Max Dauchet and
Maurice Nivat},
title = {Parameter-Reduction of Higher Level Grammars (Extended Abstract)},
booktitle = {{CAAP} '88, 13th Colloquium on Trees in Algebra and Programming, Nancy,
France, March 21-24, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {299},
pages = {52--71},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026096},
doi = {10.1007/BFB0026096},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/Seidl88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Seidl87,
author = {Helmut Seidl},
title = {Parameter Reduction of Higher Level Grammars},
journal = {Theor. Comput. Sci.},
volume = {55},
number = {1},
pages = {47--85},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90089-2},
doi = {10.1016/0304-3975(87)90089-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Seidl87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WeberS86,
author = {Andreas Weber and
Helmut Seidl},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {On the Degree of Ambiguity of Finite Automata},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {620--629},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016289},
doi = {10.1007/BFB0016289},
timestamp = {Sat, 30 Sep 2023 09:52:35 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WeberS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Seidl85,
author = {Helmut Seidl},
editor = {Lothar Budach},
title = {A quadratic regularity test for non-deleting macro {S} grammars},
booktitle = {Fundamentals of Computation Theory, {FCT} '85, Cottbus, GDR, September
9-13, 1985},
series = {Lecture Notes in Computer Science},
volume = {199},
pages = {422--430},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0028826},
doi = {10.1007/BFB0028826},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Seidl85.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-15 20:47 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:
