- Identifiability of polynomial systems: Structural and numerical aspects S. Vajda Wed 11 March 2026
- Structural Identifiability of Linear, Bilinear, Polynomial and Rational Systems S. Vajda Wed 11 March 2026
- Parameter identifiability and inputoutput equations Alexey Ovchinnikov Gleb Pogudin Peter Thompson Wed 11 March 2026
- Le probleme de l'identifiabilite structurelle globale: approche theorique, methodes effectives et bornes de complexite François Ollivier Wed 11 March 2026
- Erratum to: Model-checking continuous-time Markov chains by Aziz et al David N. Jansen Tue 10 March 2026
- The Complexity of Propositional Linear Temporal Logics in Simple Cases Stéphane Demri Philippe Schnoebelen Tue 10 March 2026
- Perspectives in Probabilistic Verification Joost-Pieter Katoen Tue 10 March 2026
- Precisely deciding CSL formulas through approximate model checking for CTMCs Yuan Feng Lijun Zhang Tue 10 March 2026
- Model-checking continuous-time Markov chains Adnan Aziz Kumud Sanwal Vigyan Singhal Robert Brayton Tue 10 March 2026
- Automata-Based CSL Model Checking Lijun Zhang David N. Jansen Flemming Nielson Holger Hermanns Tue 10 March 2026
- Complexity of Consistency Testing for the Release-Acquire Semantics R Govind S Krishna Sanchari Sil B Srivathsan Sun 08 March 2026
- Nominal techniques as an Agda library Murdoch J. Gabbay Orestis Melkonian Sat 07 March 2026
- Principal Typing for Intersection Types, Forty-Five Years Later Daniele Pautasso Simona Ronchi Della Rocca Sat 07 March 2026
- Sensible Intersection Type Theories Mariangiola Dezani-Ciancaglini Besik Dundua Paola Giannini Furio Honsell Sat 07 March 2026
- History-Deterministic Buchi Automata are Succinct Antonio Casares Aditya Prakash K.~S. Thejaswini Sat 07 March 2026
- Reachability in VASS Extended with Integer Counters Clotilde Bizière Wojciech Czerwiński Roland Guttenberg Jérôme Leroux Vincent Michielini Łukasz Orlikowski Antoni Puch Henry Sinclair-Banks Sat 07 March 2026
- PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions Taoran Wu Dominik Wagner C.-H. Luke Ong Bai Xue Fri 06 March 2026
- Locally finite derivations V. D. urkowski Fri 06 March 2026
- A factorisable derivation in polynomial ring in n variables Andrzej Nowicki Fri 06 March 2026
- Derivations and polynomial rings Andrzej Nowicki Ryszard uchowski Fri 06 March 2026
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
