Anna Zamansky
发表
Eitan Farchi,
Maria Spichkova,
Anna Zamansky,
2016,
CAiSE Workshops.
Anna Zamansky,
Arnon Avron,
2007,
J. Multiple Valued Log. Soft Comput..
Anna Zamansky,
Arnon Avron,
2005,
35th International Symposium on Multiple-Valued Logic (ISMVL'05).
Ori Lahav,
Anna Zamansky,
Agata Ciabattoni,
2011,
TABLEAUX.
Dirk van der Linden,
Anna Zamansky,
Irit Hadar,
2016,
2016 IEEE 24th International Requirements Engineering Conference (RE).
Anna Zamansky,
Sofya Baskin,
Vitaliya Kononova,
2016,
ACI.
Anna Zamansky,
Ofer Arieli,
A. Zamansky,
2013,
Annals of Mathematics and Artificial Intelligence.
Maria Spichkova,
Anna Zamansky,
2016,
ENASE.
Anna Zamansky,
Arnon Avron,
2020,
Log. J. IGPL.
Jan Olaf Blech,
Peter Herrmann,
Maria Spichkova,
2018,
ENASE.
Anna Zamansky,
Awais Rashid,
Irit Hadar,
2019,
IEEE Security & Privacy.
Anna Zamansky,
Iris Reinhartz-Berger,
2017,
CAiSE-Forum-DC.
Anna Zamansky,
Ofer Arieli,
A. Zamansky,
2009,
ECSQARU.
Anna Zamansky,
Dmitry I. Kaplun,
Robert J. Young,
2019,
ICANN.
Anna Zamansky,
Arnon Avron,
2008,
CSR.
Anna Zamansky,
Agnes Koschmider,
Iris Reinhartz-Berger,
2019,
MODELSWARD.
Alexander Borgida,
Ivan Jureta,
Anna Zamansky,
2015,
2015 IEEE 23rd International Requirements Engineering Conference (RE).
Anna Zamansky,
Arnon Avron,
Beata Konikowska,
2013,
J. Log. Comput..
Anna Zamansky,
Amanda Roshier,
2016,
ACI.
Anna Zamansky,
A. Zamansky,
2012,
JELIA.
Anna Zamansky,
Ofer Arieli,
A. Zamansky,
2008,
WoLLIC.
Anna Zamansky,
Yair Wand,
Iris Reinhartz-Berger,
2015,
ER.
Anna Zamansky,
Pnina Soffer,
Yotam Evron,
2017,
Business Process Management Workshops.
Maria Spichkova,
Anna Zamansky,
2016,
ENASE.
Anna Zamansky,
Ofer Arieli,
2012,
FoIKS.
Anna Zamansky,
Arnon Avron,
2007,
LFCS.
An Ontological Approach for Identifying Software Variants: Specialization and Template Instantiation
Anna Zamansky,
Yair Wand,
Iris Reinhartz-Berger,
2016,
ER.
Anna Zamansky,
Irit Hadar,
A. Zamansky,
2015,
CAiSE Workshops.
Anna Zamansky,
Arnon Avron,
Ofer Arieli,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Anna Zamansky,
Yoni Zohar,
2016,
IJCAR.
Anna Zamansky,
Iris Reinhartz-Berger,
A. Zamansky,
2017,
SCME-iStarT@ER.
Anna Zamansky,
Arnon Avron,
A. Avron,
2008,
Log. Methods Comput. Sci..
Ann Morrison,
Emily C. Collins,
Anna Zamansky,
2017,
CHI Extended Abstracts.
Anna Zamansky,
Ofer Arieli,
A. Zamansky,
2016,
Fuzzy Sets Syst..
Nissim Francez,
Anna Zamansky,
Yoad Winter,
2006,
J. Log. Lang. Inf..
Eitan Farchi,
Anna Zamansky,
2015,
ArXiv.
Anna Zamansky,
Sofya Baskin,
Sharon Anavi-Goffer,
2015,
ICEC.
Maria Spichkova,
Anna Zamansky,
2016,
CAiSE Forum.
Anna Zamansky,
Arnon Avron,
2006,
IJCAR.
Anna Zamansky,
Iris Reinhartz-Berger,
2020
.
Dirk van der Linden,
Anna Zamansky,
Shir Amir,
2017,
ACI.
Eitan Farchi,
Anna Zamansky,
2015,
SEFM Workshops.
Dirk van der Linden,
Anna Zamansky,
Sofya Baskin,
2017,
ACI.
Anna Zamansky,
Arnon Avron,
A. Avron,
2010,
2010 40th IEEE International Symposium on Multiple-Valued Logic.
Dirk van der Linden,
Anna Zamansky,
Irit Hadar,
2016,
BMMDS/EMMSAD.
Ori Lahav,
Anna Zamansky,
Agata Ciabattoni,
2013,
LFCS.
Anna Zamansky,
Arnon Avron,
Agata Ciabattoni,
2009,
CSR.
Anna Zamansky,
Arnon Avron,
Ofer Arieli,
2011,
Stud Logica.
Eitan Farchi,
Anna Zamansky,
Seri Khoury,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Maria Spichkova,
Anna Zamansky,
2019,
ACSW.
Anna Zamansky,
Yoni Zohar,
A. Zamansky,
2016,
CAiSE Workshops.
Ori Lahav,
Anna Zamansky,
Agata Ciabattoni,
2014,
TOCL.
Dirk van der Linden,
Anna Zamansky,
Asaf Fux,
2019,
HEALTHINF.
Anna Zamansky,
Irit Hadar,
Daniel M. Berry,
2016,
ENASE.
Johann A. Makowsky,
Anna Zamansky,
J. Makowsky,
2017,
Formal Methods Syst. Des..
Anna Zamansky,
Hanna Wirman,
A. Zamansky,
2016,
Interactions.
Anna Zamansky,
Arnon Avron,
Beata Konikowska,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Anna Zamansky,
Iris Reinhartz-Berger,
Mark Kemelman,
2015,
BMMDS/EMMSAD.
Anna Zamansky,
Ofer Arieli,
A. Zamansky,
2010,
JELIA.
Anna Zamansky,
Ofer Arieli,
A. Zamansky,
2011,
Int. J. Approx. Reason..
Anna Zamansky,
Arnon Avron,
Beata Konikowska,
2015,
Inf. Sci..
Anna Zamansky,
Sofya Baskin,
A. Zamansky,
2015,
CHI PLAY.
Eitan Farchi,
Maria Spichkova,
Anna Zamansky,
2015,
2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS).
Anna Zamansky,
Thomas Vetterlein,
T. Vetterlein,
2016,
Fuzzy Sets Syst..
Anna Zamansky,
A. Zamansky,
2016,
ACI.
Maria Spichkova,
Anna Zamansky,
Guillermo Rodríguez-Navas,
2016,
ENASE.
Anna Zamansky,
Arnon Avron,
A. Avron,
2012,
Ann. Pure Appl. Log..
Anna Zamansky,
Arnon Avron,
Ofer Arieli,
2011,
Stud Logica.
Anna Zamansky,
Ofer Arieli,
A. Zamansky,
2009,
Log. J. IGPL.
Anna Zamansky,
Ofer Arieli,
A. Zamansky,
2011,
J. Appl. Log..
Anna Zamansky,
Ofer Arieli,
2016,
Log. J. IGPL.
Kostas Stefanidis,
Anna Zamansky,
Ofer Arieli,
2014,
IPMU.
Anna Zamansky,
Pnina Soffer,
Yotam Evron,
2017,
BPMDS/EMMSAD@CAiSE.
Anna Zamansky,
Iris Reinhartz-Berger,
A. Zamansky,
2018,
CAiSE.
Dirk van der Linden,
Anna Zamansky,
A. Zamansky,
2018,
IEEE Technology and Society Magazine.
Dirk van der Linden,
Anna Zamansky,
Irit Hadar,
2017,
2017 IEEE 25th International Requirements Engineering Conference (RE).
Dirk van der Linden,
Anna Zamansky,
Sofya Baskin,
2017,
2017 IEEE 25th International Requirements Engineering Conference (RE).
Anna Zamansky,
Irit Hadar,
Daniel M. Berry,
2019,
Empirical Software Engineering.
Anna Zamansky,
Arnon Avron,
2006,
Algebraic and Proof-theoretic Aspects of Non-classical Logics.
Ori Lahav,
Anna Zamansky,
Matthias Baaz,
2013,
Journal of Automated Reasoning.
Adrian David Cheok,
Anna Zamansky,
Fiona French,
2017,
ACI.
Anna Zamansky,
Arnon Avron,
2009,
LFCS.
Dirk van der Linden,
Anna Zamansky,
A. Zamansky,
2017,
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW).
Anna Zamansky,
Irit Hadar,
A. Zamansky,
2015,
2015 IEEE 23rd International Requirements Engineering Conference (RE).
Anna Zamansky,
Ofer Arieli,
A. Zamansky,
2008,
AGI.
Dirk van der Linden,
Anna Zamansky,
Sofya Baskin,
2017,
CHI PLAY.
Anna Zamansky,
Arnon Avron,
2006,
Stud Logica.
Developing for non-human users: Reflecting on practical implications in the ubiquitous computing era
Dirk van der Linden,
Anna Zamansky,
Irit Hadar,
2019
.
Maria Spichkova,
Anna Zamansky,
2016,
ENASE.
Dirk van der Linden,
Anna Zamansky,
Irit Hadar,
2019,
Software & Systems Modeling.
Anna Zamansky,
Arnon Avron,
Ofer Arieli,
2011,
IJCAI.
Anna Zamansky,
Dmitry I. Kaplun,
Andrey Aksenov,
2020,
Applied Sciences.
Eitan Farchi,
Anna Zamansky,
2015,
SEFM Workshops.
Dirk van der Linden,
Anna Zamansky,
Irit Hadar,
2017,
BPMDS/EMMSAD@CAiSE.
Anna Zamansky,
Arnon Avron,
2007,
37th International Symposium on Multiple-Valued Logic (ISMVL'07).
Anna Zamansky,
Dmitry I. Kaplun,
Robert J. Young,
2019,
ICANN.
Anna Zamansky,
Renate A. Schmidt,
Dmitry Tishkovsky,
2019,
Description Logic, Theory Combination, and All That.
Anna Zamansky,
Arnon Avron,
Ofer Arieli,
2010,
KR.
Ori Lahav,
Anna Zamansky,
Matthias Baaz,
2012,
IJCAR.
Anna Zamansky,
Ofer Arieli,
A. Zamansky,
2008,
Canadian Conference on AI.
Anna Zamansky,
Arnon Avron,
2006,
KR.
Anna Zamansky,
Sarah Webber,
Fiona French,
2019,
ICGJ.
Anna Zamansky,
2017,
FLAP.
Anna Zamansky,
Arnon Avron,
2016,
Advances in Modal Logic.
Dirk van der Linden,
Anna Zamansky,
Aleksandr M. Sinitca,
2021
.
Yoram Chisik,
Anna Zamansky,
Patricia Pons,
2021,
MindTrek.
Anna Zamansky,
Pnina Soffer,
Yotam Evron,
2021,
Business & Information Systems Engineering.
Dirk van der Linden,
Anna Zamansky,
Irit Hadar,
2021,
BPMDS/EMMSAD@CAiSE.
Anna Zamansky,
Clara Mancini,
C. Mancini,
2014
.