Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Juan Carlos Augusto
Juan C. Augusto
2010 – today
- 2013
[j49]Juan Carlos Augusto, Miguel J. Hornos: Software simulation and verification to increase the reliability of Intelligent Environments. Advances in Engineering Software 58: 18-34 (2013)- [j48]
- [j47]
- [j46]Juan Carlos Augusto, Hamid K. Aghajan: PrefaceIntelligent agents in Ambient Intelligence and Smart Environments. JAISE 5(3): 269 (2013)
- [j45]
- [c58]Asier Aztiria, Juan C. Augusto, Diane J. Cook: Introduction to the Proceedings of AITAmI'13. Intelligent Environments (Workshops) 2013: 3
- [c57]Juan C. Augusto, Vic Callaghan, Minjuan Wang: Introduction to the Proceedings of WOFIEE'13. Intelligent Environments (Workshops) 2013: 417-418
- 2012
- [j44]Zhirui Lu, Juan C. Augusto, Jun Liu, Hui Wang, Asier Aztiria: A System to Reason about uncertain and Dynamic Environments. International Journal on Artificial Intelligence Tools 21(5) (2012)
- [j43]
- [j42]
- [j41]Juan Carlos Augusto, Hamid K. Aghajan: PrefaceA software engineering perspective on smart applications for AmI. JAISE 4(3): 145 (2012)
- [j40]
- [j39]Juan Carlos Augusto, Hamid K. Aghajan: PrefaceHome-based health and wellness measurement and monitoring. JAISE 4(5): 397 (2012)
- [j38]
- [j37]James McNaull, Juan Carlos Augusto, Maurice D. Mulvenna, Paul J. McCullagh: Data and Information Quality Issues in Ambient Assisted Living Systems. J. Data and Information Quality 4(1): 4 (2012)
- [j36]Asier Aztiria, Juan Carlos Augusto, Rosa Basagoiti, Alberto Izaguirre, Diane J. Cook: Discovering frequent user-environment interactions in intelligent environments. Personal and Ubiquitous Computing 16(1): 91-103 (2012)
- [j35]Javier Martínez Fernández, Juan Carlos Augusto, Ralf Seepold, Natividad Martínez Madrid: A Sensor Technology Survey for a Stress-Aware Trading Process. IEEE Transactions on Systems, Man, and Cybernetics, Part C 42(6): 809-824 (2012)
- [c56]Juan Carlos Augusto, Tibor Bosse, Cristiano Castelfranchi, Diane J. Cook, Mark A. Neerincx, Fariba Sadri: Sixth International Workshop on Human Aspects in Ambient Intelligence (HAI 2012). AmI 2012: 449-450
- [c55]Hoda Nikamalfard, Huiru Zheng, Haiying Wang, W. Paul Jeffers, Maurice D. Mulvenna, Paul J. McCullagh, Suzanne Martin, Jonathan G. Wallace, Juan Carlos Augusto, William Carswell, Barbara Taylor, Kevin McSorley: Knowledge discovery from activity monitoring to support independent living of people with early dementia. BHI 2012: 910-913
- [c54]Juan Carlos Augusto, John O'Donoghue: Introduction to the Proceedings of WISHWell'12. Intelligent Environments (Workshops) 2012: 3
- [c53]Asier Aztiria, Juan Carlos Augusto, Diane J. Cook: Introduction to the Proceedings of AITAmI'12. Intelligent Environments (Workshops) 2012: 81
- [c52]Juan Carlos Augusto, Vic Callaghan, Minjuan Wang: Introduction to the Proceedings of WOFIEE'12. Intelligent Environments (Workshops) 2012: 255-256
- [c51]Yu Huang, Dorothy Ndedi Monekosso, Hui Wang, Juan Carlos Augusto: A Hybrid Method for Hand Gesture Recognition. Intelligent Environments 2012: 297-300
- [c50]James McNaull, Juan Carlos Augusto, Maurice D. Mulvenna, Paul J. McCullagh: Multi-agent System Feedback and Support for Ambient Assisted Living. Intelligent Environments 2012: 319-322
- [c49]Asier Aztiria, Rosa Basagoiti, Juan Carlos Augusto, Gonzalo Espejo: A System to Learn Frequent Behavioural Patterns. Intelligent Environments 2012: 363-366
- [c48]Miguel J. Hornos, Juan Carlos Augusto, Pablo A. Haya: Introduction to the Proceedings of WoRIE'12. Intelligent Environments (Workshops) 2012: 385-386
- [c47]Juan Carlos Augusto, Miguel J. Hornos: Using Simulation and Verification to Inform the Development of Intelligent Environments. Intelligent Environments (Workshops) 2012: 413-424
- [c46]Juan C. Augusto: Challenges for Deployment and Adoption of Pervasive and Embedded Computing in Our Society. PECCS 2012
- [c45]Alessandro Testa, Antonio Coronato, Marcello Cinque, Juan Carlos Augusto: Static Verification of Wireless Sensor Networks with Formal Methods. SITIS 2012: 587-594
- [p3]Juan Carlos Augusto: Smart Homes as a Vehicle for AAL. Handbook of Ambient Assisted Living 2012: 387-388
- [p2]Juan Carlos Augusto, Julie Maitland: Introduction to Section on Future Developments and Visions for the AAL Area. Handbook of Ambient Assisted Living 2012: 727-728
- [p1]Juan Carlos Augusto, Miguel J. Hornos: Designing More Reliable MAS-based Ambient Intelligence Systems. Agents and Ambient Intelligence 2012: 65-90
- [e16]Juan A. Botía, Hedda Rahel Schmidtke, Tatsuo Nakashima, Mohammed R. Al-Mulla, Juan Carlos Augusto, Asier Aztiria, Matthew Ball, Victor Callaghan, Diane J. Cook, James Dooley, John O'Donoghue, Simon Egerton, Pablo A. Haya, Miguel J. Hornos, Eduardo Morales, Juan Carlos Orozco, Otniel Portillo-Rodríguez, Alejandro Rodríguez González, Oscar Sandoval, Paolo Tripicchio, Minjuan Wang, Victor Zamudio (Eds.): Workshop Proceedings of the 8th International Conference on Intelligent Environments, Guanajuato, México, June 26-29, 2012. Ambient Intelligence and Smart Environments 13, IOS Press 2012, ISBN 978-1-61499-079-6
- [e15]Juan Carlos Augusto, Michael Huch, Achilles Kameas, Julie Maitland, Paul J. McCullagh, Jean Roberts, Andrew Sixsmith, Reiner Wichert (Eds.): Handbook of Ambient Assisted Living - Technology for Healthcare, Rehabilitation and Well-being. Ambient Intelligence and Smart Environments 11, IOS Press 2012, ISBN 978-1-60750-836-6
- 2011
- [j34]Juan Carlos Augusto, Sean Hanna, Achilles Kameas, Ahmad Lotfi: The Seventh International Conference on Intelligent Environments (IE 11): A Report. AI Magazine 32(4): 112-113 (2011)
- [j33]Juan Carlos Augusto, Paul J. McCullagh, Julie-Ann Augusto-Walkden: Living without a safety net in an Intelligent Environment. ICST Trans. Ambient Systems 11(10-12): e6 (2011)
- [j32]Maurice D. Mulvenna, William Carswell, Paul J. McCullagh, Juan Carlos Augusto, Huiru Zheng, W. Paul Jeffers, Haiying Wang, Suzanne Martin: Visualization of data for ambient assisted living services. IEEE Communications Magazine 49(1): 110-117 (2011)
- [j31]
- [j30]
- [j29]
- [j28]
- [j27]Andrés Muñoz, Juan Carlos Augusto, Ana Villa, Juan A. Botía: Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system. Personal and Ubiquitous Computing 15(4): 377-387 (2011)
- [c44]Juan Carlos Augusto, William Carswell, Huiru Zheng, Maurice D. Mulvenna, Suzanne Martin, Paul J. McCullagh, Haiying Wang, Jonathan G. Wallace, W. Paul Jeffers: NOCTURNAL Ambient Assisted Living. AmI 2011: 350-354
- [c43]Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto: Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic. ECSQARU 2011: 582-593
- [c42]James McNaull, Juan Carlos Augusto, Maurice D. Mulvenna, Paul J. McCullagh: Multi-agent Interactions for Ambient Assisted Living. Intelligent Environments 2011: 310-313
- [c41]Yu Huang, Dorothy Ndedi Monekosso, Hui Wang, Juan Carlos Augusto: A Concept Grounding Approach for Glove-Based Gesture Recognition. Intelligent Environments 2011: 358-361
- [c40]Gonzalo Espejo, Asier Aztiria, Juan Carlos Augusto, Ramón López-Cózar: Creating Adaptive Intelligent Environments by means of Multimodal Dialogue and Learning Systems. Intelligent Environments (Workshops) 2011: 362-373
- [c39]Lewis Reilly, Leam Delaney, Juan C. Augusto, John Kennedy, Malcom Hutchison: Facilitating Access to Educational Content through Smarter Educational Environments. Intelligent Environments (Workshops) 2011: 540-549
- [c38]Javier Martínez Fernández, Juan Carlos Augusto, Ralf Seepold, Natividad Martínez Madrid: AmI Support for the Trading Process: Self-aware Trader Model. ISAmI 2011: 1-8
- [c37]Juan Carlos Augusto, Huiru Zheng, Maurice D. Mulvenna, Haiying Wang, William Carswell, W. Paul Jeffers: Design and Modelling of the Nocturnal AAL Care System. ISAmI 2011: 109-116
- [c36]Juan Carlos Augusto, Paul J. McCullagh: Safety Considerations in the Development of Intelligent Environments. ISAmI 2011: 197-204
- [c35]William Carswell, Juan Carlos Augusto, Maurice D. Mulvenna, Jonathan G. Wallace, Suzanne Martin, Paul J. McCullagh, Huiru Zheng, Haiying Wang, Kevin McSorley, Barbara Taylor, W. Paul Jeffers: The NOCTURNAL Ambient Assisted Living system. PervasiveHealth 2011: 208-209
- [c34]Juan Carlos Augusto, George Wilkie, Hui Wang, Jun Liu, Chunping Li: Using Models to Assess Impact of Defective Software. IVM/FTMDD/RTSOABIS/MSVVEIS 2011: 71-77
- [e14]David V. Keyson, Mary Lou Maher, Norbert Streitz, Adrian David Cheok, Juan Carlos Augusto, Reiner Wichert, Gwenn Englebienne, Hamid K. Aghajan, Ben J. A. Kröse (Eds.): Ambient Intelligence - Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings. Lecture Notes in Computer Science 7040, Springer 2011, ISBN 978-3-642-25166-5
- [e13]Juan Carlos Augusto, Hamid K. Aghajan, Victor Callaghan, Diane J. Cook, John O'Donoghue, Simon Egerton, Michael Gardner, Brian David Johnson, Yevgeniya Kovalchuk, Ramón López-Cózar, Peter Mikulecký, Jason W. P. Ng, Ronald Poppe, Minjuan Wang, Victor Zamudio (Eds.): Workshop Proceedings of the 7th International Conference on Intelligent Environments, IE 2011, Nottingham, United Kingdom, July 25-28, 2011. Ambient Intelligence and Smart Environments 10, IOS Press 2011, ISBN 978-1-60750-794-9
- [i2]Y. Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto: Model-Based Trace-Checking. CoRR abs/1111.2825 (2011)
- [i1]Andrew M. Gravell, Y. Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner: Concurrent Development of Model and Implementation. CoRR abs/1111.2826 (2011)
- 2010
- [j26]Asier Aztiria, Alberto Izaguirre, Juan Carlos Augusto: Learning patterns in ambient intelligence environments: a survey. Artif. Intell. Rev. 34(1): 35-51 (2010)
- [j25]Hui Wang, Jun Liu, Juan Carlos Augusto: Mass function derivation and combination in multivariate data spaces. Inf. Sci. 180(6): 813-819 (2010)
- [j24]
- [j23]
- [j22]
- [j21]
- [c33]Juan Manuel Lucas-Cuesta, Javier Ferreiros, Asier Aztiria, Juan Carlos Augusto, Michael F. McTear: Dialogue-based Management of user Feedback in an Autonomous Preference Learning System. ICAART (1) 2010: 330-336
- [c32]Asier Aztiria, Alberto Izaguirre, Rosa Basagoiti, Juan Carlos Augusto, Diane J. Cook: Automatic Modeling of Frequent User Behaviours in Intelligent Environments. Intelligent Environments 2010: 7-12
- [c31]Asier Aztiria, Juan Carlos Augusto, Rosa Basagoiti, Alberto Izaguirre: Accurate Temporal Relationships in Sequences of User Behaviours in Intelligent Environments. ISAmI 2010: 19-27
- [c30]Javier Martínez Fernández, Juan Carlos Augusto, Ralf Seepold, Natividad Martínez Madrid: Why Traders Need Ambient Intelligence. ISAmI 2010: 229-236
- [e12]Ramón López-Cózar, Hamid K. Aghajan, Juan Carlos Augusto, Diane J. Cook, John O'Donoghue, Victor Callaghan, Simon Egerton, Brian David Johnson (Eds.): Workshops Proceedings of the 6th International Conference on Intelligent Environments, Kuala Lumpur, Malaysia, 18-19 July 2010. Ambient Intelligence and Smart Environments 8, IOS Press 2010, ISBN 978-1-60750-639-3
- [e11]Juan Carlos Augusto, Juan M. Corchado, Paulo Novais, Cesar Analide (Eds.): Ambient Intelligence and Future Trends - International Symposium on Ambient Intelligence (ISAmI 2010), Guimarães, Portugal, 16-18 June 2010. Advances in Soft Computing 72, Springer 2010, ISBN 978-3-642-13267-4
2000 – 2009
- 2009
- [j20]
- [j19]
- [j18]
- [j17]
- [j16]Diane J. Cook, Juan Carlos Augusto, Vikramaditya R. Jakkula: Ambient intelligence: Technologies, applications, and opportunities. Pervasive and Mobile Computing 5(4): 277-298 (2009)
- [c29]Andrés Muñoz, Juan A. Botía, Juan Carlos Augusto: Using Argumentation to Understand Ambiguous Situations in Intelligent Environments. AMIF 2009: 35-42
- [c28]Juan Carlos Augusto: Past, Present and Future of Ambient Intelligence and Smart Environments. ICAART 2009: 11-18
- [c27]Juan Carlos Augusto, John O'Donoghue: Context-Aware Agents - The 6Ws Architecture. ICAART 2009: 591-594
- [c26]Juan Carlos Augusto: Increasing Reliability in the Development of Intelligent Environments. Intelligent Environments 2009: 134-141
- [c25]Asier Aztiria, Alberto Izaguirre, Rosa Basagoiti, Juan Carlos Augusto, Diane J. Cook: Discovering Frequent Sets of Actions in Intelligent Environments. Intelligent Environments 2009: 153-160
- [c24]Asier Aztiria, Alberto Izaguirre, Rosa Basagoiti, Juan Carlos Augusto: Learning about preferences and common behaviours of the user in an intelligent environment. BMI Book 2009: 289-315
- [c23]Zhirui Lu, Jun Liu, Juan Carlos Augusto, Hui Wang: A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation. SGAI Conf. 2009: 305-310
- [e10]Michael Schneider, Alexander Kröner, Julio C. Encinas Alvarado, Andrés García Higuera, Juan Carlos Augusto, Diane J. Cook, Veikko Ikonen, Pavel Cech, Peter Mikulecký, Achilles Kameas, Victor Callaghan (Eds.): Workshops Proceedings of the 5th International Conference on Intelligent Environments, Barcelona, Spain, 19th of July, 2009. Ambient Intelligence and Smart Environments 4, IOS Press 2009, ISBN 978-1-60750-464-1
- [e9]Daniel Moldt, Juan Carlos Augusto, Ulrich Ultes-Nitsche (Eds.): Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009. INSTICC PRESS 2009, ISBN 978-989-8111-90-6
- 2008
- [j15]
- [j14]Carlos Ramos, Juan Carlos Augusto, Daniel Shapiro: Ambient Intelligence - the Next Step for Artificial Intelligence. IEEE Intelligent Systems 23(2): 15-18 (2008)
- [c22]Asier Aztiria, Juan Carlos Augusto, Alberto Izaguirre: Autonomous Learning of User's Preferences Improved through User Feedback. BMI 2008: 72-86
- [e8]Ulrich Ultes-Nitsche, Daniel Moldt, Juan Carlos Augusto (Eds.): 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, ISBN 978-989-8111-43-2
- 2007
- [j13]Juan Carlos Augusto, Daniel Shapiro: The First Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI '06). AI Magazine 28(1): 86-87 (2007)
- [j12]Juan Carlos Augusto, Paul J. McCullagh: Ambient Intelligence: Concepts and applications. Comput. Sci. Inf. Syst. 4(1): 1-27 (2007)
- [j11]Joseph Barjis, Juan Carlos Augusto, Ulrich Ultes-Nitsche: Towards more adequate EIS. Sci. Comput. Program. 65(1): 1-3 (2007)
- [c21]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
- [e7]Juan Carlos Augusto, Joseph Barjis, Ulrich Ultes-Nitsche (Eds.): 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, ISBN 978-972-8865-95-5
- 2006
- [j10]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)
- [j9]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)
- [c20]
- [c19]
- [c18]Juan Carlos Augusto, Jun Liu, Liming Chen: Using Ambient Intelligence for Disaster Management. KES (2) 2006: 171-178
- [e6]Juan Carlos Augusto, Chris D. Nugent (Eds.): Designing Smart Homes, The Role of Artificial Intelligence. Lecture Notes in Computer Science 4008, Springer 2006, ISBN 3-540-35994-X
- [e5]Joseph Barjis, Ulrich Ultes-Nitsche, Juan Carlos Augusto (Eds.): 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, ISBN 978-972-8865-49-8
- 2005
- [j8]Juan Carlos Augusto: Temporal reasoning for decision support in medicine. Artificial Intelligence in Medicine 33(1): 1-24 (2005)
- [c17]Juan Carlos Augusto: Verification of Smart Homes Specifications which are based on ECA Rules. MSVVEIS 2005: 118-120
- [e4]Ulrich Ultes-Nitsche, Juan Carlos Augusto, Joseph Barjis (Eds.): 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, ISBN 972-8865-22-8
- 2004
- [j7]Juan Carlos Augusto: Second International Workshop on Verification and Validation of Enterprise Information Systems. J. UCS 10(11): 1495-1497 (2004)
- [c16]Juan Carlos Augusto, Chris D. Nugent: The Use of Temporal Reasoning and Management of Complex Events in Smart Homes. ECAI 2004: 778-782
- [c15]
- [c14]Juan Carlos Augusto: Model Checking and Theorem Proving-Based Verification of EIS. ICEIS (1) 2004: IS-33-IS-34
- [c13]Andres Flores, Juan Carlos Augusto, Macario Polo, Mauricio Varea: Towards context-aware testing for semantic interoperability on PvC environments. SMC (2) 2004: 1136-1141
- [c12]Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder: Fault-based Testing of E-Commerce Applications. VVEIS 2004: 66-74
- [e3]Juan Carlos Augusto, Ulrich Ultes-Nitsche (Eds.): 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, ISBN 972-8865-03-1
- 2003
- [j6]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)
- [j5]Juan Carlos Augusto: A General Framework for Reasoning about Change. New Generation Comput. 21(3): 209-246 (2003)
- [j4]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)
- [c11]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
- [c10]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
- [c9]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
- [e2]Pedro T. Isaías, Florence Sedes, Juan Carlos Augusto, Ulrich Ultes-Nitsche (Eds.): 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, ISBN 972-98816-2-6
- 2002
- [c8]
- [c7]Juan Carlos Augusto, Silvia Teresita Acuña, Ivanna Paola Maldonado, M. Y. Lezcano: Considering Durative Activities in the Software Process. JIISIC 2002: 54-65
- [c6]
- [c5]Antony Galton, Juan Carlos Augusto: Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols. TIME 2002: 52-54
- [e1]André Carlos Ponce Leon Ferreira de Carvalho, José Carlos Maldonado, Juan Carlos Augusto, Manoel Gomes de Mendonça Neto, Silvia Teresita Acuña (Eds.): Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'02), Salvador, Brasil, October 2002. 2002, ISBN 85-87837-06-0
- 2001
- [j3]Juan Carlos Augusto: The Logical Approach to Temporal Reasoning. Artif. Intell. Rev. 16(4): 301-333 (2001)
- [j2]Juan Carlos Augusto, Guillermo Ricardo Simari: Temporal Defeasible Reasoning. Knowl. Inf. Syst. 3(3): 287-318 (2001)
- [c4]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
- [c3]Rodolfo Gómez, Juan Carlos Augusto, Antony Galton: Testing an Event Specification Language. SEKE 2001: 341-345
- 2000
- [c2]Marisa A. Sanchez, Juan Carlos Augusto: Testing an Implementation of a Temporal Logic Language. SCCC 2000: 68-73
1990 – 1999
- 1999
- [j1]Juan Carlos Augusto, Guillermo Ricardo Simari: A Temporal Argumentative System. AI Commun. 12(4): 237-257 (1999)
- [c1]Maria Laura Cobo, Juan Carlos Augusto: EMTPL: A Programming Language for Temporal Deductive Data Bases. SCCC 1999: 170-178
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:55 CEST by the dblp team