Anna Zamansky
Orcid: 0000-0001-8350-4068
According to our database1,
Anna Zamansky
authored at least 131 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
2023
Going Deeper than Tracking: A Survey of Computer-Vision Based Recognition of Animal Pain and Emotions.
Int. J. Comput. Vis., 2023
Machine Learning Approaches to Predict and Detect Early-Onset of Digital Dermatitis in Dairy Cows using Sensor Data.
CoRR, 2023
BovineTalk: Machine Learning for Vocalization Analysis of Dairy Cattle under Negative Affective States.
CoRR, 2023
2022
Reuse of Similarly Behaving Software Through Polymorphism-Inspired Variability Mechanisms.
IEEE Trans. Software Eng., 2022
Going Deeper than Tracking: a Survey of Computer-Vision Based Recognition of Animal Pain and Affective States.
CoRR, 2022
Deep Learning Models for Automated Classification of Dog Emotional States from Facial Expressions.
CoRR, 2022
On the role of technology in human-dog relationships: a future filled with dreams or nightmares?
CoRR, 2022
Bus. Inf. Syst. Eng., 2022
How Can Technology Support Dog Shelters in Behavioral Assessment: an Exploratory Study.
Proceedings of the Ninth International Conference on Animal-Computer Interaction, 2022
Do AI Models "Like" Black Dogs? Towards Exploring Perceptions of Dogs with Vision-Language Models.
Proceedings of the Ninth International Conference on Animal-Computer Interaction, 2022
2021
Ethics and Power Dynamics in Playful Technology for Animals: Using speculative design to provoke reflection.
Proceedings of the Mindtrek '21: Academic Mindtrek 2021, 2021
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2021
Proceedings of the ACI'21: Eight International Conference on Animal-Computer Interaction, Bloomington, IN, USA, November 8, 2021
2020
IEEE Technol. Soc. Mag., 2020
Pets without PETs: on pet owners' under-estimation of privacy concerns in pet wearables.
Proc. Priv. Enhancing Technol., 2020
Towards a Methodology for Data-Driven Automatic Analysis of Animal Behavioral Patterns.
Proceedings of the ACI'2020: Seventh International Conference on Animal-Computer Interaction, 2020
Proceedings of the ACI'2020: Seventh International Conference on Animal-Computer Interaction, 2020
2019
What practitioners really want: requirements for visual notations in conceptual modeling.
Softw. Syst. Model., 2019
Developing for non-human users: Reflecting on practical implications in the ubiquitous computing era.
J. Ind. Inf. Integr., 2019
J. Appl. Non Class. Logics, 2019
IEEE Secur. Priv., 2019
The inconsistency between theory and practice in managing inconsistency in requirements engineering.
Empir. Softw. Eng., 2019
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
Proceedings of the International Conference on Game Jams, 2019
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing, 2019
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing, 2019
Proceedings of the Description Logic, Theory Combination, and All That, 2019
Animal Health Informatics: Towards a Generic Framework for Automatic Behavior Analysis Position Paper.
Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019
Does my dog really need a gadget?: What can we learn from pet owners' amotivations for using pet wearables?
Proceedings of the ACI'19: Sixth International Conference on Animal-Computer Interaction, 2019
Some might freak out: What if your dog's activity tracker were to have a data breach?
Proceedings of the ACI'19: Sixth International Conference on Animal-Computer Interaction, 2019
Proceedings of the ACI'19: Sixth International Conference on Animal-Computer Interaction, 2019
Proceedings of the Australasian Computer Science Week Multiconference, 2019
2018
IEEE Technol. Soc. Mag., 2018
AI Mag., 2018
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018
Proceedings of the Advanced Information Systems Engineering, 2018
2017
Formal Methods Syst. Des., 2017
FLAP, 2017
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
A Framework for Improving the Verifiability of Visual Notation Design Grounded in the Physics of Notations.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 5th Symposium on Conceptual Modeling Education and the 2nd International iStar Teaching Workshop co-located with the 36th International Conference on Conceptual Modeling (ER 2017), 2017
Is My Dog "Playing" Tablet Games?: Exploring Human Perceptions of Dog-Tablet Interactions.
Proceedings of the Annual Symposium on Computer-Human Interaction in Play, 2017
A Report on the First International Workshop on Research Methods in Animal-Computer Interaction.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017
Proceedings of the Forum and Doctoral Consortium Papers Presented at the 29th International Conference on Advanced Information Systems Engineering, 2017
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2017
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2017
Proceedings of the Business Process Management Workshops, 2017
Proceedings of the Fourth International Conference on Animal-Computer Interaction, 2017
Proceedings of the Fourth International Conference on Animal-Computer Interaction, 2017
Proceedings of the Fourth International Conference on Animal-Computer Interaction, 2017
2016
Reasoning with graded information: The case of diagnostic rating scales in healthcare.
Fuzzy Sets Syst., 2016
Fuzzy Sets Syst., 2016
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
An Ontological Approach for Identifying Software Variants: Specialization and Template Instantiation.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016
Proceedings of the ENASE 2016, 2016
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016
Proceedings of the ENASE 2016, 2016
Proceedings of the ENASE 2016, 2016
'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts.
Proceedings of the Advanced Information Systems Engineering Workshops, 2016
Proceedings of the Advanced Information Systems Engineering Workshops, 2016
Proceedings of the CAiSE'16 Forum, 2016
How Cognitively Effective is a Visual Notation? On the Inherent Difficulty of Operationalizing the Physics of Notations.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2016
Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
Proceedings of the Third International Conference on Animal-Computer Interaction, 2016
Proceedings of the Third International Conference on Animal-Computer Interaction, 2016
Proceedings of the Third International Conference on Animal-Computer Interaction, 2016
Proceedings of the Advances in Modal Logic 11, 2016
2015
CoRR, 2015
Ann. Math. Artif. Intell., 2015
Proceedings of the Software Engineering and Formal Methods, 2015
Proceedings of the Software Engineering and Formal Methods, 2015
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015
Proceedings of the Entertainment Computing - ICEC 2015 - 14th International Conference, 2015
Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015
Proceedings of the Conceptual Modeling - 34th International Conference, 2015
The Player is Chewing the Tablet!: Towards a Systematic Analysis of User Behavior in Animal-Computer Interaction.
Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play, 2015
Analyzing Variability of Cloned Artifacts: Formal Framework and Its Application to Requirements.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2015
When a Paradigm is Inconsistent with Intuition: The Case of Inconsistency Management.
Proceedings of the Advanced Information Systems Engineering Workshops, 2015
2014
ACM Trans. Comput. Log., 2014
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014
2013
J. Log. Comput., 2013
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013
2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
Proceedings of the Foundations of Information and Knowledge Systems, 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2011
Stud Logica, 2011
J. Appl. Log., 2011
A framework for reasoning under uncertainty based on non-deterministic distance semantics.
Int. J. Approx. Reason., 2011
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
Proceedings of the IJCAI 2011, 2011
2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010
2009
Log. J. IGPL, 2009
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009
Proceedings of the Computer Science, 2009
2008
Proceedings of the Logic, 2008
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.
Proceedings of the Computer Science, 2008
Proceedings of the Advances in Artificial Intelligence , 2008
Proceedings of the Artificial General Intelligence 2008, 2008
2007
J. Multiple Valued Log. Soft Comput., 2007
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.
Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007
2006
J. Log. Lang. Inf., 2006
Proceedings of the Proceedings, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency.
Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006
2005
Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005