by Sidorova, Natalia, Stahl, Christian, Trčka, Nikola
Published in Information systems (Oxford) (01.11.2011)

by Andova, Suzana, Georgievska, Sonja, Trčka, Nikola
Published in Theoretical computer science (06.01.2012)

by van Glabbeek, Rob, Luttik, Bas, Trčka, Nikola
Published in Fundamenta informaticae (2009)

by van Glabbeek, Rob, Luttik, Bas, Trcka, Nikola
Published in Logical methods in computer science (22.12.2009)

by Trčka, Nikola
Published in Electronic proceedings in theoretical computer science (10.12.2009)

by Trcka, N., Pechenizkiy, M.
Published in 2009 Ninth International Conference on Intelligent Systems Design and Applications (01.01.2009)

by van der Aalst, Wil, Bratosin, Carmen, Sidorova, Natalia, Trčka, Nikola
Published in Concurrency and computation (10.08.2010)

by ANDOVA, Suzana, GEORGIEVSKA, Sonja, TRCKA, Nikola
Published in Theoretical computer science (2012)

by Basten, Twan, van Benthum, Emiel, Geilen, Marc, Hendriks, Martijn, Houben, Fred, Igna, Georgeta, Reckers, Frans, de Smet, Sebastian, Somers, Lou, Teeselink, Egbert, Trčka, Nikola, Vaandrager, Frits, Verriet, Jacques, Voorhoeve, Marc, Yang, Yang
Published in Leveraging Applications of Formal Methods, Verification, and Validation

by Trcka, Nikola
Year of Publication 20.04.2022

by Trcka, Nikola
Year of Publication 14.04.2022

by SUDARSHAN N. KOUSHIK, SANDEEP SUDI, NIKOLA TRCKA, TEEMS E. LOVETT, PETER LIASKAS, PAUL R. BRAUNWART
Year of Publication 16.01.2019

by Sidorova, Natalia, Stahl, Christian, Trčka, Nikola
Published in Advanced Information Systems Engineering

by Sudi, Sandeep, Trcka, Nikola
Year of Publication 23.04.2024

by Trčka, Nikola, van der Aalst, Wil, Bratosin, Carmen, Sidorova, Natalia
Published in Principles of Distributed Systems

by TRCKA, Nikola
Published in Lecture notes in computer science (2006)

by Bratosin, Carmen, van der Aalst, Wil, Sidorova, Natalia, Trčka, Nikola
Published in On the Move to Meaningful Internet Systems: OTM 2008

by Trčka, Nikola
Published in Formal Methods and Software Engineering

by Georgescu, Ramona, Reddy, Kishore, Trcka, Nikola, Mei Chen, Quimby, Paul, O'Neill, Paul, Khawaja, Taimoor, Bertuccelli, Luca, Hestand, Dan, Sarkar, Soumik, Erdinc, Ozgur, Giering, Michael
Published in 2015 IEEE Aerospace Conference (01.03.2015)

by Trčka, Nikola
Published in Business Information Systems