Research Publications

E-mail me to have a copy of any of these papers

Enlarged image and more information ...: »»

Results published in the previous century:	1993 ...1997, 1998, 1999, 2000
Results published in this century ............:	2001, 2002, 2003
	Editorial Work Technical Reports

1993 ...1997 (9 publications related to my Ph.D. Thesis)

1998:

[Augusto98a] Razonamiento rebatible temporal. (Defeasible Temporal Reasoning) Juan C. Augusto. Ph.D. Thesis, Dpto. de Ciencias de la Computación, Universidad Nacional del Sur, Argentina, July of 1998. Written in Spanish but, the following publications provide an English translation for the main sections: [Augusto99a], [AugustoS99] , [AugustoS2001], [Augusto2001] and [Augusto2003].
[AugustoS98] Un sistema argumentativo temporal basado en instantes e intervalos. (A Temporal Argumentative System Based on Instants and Intervals) Juan C. Augusto and Guillermo R. Simari. In Proceedings of V Workshop Argentino sobre Aspectos Teóricos de la Inteligencia Artificial, ATIA98, pp. 1005-1019, Neuquén (Argentina), October 1998.
[CoboA98a] Fundamentos lógicos e implementación de una extensión a temporal prolog. (Logical Foundations and Implementation of an Extension to Temporal Prolog) Laura Cobo and Juan C. Augusto. In Proceedings of IV Congreso Argentino de Cs. de la Computación, CACiC98 pp. 917-932, Neuquén (Argentina), October of 1998.
[CoboA98b] Programación en lógica temporal basada en los operadores Since and Until. (Temporal Logic Programming Based on Since and Until Operators) Laura Cobo and Juan C. Augusto. In Proceedings of IV Congreso Argentino de Cs. de la Computación, CACiC98, pp. 963-977, Neuquén (Argentina), October of 1998.

1999:

[Augusto99a] Defeasible Temporal Reasoning. Juan C. Augusto. Extended Abstract of the Ph.D. thesis Razonamiento Rebatible Temporal, In Electronic Journal of the Argentine Society for Informatics and Operations Research (SADIO), volume 2 number 1, June 1999.
[Augusto99b] A Temporal Argumentative System Based on Instants and Intervals. Juan C. Augusto. In IV Dutch-German Workshop on NonMonotonic Reasoning Techniques and their Applications, DGNMR'99, Institute of Logic, Language and Computation, University of Amsterdam (Netherlands), March 25-27, 1999.
[CoboA99a] Resolviendo problemas de sincronización e interacción a través de MTPL. (Solving Synchronization and Interaction Problems through MTPL) María Laura Cobo and Juan Carlos Augusto. Proceedings of 7as Jornadas Universitarias de Computación, Universidad Católica de Santiago del Estero, pp. 81-106, October of 1999.
[AugustoV99] Hipótesis temporales en las propuestas para representar sincronización e interacción en multimedia. (Temporal Hypothesis in the Proposals to Represent Synchronization and Interaction in Multimedia) J. C. Augusto and M. Vitturini. Proceedings of 7as Jornadas Universitarias de Computación, Universidad Católica de Santiago del Estero, pp. 1-28, October of 1999.
[CoboA99b] EMTPL: A Programming Language for Temporal Deductive Data Bases. María L. Cobo and Juan C. Augusto. Proceedings of XIX International Conference of the Chilean Computer Science Society, Edited by IEEE, pp. 170-178, Talca (Chile), November of 1999.
[AugustoS99] A Temporal Argumentative System. Juan C. Augusto and Guillermo R. Simari. Artificial Intelligence Communications, vol.12 nro. 4, pp. 237-257, IOS Press, 1999.

2000:

[CoboA2000a] Logical Foundations and Implementation of an Extension to Temporal Prolog. Laura Cobo and Juan C. Augusto. Journal of Computer Science and Technology (JCS&T) number 2, pp. 22-36, sponsored by ISTEC (Iberoamerican Science & Technology Education Consortium. March 2000.
[SánchezA2000] Testing an Implementation of a Temporal Logic Language. Marisa A. Sánchez and Juan C. Augusto. Proceedings of XX International Conference of the Chilean Computer Science Society, Santiago (Chile), pp. 68-73 November of 2000.
[GómezA2000] Un análisis comparativo de lenguajes de consulta para bases de datos temporales. (A Comparison of Temporal Databases Query Languages) Rodolfo Gómez and Juan Carlos Augusto. Proceedings of VI Congreso Argentino de Cs. de la Computación, CACiC2000, pp. 111-122, Usuahia, October 2-7 of 2000.
[CoboA2000b] A Programming Language Based on Prior's Metric Temporal Operators. María Laura Cobo and Juan Carlos Augusto. Proceedings of VI Congreso Argentino de Cs. de la Computación, CACiC2000, pp. 453-464, Usuahia, October 2-7 of 2000.

2001:

[GómezAG2001] A Set of Test Cases for an Event Detector Prototype, R. Gómez, J. C. Augusto and A. Galton. Proceedings of 13th International Conference on Software Engineering and Knowledge Engineering (SEKE'2001), pp. 341- 345. Buenos Aires (Argentina). 13th-15th June, 2001.
[AcuñaALM2001] Una formalización de la dinámica del proceso de desarrollo de software. (A Formalization of the Software Development Process Dynamics) S. T. Acuña, J. C. Augusto, M. Lescano and I. Maldonado. Proceedings of 1st Ibero American Conference on Software Engineering and Knowledge Engineering (JIISIC'2001), pp. 137-146. Buenos Aires (Argentina). 13th-15th June, 2001.
[AugustoS2001] Temporal Defeasible Reasoning, Juan C. Augusto and Guillermo R. Simari. Knowledge and Information Systems, Volume 3, Number 3, 287-318, August 2001. Springer Verlag.
[Augusto2001] The Logical Approach to Temporal Reasoning, Juan C. Augusto, Artificial Intelligence Review, Vol. 16, 4, December, pp. 301-333, Kluwer Academic Publishers.

2002:

[AugustoG2002b] A Temporal Logic View of Paradigm Specifications, Juan Carlos Augusto and Rodolfo Gómez. In Proceedings of Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'02), pp. 497-503, July 2002, Ischia, Italy. (PDF version)
[GaltonA2002a] Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols, A. Galton and Juan C. Augusto. In Proceedings of 9th International Symposium on Temporal Representation and Reasoning (Time-2002), pp. 52-54, July 2002, Manchester, UK. (PDF version)
[GaltonA2002b] Two Approaches to Event Definition, A. Galton and J. C. Augusto. In Proceedings of 13th International Conference on Database and Expert Systems Applications (DEXA'02), pp. 547-556, September 2002, Aix en Provence, France. (PDF version)
[AugustoAML2002] Formalizing Durations in the Software Development Process. J. C. Augusto, S. T. Acuña, I. Maldonado and M. Lezcano. To be published in Proceedings of 2nd Ibero American Conference on Software Engineering and Knowledge Engineering (JIISIC'02), Salvador, Brasil, October 2002.

2003:

[AugustoLBFC2003] Using the Extensible Model Checker XTL to Verify StAC Business Specifications. Juan C. Augusto, Michael Leuschel, Michael Butler, and Carla Ferreira. Pre-proceedings of 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), pp. 253--266, April 2-3 2003, Southampton (UK). (PDF version)
[Augusto2003] A General framework for Reasoning about Change. Juan C. Augusto, To be Published in New Generation Computing, 21(3) 209-247, Ohmsha, Ltd and Springer Verlag, 2003.
[AugustoBFC2003] Using SPIN and STeP to Verify StAC Specifications. J. Augusto, Michael Butler, Carla Ferreira, and Stephen Craig. To be published in Proceedings of PSI'03, 5th International A.P.Ershov Conference on Perspectives of System Informatics, Novosibirsk, Russia, July 2003.
[AugustoG2003] A procedure to translate Paradigm Specifications to Propositional Linear Temporal Logic and its application to verification. Juan Carlos Augusto and Rodolfo Gómez. To be published in the International Journal of Software Engineering and Knowledge Engineering , World Scientific, 2003.
[HowardGGFA2003] Model-Based Trace-Checking. Yvonne M. Howard, Stefan Gruner, Andy M. Gravell, Carla Ferreira and Juan C. Augusto. Published in Proceedings of UK Software Testing Workshop, York, United Kingdom. Published by York Computer Science Yellow Report Series. 4-5 September 2003. (PDF version)
[AugustoFGLN2003b] The Benefits of Rapid Modelling for E-Business System Development. Juan C. Augusto, Carla Ferreira, Andy M. Gravell, Michael A. Leuschel and Karen M. Y. NG. To be Published in Proceedings of 4th International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO2003), (to be held in conjunction with the 22nd International Conference on Conceptual Modeling). Chicago, Illinois, USA. October 13-16, 2003.
[AugustoHGFGL2003] Model-Based Approaches for Validating Business Critical Systems. J. Augusto, Y. Howard, A. Gravell, C. Ferreira, S. Gruner, and M. Leuschel. To be presented at the "System Testing and Validation Workshop", Amsterdam (The Netherlands), September 2003.
[GomezAA2003] An Algorithm to Translate PARADIGM specifications to PLTL in Polynomial Time. Rodolfo Sabas Gómez, Juan Carlos Augusto, Silvia Teresita Acuña. 11 pages. To be published in Proceedings of Jornadas Ibero-Americanas de Ingenieria de Software e Ingenieria del Conocimiento (JIISIC'03), Valdivia (Chile), November 2003.

Editorial Work:

Special Issue of The Electronic Journal of CLEI (Vol. 5, N. 1, June 2002), ISSN 0717-5000, with best papers from JIISIC'01 (Jointly with Dr. Silvia T. Acuña)
Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'02), ISBN: 85-87837-06-0, (Jointly with Dr. André P. Carvalho, Dr. José C. Maldonado, Dr. Manoel Mendonça Neto and Dr. Silvia T. Acuña).
Co-editor of New Technologies for Information Systems, ISBN: 972-98816-2-6. Collection of papers including the proceedings of 1st Workshop on Verification and Validation of Enterprise Information Systems held during ICEIS'03 Angers, France, 22 April, 2003. Edited by Pedro Isaias, Florence Sedes, Juan C. Augusto and Ulrich Ultes-Nitsche.
[scheduled] A special issue of the Journal of Software Testing, Verification and Reliability will be dedicated to a selection of best papers from 1st Workshop on Verification and Validation of Enterprise Information Systems. In collaboration with Dr. Marc Roper.

Technical Reports:

[GómezAG2000] Implementation and testing for a set of event detection operators, R. Gómez, J. C. Augusto and A. Galton. Research Report No. 398, School of Engineering and Computer Science, University of Exeter. 75 pages. December 2000. Part of this work has been published as [GomezAG2001].
[AugustoG2002a] A procedure to translate Paradigm Specifications to Propositional Linear Temporal Logic and its application to verification. Juan Carlos Augusto and Rodolfo Gómez. Technical Report DSSE-TR-2002-7. 40 pages. University of Southampton. January 2002. Part of this work has been published as [AugustoG2002b], and [AugustoG2003]. Still, the content exceeds any of these publications.
[AugustoB2002a] Verifying Correctness in StAC Specifications, J. C. Augusto and Michael Butler. Technical Report DSSE-TR-2002-8. 16 pages. University of Southampton. April 2002. Part of this work has been published as [AugustoB2003].
[AugustoB2002b] Some Observations on Using SPIN and STeP to Verify StAC Specifications, J. Augusto and Michael Butler. Technical Report DSSE-TR-2002-9. 34 pages. University of Southampton. October 2002. Part of this work has been published as [AugustoB2003].
[AugustoFGLN2003] The Benefits of Rapid Modelling for E-Business System Development. Juan C. Augusto, Carla Ferreira, Andy M. Gravell, Michael A. Leuschel and Karen M. Y. NG. Technical Report DSSE-TR-2003-1. 35 pages. University of Southampton. April 2003. Part of this work has been published as [AugustoFGLN2003b].
... (other unpublished material will be put in the list in due time)