Search the dblp DataBase

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]