- On the Comparison of Discounted-Sum Automata with Multiple Discount Factors Udi Boker Guy Hefetz Sat 25 November 2023
- Efficient timed model checking for discrete-time systems F. Laroussinie N. Markey Ph. Schnoebelen Sat 25 November 2023
- On the Metric Temporal Logic for Continuous Stochastic Processes Mitsumasa Ikeda Yoriyuki Yamagata Takayuki Kihara Sat 25 November 2023
- LTL Model Checking for Register Pushdown Systems Ryoma SENDA Yoshiaki TAKATA Hiroyuki SEKI Sat 25 November 2023
- Factoring Pattern-Free Permutations into Separable ones Édouard Bonnet Romain Bourneuf Colin Geniet Stéphan Thomassé Sat 25 November 2023
- Revitalized automatic proofs: demonstrations Tewodros Amdeberhan David Callan Hideyuki Ohtsuka Roberto Tauraso Sat 25 November 2023
- One-way Resynchronizability of Word Transducers Sougata Bose S. N. Krishna Anca Muscholl Gabriele Puppis Sat 25 November 2023
- Model-checking lock-sharing systems against regular constraints Corto Mascle Sat 25 November 2023
- Zero counting for a class of univariate Pfaffian functions María Laura Barbagallo Gabriela Jeronimo Juan Sabia Sat 25 November 2023
- On the Power of Power Analysis in the Real World: A Complete Break of the KeeLoq Code Hopping Scheme Thomas Eisenbarth Timo Kasper Amir Moradi Christof Paar Mahmoud Salmasizadeh Mohammad T. Manzuri Shalmani Sat 25 November 2023
- Recursive sequences attached to modular representations of finite groups Alexandru Chirvasitu Tara Hudson Aparna Upadhyay Sat 25 November 2023
- The Euclidean algorithm Th. Motzkin Sat 25 November 2023
- Lectures 15: Propositional Intuitionistic Logic Stepan Kuznetsov Sat 25 November 2023
- Lectures on Linear Algebra over Division Ring Aleks Kleyn Fri 24 November 2023
- Stubborn Set Reduction for Two-Player Reachability Games Frederik Meyer Bønneland Peter Gjøl Jensen Kim Guldstrand Larsen Marco Muñiz Jiří Srba Fri 24 November 2023
- Parity Games of Bounded Tree-Depth Konrad Staniszewski Fri 24 November 2023
- Simultaneous Linear Equations over a Division Algebra A. R. Richardson Fri 24 November 2023
- The identity problem for elementary functions and constants Dan Richardson John Fitch Fri 24 November 2023
- Multiplicities: A deterministic view of nondeterminism Juhani Karhumäki Fri 24 November 2023
- Energy Games with Resource-Bounded Environments Orna Kupferman Naama Shamash Halevy Fri 24 November 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
