Department of Information Systems

Filter
Conference contribution

Search results

  • 2017

    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

  • AMuse: Connecting indoor and outdoor cultural heritage experiences

    Wecker, A. J., Kuflik, T. & Stock, O., 7 Mar 2017, IUI 2017 - Companion of the 22nd International Conference on Intelligent User Interfaces. Association for Computing Machinery, p. 153-156 4 p. (International Conference on Intelligent User Interfaces, Proceedings IUI).

    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

  • Assessing the contribution of twitters textual information to graph-based recommendation

    Pritsker, E. W., Kuflik, T. & Minkov, E., 7 Mar 2017, IUI 2017 - Proceedings of the 22nd International Conference on Intelligent User Interfaces. Association for Computing Machinery, p. 511-516 6 p. (International Conference on Intelligent User Interfaces, Proceedings IUI).

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

  • CAPELLA: A conceptual framework for adaptive life-long learning

    Tomer, A., Hagel, G., Mottok, J., Alt, D., Barak, M. I. & Hadar, I., 7 Jun 2017, Proceedings of 2017 IEEE Global Engineering Education Conference, EDUCON 2017. IEEE Computer Society, p. 1463-1472 10 p. 7943041. (IEEE Global Engineering Education Conference, EDUCON).

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

  • Exploring emotions in online movie reviews for online browsing

    Bader, N., Mokryn, O. & Lanir, J., 7 Mar 2017, IUI 2017 - Companion of the 22nd International Conference on Intelligent User Interfaces. Association for Computing Machinery, p. 35-38 4 p. (International Conference on Intelligent User Interfaces, Proceedings IUI).

    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

  • Harvesting entity-relation social networks from the web: Potential & challenges

    Amal, S., Kuflik, T. & Minkov, E., 9 Jul 2017, UMAP 2017 - Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization. Association for Computing Machinery, Inc, p. 351-352 2 p. (UMAP 2017 - Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization).

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

  • How developers make design decisions about Users' Privacy: The place of professional communities and organizational climate

    Ayalon, O., Toch, E., Hadar, I. & Birnhack, M., 25 Feb 2017, CSCW 2017 - Companion of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, Inc, p. 135-138 4 p. (CSCW 2017 - Companion of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing).

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

  • 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

  • Investigating the motivational paths of peer production newcomers

    Balestra, M., Cheshire, C., Arazy, O. & Nov, O., 2 May 2017, CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire. Association for Computing Machinery, p. 6381-6385 5 p. (Conference on Human Factors in Computing Systems - Proceedings; vol. 2017-May).

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

  • Investigating the under-usage of code decomposition and reuse among high school students: The case of functions

    Omar, A., Hadar, I. & Leron, U., 2017, Advanced Information Systems Engineering Workshops - CAiSE 2017 International Workshops, Proceedings. Metzger, A. & Persson, A. (eds.). Springer Verlag, p. 92-98 7 p. (Lecture Notes in Business Information Processing; vol. 286).

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

  • Is crowdsourcing patient-reported outcomes the future of evidence-based medicine? A case study of back pain

    Peleg, M., Leung, T. I., Desai, M. & Dumontier, M., 2017, Artificial Intelligence in Medicine - 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Proceedings. [surname]ten Teije, A., Popow, C., Sacchi, L. & Holmes, J. H. (eds.). Springer Verlag, p. 245-255 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10259 LNAI).

    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 "how" and "why" of emergent role behaviors in Wikipedia

    Arazy, O., Lifshitz-Assaf, H., Nov, O., Daxenberger, J., Balestra, M. & Cheshire, C., 25 Feb 2017, CSCW 2017 - Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 2039-2051 13 p. (Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW).

    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

  • Placing value on community co-creations: A study of a video game 'modding' community

    Poretski, L. & Arazy, O., 25 Feb 2017, CSCW 2017 - Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 480-490 11 p. (Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW).

    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

  • RecTour 2017: Workshop on recommenders in tourism

    Neidhardt, J., Fesenmaier, D. R., Kuflik, T. & Wörndl, W., 27 Aug 2017, RecSys 2017 - Proceedings of the 11th ACM Conference on Recommender Systems. Association for Computing Machinery, Inc, p. 386-387 2 p. (RecSys 2017 - Proceedings of the 11th ACM Conference on Recommender Systems).

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

  • 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

  • TeamBoost: Enhanced cloud connectivity through collaborative MPTCP

    Bin, M., Mokryn, O., Lavi, N. & Laifenfeld, M., 28 Jun 2017, 2017 IEEE International Conference on Microwaves, Antennas, Communications and Electronic Systems, COMCAS 2017. Institute of Electrical and Electronics Engineers Inc., p. 1-5 5 p. (2017 IEEE International Conference on Microwaves, Antennas, Communications and Electronic Systems, COMCAS 2017; vol. 2017-November).

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

  • The 1st international workshop on temporal reasoning in recommender systems

    Bielikova, M., Bogina, V., Kuflik, T. & Sasson, R., 27 Aug 2017, RecSys 2017 - Proceedings of the 11th ACM Conference on Recommender Systems. Association for Computing Machinery, Inc, p. 368-369 2 p. (RecSys 2017 - Proceedings of the 11th ACM Conference on Recommender Systems).

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

  • Using constraint logic programming for the verification of customized decision models for clinical guidelines

    Wilk, S., Fux, A., Michalowski, M., Peleg, M. & Soffer, P., 2017, Artificial Intelligence in Medicine - 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Proceedings. [surname]ten Teije, A., Popow, C., Sacchi, L. & Holmes, J. H. (eds.). Springer Verlag, p. 37-47 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10259 LNAI).

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

  • Visualization of the evolution of layout metrics for business process models

    Haisjackl, C., Burattin, A., Soffer, P. & Weber, B., 2017, Business Process Management Workshops - BPM 2016 International Workshops, Revised Papers, 2016. Dumas, M. & Fantinato, M. (eds.). Springer Verlag, p. 449-460 12 p. (Lecture Notes in Business Information Processing; vol. 281).

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

  • Visualizing spatial-temporal evaluation of news stories

    Sheidin, J., Lanir, J., Kuflik, T. & Bak, P., 7 Mar 2017, IUI 2017 - Companion of the 22nd International Conference on Intelligent User Interfaces. Association for Computing Machinery, p. 65-68 4 p. (International Conference on Intelligent User Interfaces, Proceedings IUI).

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

  • When will cultural heritage content creation get to the digital age?

    Kuflik, T., Lo Bue, A., Stock, O. & Wecker, A. J., 9 Jul 2017, UMAP 2017 - Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization. Association for Computing Machinery, Inc, p. 335-336 2 p. (UMAP 2017 - Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization).

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

  • 2016

    Advanced visual interfaces for cultural heritage

    Gena, C., De Carolis, B., Kuflik, T. & Nunnari, F., 7 Jun 2016, AVI 2016 - Proceedings of the 2016 International Working Conference on Advanced Visual Interfaces. Buono, P., Lanzilotti, R. & Matera, M. (eds.). Association for Computing Machinery, p. 360-362 3 p. (Proceedings of the Workshop on Advanced Visual Interfaces AVI; vol. 07-10-June-2016).

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

    Open Access

  • 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

  • Analyzing organizational routines in online knowledge collaborations: A case for sequence analysis in CSCW

    Keegan, B. C., Lev, S. & Arazy, O., 27 Feb 2016, Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, CSCW 2016. Association for Computing Machinery, p. 1065-1079 15 p. (Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW; vol. 27).

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

  • 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 novel image based positioning technique using mobile eye tracker for a museum visit

    Mokatren, M., Kuflik, T. & Shimshoni, I., 6 Sep 2016, Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct, MobileHCI 2016. Association for Computing Machinery, Inc, p. 984-991 8 p. (Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct, MobileHCI 2016).

    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 tool for analyzing variability based on functional requirements and testing artifacts

    Steinberger, M., Reinhartz-Berger, I. & Tomer, A., 2016, Advances in Conceptual Modeling - ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Proceedings. Link, S. & Trujillo, J. C. (eds.). Springer Verlag, p. 243-250 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9975 LNCS).

    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

  • Cognitive effectiveness of conceptual modeling languages: Examining professional modelers

    Der Van Linden, D. & Hadar, I., 10 Mar 2016, 5th International Workshop on Empirical Requirements Engineering, EmpiRE 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 9-12 4 p. 7431300. (5th International Workshop on Empirical Requirements Engineering, EmpiRE 2015 - Proceedings).

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

  • Color restoration of scanned archaeological artifacts with repetitive patterns

    Gilad-Glickman, D. & Shimshoni, I., 2016, 2016 Eurographics Workshop on Graphics and Cultural Heritage, GCH 2016. Catalano, C. E. & De Luca, L. (eds.). Eurographics Association, p. 105-108 4 p. (2016 Eurographics Workshop on Graphics and Cultural Heritage, GCH 2016).

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

  • Comprehensive variability analysis of requirements and testing artifacts

    Steinberger, M. & Reinhartz-Berger, I., 2016, Advanced Information Systems Engineering - 28th International Conference, CAiSE 2016, Proceedings. Nurcan, S., Soffer, P., Bajec, M. & Eder, J. (eds.). Springer Verlag, p. 461-475 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9694).

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

  • CURA: Complex-system Unified reference architecture position paper: A practitioner view

    Hadar, E. & Hadar, I., 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. 216-221 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

  • Developers’ decision-making process of designing users’ privacy

    Ayalon, O., Toch, E., Birnhack, M. & Hadar, I., 2016, Proceedings of the 10th Israel Association for Information Systems (ILAIS) Conference 2016.

    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

  • Dynamic personalization based on mobile behavior: From personality to personalization: A blueprint

    Wecker, A. J., Stock, O. & Kuflik, T., 6 Sep 2016, Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct, MobileHCI 2016. Association for Computing Machinery, Inc, p. 978-983 6 p. (Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct, MobileHCI 2016).

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

  • Enhancing software architecture via a knowledge management and collaboration tool

    Sherman, S., Hadar, I., Levy, M. & Unkelos-Shpigel, N., 2016, Knowledge, Information and Creativity Support Systems - 9th International Conference KICSS 2014, Selected Papers. Papadopoulos, G. A., Skulimowski, A. M. J., Kacprzyk, J. & Kunifuji, S. (eds.). Springer Verlag, p. 537-545 9 p. (Advances in Intelligent Systems and Computing; vol. 416).

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

  • Evaluating the evaluators: An analysis of cognitive effectiveness improvement efforts for visual notations

    Van Der Linden, D. & Hadar, I., 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. 222-227 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

  • 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

  • GRAVITATE: Geometric and semantic matching for cultural heritage artefacts

    Phillips, S. C., Walland, P. W., Modafferi, S., Dorst, L., Spagnuolo, M., Catalano, C. E., Oldman, D., Tal, A., Shimshoni, I. & Hermon, S., 2016, 2016 Eurographics Workshop on Graphics and Cultural Heritage, GCH 2016. Catalano, C. E. & De Luca, L. (eds.). Eurographics Association, p. 199-202 4 p. (2016 Eurographics Workshop on Graphics and Cultural Heritage, GCH 2016).

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