Navegar

Colección

Datos Estadísticas

Lista de

Computation theory
4
"Learning from vacuously satisfiable scenario-based specifications" (2012) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012. 7212 LNCS:377-393
"On the complexity of the resolvent representation of some prime differential ideals" (2006) D'Alfonso, L.; Jeronimo, G.; Solernó, P. Journal of Complexity. 22(3):396-430
"On Multi-threaded Metrical Task Systems" (2006) Feuerstein, E.; Seiden, S.S.; Strejilevich de Loma, A. Journal of Discrete Algorithms. 4(3):401-413
"Zeus: A distributed timed model-checker based on Kronos" (2002) Braberman, V.; Olivero, A.; Schapachnik, F. PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002). 68(4):503-522