The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1995, volume: 138, number: 1

  1. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
    The Algorithmic Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:3-34 [Journal]
  2. Eugene Asarin, Oded Maler, Amir Pnueli
    Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:35-65 [Journal]
  3. Michael S. Branicky
    Universal Computation and Other Capabilities of Hybrid and Continuous Dynamical Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:67-100 [Journal]
  4. Robert L. Grossman, Richard G. Larson
    An Algebraic Approach to Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:101-112 [Journal]
  5. Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen
    Finite Divergence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:113-139 [Journal]
  6. Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
    Viability in Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:141-168 [Journal]
  7. Yassine Lakhnech, Jozef Hooman
    Metric Temporal Logic with Durations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:169-199 [Journal]
  8. Michael D. Lemmon, Panos J. Antsaklis
    Inductively Inferring Valid Logical Models of Continuous-State Dynamical Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:201-210 [Journal]
  9. Ying Zhang, Alan K. Mackworth
    Constraint Nets: A Semantic Model for Hybrid Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:211-239 [Journal]
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