- On the High Complexity of Petri Nets ømega -Languages Olivier Finkel Wed 11 February 2026
- Two Effective Properties of -Rational Functions Olivier Finkel Wed 11 February 2026
- The deteterminacy of context-free games Olivier Finkel Tue 10 February 2026
- Direct Access for Conjunctive Queries with Negations Florent Capelli Oliver Irwin Tue 10 February 2026
- A Simple Algorithm for Worst Case Optimal Join and Sampling Florent Capelli Oliver Irwin Sylvain Salvati Tue 10 February 2026
- Structural identifiability: tools and applications T. Glad A. Sokolov Tue 10 February 2026
- On structural and practical identifiability: Current status and update of results Mio Heinrich Marcus Rosenblatt Franz-Georg Wieland Hans Stigter Jens Timmer Tue 10 February 2026
- System Identifiability (Symbolic Computation) and Parameter Estimation (Numerical Computation) Lilianne Denis-Vidal Ghislaine Joly-Blanchard Céline Noiret Tue 10 February 2026
- Formal methods: state of the art and future directions Edmund M. Clarke Jeannette M. Wing Tue 10 February 2026
- The 2020 Expert Survey on Formal Methods Hubert Garavel Maurice H. ter Beek Jaco van de Pol Tue 10 February 2026
- Formal methods in dependable systems engineering: a survey of professionals from Europe and North America Mario Gleirscher Diego Marmsoler Tue 10 February 2026
- Formal methods: Practice and experience Jim Woodcock Peter Gorm Larsen Juan Bicarregui John Fitzgerald Tue 10 February 2026
- The Role of Formal Methods in Computer Science Education Maurice ter Beek Manfred Broy Brijesh Dongol Tue 10 February 2026
- On Formal Methods Thinking in Computer Science Education Brijesh Dongol Catherine Dubois Stefan Hallerstede Eric Hehner Carroll Morgan Peter Müller Leila Ribeiro Alexandra Silva Graeme Smith Erik de Vink Tue 10 February 2026
- Does Every Computer Scientist Need to Know Formal Methods Manfred Broy Achim D. Brucker Alessandro Fantechi Mario Gleirscher Klaus Havelund Markus Alexander Kuppe Alexandra Mendes André Platzer Jan Oliver Ringert Allison Sullivan Tue 10 February 2026
- Tricorder: Building a Program Analysis Ecosystem Caitlin Sadowski Jeffrey Van Gogh Ciera Jaspan Emma Soderberg Collin Winter Tue 10 February 2026
- Rance Cleaveland: a life for formal methods Bernhard Steffen Tue 10 February 2026
- A constructive approach to the problem of program correctness E. W. Dijkstra Tue 10 February 2026
- Formal Methods in Industry Maurice ter Beek Rod Chapman Rance Cleaveland Hubert Garavel Rong Gu Ivo ter Horst Jeroen Keiren Thierry Lecomte Michael Leuschel Kristin Yvonne Rozier Augusto Sampaio Cristina Seceleanu Martyn Thomas Tim Willemse Lijun Zhang Tue 10 February 2026
- On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems Chengfeng Xue Yuxi Fu Sat 07 February 2026
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
