Fernando Schapachnik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
5
Active years
2002–2021
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | RV | On the Specification and Monitoring of Timed Normative Systems. | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider |
| 2018 | JURIX | On Observing Contracts: Deontic Contracts Meet Smart Contracts. | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik |
| 2017 | ICAIL | Performance improvement on legal model checking. | Carlos Faciano, Sergio Mera, Fernando Schapachnik, Ana Hayde Di Iorio, Bibiana Luz Clara, Vernica Uriarte, Mara Fernanda Giaccaglia, Mara Beln Ruffa, Cristian Marcos |
| 2015 | JURIX | Conditional Permissions in Contracts. | Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider |
| 2014 | ITiCSE | Engaging high school students using chatbots. | Luciana Benotti, Mara Cecilia Martnez, Fernando Schapachnik |
| 2014 | JURIX | Contract Automata with Reparations. | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik |
| 2013 | ICAIL | Synthesising implicit contracts. | Gordon J. Pace, Fernando Schapachnik |
| 2012 | JURIX | Types of Rights in Two-Party Systems: A Formal Analysis. | Gordon J. Pace, Fernando Schapachnik |
| 2011 | JURIX | Permissions in Contracts, a Logical Insight. | Gordon J. Pace, Fernando Schapachnik |
| 2010 | JURIX | Model Checking Legal Documents. | Daniel Gorn, Sergio Mera, Fernando Schapachnik |
| 2002 | ICSE | An architecture-centric approach to the development of a distributed model-checker for timed automata. | Fernando Schapachnik, Vctor A. Braberman, Alfredo Olivero |