- Computational Problems Related to the Design of Normal Form Relational Schemas Catriel Beeri Philip A. Bernstein Tue 29 July 2014
- Structure and complexity of relational queries Ashok Chandra David Harel Tue 29 July 2014
- Equivalences Among Relational Expressions with the Union and Difference Operators Yehoshua Sagiv Mihalis Yannakakis Tue 29 July 2014
- Optimal Implementation of Conjunctive Queries in Relational Data Bases Ashok K. Chandra Philip M. Merlin Tue 29 July 2014
- Monotone Monadic SNP and Constraint Satisfaction Tomás Feder Moshe Y. Vardi Tue 29 July 2014
- The Complexity of Relational Query Languages (Extended Abstract) Moshe Y. Vardi Tue 29 July 2014
- Statistical and relational learning for understanding enzyme function Elisa Cilia Tue 22 July 2014
- Total Reward Stochastic Games and Sensitive Average Reward Strategies F. Thuijsman O. J. Vrieze Wed 16 July 2014
- Dynamic risk management with Markov decision processes André Philipp Mundt Tue 15 July 2014
- A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers Taolue Chen Marco Diciolla Marta Kwiatkowska Alexandru Mereacre Tue 15 July 2014
- On Stochastic Games with Multiple Objectives Taolue Chen Vojtěch Forejt Marta Kwiatkowska Aistis Simaitis Clemens Wiltsche Tue 15 July 2014
- Solvency Markov Decision Processes with Interest Tomáš Brázdil Taolue Chen Vojtěch Forejt Petr Novotný Aistis Simaitis Tue 15 July 2014
- Markov chain sensitivity measured by mean first passage times Grace E. Cho Carl D. Meyer Sat 12 July 2014
- Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains Tomáš Brázdil Antonín Kučera Sat 12 July 2014
- On Guarded Transformation In The Modal Mu-Calculus Florian Bruse Oliver Friedmann Martin Lange Thu 10 July 2014
- On coupling of Markov chains J.W. Pitman Mon 07 July 2014
- Path Coupling: A Technique for Proving Rapid Mixing in Markov Chains R. Bubley M. Dyer Sun 06 July 2014
- Alternating Vector Addition Systems with States Jean-Baptiste Courtois Sylvain Schmitz Tue 01 July 2014
- Two Recursively Inseparable Problems for Probabilistic Automata Nathanael Fijalkow Hugo Gimbert Florian Horn Youssouf Oualhadj Tue 01 July 2014
- Determinising Parity Automata Sven Schewe Thomas Varghese Tue 01 July 2014
Library Size: 13G (12985 entries),
Last Updated: Apr 24, 2026, 18:54:57,
Build Time: N/A
