On termination of polynomial programs with equality conditions
Yangjia Li, Mingshuai Chen, Hui Lu, Joost-Pieter Katoen
cn, sg, de (code pays fourni par la source)
2 citations
Information and Computation
Joost-Pieter Katoen
Informations fournies par OpenAlex. Research Africa ne déduit ni nationalité, ni poste, ni coordonnées personnelles.
641Publications signalées
19213Citations signalées
2Affiliations récentes
Les institutions déclarées
Les domaines associés
Formal Methods in VerificationSoftware Reliability and Analysis ResearchPetri Nets in System ModelingSoftware Testing and Debugging TechniquesLogic, programming, and type systems
Les publications récentes
Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment
Xaver Fink, Borja Fernández Adiego, Daniele Mirarchi, Eloise Matheson et autres
0 citations
CERN Document Server (European Organization for Nuclear Research)
Verifying Sampling Algorithms via Distributional Invariants
Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler
de, gb (code pays fourni par la source)
1 citation
Lecture notes in computer science
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski et autres
de, us, gb (code pays fourni par la source)
1 citation
Lecture notes in computer science
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing
Philipp Schröer, Darion Haase, Joost-Pieter Katoen
de (code pays fourni par la source)
1 citation
Lecture notes in computer science
Multiple Long-Run and $$\omega $$-Regular Objectives in MDPs
Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann
de (code pays fourni par la source)
0 citations
Lecture notes in computer science
Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment
Xaver Fink, Borja Fernández Adiego, Daniele Mirarchi, Eloise Matheson et autres
ch, de (code pays fourni par la source)
0 citations
Lecture notes in computer science
Front Matter, Table of Contents, Preface, Conference Organization
Claudia Faggian, Joost-Pieter Katoen
fr, de, nl (code pays fourni par la source)
0 citations
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
LIPIcs, Volume 380, LICS 2026, Complete Volume
Claudia Faggian, Joost-Pieter Katoen
fr, de, nl (code pays fourni par la source)
0 citations
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
Caesar: A Deductive Verifier for Probabilistic Programs
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase et autres
de, us, gb, dk (code pays fourni par la source)
0 citations
Lecture notes in computer science
Highly Incremental: A Simple Programmatic Approach for Many Objectives
Philipp Schröer, Joost-Pieter Katoen
de (code pays fourni par la source)
0 citations
RWTH Publications (RWTH Aachen)
Search and explore: symbiotic policy synthesis in POMDPs
Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges et autres
de (code pays fourni par la source)
0 citations
Formal Methods in System Design
BNTIC News n’est pas le producteur de ces données. Les publications sont interrogées à la demande dans Crossref, OpenAIRE, DOAJ, Europe PMC, HAL, DataCite, AfricArXiv, ROR et la Banque mondiale, sans clé d’accès. OpenAlex reste optionnel. Aucun service payant n’est nécessaire et aucune donnée externe n’est enregistrée en base. Consulter les sources et leurs limites.