Anna Zamansky

According to our database1, Anna Zamansky authored at least 105 papers between 2005 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
What practitioners really want: requirements for visual notations in conceptual modeling.
Software and Systems Modeling, 2019

Buddy's Wearable Is Not Your Buddy: Privacy Implications of Pet Wearables.
IEEE Security & Privacy, 2019

Preface.
FLAP, 2019

Log My Dog: Perceived Impact of Dog Activity Tracking.
IEEE Computer, 2019

Towards Privacy-aware Software Reuse.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

ZooJamming: Designing Beyond Human Experience.
Proceedings of the International Conference on Game Jams, 2019

Analysis of Dogs' Sleep Patterns Using Convolutional Neural Networks.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing, 2019

Automatic Estimation of Dog Age: The DogAge Dataset and Challenge.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing, 2019

Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools.
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

A Set-based Logical Language for Specification of Combinatorial Models.
Proceedings of the Australasian Computer Science Week Multiconference, 2019

2018
Activity Trackers for Raising Guide Dogs: Challenges and Opportunities.
IEEE Technol. Soc. Mag., 2018

Towards Classification of Lightweight Formal Methods.
CoRR, 2018

Towards Classification of Lightweight Formal Methods.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

A Behavior-Based Framework for Assessing Product Line-Ability.
Proceedings of the Advanced Information Systems Engineering, 2018

2017
Keeping logic in the trivium of computer science: a teaching perspective.
Formal Methods in System Design, 2017

Teaching Logic to Information Systems Student: A Student-centric Approach.
FLAP, 2017

Pushing Boundaries of RE: Requirement Elicitation for Non-human Users.
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

Agile with Animals: Towards a Development Method.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

A Composition-Based Method for Combinatorial Test Design.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Visualizing Code Variabilities for Supporting Reuse Decisions.
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

VarMeR - A Variability Mechanisms Recommender for Software Artifacts.
Proceedings of the Forum and Doctoral Consortium Papers Presented at the 29th International Conference on Advanced Information Systems Engineering, 2017

On the Requirement from Practice for Meaningful Variability in Visual Notation.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2017

Incorporating Data Inaccuracy Considerations in Process Models.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2017

Design-Time Analysis of Data Inaccuracy Awareness at Runtime.
Proceedings of the Business Process Management Workshops, 2017

Teaching Animal-Computer Interaction: an Experience Report.
Proceedings of the Fourth International Conference on Animal-Computer Interaction, 2017

FarmJam 2017: Designing Enrichment for Farm Animals.
Proceedings of the Fourth International Conference on Animal-Computer Interaction, 2017

K9-Blyzer: Towards Video-Based Automatic Analysis of Canine Behavior.
Proceedings of the Fourth International Conference on Animal-Computer Interaction, 2017

2016
Foreword.
J. Log. Comput., 2016

Toward characterization of playful ACI.
Interactions, 2016

Preface.
Logic Journal of the IGPL, 2016

Reasoning with graded information: The case of diagnostic rating scales in healthcare.
Fuzzy Sets and Systems, 2016

A graded approach to database repair by context-aware distance semantics.
Fuzzy Sets and Systems, 2016

Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems.
CoRR, 2016

Towards a Marketplace of Visual Elements for Notation Design.
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

Formal Methods in Collaborative Projects.
Proceedings of the ENASE 2016, 2016

Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff.
Proceedings of the ENASE 2016, 2016

AHR: Human-Centred Aspects of Test Design.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

Teaching of Formal Methods for Software Engineering.
Proceedings of the ENASE 2016, 2016

A Human-centred Framework for Combinatorial Test Design.
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

A Visual Logical Language for System Modelling in Combinatorial Test Design.
Proceedings of the Advanced Information Systems Engineering Workshops, 2016

A Human-Centred Framework for Supporting Agile Model-Based Testing.
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

Exploring research methods for ACI (RM4ACI).
Proceedings of the Third International Conference on Animal-Computer Interaction, 2016

Dog-drone interactions: towards an ACI perspective.
Proceedings of the Third International Conference on Animal-Computer Interaction, 2016

Exploring human perceptions of dog-tablet playful interactions.
Proceedings of the Third International Conference on Animal-Computer Interaction, 2016

A paraconsistent view on B and S5.
Proceedings of the Advances in Modal Logic 11, 2016

2015
Efficient reasoning with inconsistent information using C-systems.
Inf. Sci., 2015

Teaching Logic to Information Systems Students: Challenges and Opportunities.
CoRR, 2015

A dissimilarity-based framework for generating inconsistency-tolerant logics.
Ann. Math. Artif. Intell., 2015

Exploring the Role of Logic and Formal Methods in Information Systems Education.
Proceedings of the Software Engineering and Formal Methods, 2015

Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design.
Proceedings of the Software Engineering and Formal Methods, 2015

Cognitive factors in inconsistency management.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Towards a general formal framework of Coherence Management in RE.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Serious Games: Is Your User Playing or Hunting?
Proceedings of the Entertainment Computing - ICEC 2015 - 14th International Conference, 2015

Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems.
Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Taming Software Variability: Ontological Foundations of Variability Mechanisms.
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
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach.
ACM Trans. Comput. Log., 2014

Context-Aware Distance Semantics for Inconsistent Database Systems.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

2013
Cut-free sequent calculi for C-systems with generalized finite-valued semantics.
J. Log. Comput., 2013

Finite-valued Semantics for Canonical Labelled Calculi.
J. Autom. Reasoning, 2013

Automated Support for the Investigation of Paraconsistent and Other Logics.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012
Canonical signed calculi with multi-ary quantifiers.
Ann. Pure Appl. Logic, 2012

Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics.
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

Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities.
Proceedings of the Foundations of Information and Knowledge Systems, 2012

Effective Finite-Valued Semantics for Labelled Calculi.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011
Ideal Paraconsistent Logics.
Studia Logica, 2011

Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.
Studia Logica, 2011

Simplified forms of computerized reasoning with distance semantics.
J. Applied Logic, 2011

A framework for reasoning under uncertainty based on non-deterministic distance semantics.
Int. J. Approx. Reasoning, 2011

Basic Constructive Connectives, Determinism and Matrix-Based Semantics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

What Is an Ideal Logic for Reasoning with Inconsistency?.
Proceedings of the IJCAI 2011, 2011

2010
On Strong Maximality of Paraconsistent Finite-Valued Logics.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Maximally Paraconsistent Three-Valued Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Similarity-Based Inconsistency-Tolerant Logics.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Non-deterministic Multi-valued Logics--A Tutorial.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009
Distance-based non-deterministic semantics for reasoning with uncertainty.
Logic Journal of the IGPL, 2009

Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.
Proceedings of the Computer Science, 2009

2008
Canonical Calculi with (n, k)-ary Quantifiers.
Logical Methods in Computer Science, 2008

Canonical calculi with (n,k)-ary quantifiers
CoRR, 2008

Reasoning with Uncertainty by Nmatrix-Metric Semantics.
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

Some Simplified Forms of Reasoning with Distance-Based Entailments.
Proceedings of the Advances in Artificial Intelligence , 2008

Distance-Based Non-Deterministic Semantics.
Proceedings of the Artificial General Intelligence 2008, 2008

2007
Effective Non-deterministic Semantics for First-order LFIs.
Multiple-Valued Logic and Soft Computing, 2007

Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers.
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
Cut-Elimination and Quantification in Canonical Systems.
Studia Logica, 2006

A 'Natural Logic' inference system using the Lambek calculus.
Journal of Logic, Language and Information, 2006

Non-Deterministic Semantics for First-Order Paraconsistent Logics.
Proceedings of the Proceedings, 2006

Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers.
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
Quantification in Non-Deterministic Multi-Valued Structures.
Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005


  Loading...