- SIAN: software for structural identifiability analysis of ODE models Hoon Hong Alexey Ovchinnikov Gleb Pogudin Chee Yap Fri 02 March 2012
- The mode of a multinomial distribution H. M. FINUCAN Fri 02 March 2012
- Diagnosing Workflow Processes using Woflan H. M. W. Verbeek Fri 02 March 2012
- The Mechanical Evaluation of Expressions P. J. Landin Fri 02 March 2012
- An Algorithm for Evaluation of Remote Terms in A Linear Recurrence Sequence J. C. P. Miller D. J. S. Brown Fri 02 March 2012
- The Alpha of Indulgent Consensus R. Guerraoui M. Raynal Fri 02 March 2012
- Fast Multi-Scale Detection of Relevant Communities in Large-Scale Networks E. Le Martelot C. Hankin Fri 02 March 2012
- Computational Solutions of Matrix Problems Over an Integral Domain ERWIN H. BAREISS Fri 02 March 2012
- A Differential Analog of the Noether Normalization Lemma Gleb Pogudin Fri 02 March 2012
- A textdollar2łbracetextbackslashmathbfłbracenrbracerbrace^2-łbracetextbackslashtextłbracelogrbracerbrace2(łbracetextbackslashmathbfłbracenrbracerbrace)-1textdollar lower bound for the border rank of matrix multiplication Joseph M Landsberg Mateusz Michałek Fri 02 March 2012
- On the union of well-founded relations H Doornbos Fri 02 March 2012
- Bisimulation, modal logic and model checking games C Stirling Fri 02 March 2012
- On the complexity of Bounded Second-Order Unification and Stratified Context Unification J. Levy M. Schmidt-Schauss M. Villaret Fri 02 March 2012
- Linear logic model of state revisited V. de Paiva Fri 02 March 2012
- A Modal Logic for Chopping Intervals YDE VENEMA Fri 02 March 2012
- An Equational Axiomatization of Bisimulation over Regular Expressions F. Corradini Fri 02 March 2012
- A Decision Algorithm for Stratified Context Unification M. Schmidt-Schauss Fri 02 March 2012
- An -Space Decision Procedure for Intuitionistic Propositional Logic Jörg Hudelmaier Fri 02 March 2012
- Existential least fixed-point logic and its relatives M Grohe Fri 02 March 2012
- Actions speak louder than words: proving bisimilarity for context-free processes H Huttel Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
