h1

123420

⇧ RWTH Aachen ⇧

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Nalbach, J. K. F. (Corresponding author)RWTH* ; Michel, L. ; Abraham, E.RWTH* ; Brown, C. W. ; Davenport, J. H. ; England, M. ; Mathonet, P. ; Zénaïdi, N.
Projective Delineability for Single Cell Construction
2025SC-Square 2025 : Satisfiability Checking and Symbolic Computation 2025 : Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025), Collocated with The 30th International Conference on Automated Deduction (CADE 2025) : Stuttgart, Germany, August 2, 2025 / Edited by Mădălina Erașcu, Mikoláš Janota
10. International Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2025, StuttgartStuttgart, Germany, 2 Aug 2025 - 2 Aug 20252025-08-022025-08-02
30. International Conference on Automated Deduction, CADE 2025, StuttgartStuttgart, Germany, 28 Jul 2025 - 2 Aug 20252025-07-282025-08-02 Aachen, Germany : RWTH Aachen, CEUR workshop proceedings 4116, 41-54 (2025) [10.18154/RWTH-2025-10263]2025     Files  Homepage of book Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Nalbach, J. K. F. (Corresponding author)RWTH* ; Abraham, E.RWTH*
A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
2025SC-Square 2025 : Satisfiability Checking and Symbolic Computation 2025 : Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025), Collocated with The 30th International Conference on Automated Deduction (CADE 2025) : Stuttgart, Germany, August 2, 2025 / Edited by Mădălina Erașcu, Mikoláš Janota
10. International Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2025, StuttgartStuttgart, Germany, 2 Aug 2025 - 2 Aug 20252025-08-022025-08-02
30. International Conference on Automated Deduction, CADE 2025, StuttgartStuttgart, Germany, 28 Jul 2025 - 2 Aug 20252025-07-282025-08-02 Aachen, Germany : RWTH Aachen, CEUR workshop proceedings 4116, 19-34 (2025) [10.18154/RWTH-2025-10262]2025     Files  Homepage of book Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Drămnesc, I. (Corresponding author) ; Abraham, E. (Corresponding author)RWTH* ; Antal, L. (Corresponding author)RWTH* ; Csóka, P. (Corresponding author) ; Fachantidis, N. (Corresponding author) ; Jebelean, T. (Corresponding author) ; Kusper, G. (Corresponding author) ; Papadopoulos, K. (Corresponding author)
Artificial Intelligence based robotic applications for higher education
2025International Conference on Formal Methods and Foundations of Artificial Intelligence, FMF-AI 2025, EgerEger, Hungary, 5 Jun 2025 - 7 Jun 20252025-06-052025-06-07 Annales mathematicae et informaticae 61, 68-79 (2025) [10.33039/ami.2025.10.009]2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Dissertation / PhD Thesis Nalbach, J. K. F.RWTH* ; Abraham, E. (Thesis advisor)RWTH* ; Davenport, J. H. (Thesis advisor)
Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2025) [10.18154/RWTH-2025-09926]2025 = Dissertation, RWTH Aachen University, 2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article/Contribution to a book Ghassemi, F. (Corresponding author) ; Zhiany, S. ; Abbasi, N. ; Hodaei, A. ; Ataollahi, A. ; Kovacs, J.RWTH* ; Ábrahám, E.RWTH* ; Sirjani, M.
Reachability analysis of Hybrid Rebeca models
Journal of systems architecture : JSA 167, 103493 (2025) [10.1016/j.sysarc.2025.103493] special issue: "Reliable Software Technologies (AEiC2025) : Special issue / Guest Editors: Dr. Sara Royuela Alcazar, Dr. Laurent Pautet"2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Proceedings Hojjat, H. (Editor) ; Ábrahám, E. (Editor)RWTH*
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023) : Special issue
202510. IPM International Conference on Fundamentals of Software Engineering, FSEN 2023, TehranTehran, Iran, 4 May 2023 - 5 May 20232023-05-042023-05-05 Science of computer programming (2025)2025     Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article (Preface)/Contribution to a conference proceedings Hojjat, H. (Corresponding author) ; Ábrahám, E. (Corresponding author)RWTH*
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023)
202510. IPM International Conference on Fundamentals of Software Engineering, FSEN 2023, TehranTehran, Iran, 4 May 2023 - 5 May 20232023-05-042023-05-05 Science of computer programming 243, 103244 (2025) [10.1016/J.SCICO.2024.103244] special issue: "Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023) : Special issue / Guest Editors: Professor Hossein Hojjat, Prof. Dr. Erika Ábrahám"2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint Gerlach, C.RWTH* ; Winkler, T.RWTH* ; Ábrahám, E.RWTH* ; Bonakdarpour, B. ; Junges, S.
Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
30 Seiten (2025) [10.48550/arXiv.2505.16357]2025     Files  Fulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint Kobialka, P. (Corresponding author) ; Gerlach, C. (Corresponding author)RWTH* ; Leofante, F. (Corresponding author) ; Ábrahám, E. (Corresponding author)RWTH* ; Lizeth, S. (Corresponding author) ; Tarifa, T. (Corresponding author) ; Johnsen, E. B. (Corresponding author)
Counterfactual Strategies for Markov Decision Processes
12 Seiten (2025) [10.48550/arXiv.2505.09412]2025     Files  Fulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article/Contribution to a book Antal, L. (Corresponding author)RWTH* ; Abraham, E.RWTH* ; Masara, H.RWTH*
Generalizing neural network verification to the family of piece-wise linear activation functions
Science of Computer Programming 243, 103269 (2025) [10.1016/J.SCICO.2025.103269] special issue: "Advances in Formal Methods for Autonomous Systems / Guest Editors: Matt Luckcuck, Marie Farrell, Maike Schwammberger, Mario Gleirscher"2025     Files BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS |