| 2026 | IUI | From Data to Dialogue: A Multi-Agent Chatbot Interface for Decision Support in Guide Dog Training. | Adir Solomon, Elena Shamis, Amihai Toren, Anna Zamansky |
| 2024 | BPM | Anticipating Data Inaccuracy Consequences in Business Processes: an Empirical Study. | Yotam Evron, Pnina Soffer, Anna Zamansky |
| 2021 | CaiSE | Murder, She Modeled: Modeling to Support Crimino-Forensic Processes. | Dirk van der Linden, Hava Dayan, Anna Zamansky, Irit Hadar |
| 2019 | ICANN | Automatic Estimation of Dog Age: The DogAge Dataset and Challenge. | Anna Zamansky, Aleksandr Sinitca, Dmitry I. Kaplun, Luisa M. L. Dutra, Robert J. Young |
| 2019 | ICANN | Analysis of Dogs' Sleep Patterns Using Convolutional Neural Networks. | Anna Zamansky, Aleksandr Sinitca, Dmitry I. Kaplun, Michael Plazner, Ivana G. Schork, Robert J. Young, Cristiano S. de Azevedo |
| 2019 | MODELSWARD | Towards Privacy-aware Software Reuse. | Iris Reinhartz-Berger, Anna Zamansky, Agnes Koschmider |
| 2018 | CaiSE | A Behavior-Based Framework for Assessing Product Line-Ability. | Iris Reinhartz-Berger, Anna Zamansky |
| 2018 | ENASE | Towards Classification of Lightweight Formal Methods. | Anna Zamansky, Maria Spichkova, Guillermo Rodrguez-Navas, Peter Herrmann, Jan Olaf Blech |
| 2017 | BPM | Design-Time Analysis of Data Inaccuracy Awareness at Runtime. | Yotam Evron, Pnina Soffer, Anna Zamansky |
| 2017 | CaiSE | Incorporating Data Inaccuracy Considerations in Process Models. | Yotam Evron, Pnina Soffer, Anna Zamansky |
| 2017 | CaiSE | On the Requirement from Practice for Meaningful Variability in Visual Notation. | Dirk van der Linden, Irit Hadar, Anna Zamansky |
| 2017 | CaiSE | VarMeR - A Variability Mechanisms Recommender for Software Artifacts. | Iris Reinhartz-Berger, Anna Zamansky |
| 2017 | CHI | A Report on the First International Workshop on Research Methods in Animal-Computer Interaction. | Anna Zamansky, Amanda Roshier, Clara Mancini, Emily C. Collins, Carol Hall, Katie Grillaert, Ann Morrison, Steve North, Hanna Wirman |
| 2017 | ER | Visualizing Code Variabilities for Supporting Reuse Decisions. | Anna Zamansky, Iris Reinhartz-Berger |
| 2017 | ICST | A Composition-Based Method for Combinatorial Test Design. | Anna Zamansky, Amir Shwartz, Seri Khoury, Eitan Farchi |
| 2017 | RE | Agile with Animals: Towards a Development Method. | Dirk van der Linden, Anna Zamansky |
| 2017 | RE | A Framework for Improving the Verifiability of Visual Notation Design Grounded in the Physics of Notations. | Dirk van der Linden, Anna Zamansky, Irit Hadar |
| 2017 | RE | Pushing Boundaries of RE: Requirement Elicitation for Non-human Users. | Anna Zamansky, Dirk van der Linden, Sofya Baskin |
| 2016 | AiML | A paraconsistent view on B and S5. | Arnon Avron, Anna Zamansky |
| 2016 | CADE | Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi. | Yoni Zohar, Anna Zamansky |
| 2016 | CaiSE | How Cognitively Effective is a Visual Notation? On the Inherent Difficulty of Operationalizing the Physics of Notations. | Dirk van der Linden, Anna Zamansky, Irit Hadar |
| 2016 | CaiSE | A Human-Centred Framework for Supporting Agile Model-Based Testing. | Maria Spichkova, Anna Zamansky |
| 2016 | CaiSE | A Visual Logical Language for System Modelling in Combinatorial Test Design. | Maria Spichkova, Anna Zamansky, Eitan Farchi |
| 2016 | CaiSE | 'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts. | Anna Zamansky, Yoni Zohar |
| 2016 | ENASE | A Human-centred Framework for Combinatorial Test Design. | Maria Spichkova, Anna Zamansky |
| 2016 | ENASE | Teaching of Formal Methods for Software Engineering. | Maria Spichkova, Anna Zamansky |
| 2016 | ENASE | AHR: Human-Centred Aspects of Test Design. | Maria Spichkova, Anna Zamansky |
| 2016 | ENASE | Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff. | Anna Zamansky, Irit Hadar, Daniel M. Berry |
| 2016 | ENASE | Formal Methods in Collaborative Projects. | Anna Zamansky, Guillermo Rodrguez-Navas, Mark Adams, Maria Spichkova |
| 2016 | ER | An Ontological Approach for Identifying Software Variants: Specialization and Template Instantiation. | Iris Reinhartz-Berger, Anna Zamansky, Yair Wand |
| 2016 | RE | Towards a Marketplace of Visual Elements for Notation Design. | Dirk van der Linden, Irit Hadar, Anna Zamansky |
| 2015 | CaiSE | When a Paradigm is Inconsistent with Intuition: The Case of Inconsistency Management. | Irit Hadar, Anna Zamansky |
| 2015 | CaiSE | Analyzing Variability of Cloned Artifacts: Formal Framework and Its Application to Requirements. | Iris Reinhartz-Berger, Anna Zamansky, Mark Kemelman |
| 2015 | ER | Taming Software Variability: Ontological Foundations of Variability Mechanisms. | Iris Reinhartz-Berger, Anna Zamansky, Yair Wand |
| 2015 | ICPADS | Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. | Maria Spichkova, Anna Zamansky, Eitan Farchi |
| 2015 | RE | Towards a general formal framework of Coherence Management in RE. | Alexander Borgida, Ivan Jureta, Anna Zamansky |
| 2015 | RE | Cognitive factors in inconsistency management. | Irit Hadar, Anna Zamansky |
| 2015 | SEFM | Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. | Anna Zamansky, Eitan Farchi |
| 2015 | SEFM | Exploring the Role of Logic and Formal Methods in Information Systems Education. | Anna Zamansky, Eitan Farchi |
| 2014 | IPMU | Context-Aware Distance Semantics for Inconsistent Database Systems. | Anna Zamansky, Ofer Arieli, Kostas Stefanidis |
| 2013 | LFCS | Automated Support for the Investigation of Paraconsistent and Other Logics. | Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky |
| 2012 | CADE | Effective Finite-Valued Semantics for Labelled Calculi. | Matthias Baaz, Ori Lahav, Anna Zamansky |
| 2012 | JELIA | A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information. | Anna Zamansky |
| 2012 | LICS | Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. | Arnon Avron, Beata Konikowska, Anna Zamansky |
| 2011 | IJCAI | What Is an Ideal Logic for Reasoning with Inconsistency?. | Ofer Arieli, Arnon Avron, Anna Zamansky |
| 2011 | TABLEAUX | Basic Constructive Connectives, Determinism and Matrix-Based Semantics. | Agata Ciabattoni, Ori Lahav, Anna Zamansky |
| 2010 | JELIA | Similarity-Based Inconsistency-Tolerant Logics. | Ofer Arieli, Anna Zamansky |
| 2010 | KR | Maximally Paraconsistent Three-Valued Logics. | Ofer Arieli, Arnon Avron, Anna Zamansky |
| 2010 | LICS | On Strong Maximality of Paraconsistent Finite-Valued Logics. | Arnon Avron, Ofer Arieli, Anna Zamansky |
| 2009 | CSR | Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. | Arnon Avron, Agata Ciabattoni, Anna Zamansky |
| 2009 | ECSQARU | Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. | Ofer Arieli, Anna Zamansky |
| 2009 | LFCS | Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. | Arnon Avron, Anna Zamansky |
| 2008 | AI | Some Simplified Forms of Reasoning with Distance-Based Entailments. | Ofer Arieli, Anna Zamansky |
| 2008 | CSR | A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. | Arnon Avron, Anna Zamansky |
| 2008 | WoLLIC | Reasoning with Uncertainty by Nmatrix-Metric Semantics. | Ofer Arieli, Anna Zamansky |
| 2007 | LFCS | Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. | Arnon Avron, Anna Zamansky |
| 2006 | CADE | Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. | Anna Zamansky, Arnon Avron |
| 2006 | KR | Non-Deterministic Semantics for First-Order Paraconsistent Logics. | Anna Zamansky, Arnon Avron |