h1

h2

h3

h4

h5
h6

121420

Lehr- und Forschungsgebiet Programmiersprachen und Verifikation Also known as:Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation)
IDI:(DE-82)121420_20140620

⇧ 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 Journal Article/Contribution to a conference proceedings  ;
The annotated dependency pair framework for almost-sure termination of probabilistic term rewriting
17. International Symposium on Functional and Logic Programming, FLOPS 2024, KumamotoKumamoto, Japan, 15 May 2024 - 17 May 20242024-05-152024-05-17 Science of computer programming 251, 103417 () [10.1016/j.scico.2025.103417] special issue: "17th International Symposium on Functional and Logic Programming / Special issue"  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Poster/Contribution to a conference proceedings  ;  ;  ;
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
ICLR 2025 Workshop: VerifAI: AI Verification in the Wild : ICLR 2025 Workshop VerifAI Singapore, Apr 27 2025
ICLR 2025 Workshop VerifAI, ICLR VerifAI, SingaporeSingapore, Singapore, 27 Apr 2025 - 27 Apr 20252025-04-272025-04-27 1-53 () [10.18154/RWTH-2026-01538]  GO OpenAccess  Download fulltext Files  Download fulltextFulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;
Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
Logical methods in computer science : LMCS 21(4), 14938 () [10.46298/lmcs-21(4:8)2025]  GO DBCoverage BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint  ;
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
79 Seiten () [10.48550/arXiv.2409.17714]  GO OpenAccess   Download fulltextFulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article  ;
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
Logical methods in computer science : LMCS 21(4), 28 () [10.46298/lmcs-21(4:28)2025]  GO OpenAccess  Download fulltext Files 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  ;  ;  ;
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
10th International Conference on Formal Structures for Computation and Deduction : FSCD 2025, July 14-20, 2025, Birmingham, UK / edited by Maribel Fernández
10. International Conference on Formal Structures for Computation and Deduction, FSCD 2025, BirminghamBirmingham, UK, 14 Jul 2025 - 20 Jul 20252025-07-142025-07-20 Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics 337, 6:[1]-6:21 () [10.4230/LIPICS.FSCD.2025.6]  GO OpenAccess  Download fulltext Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book  ;
Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
Principles of verification: cycling the probabilistic landscape, Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors Cham : Springer, Lecture notes in computer science 15260, 339-366 () [10.1007/978-3-031-75783-9_14]  GO 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  ;
Integrating Loop Acceleration Into Bounded Model Checking
Formal methods : 26th international symposium, FM 2024, Milan, Italy, September 9-13, 2024, proceedings / André Platzer, Kristin Yvonne Rozier, Matteo Pradella Matteo Rossi, editors. - Part I
26. International Symposium on Formal Methods, FM 2024, MilanMilan, Italy, 9 Sep 2024 - 13 Sep 20242024-09-092024-09-13 Cham : Springer, Lecture notes in computer science 14933, 73-91 () [10.1007/978-3-031-71162-6_4]  GO OpenAccess  Download fulltext Files 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  ;
On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems
9th International Conference on Formal Structures for Computation and Deduction : FSCD 2024, July 10-13, 2024, Tallinn, Estonia / edited by Jakob Rehof
9. International Conference on Formal Structures for Computation and Deduction, FSCD 2024, TallinnTallinn, Estonia, 10 Jul 2024 - 13 Jul 20242024-07-102024-07-13 Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, June, Leibniz international proceedings in informatics 299, 16:1-16:18 () [10.4230/LIPICS.FSCD.2024.16]  GO OpenAccess  Download fulltext Files 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  ;  ;
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
Functional and logic programming : 17th international symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024 : proceedings / Jeremy Gibbons, Dale Miller, editors
17. International Symposium on Functional and Logic Programming, FLOPS 2024, KumamotoKumamoto, Japan, 15 May 2024 - 17 May 20242024-05-152024-05-17 Singapore : Springer, Lecture notes in computer science 14659, 62-80 () [10.1007/978-981-97-2300-3_4]  GO BibTeX | EndNote: XML, Text | RIS

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

 Record created 2014-07-16, last modified 2024-02-27
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)