Juan Carlos Augusto

According to our database1, Juan Carlos Augusto authored at least 219 papers between 1999 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
A survey on managing users' preferences in ambient intelligence.
Universal Access in the Information Society, 2018

The user-centred intelligent environments development process as a guide to co-create smart technology for people with special needs.
Universal Access in the Information Society, 2018

Editorial.
J. Reliable Intelligent Environments, 2018

Editorial.
J. Reliable Intelligent Environments, 2018

Editorial.
J. Reliable Intelligent Environments, 2018

Preface.
JAISE, 2018

Preface.
JAISE, 2018

Preface.
JAISE, 2018

Preface.
JAISE, 2018

Preface.
JAISE, 2018

Acknowledgment of JAISE reviewers.
JAISE, 2018

Perspectives on engineering more usable context-aware systems.
J. Ambient Intelligence and Humanized Computing, 2018

Using argumentation to manage users' preferences.
Future Generation Comp. Syst., 2018

Interaction Patterns for Smart Spaces: A Confident Interaction Design Solution for Pervasive Sensitive IoT Services.
IEEE Access, 2018

Managing Multi-User Smart Environments Through BLE Based System.
Proceedings of the Intelligent Environments 2018, 2018

Engineering Intelligent Environments: Preliminary Findings of a Systematic Review.
Proceedings of the Intelligent Environments 2018, 2018

Introduction to the Proceedings of WoRIE'18.
Proceedings of the Intelligent Environments 2018, 2018

8th International Workshop on Intelligent Environments Supporting Healthcare and Well-Being (WISHWell'18) - Introduction.
Proceedings of the Intelligent Environments 2018, 2018

Personalisation of Context-Aware Solutions Supporting Asthma Management.
Proceedings of the Computers Helping People with Special Needs, 2018

RC-ASEF: An open-source tool-supported requirements elicitation framework for context-aware systems development.
Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

2017
A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks.
Sensors, 2017

Editorial.
J. Reliable Intelligent Environments, 2017

Editorial.
J. Reliable Intelligent Environments, 2017

Preface.
JAISE, 2017

Preface.
JAISE, 2017

Preface.
JAISE, 2017

Preface.
JAISE, 2017

Preface.
JAISE, 2017

Preface.
JAISE, 2017

Acknowledgment of JAISE reviewers.
JAISE, 2017

A Survey on the Evolution of the Notion of Context-Awareness.
Applied Artificial Intelligence, 2017

Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle.
Proceedings of the 15th IEEE International Conference on Software Engineering Research, 2017

Improved Multi-user Interaction in a Smart Environment Through a Preference-Based Conflict Resolution Virtual Assistant.
Proceedings of the 2017 International Conference on Intelligent Environments, 2017

Introduction to the Proceedings of WoRIE'17.
Proceedings of the Intelligent Environments 2017, 2017

Understanding Collaboration in Global Software Engineering (GSE) Teams with the Use of Sensors: Introducing a Multi-sensor Setting for Observing Social and Human Aspects in Project Management.
Proceedings of the 2017 International Conference on Intelligent Environments, 2017

Supporting Context-Aware Engineering Based on Stream Reasoning.
Proceedings of the Modeling and Using Context, 2017

Is 'Context-Aware Reasoning = Case-Based Reasoning'?
Proceedings of the Modeling and Using Context, 2017

A Framework for Distributed Interaction in Intelligent Environments.
Proceedings of the Ambient Intelligence, 2017

2016
Engineering context-aware systems and applications: A survey.
Journal of Systems and Software, 2016

Editorial.
J. Reliable Intelligent Environments, 2016

Editorial.
J. Reliable Intelligent Environments, 2016

Editorial.
J. Reliable Intelligent Environments, 2016

Preface.
JAISE, 2016

Preface.
JAISE, 2016

Preface.
JAISE, 2016

Preface.
JAISE, 2016

Preface.
JAISE, 2016

Preface.
JAISE, 2016

An investigation into the efficacy of avatar-based systems for student advice.
ICST Trans. e-Education e-Learning, 2016

2nd Int'l Symposium on Future Intelligent Educational Environments and Learning.
Proceedings of the Intelligent Environments 2016, 2016

Introduction to the Proceedings of WoRIE'16.
Proceedings of the Intelligent Environments 2016, 2016

7th International Workshop on Intelligent Environments Supporting Healthcare and Well-Being (WISHWell'16) - Sept. 12, 2016, London, UK.
Proceedings of the Intelligent Environments 2016, 2016

Co-creation of Smart Technology with (and for) People with Special Needs.
Proceedings of the 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, 2016

2015
Spatial Health Systems - When Humans Move Around.
Proceedings of the Smart Health - Open Problems and Future Challenges, 2015

Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments.
J. Reliable Intelligent Environments, 2015

Preface.
JAISE, 2015

Preface.
JAISE, 2015

Preface: Affect aware ubiquitous computing.
JAISE, 2015

Preface.
JAISE, 2015

Preface.
JAISE, 2015

Preface.
JAISE, 2015

A group decision making model for partially ordered preference under uncertainty.
Information Fusion, 2015

Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach.
J. Heuristics, 2015

Preface to the Second Issue.
EAI Endorsed Trans. Future Intellig. Educat. Env., 2015

eFRIEND: an ethical framework for intelligent environments development.
Ethics Inf. Technol., 2015

Introduction to the Proceedings of SOFIEEe'15.
Proceedings of the Workshop Proceedings of the 11th International Conference on Intelligent Environments, 2015

Developing Navigational Services for People with Down's Syndrome.
Proceedings of the 2015 International Conference on Intelligent Environments, 2015

Introduction to the Proceedings of WoRIE'15.
Proceedings of the Workshop Proceedings of the 11th International Conference on Intelligent Environments, 2015

Assessing Real World Imagery in Virtual Environments for People with Cognitive Disabilities.
Proceedings of the 2015 International Conference on Intelligent Environments, 2015

Developing User-centric AAL Systems.
Proceedings of the ICT4AgeingWell 2015, 2015

Enhancing Student Support with a Virtual Assistant.
Proceedings of the E-Learning, E-Education, and Online Training, 2015

A stigmergic approach to indoor localization using Bluetooth Low Energy beacons.
Proceedings of the 12th IEEE International Conference on Advanced Video and Signal Based Surveillance, 2015

2014
Preface - Challenges of engineering intelligent environments.
JAISE, 2014

PrefacePlayful interactions and serious games.
JAISE, 2014

Preface - Ambient and smart component technologies for human centric computing.
JAISE, 2014

Preface.
JAISE, 2014

Preface.
JAISE, 2014

Preface.
JAISE, 2014

A linguistic multi-criteria decision making approach based on logical reasoning.
Inf. Sci., 2014

Preface to the Inaugural Issue.
EAI Endorsed Trans. Future Intellig. Educat. Env., 2014

Night optimised care technology for users needing assisted lifestyles.
Behaviour & IT, 2014

Requirements for Context-Aware Systems.
Proceedings of the Joint Proceedings of REFSQ-2014 Workshops, 2014

eFRIEND: an ethical framework for intelligent environment development.
Proceedings of the 7th International Conference on PErvasive Technologies Related to Assistive Environments, 2014

Temporal Reasoning for Intuitive Specification of Context-Awareness.
Proceedings of the 2014 International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

Introduction to the Proceedings of WoRIE'14.
Proceedings of the Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

Requirements Engineering for Intelligent Environments.
Proceedings of the 2014 International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

Introduction to the Proceedings of AITAmI'14.
Proceedings of the Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

Introduction to the Proceedings of WOFIEE'14.
Proceedings of the Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

Reflections on Ambient Intelligence Systems Handling of User Preferences and Needs.
Proceedings of the 2014 International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

User-Centric Software Development Process.
Proceedings of the 2014 International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

2013
Learning Frequent Behaviors of the Users in Intelligent Environments.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

Self-Aware Trader: A New Approach to Safer Trading.
J. UCS, 2013

PrefaceDesign and Deployment of Intelligent Environments.
JAISE, 2013

PrefaceIntelligent agents in Ambient Intelligence and Smart Environments.
JAISE, 2013

PrefaceContext-aware systems.
JAISE, 2013

Preface.
JAISE, 2013

Preface.
JAISE, 2013

Preface.
JAISE, 2013

Ordering based decision making - A survey.
Information Fusion, 2013

Using Pattern Position Distribution for Software Failure Detection.
Int. J. Comput. Intell. Syst., 2013

Software simulation and verification to increase the reliability of Intelligent Environments.
Advances in Engineering Software, 2013

A Hierarchical Human Activity Recognition Framework Based on Automated Reasoning.
Proceedings of the IEEE International Conference on Systems, 2013

Introduction to the Proceedings of AITAmI'13.
Proceedings of the Workshop Proceedings of the 9th International Conference on Intelligent Environments, 2013

Introduction to the Proceedings of WOFIEE'13.
Proceedings of the Workshop Proceedings of the 9th International Conference on Intelligent Environments, 2013

An evidential reasoning based approach for decision making with partially ordered preference under uncertainty.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2013

Memories in University of Ulster.
Proceedings of the A Tribute to Prof. Dr. Da Ruan, 2013

Personalized Smart Environments to Increase Inclusion of People with Down's Syndrome.
Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013

2012
Designing More Reliable MAS-based Ambient Intelligence Systems.
Proceedings of the Agents and Ambient Intelligence, 2012

Introduction to Section on Future Developments and Visions for the AAL Area.
Proceedings of the Handbook of Ambient Assisted Living, 2012

Smart Homes as a Vehicle for AAL.
Proceedings of the Handbook of Ambient Assisted Living, 2012

A Sensor Technology Survey for a Stress-Aware Trading Process.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2012

Discovering frequent user-environment interactions in intelligent environments.
Personal and Ubiquitous Computing, 2012

Data and Information Quality Issues in Ambient Assisted Living Systems.
J. Data and Information Quality, 2012

PrefaceHome-based health and wellness measurement and monitoring.
JAISE, 2012

PrefaceA software engineering perspective on smart applications for AmI.
JAISE, 2012

Preface.
JAISE, 2012

Preface.
JAISE, 2012

Preface.
JAISE, 2012

Preface.
JAISE, 2012

A Linguistic Truth-Value Temporal Reasoning (LTR) System and its Application to the Design of an Intelligent Environment.
Int. J. Comput. Intell. Syst., 2012

A System to Reason about uncertain and Dynamic Environments.
International Journal on Artificial Intelligence Tools, 2012

Static Verification of Wireless Sensor Networks with Formal Methods.
Proceedings of the Eighth International Conference on Signal Image Technology and Internet Based Systems, 2012

Challenges for Deployment and Adoption of Pervasive and Embedded Computing in Our Society.
Proceedings of the PECCS 2012, 2012

Multi-agent System Feedback and Support for Ambient Assisted Living.
Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012

A Hybrid Method for Hand Gesture Recognition.
Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012

Introduction to the Proceedings of WoRIE'12.
Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

A System to Learn Frequent Behavioural Patterns.
Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012

Introduction to the Proceedings of AITAmI'12.
Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

Introduction to the Proceedings of WISHWell'12.
Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

Using Simulation and Verification to Inform the Development of Intelligent Environments.
Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

Introduction to the Proceedings of WOFIEE'12.
Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

Knowledge discovery from activity monitoring to support independent living of people with early dementia.
Proceedings of 2012 IEEE-EMBS International Conference on Biomedical and Health Informatics, 2012

Sixth International Workshop on Human Aspects in Ambient Intelligence (HAI 2012).
Proceedings of the Ambient Intelligence - Third International Joint Conference, 2012

2011
Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system.
Personal and Ubiquitous Computing, 2011

Preface.
JAISE, 2011

Preface.
JAISE, 2011

Preface.
JAISE, 2011

Preface.
JAISE, 2011

Concurrent Development of Model and Implementation
CoRR, 2011

Model-Based Trace-Checking
CoRR, 2011

Visualization of data for ambient assisted living services.
IEEE Communications Magazine, 2011

Living without a safety net in an Intelligent Environment.
EAI Endorsed Trans. Ambient Systems, 2011

The Seventh International Conference on Intelligent Environments (IE 11): A Report.
AI Magazine, 2011

Using Models to Assess Impact of Defective Software.
Proceedings of the IVM, FTMDD, RTSOABIS & MSVVEIS 2011, 2011

The NOCTURNAL Ambient Assisted Living system.
Proceedings of the 5th International Conference on Pervasive Computing Technologies for Healthcare, 2011

AmI Support for the Trading Process: Self-aware Trader Model.
Proceedings of the Ambient Intelligence - Software and Applications, 2011

Design and Modelling of the Nocturnal AAL Care System.
Proceedings of the Ambient Intelligence - Software and Applications, 2011

Safety Considerations in the Development of Intelligent Environments.
Proceedings of the Ambient Intelligence - Software and Applications, 2011

Facilitating Access to Educational Content through Smarter Educational Environments.
Proceedings of the Workshop Proceedings of the 7th International Conference on Intelligent Environments, 2011

Multi-agent Interactions for Ambient Assisted Living.
Proceedings of the 7th International Conference on Intelligent Environments, 2011

A Concept Grounding Approach for Glove-Based Gesture Recognition.
Proceedings of the 7th International Conference on Intelligent Environments, 2011

Creating Adaptive Intelligent Environments by means of Multimodal Dialogue and Learning Systems.
Proceedings of the Workshop Proceedings of the 7th International Conference on Intelligent Environments, 2011

Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

NOCTURNAL Ambient Assisted Living.
Proceedings of the Ambient Intelligence, 2011

2010
Preface.
JAISE, 2010

Preface.
JAISE, 2010

Preface.
JAISE, 2010

Preface.
JAISE, 2010

Mass function derivation and combination in multivariate data spaces.
Inf. Sci., 2010

Learning patterns in ambient intelligence environments: a survey.
Artif. Intell. Rev., 2010

Sensors in trading process: A Stress - Aware Trader.
Proceedings of the 8th Workshop on Intelligent Solutions in Embedded Systems, 2010

Why Traders Need Ambient Intelligence.
Proceedings of the Ambient Intelligence and Future Trends, 2010

Accurate Temporal Relationships in Sequences of User Behaviours in Intelligent Environments.
Proceedings of the Ambient Intelligence and Future Trends, 2010

Automatic Modeling of Frequent User Behaviours in Intelligent Environments.
Proceedings of the Sixth International Conference on Intelligent Environments, 2010

Dialogue-based Management of user Feedback in an Autonomous Preference Learning System.
Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Ambient Intelligence and Smart Environments: A State of the Art.
Proceedings of the Handbook of Ambient Intelligence and Smart Environments, 2010

2009
Ambient intelligence: Technologies, applications, and opportunities.
Pervasive and Mobile Computing, 2009

Preface.
JAISE, 2009

Editorial: Inaugural issue.
JAISE, 2009

Preface.
JAISE, 2009

Preface.
JAISE, 2009

A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation.
Proceedings of the Research and Development in Intelligent Systems XXVI, 2009

Learning about preferences and common behaviours of the user in an intelligent environment.
Proceedings of the Behaviour Monitoring and Interpretation - BMI, 2009

Discovering Frequent Sets of Actions in Intelligent Environments.
Proceedings of the Intelligent Environments 2009 - Proceedings of the 5th International Conference on Intelligent Environments, 2009

Increasing Reliability in the Development of Intelligent Environments.
Proceedings of the Intelligent Environments 2009 - Proceedings of the 5th International Conference on Intelligent Environments, 2009

Context-Aware Agents - The 6Ws Architecture.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

Past, Present and Future of Ambient Intelligence and Smart Environments.
Proceedings of the Agents and Artificial Intelligence - International Conference, 2009

Past, Present and Future of Ambient Intelligence and Smart Environments.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

Using Argumentation to Understand Ambiguous Situations in Intelligent Environments.
Proceedings of the Ambient Intelligence Perspectives II, 2009

2008
Management of Uncertainty and Spatio-Temporal Aspects for Monitoring and Diagnosis in a Smart Home.
Int. J. Comput. Intell. Syst., 2008

Situation Assessment in Disaster Management.
Int. J. Comput. Intell. Syst., 2008

Ambient Intelligence - the Next Step for Artificial Intelligence.
IEEE Intelligent Systems, 2008

Editorial.
Enterprise IS, 2008

Autonomous Learning of User's Preferences Improved through User Feedback.
Proceedings of the 2nd Workshop on Behaviour Monitoring and Interpretation, 2008

2007
Inferring Adaptive Regulation Thresholds and Association Rules from Gene Expression Data through Combinatorial Optimization Learning.
IEEE/ACM Trans. Comput. Biology Bioinform., 2007

Towards more adequate EIS.
Sci. Comput. Program., 2007

Ambient Intelligence: Concepts and applications.
Comput. Sci. Inf. Syst., 2007

The First Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI '06).
AI Magazine, 2007

Distributed Vision-Based Accident Management for Assisted Living.
Proceedings of the Pervasive Computing for Quality of Life Enhancement, 2007

2006
Pervasive Health Management: New Challenges for Health Informatics.
J. UCS, 2006

Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states.
Artif. Intell. Rev., 2006

Using Ambient Intelligence for Disaster Management.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

Ambient intelligence: Basic concepts and applications.
Proceedings of the ICSOFT 2006, 2006

Smart Homes Can Be Smarter.
Proceedings of the Designing Smart Homes, The Role of Artificial Intelligence, 2006

2005
Temporal reasoning for decision support in medicine.
Artificial Intelligence in Medicine, 2005

Verification of Smart Homes Specifications which are based on ECA Rules.
Proceedings of the Modelling, 2005

2004
Second International Workshop on Verification and Validation of Enterprise Information Systems.
J. UCS, 2004

Fault-based Testing of E-Commerce Applications.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Towards context-aware testing for semantic interoperability on PvC environments.
Proceedings of the IEEE International Conference on Systems, 2004

Durative Events in Active Databases.
Proceedings of the ICEIS 2004, 2004

Model Checking and Theorem Proving-Based Verification of EIS.
Proceedings of the ICEIS 2004, 2004

The Use of Temporal Reasoning and Management of Complex Events in Smart Homes.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003).
Softw. Test., Verif. Reliab., 2003

A General Framework for Reasoning about Change.
New Generation Comput., 2003

A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification.
International Journal of Software Engineering and Knowledge Engineering, 2003

Model-Based Approaches for Validating Business Critical Systems.
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

Using SPIN and STeP to Verify Business Processes Specifications.
Proceedings of the Perspectives of Systems Informatics, 2003

The Benefits of Rapid Modelling for E-business System Development.
Proceedings of the Conceptual Modeling for Novel Application Domains, 2003

2002
Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols.
Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

A temporal logic view of paradigm models.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Considering Durative Activities in the Software Process.
Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'02), 2002

Two Approaches to Event Definition.
Proceedings of the Database and Expert Systems Applications, 13th International Conference, 2002

2001
Temporal Defeasible Reasoning.
Knowl. Inf. Syst., 2001

The Logical Approach to Temporal Reasoning.
Artif. Intell. Rev., 2001

Testing an Event Specification Language.
Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Una Formalización de la Dinámica del Proceso de Desarrollo de Software.
Proceedings of the 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), 2001

2000
Testing an Implementation of a Temporal Logic Language.
Proceedings of the 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 2000

1999
A Temporal Argumentative System.
AI Commun., 1999

EMTPL: A Programming Language for Temporal Deductive Data Bases.
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC '99), 1999


  Loading...