( en | de | ru )

 

Disambiguation of "Schapachnik, Fernando"

Author of the publication

copydeleteadd this publication to your clipboard
Types of Rights in Two-Party Systems: A Formal Analysis.

, and . JURIX, volume 250 of Frontiers in Artificial Intelligence and Applications, page 105-114. IOS Press, (2012)

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.

Fernando Boenicke

Fernando Rinaldi

Fernando Wiens

Fernando Cox

Fernando Silva

 

Other publications of authors with the same name

Performance improvement on legal model checking., , , , , , , , and . ICAIL, page 59-68. ACM, (2017)On the Specification and Monitoring of Timed Normative Systems., , , and . RV, volume 12974 of Lecture Notes in Computer Science, page 81-99. Springer, (2021)What's the worth of having a single CS teacher program aimed at teachers with heterogeneous profiles?, , and . CoRR, (2020)A teacher training program in argentina analysed by profiles., , , , and . WiPSCE, page 24:1-24:2. ACM, (2020)Hypervolume Approximation in Timed Automata Model Checking., , , and . FORMATS, volume 4763 of Lecture Notes in Computer Science, page 69-81. Springer, (2007)Model Checking Legal Documents., , and . JURIX, volume 223 of Frontiers in Artificial Intelligence and Applications, page 151-154. IOS Press, (2010)Computational Models for Normative Multi-Agent Systems., , , , , , , and . Normative Multi-Agent Systems, volume 4 of Dagstuhl Follow-Ups, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Permissions in Contracts, a Logical Insight., and . JURIX, volume 235 of Frontiers in Artificial Intelligence and Applications, page 140-144. IOS Press, (2011)An architecture-centric approach to the development of a distributed model-checker for timed automata., , and . ICSE, page 710. ACM, (2002)A toolsuite for the verification of real-time systems in Eclipse., , , , , , , and . ETX, page 35-39. ACM, (2006)