The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Juan Carlos Augusto: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Antony Galton, Juan Carlos Augusto
    Two Approaches to Event Definition. [Citation Graph (0, 0)][DBLP]
    DEXA, 2002, pp:547-556 [Conf]
  2. Juan Carlos Augusto, Chris D. Nugent
    The Use of Temporal Reasoning and Management of Complex Events in Smart Homes. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:778-782 [Conf]
  3. Juan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng
    The Benefits of Rapid Modelling for E-business System Development. [Citation Graph (0, 0)][DBLP]
    ER (Workshops), 2003, pp:17-28 [Conf]
  4. Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig
    Using SPIN and STeP to Verify Business Processes Specifications. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:207-213 [Conf]
  5. Juan Carlos Augusto
    Model Checking and Theorem Proving-Based Verification of EIS. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2004, pp:0-33 [Conf]
  6. Rodolfo Gómez, Juan Carlos Augusto
    Durative Events in Active Databases. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2004, pp:306-311 [Conf]
  7. Juan Carlos Augusto, Chris D. Nugent
    Smart Homes Can Be Smarter. [Citation Graph (0, 0)][DBLP]
    Designing Smart Homes, 2006, pp:1-15 [Conf]
  8. Juan Carlos Augusto
    Ambient intelligence: Basic concepts and applications. [Citation Graph (0, 0)][DBLP]
    ICSOFT (1), 2006, pp:- [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    JIISIC, 2001, pp:137-146 [Conf]
  10. Juan Carlos Augusto, Silvia Teresita Acuña, Ivanna Paola Maldonado, M. Y. Lezcano
    Considering Durative Activities in the Software Process. [Citation Graph (0, 0)][DBLP]
    JIISIC, 2002, pp:54-65 [Conf]
  11. Juan Carlos Augusto, Jun Liu, Liming Chen
    Using Ambient Intelligence for Disaster Management. [Citation Graph (0, 0)][DBLP]
    KES (2), 2006, pp:171-178 [Conf]
  12. Maria Laura Cobo, Juan Carlos Augusto
    EMTPL: A Programming Language for Temporal Deductive Data Bases. [Citation Graph (0, 0)][DBLP]
    SCCC, 1999, pp:170-178 [Conf]
  13. Marisa A. Sanchez, Juan Carlos Augusto
    Testing an Implementation of a Temporal Logic Language. [Citation Graph (0, 0)][DBLP]
    SCCC, 2000, pp:68-73 [Conf]
  14. Juan Carlos Augusto, Rodolfo Gómez
    A temporal logic view of paradigm models. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:497-503 [Conf]
  15. Rodolfo Gómez, Juan Carlos Augusto, Antony Galton
    Testing an Event Specification Language. [Citation Graph (0, 0)][DBLP]
    SEKE, 2001, pp:341-345 [Conf]
  16. Andres Flores, Juan Carlos Augusto, Macario Polo, Mauricio Varea
    Towards context-aware testing for semantic interoperability on PvC environments. [Citation Graph (0, 0)][DBLP]
    SMC (2), 2004, pp:1136-1141 [Conf]
  17. Antony Galton, Juan Carlos Augusto
    Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:52-54 [Conf]
  18. Juan Carlos Augusto
    Verification of Smart Homes Specifications which are based on ECA Rules. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:118-120 [Conf]
  19. Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder
    Fault-based Testing of E-Commerce Applications. [Citation Graph (0, 0)][DBLP]
    VVEIS, 2004, pp:66-74 [Conf]
  20. Juan Carlos Augusto, Y. Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel
    Model-Based Approaches for Validating Business Critical Systems. [Citation Graph (0, 0)][DBLP]
    STEP, 2003, pp:225-233 [Conf]
  21. Juan Carlos Augusto, Guillermo Ricardo Simari
    A Temporal Argumentative System. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1999, v:12, n:4, pp:237-257 [Journal]
  22. Juan Carlos Augusto
    The Logical Approach to Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Rev., 2001, v:16, n:4, pp:301-333 [Journal]
  23. Juan Carlos Augusto
    Temporal reasoning for decision support in medicine. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 2005, v:33, n:1, pp:1-24 [Journal]
  24. Juan Carlos Augusto, Rodolfo Gómez
    A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2003, v:13, n:6, pp:627-654 [Journal]
  25. Juan Carlos Augusto
    Second International Workshop on Verification and Validation of Enterprise Information Systems. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2004, v:10, n:11, pp:1495-1497 [Journal]
  26. Juan Carlos Augusto, Norman D. Black, H. Gerry McAllister, Paul J. McCullagh, Chris D. Nugent
    Pervasive Health Management: New Challenges for Health Informatics. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:1, pp:1-5 [Journal]
  27. Juan Carlos Augusto, Guillermo Ricardo Simari
    Temporal Defeasible Reasoning. [Citation Graph (0, 0)][DBLP]
    Knowl. Inf. Syst., 2001, v:3, n:3, pp:287-318 [Journal]
  28. Juan Carlos Augusto
    A General Framework for Reasoning about Change. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2003, v:21, n:3, pp:- [Journal]
  29. Joseph Barjis, Juan Carlos Augusto, Ulrich Ultes-Nitsche
    Towards more adequate EIS. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:1, pp:1-3 [Journal]
  30. Juan Carlos Augusto, Marc Roper
    Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003). [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2003, v:13, n:4, pp:205-206 [Journal]
  31. Hamid K. Aghajan, Juan Carlos Augusto, Chen Wu, Paul J. McCullagh, Julie-Ann Walkden
    Distributed Vision-Based Accident Management for Assisted Living. [Citation Graph (0, 0)][DBLP]
    ICOST, 2007, pp:196-205 [Conf]

  32. Autonomous Learning of User's Preferences Improved through User Feedback. [Citation Graph (, )][DBLP]


  33. Context-Aware Agents - The 6Ws Architecture. [Citation Graph (, )][DBLP]


  34. Past, Present and Future of Ambient Intelligence and Smart Environments. [Citation Graph (, )][DBLP]


  35. Dialogue-based Management of user Feedback in an Autonomous Preference Learning System. [Citation Graph (, )][DBLP]


  36. A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation. [Citation Graph (, )][DBLP]


  37. Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states. [Citation Graph (, )][DBLP]


  38. Ambient Intelligence: Concepts and Applications. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002