Follow
Karlis Cerans
Karlis Cerans
Leading researcher, IMCS, University of Latvia
Verified email at lumii.lv
Title
Cited by
Cited by
Year
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
6091996
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
2622000
Decidability of bisimulation equivalences for parallel timer processes
K Čerāns
Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993
2431993
Timed modal specification—theory and tools
K Čerāns, JC Godskesen, KG Larsen
Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993
1031993
Deciding properties of integral relational automata
K Čerāns
International Colloquium on Automata, Languages, and Programming, 35-46, 1994
821994
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
782010
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
611998
GrTP: Transformation Based Graphical Tool Building Platform.
J Barzdins, A Zarins, K Cerans, A Kalnins, E Rencis, L Lace, R Liepins, ...
MDDAUI@ MoDELS, 2007
45*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
412010
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
362006
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
352009
Rdb2owl: A RDB-to-RDF/OWL mapping specification language
K Čerāns, G Būmans
Databases and Information Systems VI, 139-152, 2011
332011
Algorithmic problems in analysis of real time system specifications
K Čerāns
291992
Deciding reachability for planar multi-polynomial systems
K Čerāns, J Vīksna
Hybrid Systems III: Verification and Control 3, 389-400, 1996
281996
Advanced OWL 2.0 ontology visualization in OWLGrEd
K Cerans, J Ovcinnikova, R Liepins, A Sprogis
Databases and Information Systems VII–Selected Papers from the 10th Int …, 2012
272012
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
262009
Visualizing and Editing Ontology Fragments with OWLGrEd.
R Liepins, K Cerans, A Sprogis
I-SEMANTICS (Posters & Demos) 932, 22-25, 2012
232012
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
182012
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
172018
The system can't perform the operation now. Try again later.
Articles 1–20