Lista de

Schapachnik, Fernando Pablo
13
14th International Conference on Artificial Intelligence and Law, ICAIL 2013
1
2006 OOPSLA Workshop on Eclipse Technology eXchange, ETX 2006
1
2014 Innovation and Technology in Computer Science Education Conference, ITICSE 2014
1
27th International Conference on Legal Knowledge and Information Systems, JURIX 2014
1
5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007
1
Artificial Intelligence and Law
1
Formal Methods in System Design
1
Frontiers in Artificial Intelligence and Applications
3
International Journal on Software Tools for Technology Transfer
1
PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002)
1
Proceedings of the 3rd International Workshop on Parallel Distributed Methods in Verification (PDMC 2004)
1