General decidability theorems for infinite-state systems PA Abdulla, K Cerans, B Jonsson, YK Tsay Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 313-321, 1996 | 621 | 1996 |
Algorithmic analysis of programs with well quasi-ordered domains PA Abdulla, K Čerāns, B Jonsson, YK Tsay Information and Computation 160 (1-2), 109-127, 2000 | 274 | 2000 |
Decidability of bisimulation equivalences for parallel timer processes K Čerāns Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993 | 245 | 1993 |
Timed modal specification—theory and tools K Čerāns, JC Godskesen, KG Larsen Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993 | 107 | 1993 |
UML style graphical notation and editor for OWL 2 J Bārzdiņš, G Bārzdiņš, K Čerāns, R Liepiņš, A Sproģis Perspectives in Business Informatics Research: 9th International Conference …, 2010 | 83 | 2010 |
Deciding properties of integral relational automata K Čerāns International Colloquium on Automata, Languages, and Programming, 35-46, 1994 | 82 | 1994 |
OWLGrEd: a UML Style Graphical Notation and Editor for OWL 2. J Barzdins, G Barzdins, K Cerans, R Liepins, A Sprogis OWLED, 2010 | 70* | 2010 |
Simulation is decidable for one-counter nets PA Abdulla, K Čerāns International Conference on Concurrency Theory, 253-268, 1998 | 61 | 1998 |
GrTP: Transformation Based Graphical Tool Building Platform. J Barzdins, A Zarins, K Cerans, A Kalnins, E Rencis, L Lace, R Liepins, ... MDDAUI@ MoDELS, 2007 | 46* | 2007 |
RDB2OWL: a practical approach for transforming RDB data into RDF/OWL G Būmans, K Čerāns Proceedings of the 6th International Conference on Semantic Systems, 1-3, 2010 | 41 | 2010 |
Towards Semantic Latvia J Barzdins, G Barzdins, R Balodis, K Cerans, A Kalnins, M Opmanis, ... Proceedings of Seventh International Baltic Conference on Databases and …, 2006 | 39 | 2006 |
Domain specific languages for business process management: a case study J Barzdins, K Cerans, M Grasmanis, A Kalnins, S Kozlovics, L Lace, ... Proceedings of DSM 9, 34-40, 2009 | 37 | 2009 |
Rdb2owl: A RDB-to-RDF/OWL mapping specification language K Čerāns, G Būmans Databases and Information Systems VI, 139-152, 2011 | 35 | 2011 |
Advanced OWL 2.0 ontology visualization in OWLGrEd K Čerāns, J Ovčiņņikova, R Liepiņš, A Sproǵis Databases and Information Systems VII, 41-54, 2013 | 29 | 2013 |
Deciding reachability for planar multi-polynomial systems K Čerāns, J Vīksna Hybrid Systems III: Verification and Control 3, 389-400, 1996 | 28 | 1996 |
A Graph Diagram Engine for the Transformation-Driven Architecture J Barzdins, K Cerans, S Kozlovics, E Rencis, A Zarins Proc. of 4th MDDAUI. Florida, USA, 29-32, 2009 | 26 | 2009 |
Algorithmic problems in analysis of real time system specifications K Cerans Dr. Sc. comp theses, University of Latvia, Riga, 1992 | 24 | 1992 |
Visualizing and Editing Ontology Fragments with OWLGrEd. R Liepins, K Cerans, A Sprogis I-SEMANTICS (Posters & Demos) 932, 22-25, 2012 | 23 | 2012 |
ViziQuer: a web-based tool for visual diagrammatic queries over RDF data K Čerāns, A Šostaks, U Bojārs, J Ovčiņņikova, L Lāce, M Grasmanis, ... The Semantic Web: ESWC 2018 Satellite Events: ESWC 2018 Satellite Events …, 2018 | 22 | 2018 |
Graphical Schema Editing for Stardog OWL/RDF Databases using OWLGrEd/S. K Cerans, G Barzdins, R Liepins, J Ovcinnikova, S Rikacovs, A Sprogis OWLED 849, 2012 | 18 | 2012 |