Engaging high school students using chatbots L Benotti, MC Martínez, F Schapachnik Proceedings of the 2014 conference on Innovation & technology in computer …, 2014 | 127 | 2014 |
A tool for introducing computer science with automatic formative assessment L Benotti, MC Martnez, F Schapachnik IEEE transactions on learning technologies 11 (2), 179-192, 2017 | 107 | 2017 |
Contract automata: an operational view of contracts between interactive parties S Azzopardi, GJ Pace, F Schapachnik, G Schneider Artificial Intelligence and Law 24, 203-243, 2016 | 30 | 2016 |
On observing contracts: deontic contracts meet smart contracts S Azzopardi, GJ Pace, F Schapachnik Legal knowledge and information systems, 21-30, 2018 | 23 | 2018 |
Contracts for interacting two-party systems GJ Pace, F Schapachnik arXiv preprint arXiv:1209.2238, 2012 | 21 | 2012 |
Issues in distributed timed model checking: Building Zeus V Braberman, A Olivero, F Schapachnik International Journal on Software Tools for Technology Transfer 7, 4-18, 2005 | 21 | 2005 |
ZEUS: A distributed timed model-checker based on KRONOS V Braberman, A Olivero, F Schapachnik Electronic notes in theoretical computer science 68 (4), 503-522, 2002 | 18 | 2002 |
Computational models for normative multi-agent systems N Alechina, N Bassiliades, M Dastani, M De Vos, B Logan, S Mera, ... Normative Multi-Agent Systems, 71-92, 2013 | 16 | 2013 |
Model checking legal documents D Gorín, S Mera, F Schapachnik Legal Knowledge and Information Systems, 151-154, 2010 | 14 | 2010 |
A software tool for legal drafting D Gorín, S Mera, F Schapachnik arXiv preprint arXiv:1109.2658, 2011 | 13 | 2011 |
Contract automata with reparations S Azzopardi, GJ Pace, F Schapachnik Legal Knowledge and Information Systems, 49-54, 2014 | 12 | 2014 |
An architecture-centric approach to the development of a distributed model-checker for timed automata F Schapachnik, V Braberman, A Olivero Proceedings of the 24th International Conference on Software Engineering …, 2002 | 11 | 2002 |
Types of rights in two-party systems: A formal analysis J Gordon, F Schapachnik Legal Knowledge and Information Systems: JURIX 2012: The Twenty-Fifth Annual …, 2012 | 10 | 2012 |
Types of rights in two-party systems: A formal analysis J Gordon, F Schapachnik Legal Knowledge and Information Systems: JURIX 2012: The Twenty-Fifth Annual …, 2012 | 10 | 2012 |
Dealing with practical limitations of distributed timed model checking for timed automata V Braberman, A Olivero, F Schapachnik Formal Methods in System Design 29 (2), 197-214, 2006 | 9 | 2006 |
Vintime: Combining high-level finesse with low-level muscle to verify real-time systems A Alfonso, V Braberman, D Garbervetsky, N Kicillof, A Olivero, ... First International Conference on Principles of Software Engineering, PRISE, 2004 | 9 | 2004 |
On-the-fly workload prediction and redistribution in the distributed timed model checker Zeus V Braberman, A Olivero, F Schapachnik Electronic Notes in Theoretical Computer Science 128 (3), 3-18, 2005 | 8 | 2005 |
Pilas bloques: A scenario-based children learning platform A Sanzo, F Schapachnik, P Factorovich, FS O'Connor 2017 Twelfth Latin American Conference on Learning Technologies (LACLO), 1-6, 2017 | 7 | 2017 |
On the specification and monitoring of timed normative systems S Azzopardi, G Pace, F Schapachnik, G Schneider International Conference on Runtime Verification, 81-99, 2021 | 6 | 2021 |
Diez preguntas frecuentes (y urgentes) sobre pensamiento computacional MB Bonello, F Schapachnik Virtualidad, Educación y Ciencia 11 (20), 156-167, 2020 | 6 | 2020 |