|
Conferences in DBLP
(ilc) 2007 (conf/ilc/2007)
Nadia Busi (1968-2007). [Citation Graph (, )][DBLP]
Symbolic Model Checking of Tense Logics on Rational Kripke Models. [Citation Graph (, )][DBLP]
Genetic Systems without Inhibition Rules. [Citation Graph (, )][DBLP]
Probabilistic Systems with LimSup and LimInf Objectives. [Citation Graph (, )][DBLP]
A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata. [Citation Graph (, )][DBLP]
Towards Model-Checking Programs with Lists. [Citation Graph (, )][DBLP]
Representations of Numbers as åk=-nn ek k\sum_{k=-n}^n \varepsilon_k k: A Saddle Point Approach. [Citation Graph (, )][DBLP]
Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown Automata. [Citation Graph (, )][DBLP]
Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions. [Citation Graph (, )][DBLP]
Is P = PSPACE for Infinite Time Turing Machines? [Citation Graph (, )][DBLP]
|