The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Karlis Cerans: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alvis Brazma, Karlis Cerans
    Efficient Learning of Regular Expressions from Good Examples. [Citation Graph (0, 0)][DBLP]
    AII/ALT, 1994, pp:76-90 [Conf]
  2. Andrejs J. Auzins, Janis Barzdins, Janis Bicevskis, Karlis Cerans, Audris Kalnins
    Automatic Construction of Test Sets: Theoretical Approach. [Citation Graph (0, 0)][DBLP]
    Baltic Computer Science, 1991, pp:286-359 [Conf]
  3. Karlis Cerans
    Decidability of Bisimulation Equivalences for Parallel Timer Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:302-315 [Conf]
  4. Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen
    Timed Modal Specification - Theory and Tools. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:253-267 [Conf]
  5. Parosh Aziz Abdulla, Karlis Cerans
    Simulation Is Decidable for One-Counter Nets (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:253-268 [Conf]
  6. Karlis Cerans
    CTR: A Calculus of Timed Refinement. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:516-530 [Conf]
  7. Karlis Cerans, Juris Viksna
    Deciding Reachability for Planar Multi-polynomial Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:389-400 [Conf]
  8. Karlis Cerans
    Deciding Properties of Integral Relational Automata. [Citation Graph (0, 0)][DBLP]
    ICALP, 1994, pp:35-46 [Conf]
  9. Karlis Cerans
    Feasibility of Finite and Infinite Paths in Data Dependent Programs. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:69-80 [Conf]
  10. Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay
    General Decidability Theorems for Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:313-321 [Conf]
  11. Karlis Cerans, Carl H. Smith
    Self-learning inductive inference machines. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1991, v:7, n:, pp:174-180 [Journal]
  12. Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay
    Algorithmic Analysis of Programs with Well Quasi-ordered Domains. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:160, n:1-2, pp:109-127 [Journal]
  13. Alvis Brazma, Karlis Cerans
    Noise-Tolerant Efficient Inductive Synthesis of Regular Expressions from Good Examples. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1997, v:15, n:1, pp:105-140 [Journal]

  14. GrTP: Transformation Based Graphical Tool Building Platform. [Citation Graph (, )][DBLP]


  15. RDB2OWL: a practical approach for transforming RDB data into RDF/OWL. [Citation Graph (, )][DBLP]


Search in 0.212secs, Finished in 0.213secs
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