The SCEAS System
| |||||||

## Search the dblp DataBase
Karlis Cerans:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Alvis Brazma, Karlis Cerans
**Efficient Learning of Regular Expressions from Good Examples.**[Citation Graph (0, 0)][DBLP] AII/ALT, 1994, pp:76-90 [Conf] - 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] - Karlis Cerans
**Decidability of Bisimulation Equivalences for Parallel Timer Processes.**[Citation Graph (0, 0)][DBLP] CAV, 1992, pp:302-315 [Conf] - 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] - 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] - Karlis Cerans
**CTR: A Calculus of Timed Refinement.**[Citation Graph (0, 0)][DBLP] CONCUR, 1995, pp:516-530 [Conf] - Karlis Cerans, Juris Viksna
**Deciding Reachability for Planar Multi-polynomial Systems.**[Citation Graph (0, 0)][DBLP] Hybrid Systems, 1995, pp:389-400 [Conf] - Karlis Cerans
**Deciding Properties of Integral Relational Automata.**[Citation Graph (0, 0)][DBLP] ICALP, 1994, pp:35-46 [Conf] - Karlis Cerans
**Feasibility of Finite and Infinite Paths in Data Dependent Programs.**[Citation Graph (0, 0)][DBLP] LFCS, 1992, pp:69-80 [Conf] - 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] - 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] - 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] - 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] **GrTP: Transformation Based Graphical Tool Building Platform.**[Citation Graph (, )][DBLP]**RDB2OWL: a practical approach for transforming RDB data into RDF/OWL.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |