| 2008 |
|---|
| 44 | | Ulrich Ultes-Nitsche,
Daniel Moldt,
Juan Carlos Augusto:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008
INSTICC PRESS 2008 |
| 43 | EE | Asier Aztiria,
Juan Carlos Augusto,
Alberto Izaguirre:
Autonomous Learning of User's Preferences Improved through User Feedback.
BMI 2008: 72-86 |
| 42 | EE | Juan Carlos Augusto,
Marc Roper:
Editorial.
Enterprise IS 2(2): 97-99 (2008) |
| 41 | EE | Carlos Ramos,
Juan Carlos Augusto,
Daniel Shapiro:
Ambient Intelligence—the Next Step for Artificial Intelligence.
IEEE Intelligent Systems 23(2): 15-18 (2008) |
| 2007 |
|---|
| 40 | | Juan Carlos Augusto,
Joseph Barjis,
Ulrich Ultes-Nitsche:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007
INSTICC PRESS 2007 |
| 39 | EE | Hamid K. Aghajan,
Juan Carlos Augusto,
Chen Wu,
Paul J. McCullagh,
Julie-Ann Walkden:
Distributed Vision-Based Accident Management for Assisted Living.
ICOST 2007: 196-205 |
| 38 | EE | Juan Carlos Augusto,
Paul J. McCullagh:
Ambient Intelligence: Concepts and Applications.
Comput. Sci. Inf. Syst. 4(1): 1-27 (2007) |
| 37 | EE | Joseph Barjis,
Juan Carlos Augusto,
Ulrich Ultes-Nitsche:
Towards more adequate EIS.
Sci. Comput. Program. 65(1): 1-3 (2007) |
| 2006 |
|---|
| 36 | | Joseph Barjis,
Ulrich Ultes-Nitsche,
Juan Carlos Augusto:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006
INSTICC Press 2006 |
| 35 | | Juan Carlos Augusto,
Chris D. Nugent:
Designing Smart Homes, The Role of Artificial Intelligence
Springer 2006 |
| 34 | EE | Juan Carlos Augusto,
Chris D. Nugent:
Smart Homes Can Be Smarter.
Designing Smart Homes 2006: 1-15 |
| 33 | | Juan Carlos Augusto:
Ambient intelligence: Basic concepts and applications.
ICSOFT (1) 2006 |
| 32 | EE | Juan Carlos Augusto,
Jun Liu,
Liming Chen:
Using Ambient Intelligence for Disaster Management.
KES (2) 2006: 171-178 |
| 31 | EE | Rodolfo Sabás Gómez,
Juan Carlos Augusto:
Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states.
Artif. Intell. Rev. 26(4): 269-289 (2006) |
| 30 | EE | Juan Carlos Augusto,
Norman D. Black,
H. Gerry McAllister,
Paul J. McCullagh,
Chris D. Nugent:
Pervasive Health Management: New Challenges for Health Informatics.
J. UCS 12(1): 1-5 (2006) |
| 2005 |
|---|
| 29 | | Ulrich Ultes-Nitsche,
Juan Carlos Augusto,
Joseph Barjis:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with ICEIS 2005, Miami, FL, USA, May 2005
INSTICC Press 2005 |
| 28 | | Juan Carlos Augusto:
Verification of Smart Homes Specifications which are based on ECA Rules.
MSVVEIS 2005: 118-120 |
| 27 | EE | Juan Carlos Augusto:
Temporal reasoning for decision support in medicine.
Artificial Intelligence in Medicine 33(1): 1-24 (2005) |
| 2004 |
|---|
| 26 | | Juan Carlos Augusto,
Ulrich Ultes-Nitsche:
Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004
INSTICC Press 2004 |
| 25 | | Juan Carlos Augusto,
Chris D. Nugent:
The Use of Temporal Reasoning and Management of Complex Events in Smart Homes.
ECAI 2004: 778-782 |
| 24 | | Rodolfo Gómez,
Juan Carlos Augusto:
Durative Events in Active Databases.
ICEIS (1) 2004: 306-311 |
| 23 | | Juan Carlos Augusto:
Model Checking and Theorem Proving-Based Verification of EIS.
ICEIS (1) 2004: IS-33-IS-34 |
| 22 | EE | Andres Flores,
Juan Carlos Augusto,
Macario Polo,
Mauricio Varea:
Towards context-aware testing for semantic interoperability on PvC environments.
SMC (2) 2004: 1136-1141 |
| 21 | | Marisa A. Sanchez,
Juan Carlos Augusto,
Miguel Felder:
Fault-based Testing of E-Commerce Applications.
VVEIS 2004: 66-74 |
| 20 | EE | Juan Carlos Augusto:
Second International Workshop on Verification and Validation of Enterprise Information Systems.
J. UCS 10(11): 1495-1497 (2004) |
| 2003 |
|---|
| 19 | | Pedro T. Isaías,
Florence Sedes,
Juan Carlos Augusto,
Ulrich Ultes-Nitsche:
New Technologies for Information Systems, Proceedings of the 3rd International Workshop on New Developments in Digital Libraries, NDDL 2003, and the 1st International Workshop on Validation and Verification of Software for Enterprise Information Systems, VVEIS 2003, In conjunction with ICEIS 2003, Angers, France, April 2003
ICEIS Press 2003 |
| 18 | EE | Juan Carlos Augusto,
Carla Ferreira,
Andrew M. Gravell,
Michael Leuschel,
Karen M. Y. Ng:
The Benefits of Rapid Modelling for E-business System Development.
ER (Workshops) 2003: 17-28 |
| 17 | EE | Juan Carlos Augusto,
Michael J. Butler,
Carla Ferreira,
Stephen-John Craig:
Using SPIN and STeP to Verify Business Processes Specifications.
Ershov Memorial Conference 2003: 207-213 |
| 16 | EE | Juan Carlos Augusto,
Y. Howard,
Andrew M. Gravell,
Carla Ferreira,
Stefan Gruner,
Michael Leuschel:
Model-Based Approaches for Validating Business Critical Systems.
STEP 2003: 225-233 |
| 15 | EE | Juan Carlos Augusto,
Rodolfo Gómez:
A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification.
International Journal of Software Engineering and Knowledge Engineering 13(6): 627-654 (2003) |
| 14 | EE | Juan Carlos Augusto:
A General Framework for Reasoning about Change.
New Generation Comput. 21(3): (2003) |
| 13 | EE | Juan Carlos Augusto,
Marc Roper:
Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003).
Softw. Test., Verif. Reliab. 13(4): 205-206 (2003) |
| 2002 |
|---|
| 12 | | André Carlos Ponce Leon Ferreira de Carvalho,
José Carlos Maldonado,
Juan Carlos Augusto,
Manoel Gomes de Mendonça Neto,
Silvia Teresita Acuña:
Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'02), Salvador, Brasil, October 2002
JIISIC 2002 |
| 11 | EE | Antony Galton,
Juan Carlos Augusto:
Two Approaches to Event Definition.
DEXA 2002: 547-556 |
| 10 | | Juan Carlos Augusto,
Silvia Teresita Acuña,
Ivanna Paola Maldonado,
M. Y. Lezcano:
Considering Durative Activities in the Software Process.
JIISIC 2002: 54-65 |
| 9 | EE | Juan Carlos Augusto,
Rodolfo Gómez:
A temporal logic view of paradigm models.
SEKE 2002: 497-503 |
| 8 | EE | Antony Galton,
Juan Carlos Augusto:
Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols.
TIME 2002: 52-54 |
| 2001 |
|---|
| 7 | | Silvia Teresita Acuña,
Juan Carlos Augusto,
Mariela Lescano,
Ivanna Paola Maldonado:
Una Formalización de la Dinámica del Proceso de Desarrollo de Software.
JIISIC 2001: 137-146 |
| 6 | | Rodolfo Gómez,
Juan Carlos Augusto,
Antony Galton:
Testing an Event Specification Language.
SEKE 2001: 341-345 |
| 5 | | Juan Carlos Augusto:
The Logical Approach to Temporal Reasoning.
Artif. Intell. Rev. 16(4): 301-333 (2001) |
| 4 | EE | Juan Carlos Augusto,
Guillermo Ricardo Simari:
Temporal Defeasible Reasoning.
Knowl. Inf. Syst. 3(3): 287-318 (2001) |
| 2000 |
|---|
| 3 | EE | Marisa A. Sanchez,
Juan Carlos Augusto:
Testing an Implementation of a Temporal Logic Language.
SCCC 2000: 68-73 |
| 1999 |
|---|
| 2 | EE | Maria Laura Cobo,
Juan Carlos Augusto:
EMTPL: A Programming Language for Temporal Deductive Data Bases.
SCCC 1999: 170-178 |
| 1 | | Juan Carlos Augusto,
Guillermo Ricardo Simari:
A Temporal Argumentative System.
AI Commun. 12(4): 237-257 (1999) |
