Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Anna Zamansky
@article{DBLP:journals/corr/abs-2401-16584,
author = {Yotam Evron and
Arava Tsoury and
Anna Zamansky and
Iris Reinhartz{-}Berger and
Pnina Soffer},
title = {Inter-instance Data Impacts in Business Processes: {A} Model-based
Analysis},
journal = {CoRR},
volume = {abs/2401.16584},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.16584},
doi = {10.48550/ARXIV.2401.16584},
eprinttype = {arXiv},
eprint = {2401.16584},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-16584.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcv/BroomeFZLAPMKS23,
author = {Sofia Broom{\'{e}} and
Marcelo Feighelstein and
Anna Zamansky and
Gabriel Carreira Lencioni and
Pia Haubro Andersen and
Francisca Pessanha and
Marwa Mahmoud and
Hedvig Kjellstr{\"{o}}m and
Albert Ali Salah},
title = {Going Deeper than Tracking: {A} Survey of Computer-Vision Based Recognition
of Animal Pain and Emotions},
journal = {Int. J. Comput. Vis.},
volume = {131},
number = {2},
pages = {572--590},
year = {2023},
url = {https://doi.org/10.1007/s11263-022-01716-3},
doi = {10.1007/S11263-022-01716-3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcv/BroomeFZLAPMKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04232,
author = {George Martvel and
Nareed Farhat and
Ilan Shimshoni and
Anna Zamansky},
title = {CatFLW: Cat Facial Landmarks in the Wild Dataset},
journal = {CoRR},
volume = {abs/2305.04232},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.04232},
doi = {10.48550/ARXIV.2305.04232},
eprinttype = {arXiv},
eprint = {2305.04232},
timestamp = {Thu, 11 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-04232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-13994,
author = {Dinu Gavojdian and
Teddy Lazebnik and
Madalina Mincu and
Ariel Oren and
Ioana Nicolae and
Anna Zamansky},
title = {BovineTalk: Machine Learning for Vocalization Analysis of Dairy Cattle
under Negative Affective States},
journal = {CoRR},
volume = {abs/2307.13994},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.13994},
doi = {10.48550/ARXIV.2307.13994},
eprinttype = {arXiv},
eprint = {2307.13994},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-13994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-06269,
author = {Nareed Farhat and
Teddy Lazebnik and
Joke Monteny and
Christel Palmyre Henri Moons and
Eline Wydooghe and
Dirk van der Linden and
Anna Zamansky},
title = {Digitally-Enhanced Dog Behavioral Testing: Getting Help from the Machine},
journal = {CoRR},
volume = {abs/2308.06269},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.06269},
doi = {10.48550/ARXIV.2308.06269},
eprinttype = {arXiv},
eprint = {2308.06269},
timestamp = {Wed, 23 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-06269.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-10010,
author = {Jennifer Magana and
Dinu Gavojdian and
Yakir Menachem and
Teddy Lazebnik and
Anna Zamansky and
Amber Adams{-}Progar},
title = {Machine Learning Approaches to Predict and Detect Early-Onset of Digital
Dermatitis in Dairy Cows using Sensor Data},
journal = {CoRR},
volume = {abs/2309.10010},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.10010},
doi = {10.48550/ARXIV.2309.10010},
eprinttype = {arXiv},
eprint = {2309.10010},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-10010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-09793,
author = {George Martvel and
Ilan Shimshoni and
Anna Zamansky},
title = {Automated Detection of Cat Facial Landmarks},
journal = {CoRR},
volume = {abs/2310.09793},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.09793},
doi = {10.48550/ARXIV.2310.09793},
eprinttype = {arXiv},
eprint = {2310.09793},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-09793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bise/EvronSZ22,
author = {Yotam Evron and
Pnina Soffer and
Anna Zamansky},
title = {Model-based Analysis of Data Inaccuracy Awareness in Business Processes},
journal = {Bus. Inf. Syst. Eng.},
volume = {64},
number = {2},
pages = {183--200},
year = {2022},
url = {https://doi.org/10.1007/s12599-021-00709-9},
doi = {10.1007/S12599-021-00709-9},
timestamp = {Wed, 23 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bise/EvronSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Reinhartz-Berger22,
author = {Iris Reinhartz{-}Berger and
Anna Zamansky},
title = {Reuse of Similarly Behaving Software Through Polymorphism-Inspired
Variability Mechanisms},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {3},
pages = {773--785},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.3001512},
doi = {10.1109/TSE.2020.3001512},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Reinhartz-Berger22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/FeighelsteinKAB22,
author = {Marcelo Feighelstein and
Einat Kovalyo and
Jennifer Abrams and
Sarah{-}Elisabeth Byosiere and
Anna Zamansky},
title = {Do {AI} Models "Like" Black Dogs? Towards Exploring Perceptions
of Dogs with Vision-Language Models},
booktitle = {Proceedings of the Ninth International Conference on Animal-Computer
Interaction, {ACI} 2022, Newcastle-upon-Tyne, United Kingdom, December
5-8, 2022},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3565995.3566022},
doi = {10.1145/3565995.3566022},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/animalci/FeighelsteinKAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/HazanHLZ22,
author = {Yael Hazan and
Orit Hirsch{-}Matsioulas and
Dirk van der Linden and
Anna Zamansky},
title = {How Can Technology Support Dog Shelters in Behavioral Assessment:
an Exploratory Study},
booktitle = {Proceedings of the Ninth International Conference on Animal-Computer
Interaction, {ACI} 2022, Newcastle-upon-Tyne, United Kingdom, December
5-8, 2022},
pages = {8:1--8:4},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3565995.3566023},
doi = {10.1145/3565995.3566023},
timestamp = {Tue, 05 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/animalci/HazanHLZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-02030,
author = {Dirk van der Linden and
Brittany I. Davidson and
Orit Hirsch{-}Matsioulas and
Anna Zamansky},
title = {On the role of technology in human-dog relationships: a future filled
with dreams or nightmares?},
journal = {CoRR},
volume = {abs/2202.02030},
year = {2022},
url = {https://arxiv.org/abs/2202.02030},
eprinttype = {arXiv},
eprint = {2202.02030},
timestamp = {Wed, 09 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-02030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-05619,
author = {Tali Boneh{-}Shitrit and
Shir Amir and
Annika Bremhorst and
Daniel S. Mills and
Stefanie Riemer and
Dror Fried and
Anna Zamansky},
title = {Deep Learning Models for Automated Classification of Dog Emotional
States from Facial Expressions},
journal = {CoRR},
volume = {abs/2206.05619},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.05619},
doi = {10.48550/ARXIV.2206.05619},
eprinttype = {arXiv},
eprint = {2206.05619},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-05619.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-08405,
author = {Sofia Broom{\'{e}} and
Marcelo Feighelstein and
Anna Zamansky and
Gabriel Carreira Lencioni and
Pia Haubro Andersen and
Francisca Pessanha and
Marwa Mahmoud and
Hedvig Kjellstr{\"{o}}m and
Albert Ali Salah},
title = {Going Deeper than Tracking: a Survey of Computer-Vision Based Recognition
of Animal Pain and Affective States},
journal = {CoRR},
volume = {abs/2206.08405},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.08405},
doi = {10.48550/ARXIV.2206.08405},
eprinttype = {arXiv},
eprint = {2206.08405},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-08405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/Golan-ShemeshLZ21,
author = {Daphna Golan{-}Shemesh and
Tsippy Lotan and
Yana Zadorozhnaya and
Anna Zamansky and
Tamar Brilant and
Kira Ablamunits and
Dirk van der Linden},
title = {Exploring Digitalization of Animal-Assisted Reading},
booktitle = {ACI'21: Eight International Conference on Animal-Computer Interaction,
Bloomington, IN, USA, November 8 - 11, 2021},
pages = {4:1--4:8},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3493842.3493886},
doi = {10.1145/3493842.3493886},
timestamp = {Mon, 23 May 2022 17:12:30 +0200},
biburl = {https://dblp.org/rec/conf/animalci/Golan-ShemeshLZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LindenDZH21,
author = {Dirk van der Linden and
Hava Dayan and
Anna Zamansky and
Irit Hadar},
editor = {Adriano Augusto and
Asif Gill and
Selmin Nurcan and
Iris Reinhartz{-}Berger and
Rainer Schmidt and
Jelena Zdravkovic},
title = {Murder, She Modeled: Modeling to Support Crimino-Forensic Processes},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 22nd
International Conference, {BPMDS} 2021, and 26th International Conference,
{EMMSAD} 2021, Held at CAiSE 2021, Melbourne, VIC, Australia, June
28-29, 2021, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {421},
pages = {318--331},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79186-5\_21},
doi = {10.1007/978-3-030-79186-5\_21},
timestamp = {Sun, 25 Jul 2021 11:48:49 +0200},
biburl = {https://dblp.org/rec/conf/caise/LindenDZH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mindtrek/FrenchHVPKCNZMP21,
author = {Fiona French and
Ilyena Hirskyj{-}Douglas and
Heli V{\"{a}}{\"{a}}t{\"{a}}j{\"{a}} and
Patricia Pons and
Sabrina Karl and
Yoram Chisik and
Eleonora Nannoni and
Anna Zamansky and
Mandeep Mangat and
Patrizia Paci and
Haruka Kasuga and
Dana Vilker},
title = {Ethics and Power Dynamics in Playful Technology for Animals: Using
speculative design to provoke reflection},
booktitle = {Mindtrek '21: Academic Mindtrek 2021, Virtual EVent / Tampere, Finland,
June 1-3, 2021},
pages = {91--101},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464327.3464366},
doi = {10.1145/3464327.3464366},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mindtrek/FrenchHVPKCNZMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AvronZ20,
author = {Arnon Avron and
Anna Zamansky},
title = {Paraconsistency, self-extensionality, modality},
journal = {Log. J. {IGPL}},
volume = {28},
number = {5},
pages = {851--880},
year = {2020},
url = {https://doi.org/10.1093/jigpal/jzy064},
doi = {10.1093/JIGPAL/JZY064},
timestamp = {Mon, 19 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/AvronZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/LindenEHZ20,
author = {Dirk van der Linden and
Matthew Edwards and
Irit Hadar and
Anna Zamansky},
title = {Pets without PETs: on pet owners' under-estimation of privacy concerns
in pet wearables},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2020},
number = {1},
pages = {143--164},
year = {2020},
url = {https://doi.org/10.2478/popets-2020-0009},
doi = {10.2478/POPETS-2020-0009},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/popets/LindenEHZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tasm/LindenMZ20,
author = {Dirk van der Linden and
Ola Aleksandra Michalec and
Anna Zamansky},
title = {Cybersecurity for Smart Farming: Socio-Cultural Context Matters},
journal = {{IEEE} Technol. Soc. Mag.},
volume = {39},
number = {4},
pages = {28--35},
year = {2020},
url = {https://doi.org/10.1109/MTS.2020.3031844},
doi = {10.1109/MTS.2020.3031844},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tasm/LindenMZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/Hirsch-Matsioulas20,
author = {Orit Hirsch{-}Matsioulas and
Anna Zamansky},
title = {Who Moved My Culture?: Expanding Anthropological Perspectives in {ACI}},
booktitle = {ACI'2020: Seventh International Conference on Animal-Computer Interaction,
Milton Keynes, United Kingdom, 10-12 November, 2020},
pages = {9:1--9:5},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3446002.3446124},
doi = {10.1145/3446002.3446124},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/animalci/Hirsch-Matsioulas20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/MenakerZLKSKH20,
author = {Tom Menaker and
Anna Zamansky and
Dirk van der Linden and
Dmitry I. Kaplun and
Aleksandr Sinitica and
Sabrina Karl and
Ludwig Huber},
title = {Towards a Methodology for Data-Driven Automatic Analysis of Animal
Behavioral Patterns},
booktitle = {ACI'2020: Seventh International Conference on Animal-Computer Interaction,
Milton Keynes, United Kingdom, 10-12 November, 2020},
pages = {12:1--12:6},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3446002.3446126},
doi = {10.1145/3446002.3446126},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/animalci/MenakerZLKSKH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ZamanskyLHB19,
author = {Anna Zamansky and
Dirk van der Linden and
Irit Hadar and
Stephane Bleuer{-}Elsner},
title = {Log My Dog: Perceived Impact of Dog Activity Tracking},
journal = {Computer},
volume = {52},
number = {9},
pages = {35--43},
year = {2019},
url = {https://doi.org/10.1109/MC.2018.2889637},
doi = {10.1109/MC.2018.2889637},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/ZamanskyLHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/HadarZB19,
author = {Irit Hadar and
Anna Zamansky and
Daniel M. Berry},
title = {The inconsistency between theory and practice in managing inconsistency
in requirements engineering},
journal = {Empir. Softw. Eng.},
volume = {24},
number = {6},
pages = {3972--4005},
year = {2019},
url = {https://doi.org/10.1007/s10664-019-09718-5},
doi = {10.1007/S10664-019-09718-5},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/HadarZB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/ArieliZ19,
author = {Ofer Arieli and
Anna Zamansky},
title = {Preface},
journal = {{FLAP}},
volume = {6},
number = {2},
pages = {205--208},
year = {2019},
url = {https://collegepublications.co.uk/ifcolog/?00031},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/ArieliZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/LindenZHCR19,
author = {Dirk van der Linden and
Anna Zamansky and
Irit Hadar and
Barnaby Craggs and
Awais Rashid},
title = {Buddy's Wearable Is Not Your Buddy: Privacy Implications of Pet Wearables},
journal = {{IEEE} Secur. Priv.},
volume = {17},
number = {3},
pages = {28--39},
year = {2019},
url = {https://doi.org/10.1109/MSEC.2018.2888783},
doi = {10.1109/MSEC.2018.2888783},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeesp/LindenZHCR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Zamansky19,
author = {Anna Zamansky},
title = {On recent applications of paraconsistent logic: an exploratory literature
review},
journal = {J. Appl. Non Class. Logics},
volume = {29},
number = {4},
pages = {382--391},
year = {2019},
url = {https://doi.org/10.1080/11663081.2019.1656393},
doi = {10.1080/11663081.2019.1656393},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Zamansky19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiii/LindenZHC19,
author = {Dirk van der Linden and
Anna Zamansky and
Irit Hadar and
Barnaby Craggs},
title = {Developing for non-human users: Reflecting on practical implications
in the ubiquitous computing era},
journal = {J. Ind. Inf. Integr.},
volume = {14},
pages = {50--58},
year = {2019},
url = {https://doi.org/10.1016/j.jii.2018.07.001},
doi = {10.1016/J.JII.2018.07.001},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jiii/LindenZHC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LindenHZ19,
author = {Dirk van der Linden and
Irit Hadar and
Anna Zamansky},
title = {What practitioners really want: requirements for visual notations
in conceptual modeling},
journal = {Softw. Syst. Model.},
volume = {18},
number = {3},
pages = {1813--1831},
year = {2019},
url = {https://doi.org/10.1007/s10270-018-0667-4},
doi = {10.1007/S10270-018-0667-4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/LindenHZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsw/ZamanskyS19,
author = {Anna Zamansky and
Maria Spichkova},
title = {A Set-based Logical Language for Specification of Combinatorial Models},
booktitle = {Proceedings of the Australasian Computer Science Week Multiconference,
{ACSW} 2019, Sydney, NSW, Australia, January 29-31, 2019},
pages = {57:1--57:4},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3290688.3290700},
doi = {10.1145/3290688.3290700},
timestamp = {Mon, 14 Jan 2019 08:35:38 +0100},
biburl = {https://dblp.org/rec/conf/acsw/ZamanskyS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/LindenWHZ19,
author = {Dirk van der Linden and
Emma J. Williams and
Irit Hadar and
Anna Zamansky},
title = {Some might freak out: What if your dog's activity tracker were to
have a data breach?},
booktitle = {ACI'19: Sixth International Conference on Animal-Computer Interaction,
Haifa Israel, November 12-14, 2019},
pages = {4:1--4:12},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3371049.3371057},
doi = {10.1145/3371049.3371057},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/animalci/LindenWHZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/LindenDZ19,
author = {Dirk van der Linden and
Brittany I. Davidson and
Anna Zamansky},
title = {The not so secret life of pets: pet owners' privacy concerns for pet
location data},
booktitle = {ACI'19: Sixth International Conference on Animal-Computer Interaction,
Haifa Israel, November 12-14, 2019},
pages = {5:1--5:6},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3371049.3371052},
doi = {10.1145/3371049.3371052},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/animalci/LindenDZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/RamokapaneLZ19,
author = {Kopo M. Ramokapane and
Dirk van der Linden and
Anna Zamansky},
title = {Does my dog really need a gadget?: What can we learn from pet owners'
amotivations for using pet wearables?},
booktitle = {ACI'19: Sixth International Conference on Animal-Computer Interaction,
Haifa Israel, November 12-14, 2019},
pages = {6:1--6:6},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3371049.3371054},
doi = {10.1145/3371049.3371054},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/animalci/RamokapaneLZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/KaplunSZBPFL19,
author = {Dmitrij Kaplun and
Aleksandr Sinitca and
Anna Zamansky and
Stephane Bleuer{-}Elsner and
Michael Plazner and
Asaf Fux and
Dirk van der Linden},
editor = {Roman Moucek and
Ana L. N. Fred and
Hugo Gamboa},
title = {Animal Health Informatics: Towards a Generic Framework for Automatic
Behavior Analysis Position Paper},
booktitle = {Proceedings of the 12th International Joint Conference on Biomedical
Engineering Systems and Technologies {(BIOSTEC} 2019) - Volume 5:
HEALTHINF, Prague, Czech Republic, February 22-24, 2019},
pages = {436--441},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007566504360441},
doi = {10.5220/0007566504360441},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/KaplunSZBPFL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ZoharTSZ19,
author = {Yoni Zohar and
Dmitry Tishkovsky and
Renate A. Schmidt and
Anna Zamansky},
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {Automating Automated Reasoning - The Case of Two Generic Automated
Reasoning Tools},
booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated
to Franz Baader on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11560},
pages = {610--638},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7\_29},
doi = {10.1007/978-3-030-22102-7\_29},
timestamp = {Mon, 29 Jul 2019 16:00:26 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ZoharTSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/ZamanskySKDY19,
author = {Anna Zamansky and
Aleksandr Sinitca and
Dmitry I. Kaplun and
Luisa M. L. Dutra and
Robert J. Young},
editor = {Igor V. Tetko and
Vera Kurkov{\'{a}} and
Pavel Karpov and
Fabian J. Theis},
title = {Automatic Estimation of Dog Age: The DogAge Dataset and Challenge},
booktitle = {Artificial Neural Networks and Machine Learning - {ICANN} 2019: Image
Processing - 28th International Conference on Artificial Neural Networks,
Munich, Germany, September 17-19, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11729},
pages = {421--426},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30508-6\_34},
doi = {10.1007/978-3-030-30508-6\_34},
timestamp = {Sat, 19 Oct 2019 20:11:55 +0200},
biburl = {https://dblp.org/rec/conf/icann/ZamanskySKDY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/ZamanskySKPSYA19,
author = {Anna Zamansky and
Aleksandr Sinitca and
Dmitry I. Kaplun and
Michael Plazner and
Ivana G. Schork and
Robert J. Young and
Cristiano S. de Azevedo},
editor = {Igor V. Tetko and
Vera Kurkov{\'{a}} and
Pavel Karpov and
Fabian J. Theis},
title = {Analysis of Dogs' Sleep Patterns Using Convolutional Neural Networks},
booktitle = {Artificial Neural Networks and Machine Learning - {ICANN} 2019: Image
Processing - 28th International Conference on Artificial Neural Networks,
Munich, Germany, September 17-19, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11729},
pages = {472--483},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30508-6\_38},
doi = {10.1007/978-3-030-30508-6\_38},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icann/ZamanskySKPSYA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgj/FrenchBGWZ19,
author = {Fiona French and
Sofya Baskin and
Reinhard Gupfinger and
Sarah Webber and
Anna Zamansky},
title = {ZooJamming: Designing Beyond Human Experience},
booktitle = {Proceedings of the International Conference on Game Jams, Hackathons
and Game Creation Events 2019, {ICGJ} 2019, San Francisco, CA, USA,
March 17, 2019},
pages = {10:1--10:8},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3316287.3316294},
doi = {10.1145/3316287.3316294},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icgj/FrenchBGWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Reinhartz-Berger19,
author = {Iris Reinhartz{-}Berger and
Anna Zamansky and
Agnes Koschmider},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Towards Privacy-aware Software Reuse},
booktitle = {Proceedings of the 7th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2019, Prague, Czech Republic,
February 20-22, 2019},
pages = {448--453},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007566204500455},
doi = {10.5220/0007566204500455},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/Reinhartz-Berger19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/0001BBCFGGGJKKK18,
author = {Bruno Bouchard and
Kevin Bouchard and
Noam Brown and
Niyati Chhaya and
Eitan Farchi and
S{\'{e}}bastien Gaboury and
Christopher W. Geib and
Amelie Gyrard and
Kokil Jaidka and
Sarah Keren and
Roni Khardon and
Parisa Kordjamshidi and
David R. Martinez and
Nicholas Mattei and
Martin Michalowski and
Reuth Mirsky and
Joseph C. Osborn and
Cem Sahin and
Onn Shehory and
Arash Shaban{-}Nejad and
Amit P. Sheth and
Ilan Shimshoni and
Howard E. Shrobe and
Arunesh Sinha and
Atanu R. Sinha and
Biplav Srivastava and
William W. Streilein and
Georgios Theocharous and
Kristen Brent Venable and
Neal Wagner and
Anna Zamansky},
title = {Reports of the Workshops of the 32nd {AAAI} Conference on Artificial
Intelligence},
journal = {{AI} Mag.},
volume = {39},
number = {4},
pages = {45--56},
year = {2018},
url = {https://doi.org/10.1609/aimag.v39i4.2823},
doi = {10.1609/AIMAG.V39I4.2823},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/0001BBCFGGGJKKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tasm/ZamanskyL18,
author = {Anna Zamansky and
Dirk van der Linden},
title = {Activity Trackers for Raising Guide Dogs: Challenges and Opportunities},
journal = {{IEEE} Technol. Soc. Mag.},
volume = {37},
number = {4},
pages = {62--69},
year = {2018},
url = {https://doi.org/10.1109/MTS.2018.2876213},
doi = {10.1109/MTS.2018.2876213},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tasm/ZamanskyL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/Reinhartz-Berger18,
author = {Iris Reinhartz{-}Berger and
Anna Zamansky},
editor = {John Krogstie and
Hajo A. Reijers},
title = {A Behavior-Based Framework for Assessing Product Line-Ability},
booktitle = {Advanced Information Systems Engineering - 30th International Conference,
CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10816},
pages = {571--586},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91563-0\_35},
doi = {10.1007/978-3-319-91563-0\_35},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/Reinhartz-Berger18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/ZamanskySRHB18,
author = {Anna Zamansky and
Maria Spichkova and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Peter Herrmann and
Jan Olaf Blech},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Towards Classification of Lightweight Formal Methods},
booktitle = {Proceedings of the 13th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2018, Funchal, Madeira,
Portugal, March 23-24, 2018},
pages = {305--313},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006770803050313},
doi = {10.5220/0006770803050313},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/ZamanskySRHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refsq/2018w,
editor = {Klaus Schmid and
Paola Spoletini and
Eya Ben Charrada and
Yoram Chisik and
Fabiano Dalpiaz and
Alessio Ferrari and
Peter Forbrig and
Xavier Franch and
Marite Kirikova and
Nazim H. Madhavji and
Cristina Palomares and
Jolita Ralyt{\'{e}} and
Mehrdad Sabetzadeh and
Pete Sawyer and
Dirk van der Linden and
Anna Zamansky},
title = {Joint Proceedings of {REFSQ-2018} Workshops, Doctoral Symposium, Live
Studies Track, and Poster Track co-located with the 23rd International
Conference on Requirements Engineering: Foundation for Software Quality
{(REFSQ} 2018), Utrecht, The Netherlands, March 19, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2075},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2075},
urn = {urn:nbn:de:0074-2075-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refsq/2018w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-01923,
author = {Anna Zamansky and
Maria Spichkova and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Peter Herrmann and
Jan Olaf Blech},
title = {Towards Classification of Lightweight Formal Methods},
journal = {CoRR},
volume = {abs/1807.01923},
year = {2018},
url = {http://arxiv.org/abs/1807.01923},
eprinttype = {arXiv},
eprint = {1807.01923},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-01923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Zamansky17,
author = {Anna Zamansky},
title = {Teaching Logic to Information Systems Student: {A} Student-centric
Approach},
journal = {{FLAP}},
volume = {4},
number = {1},
year = {2017},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/Zamansky17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/MakowskyZ17,
author = {Johann A. Makowsky and
Anna Zamansky},
title = {Keeping logic in the trivium of computer science: a teaching perspective},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {2},
pages = {419--430},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0301-z},
doi = {10.1007/S10703-017-0301-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/MakowskyZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/ZamanskyLB17,
author = {Anna Zamansky and
Dirk van der Linden and
Sofya Baskin},
title = {Teaching Animal-Computer Interaction: an Experience Report},
booktitle = {Proceedings of the Fourth International Conference on Animal-Computer
Interaction, {ACI} 2017, Milton Keynes, United Kingdom, November 21
- 23, 2017},
pages = {4:1--4:7},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3152130.3152136},
doi = {10.1145/3152130.3152136},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/animalci/ZamanskyLB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/AmirZL17,
author = {Shir Amir and
Anna Zamansky and
Dirk van der Linden},
title = {K9-Blyzer: Towards Video-Based Automatic Analysis of Canine Behavior},
booktitle = {Proceedings of the Fourth International Conference on Animal-Computer
Interaction, {ACI} 2017, Milton Keynes, United Kingdom, November 21
- 23, 2017},
pages = {9:1--9:5},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3152130.3152142},
doi = {10.1145/3152130.3152142},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/animalci/AmirZL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/FrenchBWCZN17,
author = {Fiona French and
Sofya Baskin and
Billy Wallace and
Adrian David Cheok and
Anna Zamansky and
Eleonora Nannoni},
title = {FarmJam 2017: Designing Enrichment for Farm Animals},
booktitle = {Proceedings of the Fourth International Conference on Animal-Computer
Interaction, {ACI} 2017, Milton Keynes, United Kingdom, November 21
- 23, 2017},
pages = {21:1--21:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3152130.3152154},
doi = {10.1145/3152130.3152154},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/animalci/FrenchBWCZN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/EvronSZ17,
author = {Yotam Evron and
Pnina Soffer and
Anna Zamansky},
editor = {Ernest Teniente and
Matthias Weidlich},
title = {Design-Time Analysis of Data Inaccuracy Awareness at Runtime},
booktitle = {Business Process Management Workshops - {BPM} 2017 International Workshops,
Barcelona, Spain, September 10-11, 2017, Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {308},
pages = {600--612},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74030-0\_47},
doi = {10.1007/978-3-319-74030-0\_47},
timestamp = {Fri, 26 May 2023 07:40:34 +0200},
biburl = {https://dblp.org/rec/conf/bpm/EvronSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/Reinhartz-Berger17,
author = {Iris Reinhartz{-}Berger and
Anna Zamansky},
editor = {Xavier Franch and
Jolita Ralyt{\'{e}} and
Raimundas Matulevicius and
Camille Salinesi and
Roel J. Wieringa},
title = {VarMeR - {A} Variability Mechanisms Recommender for Software Artifacts},
booktitle = {Proceedings of the Forum and Doctoral Consortium Papers Presented
at the 29th International Conference on Advanced Information Systems
Engineering, CAiSE 2017, Essen, Germany, June 12-16, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1848},
pages = {57--64},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1848/CAiSE2017\_Forum\_Paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:33 +0100},
biburl = {https://dblp.org/rec/conf/caise/Reinhartz-Berger17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LindenHZ17,
author = {Dirk van der Linden and
Irit Hadar and
Anna Zamansky},
editor = {Iris Reinhartz{-}Berger and
Jens Gulden and
Selmin Nurcan and
Wided Gu{\'{e}}dria and
Palash Bera},
title = {On the Requirement from Practice for Meaningful Variability in Visual
Notation},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 18th
International Conference, {BPMDS} 2017, 22nd International Conference,
{EMMSAD} 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017,
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {287},
pages = {189--203},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59466-8\_12},
doi = {10.1007/978-3-319-59466-8\_12},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/LindenHZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/EvronSZ17,
author = {Yotam Evron and
Pnina Soffer and
Anna Zamansky},
editor = {Iris Reinhartz{-}Berger and
Jens Gulden and
Selmin Nurcan and
Wided Gu{\'{e}}dria and
Palash Bera},
title = {Incorporating Data Inaccuracy Considerations in Process Models},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 18th
International Conference, {BPMDS} 2017, 22nd International Conference,
{EMMSAD} 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017,
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {287},
pages = {305--318},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59466-8\_19},
doi = {10.1007/978-3-319-59466-8\_19},
timestamp = {Wed, 28 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/EvronSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/ZamanskyRMCHGMN17,
author = {Anna Zamansky and
Amanda Roshier and
Clara Mancini and
Emily C. Collins and
Carol Hall and
Katie Grillaert and
Ann Morrison and
Steve North and
Hanna Wirman},
editor = {Gloria Mark and
Susan R. Fussell and
Cliff Lampe and
m. c. schraefel and
Juan Pablo Hourcade and
Caroline Appert and
Daniel Wigdor},
title = {A Report on the First International Workshop on Research Methods in
Animal-Computer Interaction},
booktitle = {Proceedings of the 2017 {CHI} Conference on Human Factors in Computing
Systems, Denver, CO, USA, May 06-11, 2017, Extended Abstracts},
pages = {806--815},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3027063.3052759},
doi = {10.1145/3027063.3052759},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/ZamanskyRMCHGMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chiplay/ZamanskyLBK17,
author = {Anna Zamansky and
Dirk van der Linden and
Sofya Baskin and
Vitaliya Kononova},
editor = {Ben A. M. Schouten and
Panos Markopoulos and
Phoebe O. Toups Dugas and
Paul A. Cairns and
Tilde Bekker},
title = {Is My Dog "Playing" Tablet Games?: Exploring Human Perceptions
of Dog-Tablet Interactions},
booktitle = {Proceedings of the Annual Symposium on Computer-Human Interaction
in Play, {CHI} {PLAY} 2017, Amsterdam, The Netherlands, October 15-18,
2017},
pages = {477--484},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3116595.3116634},
doi = {10.1145/3116595.3116634},
timestamp = {Tue, 06 Sep 2022 13:45:09 +0200},
biburl = {https://dblp.org/rec/conf/chiplay/ZamanskyLBK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/ZamanskyR17,
author = {Anna Zamansky and
Iris Reinhartz{-}Berger},
editor = {Xavier Franch and
Monique Snoeck and
Renata S. S. Guizzardi and
Ivan Jureta},
title = {Visualizing Code Variabilities for Supporting Reuse Decisions},
booktitle = {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),
Valencia, Spain, November 6-9, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1954},
pages = {25--34},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1954/SCME\_2017\_paper\_5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:42 +0100},
biburl = {https://dblp.org/rec/conf/er/ZamanskyR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZamanskySKF17,
author = {Anna Zamansky and
Amir Shwartz and
Seri Khoury and
Eitan Farchi},
title = {A Composition-Based Method for Combinatorial Test Design},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
13-17, 2017},
pages = {249--252},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSTW.2017.45},
doi = {10.1109/ICSTW.2017.45},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icst/ZamanskySKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LindenZH17,
author = {Dirk van der Linden and
Anna Zamansky and
Irit Hadar},
editor = {Ana Moreira and
Jo{\~{a}}o Ara{\'{u}}jo and
Jane Hayes and
Barbara Paech},
title = {A Framework for Improving the Verifiability of Visual Notation Design
Grounded in the Physics of Notations},
booktitle = {25th {IEEE} International Requirements Engineering Conference, {RE}
2017, Lisbon, Portugal, September 4-8, 2017},
pages = {41--50},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RE.2017.37},
doi = {10.1109/RE.2017.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/LindenZH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/ZamanskyLB17,
author = {Anna Zamansky and
Dirk van der Linden and
Sofya Baskin},
editor = {Ana Moreira and
Jo{\~{a}}o Ara{\'{u}}jo and
Jane Hayes and
Barbara Paech},
title = {Pushing Boundaries of {RE:} Requirement Elicitation for Non-human
Users},
booktitle = {25th {IEEE} International Requirements Engineering Conference, {RE}
2017, Lisbon, Portugal, September 4-8, 2017},
pages = {406--411},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RE.2017.30},
doi = {10.1109/RE.2017.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/ZamanskyLB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LindenZ17,
author = {Dirk van der Linden and
Anna Zamansky},
title = {Agile with Animals: Towards a Development Method},
booktitle = {{IEEE} 25th International Requirements Engineering Conference Workshops,
{RE} 2017 Workshops, Lisbon, Portugal, September 4-8, 2017},
pages = {423--426},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/REW.2017.11},
doi = {10.1109/REW.2017.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/LindenZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/ArieliZ16,
author = {Ofer Arieli and
Anna Zamansky},
title = {A graded approach to database repair by context-aware distance semantics},
journal = {Fuzzy Sets Syst.},
volume = {298},
pages = {4--21},
year = {2016},
url = {https://doi.org/10.1016/j.fss.2015.06.007},
doi = {10.1016/J.FSS.2015.06.007},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/ArieliZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/VetterleinZ16,
author = {Thomas Vetterlein and
Anna Zamansky},
title = {Reasoning with graded information: The case of diagnostic rating scales
in healthcare},
journal = {Fuzzy Sets Syst.},
volume = {298},
pages = {207--221},
year = {2016},
url = {https://doi.org/10.1016/j.fss.2015.11.002},
doi = {10.1016/J.FSS.2015.11.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/VetterleinZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArieliZ16,
author = {Ofer Arieli and
Anna Zamansky},
title = {Preface},
journal = {Log. J. {IGPL}},
volume = {24},
number = {3},
pages = {221--223},
year = {2016},
url = {https://doi.org/10.1093/jigpal/jzw001},
doi = {10.1093/JIGPAL/JZW001},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ArieliZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/interactions/WirmanZ16,
author = {Hanna Wirman and
Anna Zamansky},
title = {Toward characterization of playful {ACI}},
journal = {Interactions},
volume = {23},
number = {4},
pages = {47--51},
year = {2016},
url = {https://doi.org/10.1145/2948127},
doi = {10.1145/2948127},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/interactions/WirmanZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ArieliKRZ16,
author = {Ofer Arieli and
Beata Konikowska and
Alexander Rabinovich and
Anna Zamansky},
title = {Foreword},
journal = {J. Log. Comput.},
volume = {26},
number = {1},
pages = {1--6},
year = {2016},
url = {https://doi.org/10.1093/logcom/ext023},
doi = {10.1093/LOGCOM/EXT023},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ArieliKRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/AvronZ16,
author = {Arnon Avron and
Anna Zamansky},
editor = {Lev D. Beklemishev and
St{\'{e}}phane Demri and
Andr{\'{a}}s Mat{\'{e}}},
title = {A paraconsistent view on {B} and {S5}},
booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on
"Advances in Modal Logic," held in Budapest, Hungary, August 30 -
September 2, 2016},
pages = {21--37},
publisher = {College Publications},
year = {2016},
url = {http://www.aiml.net/volumes/volume11/Avron-Zamansky.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/AvronZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/Zamansky16,
author = {Anna Zamansky},
editor = {Clara Mancini},
title = {Dog-drone interactions: towards an {ACI} perspective},
booktitle = {Proceedings of the Third International Conference on Animal-Computer
Interaction, {ACI} 2016, Milton Keynes, United Kingdom, November 15-17,
2016},
pages = {14:1--14:4},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2995257.3012021},
doi = {10.1145/2995257.3012021},
timestamp = {Tue, 06 Nov 2018 16:58:09 +0100},
biburl = {https://dblp.org/rec/conf/animalci/Zamansky16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/BaskinZK16,
author = {Sofya Baskin and
Anna Zamansky and
Vitaliya Kononova},
editor = {Clara Mancini},
title = {Exploring human perceptions of dog-tablet playful interactions},
booktitle = {Proceedings of the Third International Conference on Animal-Computer
Interaction, {ACI} 2016, Milton Keynes, United Kingdom, November 15-17,
2016},
pages = {15:1--15:4},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2995257.3012023},
doi = {10.1145/2995257.3012023},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/animalci/BaskinZK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/animalci/ZamanskyR16,
author = {Anna Zamansky and
Amanda Roshier},
editor = {Clara Mancini},
title = {Exploring research methods for {ACI} {(RM4ACI)}},
booktitle = {Proceedings of the Third International Conference on Animal-Computer
Interaction, {ACI} 2016, Milton Keynes, United Kingdom, November 15-17,
2016},
pages = {18:1--18:3},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2995257.3014067},
doi = {10.1145/2995257.3014067},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/animalci/ZamanskyR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZoharZ16,
author = {Yoni Zohar and
Anna Zamansky},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure
Sequent Calculi},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {487--495},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_33},
doi = {10.1007/978-3-319-40229-1\_33},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/ZoharZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/ZamanskyZ16,
author = {Anna Zamansky and
Yoni Zohar},
editor = {John Krogstie and
Haralambos Mouratidis and
Jianwen Su},
title = {'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments
to Enhance Learning of Logico-Mathematical Concepts},
booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2016 International
Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {249},
pages = {103--108},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39564-7\_10},
doi = {10.1007/978-3-319-39564-7\_10},
timestamp = {Wed, 24 May 2017 08:29:59 +0200},
biburl = {https://dblp.org/rec/conf/caise/ZamanskyZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SpichkovaZ16,
author = {Maria Spichkova and
Anna Zamansky},
editor = {Sergio Espa{\~{n}}a and
Mirjana Ivanovic and
Milos Savic},
title = {A Human-Centred Framework for Supporting Agile Model-Based Testing},
booktitle = {Proceedings of the CAiSE'16 Forum, at the 28th International Conference
on Advanced Information Systems Engineering (CAiSE 2016), Ljubljana,
Slovenia, June 13-17, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1612},
pages = {105--112},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1612/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:35 +0100},
biburl = {https://dblp.org/rec/conf/caise/SpichkovaZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SpichkovaZF16,
author = {Maria Spichkova and
Anna Zamansky and
Eitan Farchi},
editor = {John Krogstie and
Haralambos Mouratidis and
Jianwen Su},
title = {A Visual Logical Language for System Modelling in Combinatorial Test
Design},
booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2016 International
Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {249},
pages = {116--121},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39564-7\_12},
doi = {10.1007/978-3-319-39564-7\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/SpichkovaZF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LindenZH16,
author = {Dirk van der Linden and
Anna Zamansky and
Irit Hadar},
editor = {Rainer Schmidt and
Wided Gu{\'{e}}dria and
Ilia Bider and
S{\'{e}}rgio Guerreiro},
title = {How Cognitively Effective is a Visual Notation? On the Inherent Difficulty
of Operationalizing the Physics of Notations},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 17th
International Conference, {BPMDS} 2016, 21st International Conference,
{EMMSAD} 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,
2016, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {248},
pages = {448--462},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39429-9\_28},
doi = {10.1007/978-3-319-39429-9\_28},
timestamp = {Fri, 19 Mar 2021 08:43:31 +0100},
biburl = {https://dblp.org/rec/conf/caise/LindenZH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/SpichkovaZ16b,
author = {Maria Spichkova and
Anna Zamansky},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {{AHR:} Human-Centred Aspects of Test Design},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 11th International
Conference, {ENASE} 2016, Rome, Italy, April 27-28, 2016, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {703},
pages = {111--128},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-56390-9\_6},
doi = {10.1007/978-3-319-56390-9\_6},
timestamp = {Sat, 19 Oct 2019 20:01:10 +0200},
biburl = {https://dblp.org/rec/conf/enase/SpichkovaZ16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/SpichkovaZ16,
author = {Maria Spichkova and
Anna Zamansky},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {A Human-centred Framework for Combinatorial Test Design},
booktitle = {{ENASE} 2016 - Proceedings of the 11th International Conference on
Evaluation of Novel Approaches to Software Engineering, Rome, Italy
27-28 April, 2016},
pages = {228--233},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005898202280233},
doi = {10.5220/0005898202280233},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/SpichkovaZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/SpichkovaZ16a,
author = {Maria Spichkova and
Anna Zamansky},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {Teaching of Formal Methods for Software Engineering},
booktitle = {{ENASE} 2016 - Proceedings of the 11th International Conference on
Evaluation of Novel Approaches to Software Engineering, Rome, Italy
27-28 April, 2016},
pages = {370--376},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005928503700376},
doi = {10.5220/0005928503700376},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/SpichkovaZ16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/ZamanskyHB16,
author = {Anna Zamansky and
Irit Hadar and
Daniel M. Berry},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {Reasoning about Inconsistency in {RE} - Separating the Wheat from
the Chaff},
booktitle = {{ENASE} 2016 - Proceedings of the 11th International Conference on
Evaluation of Novel Approaches to Software Engineering, Rome, Italy
27-28 April, 2016},
pages = {377--382},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005928603770382},
doi = {10.5220/0005928603770382},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/ZamanskyHB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/ZamanskyRAS16,
author = {Anna Zamansky and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Mark Adams and
Maria Spichkova},
editor = {Leszek A. Maciaszek and
Joaquim Filipe},
title = {Formal Methods in Collaborative Projects},
booktitle = {{ENASE} 2016 - Proceedings of the 11th International Conference on
Evaluation of Novel Approaches to Software Engineering, Rome, Italy
27-28 April, 2016},
pages = {396--402},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005937403960402},
doi = {10.5220/0005937403960402},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/ZamanskyRAS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/Reinhartz-Berger16,
author = {Iris Reinhartz{-}Berger and
Anna Zamansky and
Yair Wand},
editor = {Isabelle Comyn{-}Wattiau and
Katsumi Tanaka and
Il{-}Yeol Song and
Shuichiro Yamamoto and
Motoshi Saeki},
title = {An Ontological Approach for Identifying Software Variants: Specialization
and Template Instantiation},
booktitle = {Conceptual Modeling - 35th International Conference, {ER} 2016, Gifu,
Japan, November 14-17, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9974},
pages = {98--112},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46397-1\_8},
doi = {10.1007/978-3-319-46397-1\_8},
timestamp = {Thu, 23 Jun 2022 19:56:58 +0200},
biburl = {https://dblp.org/rec/conf/er/Reinhartz-Berger16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LindenHZ16,
author = {Dirk van der Linden and
Irit Hadar and
Anna Zamansky},
title = {Towards a Marketplace of Visual Elements for Notation Design},
booktitle = {24th {IEEE} International Requirements Engineering Conference, {RE}
2016, Beijing, China, September 12-16, 2016},
pages = {353--358},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RE.2016.31},
doi = {10.1109/RE.2016.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/LindenHZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SpichkovaZF16,
author = {Maria Spichkova and
Anna Zamansky and
Eitan Farchi},
title = {Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical
Systems},
journal = {CoRR},
volume = {abs/1601.06222},
year = {2016},
url = {http://arxiv.org/abs/1601.06222},
eprinttype = {arXiv},
eprint = {1601.06222},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SpichkovaZF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ArieliZ15,
author = {Ofer Arieli and
Anna Zamansky},
title = {A dissimilarity-based framework for generating inconsistency-tolerant
logics},
journal = {Ann. Math. Artif. Intell.},
volume = {73},
number = {1-2},
pages = {47--73},
year = {2015},
url = {https://doi.org/10.1007/s10472-013-9333-2},
doi = {10.1007/S10472-013-9333-2},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ArieliZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/AvronKZ15,
author = {Arnon Avron and
Beata Konikowska and
Anna Zamansky},
title = {Efficient reasoning with inconsistent information using C-systems},
journal = {Inf. Sci.},
volume = {296},
pages = {219--236},
year = {2015},
url = {https://doi.org/10.1016/j.ins.2014.11.003},
doi = {10.1016/J.INS.2014.11.003},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/AvronKZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/HadarZ15,
author = {Irit Hadar and
Anna Zamansky},
editor = {Anne Persson and
Janis Stirna},
title = {When a Paradigm is Inconsistent with Intuition: The Case of Inconsistency
Management},
booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2015 International
Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {215},
pages = {107--113},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19243-7\_11},
doi = {10.1007/978-3-319-19243-7\_11},
timestamp = {Sun, 02 Jun 2019 21:20:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/HadarZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/Reinhartz-Berger15,
author = {Iris Reinhartz{-}Berger and
Anna Zamansky and
Mark Kemelman},
editor = {Khaled Gaaloul and
Rainer Schmidt and
Selmin Nurcan and
S{\'{e}}rgio Guerreiro and
Qin Ma},
title = {Analyzing Variability of Cloned Artifacts: Formal Framework and Its
Application to Requirements},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 16th
International Conference, {BPMDS} 2015, 20th International Conference,
{EMMSAD} 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015,
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {214},
pages = {311--325},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19237-6\_20},
doi = {10.1007/978-3-319-19237-6\_20},
timestamp = {Fri, 19 Mar 2021 08:43:31 +0100},
biburl = {https://dblp.org/rec/conf/caise/Reinhartz-Berger15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chiplay/BaskinZ15,
author = {Sofya Baskin and
Anna Zamansky},
editor = {Anna L. Cox and
Paul A. Cairns and
Regina Bernhaupt and
Lennart E. Nacke},
title = {The Player is Chewing the Tablet!: Towards a Systematic Analysis of
User Behavior in Animal-Computer Interaction},
booktitle = {Proceedings of the 2015 Annual Symposium on Computer-Human Interaction
in Play, {CHI} {PLAY} 2015, London, United Kingdom, October 5-7, 2015},
pages = {463--468},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2793107.2810315},
doi = {10.1145/2793107.2810315},
timestamp = {Thu, 14 Mar 2019 15:43:02 +0100},
biburl = {https://dblp.org/rec/conf/chiplay/BaskinZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/Reinhartz-Berger15,
author = {Iris Reinhartz{-}Berger and
Anna Zamansky and
Yair Wand},
editor = {Paul Johannesson and
Mong{-}Li Lee and
Stephen W. Liddle and
Andreas L. Opdahl and
Oscar Pastor L{\'{o}}pez},
title = {Taming Software Variability: Ontological Foundations of Variability
Mechanisms},
booktitle = {Conceptual Modeling - 34th International Conference, {ER} 2015, Stockholm,
Sweden, October 19-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9381},
pages = {399--406},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25264-3\_29},
doi = {10.1007/978-3-319-25264-3\_29},
timestamp = {Thu, 01 Sep 2022 08:10:23 +0200},
biburl = {https://dblp.org/rec/conf/er/Reinhartz-Berger15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/SpichkovaZF15,
author = {Maria Spichkova and
Anna Zamansky and
Eitan Farchi},
title = {Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical
Systems},
booktitle = {21st {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2015, Melbourne, Australia, December 14-17, 2015},
pages = {847--851},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICPADS.2015.115},
doi = {10.1109/ICPADS.2015.115},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/SpichkovaZF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwec/BaskinAZ15,
author = {Sofya Baskin and
Sharon Anavi{-}Goffer and
Anna Zamansky},
editor = {Konstantinos Chorianopoulos and
Monica Divitini and
Jannicke Baalsrud Hauge and
Letizia Jaccheri and
Rainer Malaka},
title = {Serious Games: Is Your User Playing or Hunting?},
booktitle = {Entertainment Computing - {ICEC} 2015 - 14th International Conference,
{ICEC} 2015, Trondheim, Norway, September 29 - October 2, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9353},
pages = {475--481},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24589-8\_43},
doi = {10.1007/978-3-319-24589-8\_43},
timestamp = {Tue, 29 Dec 2020 18:41:01 +0100},
biburl = {https://dblp.org/rec/conf/iwec/BaskinAZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/HadarZ15,
author = {Irit Hadar and
Anna Zamansky},
editor = {Didar Zowghi and
Vincenzo Gervasi and
Daniel Amyot},
title = {Cognitive factors in inconsistency management},
booktitle = {23rd {IEEE} International Requirements Engineering Conference, {RE}
2015, Ottawa, ON, Canada, August 24-28, 2015},
pages = {226--229},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RE.2015.7320427},
doi = {10.1109/RE.2015.7320427},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/HadarZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BorgidaJZ15,
author = {Alexander Borgida and
Ivan Jureta and
Anna Zamansky},
editor = {Didar Zowghi and
Vincenzo Gervasi and
Daniel Amyot},
title = {Towards a general formal framework of Coherence Management in {RE}},
booktitle = {23rd {IEEE} International Requirements Engineering Conference, {RE}
2015, Ottawa, ON, Canada, August 24-28, 2015},
pages = {274--277},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RE.2015.7320436},
doi = {10.1109/RE.2015.7320436},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/BorgidaJZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ZamanskyF15,
author = {Anna Zamansky and
Eitan Farchi},
editor = {Domenico Bianculli and
Radu Calinescu and
Bernhard Rumpe},
title = {Helping the Tester Get It Right: Towards Supporting Agile Combinatorial
Test Design},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9509},
pages = {35--42},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-49224-6\_4},
doi = {10.1007/978-3-662-49224-6\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ZamanskyF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ZamanskyF15a,
author = {Anna Zamansky and
Eitan Farchi},
editor = {Domenico Bianculli and
Radu Calinescu and
Bernhard Rumpe},
title = {Exploring the Role of Logic and Formal Methods in Information Systems
Education},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9509},
pages = {68--74},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-49224-6\_7},
doi = {10.1007/978-3-662-49224-6\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ZamanskyF15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZamanskyF15,
author = {Anna Zamansky and
Eitan Farchi},
title = {Teaching Logic to Information Systems Students: Challenges and Opportunities},
journal = {CoRR},
volume = {abs/1507.03687},
year = {2015},
url = {http://arxiv.org/abs/1507.03687},
eprinttype = {arXiv},
eprint = {1507.03687},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZamanskyF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CiabattoniLSZ14,
author = {Agata Ciabattoni and
Ori Lahav and
Lara Spendier and
Anna Zamansky},
title = {Taming Paraconsistent (and Other) Logics: An Algorithmic Approach},
journal = {{ACM} Trans. Comput. Log.},
volume = {16},
number = {1},
pages = {5:1--5:23},
year = {2014},
url = {https://doi.org/10.1145/2661636},
doi = {10.1145/2661636},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/CiabattoniLSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/ZamanskyAS14,
author = {Anna Zamansky and
Ofer Arieli and
Kostas Stefanidis},
editor = {Anne Laurent and
Olivier Strauss and
Bernadette Bouchon{-}Meunier and
Ronald R. Yager},
title = {Context-Aware Distance Semantics for Inconsistent Database Systems},
booktitle = {Information Processing and Management of Uncertainty in Knowledge-Based
Systems - 15th International Conference, {IPMU} 2014, Montpellier,
France, July 15-19, 2014, Proceedings, Part {II}},
series = {Communications in Computer and Information Science},
volume = {443},
pages = {194--203},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08855-6\_20},
doi = {10.1007/978-3-319-08855-6\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/ZamanskyAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BaazLZ13,
author = {Matthias Baaz and
Ori Lahav and
Anna Zamansky},
title = {Finite-valued Semantics for Canonical Labelled Calculi},
journal = {J. Autom. Reason.},
volume = {51},
number = {4},
pages = {401--430},
year = {2013},
url = {https://doi.org/10.1007/s10817-013-9273-x},
doi = {10.1007/S10817-013-9273-X},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BaazLZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AvronKZ13,
author = {Arnon Avron and
Beata Konikowska and
Anna Zamansky},
title = {Cut-free sequent calculi for C-systems with generalized finite-valued
semantics},
journal = {J. Log. Comput.},
volume = {23},
number = {3},
pages = {517--540},
year = {2013},
url = {https://doi.org/10.1093/logcom/exs039},
doi = {10.1093/LOGCOM/EXS039},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AvronKZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CiabattoniLSZ13,
author = {Agata Ciabattoni and
Ori Lahav and
Lara Spendier and
Anna Zamansky},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Automated Support for the Investigation of Paraconsistent and Other
Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {119--133},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_9},
doi = {10.1007/978-3-642-35722-0\_9},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CiabattoniLSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ZamanskyA12,
author = {Anna Zamansky and
Arnon Avron},
title = {Canonical signed calculi with multi-ary quantifiers},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {7},
pages = {951--960},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.09.006},
doi = {10.1016/J.APAL.2011.09.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ZamanskyA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaazLZ12,
author = {Matthias Baaz and
Ori Lahav and
Anna Zamansky},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Effective Finite-Valued Semantics for Labelled Calculi},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {52--66},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_7},
doi = {10.1007/978-3-642-31365-3\_7},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BaazLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ArieliZ12,
author = {Ofer Arieli and
Anna Zamansky},
editor = {Thomas Lukasiewicz and
Attila Sali},
title = {Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities},
booktitle = {Foundations of Information and Knowledge Systems - 7th International
Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7153},
pages = {34--50},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28472-4\_3},
doi = {10.1007/978-3-642-28472-4\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/ArieliZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Zamansky12,
author = {Anna Zamansky},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {A Preferential Framework for Trivialization-Resistant Reasoning with
Inconsistent Information},
booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {463--475},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_36},
doi = {10.1007/978-3-642-33353-8\_36},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Zamansky12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AvronKZ12,
author = {Arnon Avron and
Beata Konikowska and
Anna Zamansky},
title = {Modular Construction of Cut-free Sequent Calculi for Paraconsistent
Logics},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {85--94},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.20},
doi = {10.1109/LICS.2012.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AvronKZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/ArieliZ11,
author = {Ofer Arieli and
Anna Zamansky},
title = {A framework for reasoning under uncertainty based on non-deterministic
distance semantics},
journal = {Int. J. Approx. Reason.},
volume = {52},
number = {2},
pages = {184--211},
year = {2011},
url = {https://doi.org/10.1016/j.ijar.2010.07.006},
doi = {10.1016/J.IJAR.2010.07.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/ArieliZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/ArieliZ11,
author = {Ofer Arieli and
Anna Zamansky},
title = {Simplified forms of computerized reasoning with distance semantics},
journal = {J. Appl. Log.},
volume = {9},
number = {1},
pages = {1--22},
year = {2011},
url = {https://doi.org/10.1016/j.jal.2010.07.001},
doi = {10.1016/J.JAL.2010.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/ArieliZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/ArieliAZ11,
author = {Ofer Arieli and
Arnon Avron and
Anna Zamansky},
title = {Maximal and Premaximal Paraconsistency in the Framework of Three-Valued
Semantics},
journal = {Stud Logica},
volume = {97},
number = {1},
pages = {31--60},
year = {2011},
url = {https://doi.org/10.1007/s11225-010-9296-9},
doi = {10.1007/S11225-010-9296-9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/ArieliAZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/ArieliAZ11a,
author = {Ofer Arieli and
Arnon Avron and
Anna Zamansky},
title = {Ideal Paraconsistent Logics},
journal = {Stud Logica},
volume = {99},
number = {1-3},
pages = {31--60},
year = {2011},
url = {https://doi.org/10.1007/s11225-011-9346-y},
doi = {10.1007/S11225-011-9346-Y},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/ArieliAZ11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArieliAZ11,
author = {Ofer Arieli and
Arnon Avron and
Anna Zamansky},
editor = {Toby Walsh},
title = {What Is an Ideal Logic for Reasoning with Inconsistency?},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {706--711},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-125},
doi = {10.5591/978-1-57735-516-8/IJCAI11-125},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ArieliAZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CiabattoniLZ11,
author = {Agata Ciabattoni and
Ori Lahav and
Anna Zamansky},
editor = {Kai Br{\"{u}}nnler and
George Metcalfe},
title = {Basic Constructive Connectives, Determinism and Matrix-Based Semantics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 20th
International Conference, {TABLEAUX} 2011, Bern, Switzerland, July
4-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6793},
pages = {119--133},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22119-4\_11},
doi = {10.1007/978-3-642-22119-4\_11},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/CiabattoniLZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/AvronZ10,
author = {Arnon Avron and
Anna Zamansky},
title = {Non-deterministic Multi-valued Logics--A Tutorial},
booktitle = {40th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2010, Barcelona, Spain, 26-28 May 2010},
pages = {53--60},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISMVL.2010.18},
doi = {10.1109/ISMVL.2010.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/AvronZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ArieliZ10,
author = {Ofer Arieli and
Anna Zamansky},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {Similarity-Based Inconsistency-Tolerant Logics},
booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {11--23},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_4},
doi = {10.1007/978-3-642-15675-5\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/ArieliZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ArieliAZ10,
author = {Ofer Arieli and
Arnon Avron and
Anna Zamansky},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Maximally Paraconsistent Three-Valued Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1218},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ArieliAZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AvronAZ10,
author = {Arnon Avron and
Ofer Arieli and
Anna Zamansky},
title = {On Strong Maximality of Paraconsistent Finite-Valued Logics},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {304--313},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.20},
doi = {10.1109/LICS.2010.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AvronAZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/il/Zamansky09,
author = {Anna Zamansky},
title = {Non-deterministic multi-valued logics and their applications},
school = {Tel Aviv University, Israel},
year = {2009},
url = {https://tau.primo.exlibrisgroup.com/permalink/972TAU\_INST/bai57q/alma990021974490204146},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/il/Zamansky09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArieliZ09,
author = {Ofer Arieli and
Anna Zamansky},
title = {Distance-based non-deterministic semantics for reasoning with uncertainty},
journal = {Log. J. {IGPL}},
volume = {17},
number = {4},
pages = {325--350},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp014},
doi = {10.1093/JIGPAL/JZP014},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ArieliZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/AvronCZ09,
author = {Arnon Avron and
Agata Ciabattoni and
Anna Zamansky},
editor = {Anna E. Frid and
Andrey Morozov and
Andrey Rybalchenko and
Klaus W. Wagner},
title = {Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism},
booktitle = {Computer Science - Theory and Applications, Fourth International Computer
Science Symposium in Russia, {CSR} 2009, Novosibirsk, Russia, August
18-23, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5675},
pages = {26--37},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03351-3\_5},
doi = {10.1007/978-3-642-03351-3\_5},
timestamp = {Mon, 01 Mar 2021 13:46:21 +0100},
biburl = {https://dblp.org/rec/conf/csr/AvronCZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/ArieliZ09,
author = {Ofer Arieli and
Anna Zamansky},
editor = {Claudio Sossai and
Gaetano Chemello},
title = {Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent
Data},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
10th European Conference, {ECSQARU} 2009, Verona, Italy, July 1-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5590},
pages = {793--804},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02906-6\_68},
doi = {10.1007/978-3-642-02906-6\_68},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/ArieliZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/AvronZ09,
author = {Arnon Avron and
Anna Zamansky},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {31--45},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_3},
doi = {10.1007/978-3-540-92687-0\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/AvronZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AvronZ08,
author = {Arnon Avron and
Anna Zamansky},
title = {Canonical Calculi with (n, k)-ary Quantifiers},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {3},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(3:2)2008},
doi = {10.2168/LMCS-4(3:2)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AvronZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agi/ArieliZ08,
author = {Ofer Arieli and
Anna Zamansky},
editor = {Pei Wang and
Ben Goertzel and
Stan Franklin},
title = {Distance-Based Non-Deterministic Semantics},
booktitle = {Artificial General Intelligence 2008, Proceedings of the First {AGI}
Conference, {AGI} 2008, March 1-3, 2008, University of Memphis, Memphis,
TN, {USA}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {171},
pages = {39--50},
publisher = {{IOS} Press},
year = {2008},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=8295},
timestamp = {Thu, 24 Aug 2017 11:33:04 +0200},
biburl = {https://dblp.org/rec/conf/agi/ArieliZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/ArieliZ08,
author = {Ofer Arieli and
Anna Zamansky},
editor = {Sabine Bergler},
title = {Some Simplified Forms of Reasoning with Distance-Based Entailments},
booktitle = {Advances in Artificial Intelligence , 21st Conference of the Canadian
Society for Computational Studies of Intelligence, Canadian {AI} 2008,
Windsor, Canada, May 28-30, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5032},
pages = {36--47},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68825-9\_4},
doi = {10.1007/978-3-540-68825-9\_4},
timestamp = {Thu, 28 Sep 2023 12:27:09 +0200},
biburl = {https://dblp.org/rec/conf/ai/ArieliZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/AvronZ08,
author = {Arnon Avron and
Anna Zamansky},
editor = {Edward A. Hirsch and
Alexander A. Razborov and
Alexei L. Semenov and
Anatol Slissenko},
title = {A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination,
Coherence, and Non-deterministic Semantics},
booktitle = {Computer Science - Theory and Applications, Third International Computer
Science Symposium in Russia, {CSR} 2008, Moscow, Russia, June 7-12,
2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5010},
pages = {52--63},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79709-8\_9},
doi = {10.1007/978-3-540-79709-8\_9},
timestamp = {Tue, 21 Mar 2023 21:00:47 +0100},
biburl = {https://dblp.org/rec/conf/csr/AvronZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ArieliZ08,
author = {Ofer Arieli and
Anna Zamansky},
editor = {Wilfrid Hodges and
Ruy J. G. B. de Queiroz},
title = {Reasoning with Uncertainty by Nmatrix-Metric Semantics},
booktitle = {Logic, Language, Information and Computation, 15th International Workshop,
WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5110},
pages = {69--82},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69937-8\_8},
doi = {10.1007/978-3-540-69937-8\_8},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/ArieliZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0806-0081,
author = {Arnon Avron and
Anna Zamansky},
title = {Canonical calculi with (n,k)-ary quantifiers},
journal = {CoRR},
volume = {abs/0806.0081},
year = {2008},
url = {http://arxiv.org/abs/0806.0081},
eprinttype = {arXiv},
eprint = {0806.0081},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0806-0081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/ZamanskyA07,
author = {Anna Zamansky and
Arnon Avron},
title = {Effective Non-deterministic Semantics for First-order LFIs},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {13},
number = {4-6},
pages = {335--352},
year = {2007},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-13-number-4-6-2007/mvlsc-13-4-6-p-335-352/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/ZamanskyA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/AvronZ07,
author = {Arnon Avron and
Anna Zamansky},
title = {Non-deterministic Multi-valued Matrices for First-Order Logics of
Formal Inconsistency},
booktitle = {37th International Symposium on Multiple-Valued Logic, {ISMVL} 2007,
13-16 May 2007, Oslo, Norway},
pages = {14},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISMVL.2007.38},
doi = {10.1109/ISMVL.2007.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/AvronZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/AvronZ07,
author = {Arnon Avron and
Anna Zamansky},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {26--40},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_3},
doi = {10.1007/978-3-540-72734-7\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/AvronZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/ZamanskyFW06,
author = {Anna Zamansky and
Nissim Francez and
Yoad Winter},
title = {A 'Natural Logic' inference system using the Lambek calculus},
journal = {J. Log. Lang. Inf.},
volume = {15},
number = {3},
pages = {273--295},
year = {2006},
url = {https://doi.org/10.1007/s10849-006-9018-x},
doi = {10.1007/S10849-006-9018-X},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/ZamanskyFW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/ZamanskyA06,
author = {Anna Zamansky and
Arnon Avron},
title = {Cut-Elimination and Quantification in Canonical Systems},
journal = {Stud Logica},
volume = {82},
number = {1},
pages = {157--176},
year = {2006},
url = {https://doi.org/10.1007/s11225-006-6611-6},
doi = {10.1007/S11225-006-6611-6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/ZamanskyA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AvronZ06,
author = {Arnon Avron and
Anna Zamansky},
editor = {Stefano Aguzzoli and
Agata Ciabattoni and
Brunella Gerla and
Corrado Manara and
Vincenzo Marra},
title = {Many-Valued Non-deterministic Semantics for First-Order Logics of
Formal (In)consistency},
booktitle = {Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers
in Honor of Daniele Mundici on the Occasion of His 60th birthday},
series = {Lecture Notes in Computer Science},
volume = {4460},
pages = {1--24},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75939-3\_1},
doi = {10.1007/978-3-540-75939-3\_1},
timestamp = {Sun, 25 Oct 2020 23:08:31 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AvronZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZamanskyA06,
author = {Anna Zamansky and
Arnon Avron},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {251--265},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_22},
doi = {10.1007/11814771\_22},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ZamanskyA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ZamanskyA06,
author = {Anna Zamansky and
Arnon Avron},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Non-Deterministic Semantics for First-Order Paraconsistent Logics},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {431--439},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-045.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ZamanskyA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/AvronZ05,
author = {Arnon Avron and
Anna Zamansky},
title = {Quantification in Non-Deterministic Multi-Valued Structures},
booktitle = {35th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
2005), 18-21 May 2005, Calgary, Canada},
pages = {296--301},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISMVL.2005.40},
doi = {10.1109/ISMVL.2005.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/AvronZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
