The SCEAS System
Navigation Menu

Conferences in DBLP

(ilc)
2007 (conf/ilc/2007)


  1. Nadia Busi (1968-2007). [Citation Graph (, )][DBLP]


  2. Symbolic Model Checking of Tense Logics on Rational Kripke Models. [Citation Graph (, )][DBLP]


  3. Genetic Systems without Inhibition Rules. [Citation Graph (, )][DBLP]


  4. Probabilistic Systems with LimSup and LimInf Objectives. [Citation Graph (, )][DBLP]


  5. A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata. [Citation Graph (, )][DBLP]


  6. Towards Model-Checking Programs with Lists. [Citation Graph (, )][DBLP]


  7. Representations of Numbers as åk=-nn ek k\sum_{k=-n}^n \varepsilon_k k: A Saddle Point Approach. [Citation Graph (, )][DBLP]


  8. Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown Automata. [Citation Graph (, )][DBLP]


  9. Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions. [Citation Graph (, )][DBLP]


  10. Is P = PSPACE for Infinite Time Turing Machines? [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002