Anna Zamansky

View Scopus Profile

Anna Zamansky

 https://orcid.org/0000-0001-8350-4068
    20022025

    Research activity per year

    Filter
    Conference contribution

    Search results

    • 2024

      Anticipating Data Inaccuracy Consequences in Business Processes: an Empirical Study

      Evron, Y., Soffer, P. & Zamansky, A., 2024, Business Process Management - 22nd International Conference, BPM 2024, Proceedings. Marrella, A., Resinas, M., Jans, M. & Rosemann, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 439-455 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14940 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Automated Pain Recognition in Horses from Facial Images

      Feighelstein, M., Dalla Costa, E., Spadavecchia, C., Comin, M. & Zamansky, A., 2024, 11th European Conference on Precision Livestock Farming. Berckmans, D., Tassinari, P. & Torreggiani, D. (eds.). European Conference on Precision Livestock Farming, p. 598-604 7 p. (11th European Conference on Precision Livestock Farming).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2022

      Do AI Models "like" Black Dogs? Towards Exploring Perceptions of Dogs with Vision-Language Models

      Feighelstein, M., Kovalyo, E., Abrams, J., Byosiere, S. E. & Zamansky, A., 5 Dec 2022, ACI 2022 - 9th International Conference on Animal-Computer Interaction: Defining Tomorrow. Association for Computing Machinery, 7. (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • How Can Technology Support Dog Shelters in Behavioral Assessment: An Exploratory Study

      Hazan, Y., Hirsch-Matsioulas, O., Van Der Linden, D. & Zamansky, A., 5 Dec 2022, ACI 2022 - 9th International Conference on Animal-Computer Interaction: Defining Tomorrow. Association for Computing Machinery, 8. (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2021

      Automatic Animal Behavior Analysis: Opportunities for Combining Knowledge Representation with Machine Learning

      Zamansky, A., Sinitca, A., Linden, D. V. D. & Kaplun, D., 2021, 14th International Symposium on Intelligent Systems, INTELS 2020. Vol. 186. p. 661-668 8 p. (Procedia Computer Science).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Ethics and Power Dynamics in Playful Technology for Animals: Using speculative design to provoke reflection

      French, F., Hirskyj-Douglas, I., Väätäjä, H., Pons, P., Karl, S., Chisik, Y., Nannoni, E., Zamansky, A., Mangat, M., Paci, P., Kasuga, H. & Vilker, D., 1 Jun 2021, Academic Mindtrek 2021 - Proceedings of the 24th International Academic Mindtrek Conference. Association for Computing Machinery, p. 91-101 11 p. (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Exploring Digitalization of Animal-Assisted Reading

      Golan-Shemesh, D., Lotan, T., Zadorozhnaya, Y., Zamansky, A., Brilant, T., Ablamunits, K. & Van Der Linden, D., 8 Nov 2021, ACI 2021 - 8th International Conference on Animal-Computer Interaction, Proceedings. Association for Computing Machinery, 4. (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Murder, She Modeled: Modeling to Support Crimino-Forensic Processes

      van der Linden, D., Dayan, H., Zamansky, A. & Hadar, I., 2021, Enterprise, Business-Process and Information Systems Modeling - 22nd International Conference, BPMDS 2021, and 26th International Conference, EMMSAD 2021, Held at CAiSE 2021, Proceedings. Augusto, A., Gill, A., Nurcan, S., Reinhartz-Berger, I., Schmidt, R. & Zdravkovic, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 318-331 14 p. (Lecture Notes in Business Information Processing; vol. 421).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2020

      Towards a Methodology for Data-Driven Automatic Analysis of Animal Behavioral Patterns

      Menaker, T., Zamansky, A., Van Der Linden, D., Kaplun, D., Sinitica, A., Karl, S. & Huber, L., 10 Nov 2020, ACI 2020: Embodied Dialogues - 7th International Conference on Animal-Computer Interaction, Proceedings. Association for Computing Machinery, 3446126. (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Who Moved My Culture? Expanding Anthropological Perspectives in ACI

      Hirsch-Matsioulas, O. & Zamansky, A., 10 Nov 2020, ACI 2020: Embodied Dialogues - 7th International Conference on Animal-Computer Interaction, Proceedings. Association for Computing Machinery, 3446124. (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2019

      Analysis of dogs’ sleep patterns using convolutional neural networks

      Zamansky, A., Sinitca, A. M., Kaplun, D. I., Plazner, M., Schork, I. G., Young, R. J. & de Azevedo, C. S., 2019, Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing - 28th International Conference on Artificial Neural Networks, 2019, Proceedings. Tetko, I. V., Karpov, P., Theis, F. & Kurková, V. (eds.). Springer Verlag, p. 472-483 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11729 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Animal health informatics: Towards a generic framework for automatic behavior analysis: Position paper

      Kaplun, D., Sinitca, A., Zamansky, A., Bleuer-Elsner, S., Plazner, M., Fux, A. & Van Der Linden, D., 2019, HEALTHINF 2019 - 12th International Conference on Health Informatics, Proceedings; Part of 12th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2019. Moucek, R., Fred, A. & Gamboa, H. (eds.). SciTePress, p. 436-441 6 p. (HEALTHINF 2019 - 12th International Conference on Health Informatics, Proceedings; Part of 12th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2019).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • A Set-based Logical Language for Specification of Combinatorial Models

      Zamansky, A. & Spichkova, M., 29 Jan 2019, Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2019. Association for Computing Machinery, a57. (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Automatic estimation of dog age: The dogage dataset and challenge

      Zamansky, A., Sinitca, A. M., Kaplun, D. I., Dutra, L. M. L. & Young, R. J., 2019, Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing - 28th International Conference on Artificial Neural Networks, 2019, Proceedings. Tetko, I. V., Karpov, P., Theis, F. & Kurková, V. (eds.). Springer Verlag, p. 421-426 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11729 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Software Architecture of the Automated Animal Behavior Analysis System

      Sinitca, A. M., Kaplun, D. I., Kovrigin, V. K. & Zamansky, A., Oct 2019, Proceedings of 2019 3rd International Conference on Control in Technical Systems, CTS 2019. Shaposhnikov, S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 245-248 4 p. 8973311. (Proceedings of 2019 3rd International Conference on Control in Technical Systems, CTS 2019).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • The not so secret life of pets: Pet owners' privacy concerns for PET location data

      van der Linden, D., Davidson, B. I. & Zamansky, A., 12 Nov 2019, ACI 2019 - 6th International Conference on Animal-Computer Interaction: Common Denominator, Proceedings. Association for Computing Machinery, 3371052. (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Towards Automatic Domain Engineering by Polymorphism-Inspired Recommendation

      REINHARTZ BERGER, I., Abbas, S. & ZAMANSKY, A., 2019, ME’2019 in conjunction with MODELS’2019. 9 p.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Towards privacy-aware software reuse

      Reinhartz-Berger, I., Zamansky, A. & Koschmider, A., 2019, MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). SciTePress, p. 450-455 6 p. (MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Towards Privacy-aware Software Reuse

      Reinhartz-Berger, I., Zamansky, A. & Koschmider, A., 2019, MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development. Selić, B. (ed.). Science and Technology Publications, Lda, p. 448-453 6 p. (International Conference on Model-Driven Engineering and Software Development).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Trends in animal welfare and veterinary informatics

      Kaplun, D. I., Sinitca, A. M., Romanov, S. A., Zamansky, A., Bleuer-Elsner, S. & Linden, D. V. D., 9 Aug 2019, XIV Russian-Germany Conference on Biomedical Engineering, RGC 2019. Gryaznov, A. Y., Potrakhov, N. N. & Kostrin, D. K. (eds.). American Institute of Physics Inc., 020032. (AIP Conference Proceedings; vol. 2140).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • ZooJamming: Designing beyond human experience

      French, F., Webber, S., Baskin, S., Zamansky, A. & Gupfinger, R., 17 Mar 2019, ICGJ 2019 Proceedings - International Conference on Game Jams, Hackathons and Game Creation Events. Association for Computing Machinery, 3316294. (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • “Does my dog really need a gadget?” - What can we learn from pet owners' amotivations for using pet wearables?

      Ramokapane, K. M., van der Linden, D. & Zamansky, A., 12 Nov 2019, ACI 2019 - 6th International Conference on Animal-Computer Interaction: Common Denominator, Proceedings. Association for Computing Machinery, 3371054. (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • “Some might freak out” - What if your dog's activity tracker were to have a data breach?

      van der Linden, D., Williams, E., Hadar, I. & Zamansky, A., 12 Nov 2019, ACI 2019 - 6th International Conference on Animal-Computer Interaction: Common Denominator, Proceedings. Association for Computing Machinery, 3371057. (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2018

      A behavior-based framework for assessing product line-ability

      Reinhartz-Berger, I. & Zamansky, A., 2018, Advanced Information Systems Engineering - 30th International Conference, CAiSE 2018, Proceedings. Krogstie, J. & Reijers, H. A. (eds.). Springer Verlag, p. 571-586 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10816 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Automatic Behavior Analysis is Possible: a call for collaboration to the canine science community

      ZAMANSKY, A., Bleuer-Elsner, S. & Van Der Linden, D., 2018, Canine Science Forum 2018.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Design-time analysis of data inaccuracy awareness at runtime

      Evron, Y., Soffer, P. & Zamansky, A., 2018, Business Process Management Workshops - BPM 2017 International Workshops, Revised Papers. Teniente, E. & Weidlich, M. (eds.). Springer Verlag, p. 600-612 13 p. (Lecture Notes in Business Information Processing; vol. 308).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • How do Hyperactive Dogs Interact with Robots?

      ZAMANSKY, A., Bleuer-Elsner, S. & Van Der Linden, D., 2018, Canine Science Forum 2018.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Towards classification of lightweight formal methods

      Zamansky, A., Spichkova, M., Rodriguez-Navas, G., Herrmann, P. & Blech, J. O., 2018, ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering. Damiani, E., Spanoudakis, G., Maciaszek, L. & Maciaszek, L. (eds.). SciTePress, p. 305-313 9 p. (ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering; vol. 2018-March).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2017

      A Composition-Based Method for Combinatorial Test Design

      Zamansky, A., Shwartz, A., Khoury, S. & Farchi, E., 13 Apr 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. Institute of Electrical and Electronics Engineers Inc., p. 249-252 4 p. 7899062. (Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • A Framework for Improving the Verifiability of Visual Notation Design Grounded in the Physics of Notations

      Linden, D. V. D., Zamansky, A. & Hadar, I., 22 Sep 2017, Proceedings - 2017 IEEE 25th International Requirements Engineering Conference, RE 2017. Institute of Electrical and Electronics Engineers Inc., p. 41-50 10 p. 8048889. (Proceedings - 2017 IEEE 25th International Requirements Engineering Conference, RE 2017).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Agile with animals: Towards a development method

      Linden, D. V. D. & Zamansky, A., 29 Sep 2017, Proceedings - 2017 IEEE 25th International Requirements Engineering Conference Workshops, REW 2017. Institute of Electrical and Electronics Engineers Inc., p. 423-426 4 p. 8054889. (Proceedings - 2017 IEEE 25th International Requirements Engineering Conference Workshops, REW 2017).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • A report on the first international workshop on research methods in animal-computer interaction

      Zamansky, A., Roshier, A., Mancini, C., Collins, E. C., Hall, C., Grillaert, K., Morrison, A., North, S. & Wirman, H., 6 May 2017, CHI 2017 Extended Abstracts - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire. Association for Computing Machinery, p. 806-815 10 p. (Conference on Human Factors in Computing Systems - Proceedings; vol. Part F127655).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • FarmJam 2017: Designing enrichment for farm animals

      French, F., Baskin, S., Wallace, B., Cheok, A. D., Zamanzky, A. & Nannoni, E., 21 Nov 2017, ACI2017 - 4rth International Conerence on Animal-Computer Interaction: Improving Relations, Proceedings. Association for Computing Machinery, a21. (ACM International Conference Proceeding Series; vol. Part F132525).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Incorporating data inaccuracy considerations in process models

      Evron, Y., Soffer, P. & Zamansky, A., 2017, Enterprise, Business-Process and Information Systems Modeling - 18th International Conference, BPMDS 2017, 22nd International Conference, EMMSAD 2017 Held at CAiSE 2017, Proceedings. Gulden, J., Nurcan, S., Reinhartz-Berger, I., Bera, P. & Guedria, W. (eds.). Springer Verlag, p. 305-318 14 p. (Lecture Notes in Business Information Processing; vol. 287).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Is my dog "playing" tablet games? Exploring human perceptions of dog-tablet interactions

      Zamansky, A., Van Der Linden, D., Baskin, S. & Kononova, V., 15 Oct 2017, CHI PLAY 2017 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 477-484 8 p. (CHI PLAY 2017 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • K9-blyzer - Towards video-based automatic analysis of canine behavior

      Amir, S., Zamansky, A. & Van Der Linden, D., 21 Nov 2017, ACI2017 - 4rth International Conerence on Animal-Computer Interaction: Improving Relations, Proceedings. Association for Computing Machinery, a9. (ACM International Conference Proceeding Series; vol. Part F132525).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • On the requirement from practice for meaningful variability in visual notation

      van der Linden, D., Hadar, I. & Zamansky, A., 2017, Enterprise, Business-Process and Information Systems Modeling - 18th International Conference, BPMDS 2017, 22nd International Conference, EMMSAD 2017 Held at CAiSE 2017, Proceedings. Gulden, J., Nurcan, S., Reinhartz-Berger, I., Bera, P. & Guedria, W. (eds.). Springer Verlag, p. 189-203 15 p. (Lecture Notes in Business Information Processing; vol. 287).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Pushing Boundaries of RE: Requirement Elicitation for Non-human Users

      Zamansky, A., Linden, D. V. D. & Baskin, S., 22 Sep 2017, Proceedings - 2017 IEEE 25th International Requirements Engineering Conference, RE 2017. Institute of Electrical and Electronics Engineers Inc., p. 406-411 6 p. 8049148. (Proceedings - 2017 IEEE 25th International Requirements Engineering Conference, RE 2017).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Teaching animal-computer interaction: An experience report

      Zamansky, A., Van Der Linden, D. & Baskin, S., 21 Nov 2017, ACI2017 - 4rth International Conerence on Animal-Computer Interaction: Improving Relations, Proceedings. Association for Computing Machinery, a4. (ACM International Conference Proceeding Series; vol. Part F132525).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2016

      AHR: Human-centred aspects of test design

      Spichkova, M. & Zamansky, A., 2016, Evaluation of Novel Approaches to Software Engineering - 11th International Conference, ENASE 2016, Revised Selected Papers. Maciaszek, L. A. & Filipe, J. (eds.). Springer Verlag, p. 111-128 18 p. (Communications in Computer and Information Science; vol. 703).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • A Human-centred framework for combinatorial test design

      Spichkova, M. & Zamansky, A., 2016, ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering. Maciaszek, L., Maciaszek, L. & Filipe, J. (eds.). SciTePress, p. 228-233 6 p. (ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • An ontological approach for identifying software variants: Specialization and template instantiation

      Reinhartz-Berger, I., Zamansky, A. & Wand, Y., 2016, Conceptual Modeling - 35th International Conference, ER 2016, Proceedings. Comyn-Wattiau, I., Song, I.-Y., Yamamoto, S., Saeki, M. & Tanaka, K. (eds.). Springer Verlag, p. 98-112 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9974 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • A paraconsistent view on B and S5

      Avron, A. & Zamansky, A., 2016, Advances in Modal Logic, AiML 2016. Demri, S., Beklemishev, L. & Mate, A. (eds.). College Publications, p. 21-37 17 p. (Advances in Modal Logic; vol. 11).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • A visual logical language for system modelling in combinatorial test design

      Spichkova, M., Zamansky, A. & Farchi, E., 2016, Advanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Proceedings. Krogstie, J., Su, J. & Mouratidis, H. (eds.). Springer Verlag, p. 116-121 6 p. (Lecture Notes in Business Information Processing; vol. 249).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Dog-drone interactions: Towards an ACI perspective

      Zamansky, A., 15 Nov 2016, ACI 2016 - 3rd International Conference on Animal Computer Interaction: Broadening Participation, Proceedings. Association for Computing Machinery, a14. (ACM International Conference Proceeding Series; vol. 15-17-November-2016).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Exploring human perceptions of dogtablet playful interactions

      Baskin, S., Zamansky, A. & Kononova, V., 15 Nov 2016, ACI 2016 - 3rd International Conference on Animal Computer Interaction: Broadening Participation, Proceedings. Association for Computing Machinery, a15. (ACM International Conference Proceeding Series; vol. 15-17-November-2016).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Exploring research methods for ACI (RM4ACI)

      Zamansky, A. & Roshier, A., 15 Nov 2016, ACI 2016 - 3rd International Conference on Animal Computer Interaction: Broadening Participation, Proceedings. Association for Computing Machinery, a18. (ACM International Conference Proceeding Series; vol. 15-17-November-2016).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Formal methods in collaborative projects

      Zamansky, A., Rodriguez-Navas, G., Adams, M. & Spichkova, M., 2016, ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering. Maciaszek, L., Maciaszek, L. & Filipe, J. (eds.). SciTePress, p. 396-402 7 p. (ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Gen2sat: An automated tool for deciding derivability in analytic pure sequent calculi

      Zohar, Y. & Zamansky, A., 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Olivetti, N. & Tiwari, A. (eds.). Springer Verlag, p. 487-495 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • How cognitively effective is a visual notation? On the inherent difficulty of operationalizing the physics of notations

      Van Der Linden, D., Zamansky, A. & Hadar, I., 2016, Enterprise, Business-Process and Information Systems Modeling - 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Proceedings. Schmidt, R., Bider, I., Guerreiro, S. & Guédria, W. (eds.). Springer Verlag, p. 448-462 15 p. (Lecture Notes in Business Information Processing; vol. 248).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review