Functional Programming Based on Transparent Intensional Logic. - Nikola Ciprich; Marie Duzí; Michal Kosinár (RASLAN, 2007)

The Architecture of an Intelligent Agent in MAS. - Nikola Ciprich; Marie Duzí; Tomás Frydrych; Ondrej Kohut; Michal Kosinár (EJC, 2008)

The TIL-Script Language. - Nikola Ciprich; Marie Duzí; Michal Kosinár (EJC, 2008)

TIL in Knowledge-Based Multi-Agent Systems. - Tomás Frydrych; Ondrej Kohut; Michal Kosinár (RASLAN, 2008)

Building process definition with ontology background. - Svatopluk Stolfa; Jan Kozuszník; Michal Kosinár; Marie Duzí; Martina Cíhalová; Ivo Vondrák (CISIM, 2010)

Knowledge Support for Software Processes. - Michal Kosinár; Svatopluk Stolfa; Jan Kozuszník (ENASE, 2010)

Know How and Know What for Software Processes. - Jan Kozuszník; Svatopluk Stolfa; Marie Duzí; Michal Kosinár; Martina Cíhalová (ENASE (Selected Papers), 2010)

Knowledge-base approach to software-process development based on TIL. - Marie Duzí; Michal Kosinár; Jan Kozuszník; Svatopluk Stolfa (EJC, 2012)

Knowledge Modeling of Agile Software Processes. - Michal Kosinár; Radoslav Strba; Jindrich Cernohorský (EJC, 2013)

Simulations of Agile Software Processes for Healthcare Information Systems Development Based on Machine Learning Methods. - Michal Kosinár; Radoslav Strba (PDeS, 2013)

Addition of Static Aspects to the Intuitive Mapping of UML Activity Diagram to CPN. - Jan Czopik; Michael Alexander Kosinár; Jakub Stolfa; Svatopluk Stolfa (AECIA, 2014)

Knowledge Support for Software Processes. - Michael Alexander Kosinár; Jakub Stolfa; Svatopluk Stolfa (EJC, 2014)

Intelligent software support of the SCRUM process. - Radoslav Strba; Jakub Stolfa; Svätopluk Stolfa; Michal Kosinár (EJC, 2014)

Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN. - Jan Czopik; Michael Alexander Kosinár; Jakub Stolfa; Svatopluk Stolfa (IBICA, 2014)

Software Process Resource Utilization Simulation Using CPN. - Jan Czopik; Jakub Stolfa; Svatopluk Stolfa; Michael Alexander Kosinár; Ivo Vondrák (AECIA, 2015)

Introduction to Integration of the Process Mining to the Knowledge Framework for Software Processes. - Jakub Stolfa; Svatopluk Stolfa; Michael Alexander Kosinár; Václav Snásel (AECIA, 2015)

Formal Knowledge Framework for Software Processes Architecture. - Michael Alexander Kosinár; Jan Czopik; Jakub Stolfa (EJC, 2015)

Validation of Scrum Implementation with Knowledge Based Software Process Metamodel - Meta-modeling Support in Scrum Implementation. - Michael Alexander Kosinár; Svatopluk Stolfa; Jakub Stolfa (EuroSPI (2), 2024)