| 2024 | EKAW | Visual Data and Schema Queries over Knowledge Graphs. | Sergejs Rikacovs, Karlis Cerans |
| 2015 | CaiSE | RDB2OWL: A Language and Tool for Database to Ontology Mapping. | Karlis Cerans, Guntars Bumans |
| 2015 | CaiSE | OBIS: Ontology-Based Information System Framework. | Karlis Cerans, Aiga Romane |
| 2007 | MODELS | GrTP: Transformation Based Graphical Tool Building Platform. | Janis Barzdins, Andris Zarins, Karlis Cerans, Audris Kalnins, Edgars Rencis, Lelde Lace, Renars Liepins, Arturs Sprogis |
| 1998 | CONCUR | Simulation Is Decidable for One-Counter Nets (Extended Abstract). | Parosh Aziz Abdulla, Karlis Cerans |
| 1996 | LICS | General Decidability Theorems for Infinite-State Systems. | Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay |
| 1995 | CONCUR | CTR: A Calculus of Timed Refinement. | Karlis Cerans |
| 1994 | ALT | Efficient Learning of Regular Expressions from Good Examples. | Alvis Brazma, Karlis Cerans |
| 1994 | ICALP | Deciding Properties of Integral Relational Automata. | Karlis Cerans |
| 1993 | CAV | Timed Modal Specification - Theory and Tools. | Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen |
| 1992 | CAV | Decidability of Bisimulation Equivalences for Parallel Timer Processes. | Karlis Cerans |
| 1992 | LFCS | Feasibility of Finite and Infinite Paths in Data Dependent Programs. | Karlis Cerans |