Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Activity Trackers for Raising Guide Dogs: Challenges and Opportunities., and . IEEE Technol. Soc. Mag., 37 (4): 62-69 (2018)Some might freak out: What if your dog's activity tracker were to have a data breach?, , , and . ACI, page 4:1-4:12. ACM, (2019)Teaching Logic to Information Systems Students: Challenges and Opportunities., and . CoRR, (2015)Toward characterization of playful ACI., and . Interactions, 23 (4): 47-51 (2016)A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information.. JELIA, volume 7519 of Lecture Notes in Computer Science, page 463-475. Springer, (2012)Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers., and . LFCS, volume 4514 of Lecture Notes in Computer Science, page 26-40. Springer, (2007)Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi., and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 487-495. Springer, (2016)VarMeR - A Variability Mechanisms Recommender for Software Artifacts., and . CAiSE-Forum-DC, volume 1848 of CEUR Workshop Proceedings, page 57-64. CEUR-WS.org, (2017)A paraconsistent view on B and S5., and . Advances in Modal Logic, page 21-37. College Publications, (2016)Exploring Digitalization of Animal-Assisted Reading., , , , , , and . ACI, page 4:1-4:8. ACM, (2021)