| 2025 | EJC | Implementation of Transparent Intensional Logic Framework in Haskell. | Samuel Novotn, Marie Duz, William Steingartner |
| 2025 | EJC | Towards Resolving Type Incoherence in Transparent Intensional Logic. | Samuel Novotn, Marie Duz, William Steingartner, Jn Perhc |
| 2022 | EJC | 'Knowing-that' vs. 'Knowing-wh'. | Marie Duz |
| 2020 | EJC | Search for Appropriate Textual Information Sources. | Adam Albert, Marie Duz, Marek Mensk, Miroslav Pajr, Vojtech Patschka |
| 2020 | ICAART | Integrating Special Rules Rooted in Natural Language Semantics into the System of Natural Deduction. | Marie Duz, Michal Fait |
| 2019 | EJC | Question-Answering System in the TIL-Script Language. | Marie Duz, Michal Fait |
| 2019 | EJC | Towards a Great Design of Conceptual Modelling. | Yasushi Kiyoki, Bernhard Thalheim, Marie Duz, Hannu Jaakkola, Petchporn Chawakitchareon, Anneli Heimbrger |
| 2019 | EJC | Machine Learning Using TIL. | Marek Mensk, Marie Duz, Adam Albert, Vojtech Patschka, Miroslav Pajr |
| 2018 | EJC | Type Checking Algorithm for the TIL-Script Language. | Marie Duz, Michal Fait |
| 2018 | EJC | Natural Deduction System in the TIL-Script Language. | Marie Duz, Marek Mensk, Miroslav Pajr, Vojtech Patschka |
| 2017 | EJC | Logic of Dynamic Discourse; Anaphora Resolution. | Marie Duz |
| 2017 | EJC | The Role of Beta Conversion in Functional Programming. | Marek Mensk, Marie Duz, Jakub Kermaschek |
| 2016 | EJC | Logic of Inferable Knowledge. | Marie Duz, Marek Mensk |
| 2014 | EJC | eLogika - the system for teaching logic. | Marek Mensk, Marie Duz, Jakub Gerlich |
| 2013 | EJC | Logical Specification of Processes. | Martina Chalov, Marie Duz, Marek Mensk |
| 2013 | EJC | Cross-Cultural Communication with Icons and Images. | Anneli Heimbrger, Marie Duz, Yasushi Kiyoki, Shiori Sasaki, Sukanya Khanom |
| 2012 | EJC | Knowledge-base approach to software-process development based on TIL. | Marie Duz, Michal Kosinr, Jan Kozusznk, Svatopluk Stolfa |
| 2012 | EJC | Document Similarity. | Marie Duz, Marek Mensk, Michal Perdek |
| 2010 | EJC | Ontology as a Logic of Intensions. | Marie Duz, Martina Chalov, Marek Mensk |
| 2010 | ENASE | Know How and Know What for Software Processes. | Jan Kozusznk, Svatopluk Stolfa, Marie Duz, Michal Kosinr, Martina Chalov |
| 2009 | CICLING | Topic-Focus Articulation from the Semantic Point of View. | Marie Duz |
| 2009 | EJC | Agents' reasoning using TIL-Script and Prolog. | Martina Chalov, Nikola Ciprich, Marie Duz, Marek Mensk |
| 2009 | EJC | Knowledge Modeling, Management and Utilization towards Next Generation Web. | Yutaka Kidawara, Koji Zettsu, Yasushi Kiyoki, Kai Jannaschk, Bernhard Thalheim, Petri Linna, Hannu Jaakkola, Marie Duz |
| 2008 | EJC | The Architecture of an Intelligent Agent in MAS. | Nikola Ciprich, Marie Duz, Toms Frydrych, Ondrej Kohut, Michal Kosinr |
| 2008 | EJC | The TIL-Script Language. | Nikola Ciprich, Marie Duz, Michal Kosinr |
| 2008 | EJC | Multi-Agent Knowledge Modelling. | Marie Duz, Anneli Heimbrger, Takehiro Tokuda, Peter Vojts, Naofumi Yoshida |
| 2008 | EJC | Concepts and Ontologies. | Marie Duz, Pavel Materna |
| 2007 | EJC | Multi-Criterion Search from the Semantic Point of View - (Comparing TIL and Description Logic). | Marie Duz, Peter Vojts |
| 2006 | EJC | Logic and Artificial Intelligence for Multi-Agent Systems. | Marie Duz, Daniela Durkov, Pavel Dergel, Petr Gajdos, Jaroslav Mller |
| 2005 | EJC | Web Ontology Languages: theory and practice - will they ever meet? | Marie Duz, Anneli Heimbrger |
| 2003 | EJC | Concepts, Language and Ontologies (from a Logical Point of View). | Marie Duz |
| 2000 | EJC | Logical Foundations of Conceptual Modelling Using HIT Data Model. | Marie Duz |
| 2000 | EJC | A Contribution to the Discussion on Concept Theory. | Marie Duz |
| 1992 | ICDT | Semantic Information Connected with Data. | Marie Duz |