Publications

2021
DOI [bibtex]
@article{A2021,
title = {Accurate interpolation methods for the annual simulation of solar central receiver systems using celestial coordinate system},
author = {Pascal Richter and Janna Tinnes and Lukas Aldenhoff},
publisher = {Elsevier Science},
journal = {Solar energy},
volume = {213},
pages = {pages 328-338},
type = {Journal Article},
year = {2021},
doi = {10.1016/j.solener.2020.10.087},
url = { https://publications.rwth-aachen.de/record/813667},
}×
[issue]
Pascal Richter, Janna Tinnes, Lukas Aldenhoff. Accurate interpolation methods for the annual simulation of solar central receiver systems using celestial coordinate system, Solar energy 213, pages 328-338, Elsevier Science, 2021.
DOI [bibtex]
@article{AU2021,
title = {A method and analysis of predicting building material U-value ranges through geometrical pattern clustering},
author = {S. Klemp and Ahmed Abida and Pascal Richter},
publisher = {Elsevier},
journal = {Journal of building engineering},
volume = {44},
pages = {pages 103243},
type = {Journal Article},
year = {2021},
doi = {10.1016/j.jobe.2021.103243},
url = { https://publications.rwth-aachen.de/record/828602},
}×
[issue]
S. Klemp, Ahmed Abida, Pascal Richter. A method and analysis of predicting building material U-value ranges through geometrical pattern clustering, Journal of building engineering 44, pages 103243, Elsevier, 2021.
DOI [bibtex]
@article{D2021,
title = {Dynamic aiming strategy for central receiver systems},
author = {N. Speetzen and Pascal Richter},
publisher = {Elsevier Science},
journal = {Renewable energy},
volume = {180},
pages = {pages 55-67},
type = {Journal Article},
year = {2021},
doi = {10.1016/j.renene.2021.08.060},
url = { https://publications.rwth-aachen.de/record/828601},
}×
[issue]
N. Speetzen, Pascal Richter. Dynamic aiming strategy for central receiver systems, Renewable energy 180, pages 55-67, Elsevier Science, 2021.
DOI [bibtex]
@conference{SSRTUCSD2021,
title = {Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies},
author = {Rebecca Haehn and Erika Ábrahám and Nils Nießen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12846},
pages = {257-275},
type = {Conference Paper},
year = {2021},
doi = {10.1007/978-3-030-85172-9_14},
url = { https://publications.rwth-aachen.de/record/825264},
}×
[issue]
Rebecca Haehn, Erika Ábrahám, Nils Nießen. Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies, 18th International Conference on Quantitative Evaluation of SysTems (QEST 2021), Volume 12846 of LNCS, 257-275, Springer, 2021.
DOI [bibtex]
@conference{EFTLPSI2021,
title = {Extending the Fundamental Theorem of Linear Programming for Strict Inequalities},
author = {Jasper Kurt Ferdinand Nalbach and Erika Ábrahám and Gereon Kremer},
publisher = {Association for Computing Machinery},
booktitle = {ACM Conferences},
pages = {313-320},
type = {Conference Paper},
year = {2021},
doi = {10.1145/3452143.3465538},
url = { https://publications.rwth-aachen.de/record/823081},
}×
[issue]
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, Gereon Kremer. Extending the Fundamental Theorem of Linear Programming for Strict Inequalities, International Symposium on Symbolic and Algebraic Computation (ISSAC '21), ACM Conferences, 313-320, Association for Computing Machinery, 2021.
DOI [bibtex]
@article{PCP2021,
title = {Predictive storage strategy for optimal design of hybrid CSP-PV plants with immersion heater},
author = {Pascal Richter and Torsten Trimborn and L. Aldenhoff},
publisher = {Elsevier Science},
journal = {Solar energy},
volume = {218},
pages = {pages 237-250},
type = {Journal Article},
year = {2021},
doi = {10.1016/j.solener.2020.11.005},
url = { https://publications.rwth-aachen.de/record/819720},
}×
[issue]
Pascal Richter, Torsten Trimborn, L. Aldenhoff. Predictive storage strategy for optimal design of hybrid CSP-PV plants with immersion heater, Solar energy 218, pages 237-250, Elsevier Science, 2021.
2020
fulltext PDF [bibtex]
@conference{NOFPCRG2020,
title = {New Opportunities for the Formal Proof of Computational Real Geometry?},
author = {Erika Ábrahám and James Davenport and Matthew England and Gereon Kremer and Zak Tonks},
publisher = {CEUR-WS.org},
booktitle = {CEUR Workshop Proceedings},
volume = {2752},
pages = {178-188},
type = {Conference Paper},
year = {2020},
url = { https://publications.rwth-aachen.de/record/833961},
}×
[issue]
Erika Ábrahám, James Davenport, Matthew England, Gereon Kremer, Zak Tonks. New Opportunities for the Formal Proof of Computational Real Geometry?, 7th Workshop on Practical Aspects of Automated Reasoning PAAR and the 5th Satisfiability Checking and Symbolic Computation Workshop SC-Square Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning IJCAR 2020 (PAAR, SC-Square and IJCAR), Volume 2752 of CEUR Workshop Proceedings, 178-188, CEUR-WS.org, 2020.
arXiv:2003.05633 [bibtex]
@unpublished{DCNLRACCDSUCAC2020,
title = {Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings},
author = {Erika Ábrahám and James H. Davenport and Matthew England and Gereon Kremer},
publisher = {Elsevier Science},
pages = {41 Seiten},
type = {Preprint},
year = {2020},
url = { https://arxiv.org/abs/2003.05633},
}×
[issue]
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer. Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings, 41 Seiten, Elsevier Science, 2020. https://arxiv.org/abs/2003.05633
DOI [bibtex]
@conference{FTSRS2020,
title = {Freight Train Scheduling in Railway Systems},
author = {Rebecca Haehn and Erika Ábrahám and Nils Nießen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12040},
pages = {225-241},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-43024-5_14},
url = { https://publications.rwth-aachen.de/record/789633},
}×
[issue]
Rebecca Haehn, Erika Ábrahám, Nils Nießen. Freight Train Scheduling in Railway Systems, 20th International Conference on Measurement, Modelling and Evaluation of Computing Systems (MMB 2020), Volume 12040 of LNCS, 225-241, Springer, 2020.
DOI fulltext PDF [bibtex]
@conference{PSPH2020,
title = {Parameter Synthesis for Probabilistic Hyperproperties},
author = {Erika Ábrahám and Ezio Bartocci and Borzoo Bonakdarpour and Oyendrila Dobe},
booktitle = {EPiC Series in Computing},
volume = {73},
pages = {12-31},
type = {Conference Paper},
year = {2020},
doi = {10.29007/37lf},
url = { https://publications.rwth-aachen.de/record/792181},
}×
[issue]
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe. Parameter Synthesis for Probabilistic Hyperproperties, The 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2020), Volume 73 of EPiC Series in Computing, 12-31, 2020.
DOI fulltext PDF [bibtex]
@phdthesis{C2020,
title = {Cylindrical algebraic decomposition for nonlinear arithmetic problems},
author = {Gereon Kremer},
booktitle = {Aachener Informatik-Berichte},
volume = {2020-04},
institution = {RWTH Aachen University},
pages = {1 Online-Ressource (204 Seiten) : Illustrationen, Diagramme},
type = {PhD Thesis},
year = {2020},
doi = {10.18154/RWTH-2020-05913},
url = { https://publications.rwth-aachen.de/record/792185},
}×
[issue]
Gereon Kremer. Cylindrical algebraic decomposition for nonlinear arithmetic problems, PhD Thesis, RWTH Aachen University, Volume 2020-04 of Aachener Informatik-Berichte, 1 Online-Ressource (204 Seiten) : Illustrationen, Diagramme, 2020.
fulltext PDF [bibtex]
@techreport{URTGURAVL2020,
title = {UnRAVeL Research Training Group: Uncertainty and Randomness in Algorithms, Verification, and Logic},
author = {Joost-Pieter Katoen and Martin Ritzert and Richard Wilke and Katrin M. Dannert and Peter Lindner and Dennis Fischer and Janosch Fuchs and Björn Frederik Tauer and Vipin Ravindran Vijayalakshmi and Laura Vargas Koch and Nadine Friesen and Andreas Gabriel Klinger and Marcel Tobias Hark and Benjamin Lucien Kaminski and Sebastian Junges and Jip Josephine Spel and Anton Pirogov and Stefan Schupp and Till Hofmann and Daxin Liu and Martin Comis and Tabea Claudia Krabs and Stephan Zieger and Rebecca Haehn and Matthias Volk and Norman Weik and Helene-Maria Bolke-Hermanns},
pages = {85 Seiten},
type = {Tech Report},
year = {2020},
url = { https://publications.rwth-aachen.de/record/807487},
}×
[issue]
Joost-Pieter Katoen, Martin Ritzert, Richard Wilke, Katrin M. Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Tobias Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, Helene-Maria Bolke-Hermanns. UnRAVeL Research Training Group: Uncertainty and Randomness in Algorithms, Verification, and Logic, 85 Seiten, 2020.
DOI fulltext PDF [bibtex]
@conference{PSRT2020,
title = {Probabilistic Simulation of a Railway Timetable},
author = {Rebecca Haehn and Erika Ábrahám and Nils Nießen},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {OpenAccess Series in Informatics (OASIcs)},
volume = {85},
pages = {16:1-16:14},
type = {Conference Paper},
year = {2020},
doi = {10.4230/OASICS.ATMOS.2020.16},
url = { https://publications.rwth-aachen.de/record/807139},
}×
[issue]
Rebecca Haehn, Erika Ábrahám, Nils Nießen. Probabilistic Simulation of a Railway Timetable, 20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2020), Volume 85 of OpenAccess Series in Informatics (OASIcs), 16:1-16:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
DOI fulltext PDF [bibtex]
@masterthesis{AS2020,
title = {A novel adaption of the Simplex algorithm for linear real arithmetic},
author = {Jasper Kurt Ferdinand Nalbach},
institution = {RWTH Aachen University},
pages = {79 Seiten},
type = {Master Thesis},
year = {2020},
doi = {10.18154/RWTH-2021-04303},
url = { https://publications.rwth-aachen.de/record/818122},
}×
[issue]
Jasper Kurt Ferdinand Nalbach, Gereon Kremer. A novel adaption of the Simplex algorithm for linear real arithmetic, Master Thesis, RWTH Aachen University, 79 Seiten, 2020.
DOI [bibtex]
@conference{PHN2020,
title = {Probabilistic Hyperproperties with Nondeterminism},
author = {Erika Ábrahám and Ezio Bartocci and Borzoo Bonakdarpour and Oyendrila Dobe},
publisher = {Springer},
booktitle = {LNCS},
volume = {12302},
pages = {518-534},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-59152-6_29},
url = { https://publications.rwth-aachen.de/record/833949},
}×
[issue]
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe. Probabilistic Hyperproperties with Nondeterminism, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020 (ATVA 20), Volume 12302 of LNCS, 518-534, Springer, 2020.
DOI [bibtex]
@conference{ATHPNSFSSHA2020,
title = {A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata},
author = {Carina Pilch and Maurice Krause and Anne Remke and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {12229},
pages = {381-400},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-55754-6_23},
url = { https://publications.rwth-aachen.de/record/833951},
}×
[issue]
Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám. A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata, NASA Formal Methods - 12th International Symposium, NFM 2020 (NFM 2020), Volume 12229 of LNCS, 381-400, Springer, 2020.
Show all