Anna Zamansky

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 84

Top Venues

ACI

CoRR

ENASE

Publications

George Martvel, Ilan Shimshoni, Anna Zamansky
Automated Detection of Cat Facial Landmarks. Int. J. Comput. Vis. 132 (8) (2024)
George Martvel, Greta Abele, Annika Bremhorst, Chiara Canori, Nareed Farhat, Giulia Pedretti, Ilan Shimshoni, Anna Zamansky
DogFLW: Dog Facial Landmarks in the Wild Dataset. CoRR (2024)
Yotam Evron, Arava Tsoury, Anna Zamansky, Iris Reinhartz-Berger, Pnina Soffer
Inter-instance Data Impacts in Business Processes: A Model-based Analysis. CoRR (2024)
Nareed Farhat, Teddy Lazebnik, Joke Monteny, Christel Palmyre Henri Moons, Eline Wydooghe, Dirk van der Linden, Anna Zamansky
Digitally-Enhanced Dog Behavioral Testing: Getting Help from the Machine. CoRR (2023)
George Martvel, Ilan Shimshoni, Anna Zamansky
Automated Detection of Cat Facial Landmarks. CoRR (2023)
Dinu Gavojdian, Teddy Lazebnik, Madalina Mincu, Ariel Oren, Ioana Nicolae, Anna Zamansky
BovineTalk: Machine Learning for Vocalization Analysis of Dairy Cattle under Negative Affective States. CoRR (2023)
Jennifer Magana, Dinu Gavojdian, Yakir Menachem, Teddy Lazebnik, Anna Zamansky, Amber Adams-Progar
Machine Learning Approaches to Predict and Detect Early-Onset of Digital Dermatitis in Dairy Cows using Sensor Data. CoRR (2023)
George Martvel, Nareed Farhat, Ilan Shimshoni, Anna Zamansky
CatFLW: Cat Facial Landmarks in the Wild Dataset. CoRR (2023)
Sofia Broomé, Marcelo Feighelstein, Anna Zamansky, Gabriel Carreira Lencioni, Pia Haubro Andersen, Francisca Pessanha, Marwa Mahmoud, Hedvig Kjellström, Albert Ali Salah
Going Deeper than Tracking: A Survey of Computer-Vision Based Recognition of Animal Pain and Emotions. Int. J. Comput. Vis. 131 (2) (2023)
Dirk van der Linden, Brittany I. Davidson, Orit Hirsch-Matsioulas, Anna Zamansky
On the role of technology in human-dog relationships: a future filled with dreams or nightmares? CoRR (2022)
Yael Hazan, Orit Hirsch-Matsioulas, Dirk van der Linden, Anna Zamansky
How Can Technology Support Dog Shelters in Behavioral Assessment: an Exploratory Study. ACI (2022)
Tali Boneh-Shitrit, Shir Amir, Annika Bremhorst, Daniel S. Mills, Stefanie Riemer, Dror Fried, Anna Zamansky
Deep Learning Models for Automated Classification of Dog Emotional States from Facial Expressions. CoRR (2022)
Iris Reinhartz-Berger, Anna Zamansky
Reuse of Similarly Behaving Software Through Polymorphism-Inspired Variability Mechanisms. IEEE Trans. Software Eng. 48 (3) (2022)
Sofia Broomé, Marcelo Feighelstein, Anna Zamansky, Gabriel Carreira Lencioni, Pia Haubro Andersen, Francisca Pessanha, Marwa Mahmoud, Hedvig Kjellström, Albert Ali Salah
Going Deeper than Tracking: a Survey of Computer-Vision Based Recognition of Animal Pain and Affective States. CoRR (2022)
Marcelo Feighelstein, Einat Kovalyo, Jennifer Abrams, Sarah-Elisabeth Byosiere, Anna Zamansky
Do AI Models "Like" Black Dogs? Towards Exploring Perceptions of Dogs with Vision-Language Models. ACI (2022)
Yotam Evron, Pnina Soffer, Anna Zamansky
Model-based Analysis of Data Inaccuracy Awareness in Business Processes. Bus. Inf. Syst. Eng. 64 (2) (2022)
Fiona French, Ilyena Hirskyj-Douglas, Heli Väätäjä, Patricia Pons, Sabrina Karl, Yoram Chisik, Eleonora Nannoni, Anna Zamansky, Mandeep Mangat, Patrizia Paci, Haruka Kasuga, Dana Vilker
Ethics and Power Dynamics in Playful Technology for Animals: Using speculative design to provoke reflection. MindTrek (2021)
Daphna Golan-Shemesh, Tsippy Lotan, Yana Zadorozhnaya, Anna Zamansky, Tamar Brilant, Kira Ablamunits, Dirk van der Linden
Exploring Digitalization of Animal-Assisted Reading. ACI (2021)
Dirk van der Linden, Hava Dayan, Anna Zamansky, Irit Hadar
Murder, She Modeled: Modeling to Support Crimino-Forensic Processes. BPMDS/EMMSAD@CAiSE (2021)
Dirk van der Linden, Ola Aleksandra Michalec, Anna Zamansky
Cybersecurity for Smart Farming: Socio-Cultural Context Matters. IEEE Technol. Soc. Mag. 39 (4) (2020)
Orit Hirsch-Matsioulas, Anna Zamansky
Who Moved My Culture?: Expanding Anthropological Perspectives in ACI. ACI (2020)
Tom Menaker, Anna Zamansky, Dirk van der Linden, Dmitry I. Kaplun, Aleksandr Sinitica, Sabrina Karl, Ludwig Huber
Towards a Methodology for Data-Driven Automatic Analysis of Animal Behavioral Patterns. ACI (2020)
Dirk van der Linden, Matthew Edwards, Irit Hadar, Anna Zamansky
Pets without PETs: on pet owners' under-estimation of privacy concerns in pet wearables. Proc. Priv. Enhancing Technol. 2020 (1) (2020)
Arnon Avron, Anna Zamansky
Paraconsistency, self-extensionality, modality. Log. J. IGPL 28 (5) (2020)
Anna Zamansky, Aleksandr Sinitca, Dmitry I. Kaplun, Luisa M. L. Dutra, Robert J. Young
Automatic Estimation of Dog Age: The DogAge Dataset and Challenge. ICANN (3) (2019)
Anna Zamansky
On recent applications of paraconsistent logic: an exploratory literature review. J. Appl. Non Class. Logics 29 (4) (2019)
Anna Zamansky, Dirk van der Linden, Irit Hadar, Stephane Bleuer-Elsner
Log My Dog: Perceived Impact of Dog Activity Tracking. Computer 52 (9) (2019)
Dirk van der Linden, Emma J. Williams, Irit Hadar, Anna Zamansky
Some might freak out: What if your dog's activity tracker were to have a data breach? ACI (2019)
Anna Zamansky, Maria Spichkova
A Set-based Logical Language for Specification of Combinatorial Models. ACSW (2019)
Fiona French, Sofya Baskin, Reinhard Gupfinger, Sarah Webber, Anna Zamansky
ZooJamming: Designing Beyond Human Experience. ICGJ (2019)
Irit Hadar, Anna Zamansky, Daniel M. Berry
The inconsistency between theory and practice in managing inconsistency in requirements engineering. Empir. Softw. Eng. 24 (6) (2019)
Dirk van der Linden, Anna Zamansky, Irit Hadar, Barnaby Craggs
Developing for non-human users: Reflecting on practical implications in the ubiquitous computing era. J. Ind. Inf. Integr. 14 (2019)
Dmitrij Kaplun, Aleksandr Sinitca, Anna Zamansky, Stephane Bleuer-Elsner, Michael Plazner, Asaf Fux, Dirk van der Linden
Animal Health Informatics: Towards a Generic Framework for Automatic Behavior Analysis Position Paper. HEALTHINF (2019)
Dirk van der Linden, Irit Hadar, Anna Zamansky
What practitioners really want: requirements for visual notations in conceptual modeling. Softw. Syst. Model. 18 (3) (2019)
Kopo M. Ramokapane, Dirk van der Linden, Anna Zamansky
Does my dog really need a gadget?: What can we learn from pet owners' amotivations for using pet wearables? ACI (2019)
Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky
Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools. Description Logic, Theory Combination, and All That (2019)
Dirk van der Linden, Anna Zamansky, Irit Hadar, Barnaby Craggs, Awais Rashid
Buddy's Wearable Is Not Your Buddy: Privacy Implications of Pet Wearables. IEEE Secur. Priv. 17 (3) (2019)
Anna Zamansky, Aleksandr Sinitca, Dmitry I. Kaplun, Michael Plazner, Ivana G. Schork, Robert J. Young, Cristiano S. de Azevedo
Analysis of Dogs' Sleep Patterns Using Convolutional Neural Networks. ICANN (3) (2019)
Iris Reinhartz-Berger, Anna Zamansky, Agnes Koschmider
Towards Privacy-aware Software Reuse. MODELSWARD (2019)
Dirk van der Linden, Brittany I. Davidson, Anna Zamansky
The not so secret life of pets: pet owners' privacy concerns for pet location data. ACI (2019)
Ofer Arieli, Anna Zamansky
Preface. FLAP 6 (2) (2019)
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
Towards Classification of Lightweight Formal Methods. CoRR (2018)
Anna Zamansky, Dirk van der Linden
Activity Trackers for Raising Guide Dogs: Challenges and Opportunities. IEEE Technol. Soc. Mag. 37 (4) (2018)
Bruno Bouchard, Kevin Bouchard, Noam Brown, Niyati Chhaya, Eitan Farchi, Sébastien Gaboury, Christopher W. Geib, Amelie Gyrard, Kokil Jaidka, Sarah Keren, Roni Khardon, Parisa Kordjamshidi, David R. Martinez, Nicholas Mattei, Martin Michalowski, Reuth Mirsky, Joseph C. Osborn, Cem Sahin, Onn Shehory, Arash Shaban-Nejad, Amit P. Sheth, Ilan Shimshoni, Howard E. Shrobe, Arunesh Sinha, Atanu R. Sinha, Biplav Srivastava, William W. Streilein, Georgios Theocharous, Kristen Brent Venable, Neal Wagner, Anna Zamansky
Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence. AI Mag. 39 (4) (2018)
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
Towards Classification of Lightweight Formal Methods. ENASE (2018)
Iris Reinhartz-Berger, Anna Zamansky
A Behavior-Based Framework for Assessing Product Line-Ability. CAiSE (2018)
Iris Reinhartz-Berger, Anna Zamansky
VarMeR - A Variability Mechanisms Recommender for Software Artifacts. CAiSE-Forum-DC (2017)
Yotam Evron, Pnina Soffer, Anna Zamansky
Incorporating Data Inaccuracy Considerations in Process Models. BPMDS/EMMSAD@CAiSE (2017)
Johann A. Makowsky, Anna Zamansky
Keeping logic in the trivium of computer science: a teaching perspective. Formal Methods Syst. Des. 51 (2) (2017)
Anna Zamansky, Dirk van der Linden, Sofya Baskin
Teaching Animal-Computer Interaction: an Experience Report. ACI (2017)
Fiona French, Sofya Baskin, Billy Wallace, Adrian David Cheok, Anna Zamansky, Eleonora Nannoni
FarmJam 2017: Designing Enrichment for Farm Animals. ACI (2017)
Anna Zamansky, Dirk van der Linden, Sofya Baskin, Vitaliya Kononova
Is My Dog "Playing" Tablet Games?: Exploring Human Perceptions of Dog-Tablet Interactions. CHI PLAY (2017)
Yotam Evron, Pnina Soffer, Anna Zamansky
Design-Time Analysis of Data Inaccuracy Awareness at Runtime. Business Process Management Workshops (2017)
Anna Zamansky, Iris Reinhartz-Berger
Visualizing Code Variabilities for Supporting Reuse Decisions. SCME-iStarT@ER (2017)
Anna Zamansky, Amanda Roshier, Clara Mancini, Emily C. Collins, Carol Hall, Katie Grillaert, Ann Morrison, Steve North, Hanna Wirman
A Report on the First International Workshop on Research Methods in Animal-Computer Interaction. CHI Extended Abstracts (2017)
Anna Zamansky
Teaching Logic to Information Systems Student: A Student-centric Approach. FLAP 4 (1) (2017)
Anna Zamansky, Dirk van der Linden, Sofya Baskin
Pushing Boundaries of RE: Requirement Elicitation for Non-human Users. RE (2017)
Anna Zamansky, Amir Shwartz, Seri Khoury, Eitan Farchi
A Composition-Based Method for Combinatorial Test Design. ICST Workshops (2017)
Dirk van der Linden, Anna Zamansky, Irit Hadar
A Framework for Improving the Verifiability of Visual Notation Design Grounded in the Physics of Notations. RE (2017)
Shir Amir, Anna Zamansky, Dirk van der Linden
K9-Blyzer: Towards Video-Based Automatic Analysis of Canine Behavior. ACI (2017)
Dirk van der Linden, Anna Zamansky
Agile with Animals: Towards a Development Method. RE Workshops (2017)
Dirk van der Linden, Irit Hadar, Anna Zamansky
On the Requirement from Practice for Meaningful Variability in Visual Notation. BPMDS/EMMSAD@CAiSE (2017)
Dirk van der Linden, Anna Zamansky, Irit Hadar
How Cognitively Effective is a Visual Notation? On the Inherent Difficulty of Operationalizing the Physics of Notations. BMMDS/EMMSAD (2016)
Iris Reinhartz-Berger, Anna Zamansky, Yair Wand
An Ontological Approach for Identifying Software Variants: Specialization and Template Instantiation. ER (2016)
Anna Zamansky, Yoni Zohar
'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts. CAiSE Workshops (2016)
Yoni Zohar, Anna Zamansky
Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi. IJCAR (2016)
Maria Spichkova, Anna Zamansky
A Human-centred Framework for Combinatorial Test Design. ENASE (2016)
Hanna Wirman, Anna Zamansky
Toward characterization of playful ACI. Interactions 23 (4) (2016)
Anna Zamansky
Dog-drone interactions: towards an ACI perspective. ACI (2016)
Anna Zamansky, Irit Hadar, Daniel M. Berry
Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff. ENASE (2016)
Sofya Baskin, Anna Zamansky, Vitaliya Kononova
Exploring human perceptions of dog-tablet playful interactions. ACI (2016)
Maria Spichkova, Anna Zamansky, Eitan Farchi
A Visual Logical Language for System Modelling in Combinatorial Test Design. CAiSE Workshops (2016)
Ofer Arieli, Anna Zamansky
Preface. Log. J. IGPL 24 (3) (2016)
Anna Zamansky, Amanda Roshier
Exploring research methods for ACI (RM4ACI). ACI (2016)
Ofer Arieli, Anna Zamansky
A graded approach to database repair by context-aware distance semantics. Fuzzy Sets Syst. 298 (2016)
Ofer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky
Foreword. J. Log. Comput. 26 (1) (2016)
Maria Spichkova, Anna Zamansky
AHR: Human-Centred Aspects of Test Design. ENASE (Selected Papers) (2016)
Thomas Vetterlein, Anna Zamansky
Reasoning with graded information: The case of diagnostic rating scales in healthcare. Fuzzy Sets Syst. 298 (2016)
Maria Spichkova, Anna Zamansky
A Human-Centred Framework for Supporting Agile Model-Based Testing. CAiSE Forum (2016)
Maria Spichkova, Anna Zamansky, Eitan Farchi
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. CoRR (2016)
Maria Spichkova, Anna Zamansky
Teaching of Formal Methods for Software Engineering. ENASE (2016)
Dirk van der Linden, Irit Hadar, Anna Zamansky
Towards a Marketplace of Visual Elements for Notation Design. RE (2016)
Arnon Avron, Anna Zamansky
A paraconsistent view on B and S5. Advances in Modal Logic (2016)
Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova
Formal Methods in Collaborative Projects. ENASE (2016)
Anna Zamansky, Eitan Farchi
Teaching Logic to Information Systems Students: Challenges and Opportunities. CoRR (2015)
Alexander Borgida, Ivan Jureta, Anna Zamansky
Towards a general formal framework of Coherence Management in RE. RE (2015)
Maria Spichkova, Anna Zamansky, Eitan Farchi
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. ICPADS (2015)
Sofya Baskin, Sharon Anavi-Goffer, Anna Zamansky
Serious Games: Is Your User Playing or Hunting? ICEC (2015)
Sofya Baskin, Anna Zamansky
The Player is Chewing the Tablet!: Towards a Systematic Analysis of User Behavior in Animal-Computer Interaction. CHI PLAY (2015)
Iris Reinhartz-Berger, Anna Zamansky, Yair Wand
Taming Software Variability: Ontological Foundations of Variability Mechanisms. ER (2015)
Iris Reinhartz-Berger, Anna Zamansky, Mark Kemelman
Analyzing Variability of Cloned Artifacts: Formal Framework and Its Application to Requirements. BMMDS/EMMSAD (2015)
Anna Zamansky, Eitan Farchi
Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. SEFM Workshops (2015)
Arnon Avron, Beata Konikowska, Anna Zamansky
Efficient reasoning with inconsistent information using C-systems. Inf. Sci. 296 (2015)
Ofer Arieli, Anna Zamansky
A dissimilarity-based framework for generating inconsistency-tolerant logics. Ann. Math. Artif. Intell. 73 (1-2) (2015)
Irit Hadar, Anna Zamansky
When a Paradigm is Inconsistent with Intuition: The Case of Inconsistency Management. CAiSE Workshops (2015)
Irit Hadar, Anna Zamansky
Cognitive factors in inconsistency management. RE (2015)
Anna Zamansky, Eitan Farchi
Exploring the Role of Logic and Formal Methods in Information Systems Education. SEFM Workshops (2015)
Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. ACM Trans. Comput. Log. 16 (1) (2014)
Anna Zamansky, Ofer Arieli, Kostas Stefanidis
Context-Aware Distance Semantics for Inconsistent Database Systems. IPMU (2) (2014)
Matthias Baaz, Ori Lahav, Anna Zamansky
Finite-valued Semantics for Canonical Labelled Calculi. J. Autom. Reason. 51 (4) (2013)

Anna Zamansky.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Anna Zamansky