Juan A. Holgado-Terriza
According to our database1, Juan A. Holgado-Terriza authored at least 36 papers between 2004 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Empirical Model of Radio Wave Propagation in the Presence of Vegetation inside Greenhouses Using Regularized Regressions.
Multiagent System for Controlling a Digital Home Connected Based on Internet of Things.
Proceedings of the Information Technology and Systems, 2020
A Brief Survey of the Main Internet-Based Approaches. An Outlook from the Internet of Things Perspective.
Proceedings of the 3rd International Conference on Information and Computer Technologies, 2020
Toward the gestural interface: comparative analysis between touch user interfaces versus gesture-based user interfaces on mobile devices.
Univers. Access Inf. Soc., 2019
A systematic method for building Internet of Agents applications based on the Linked Open Data approach.
Future Gener. Comput. Syst., 2019
Auton. Agents Multi Agent Syst., 2019
Proceedings of the Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection, 2019
Proceedings of the XX International Conference on Human Computer Interaction, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Int. J. Distributed Sens. Networks, 2018
Integration of MultiAgent Systems with Resource-Oriented Architecture for Management of IoT-Objects.
Proceedings of the Intelligent Environments 2018, 2018
Proceedings of the 2016 IEEE/WIC/ACM International Conference on Web Intelligence, 2016
ADELE: A Middleware for Supporting the Evolution of Multi-agents Systems Based on a Metaprogramming Approach.
Proceedings of the Trends in Practical Applications of Scalable Multi-Agent Systems, 2016
Proceedings of the XVII International Conference on Human Computer Interaction, 2016
A Framework for the Development of Smart Ubiquitous Real-Time Systems Based on the Internet of Agents and Internet of Services Approaches.
Proceedings of the Intelligent Environments 2016, 2016
Proceedings of the IEEE 6th International Conference on Consumer Electronics - Berlin, 2016
Proceedings of the 11th International Conference on Future Networks and Communications (FNC 2016) / The 13th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2016) / Affiliated Workshops, 2016
Proceedings of the IEEE 5th International Conference on Consumer Electronics - Berlin, 2015
Proceedings of the Ambient Assisted Living and Daily Activities, 2014
Proceedings of the International Conference on Connected Vehicles and Expo, 2014
A Componentizable Server-Side Framework for Building Remote and Virtual Laboratories.
Int. J. Online Eng., 2012
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009
A Home-Automation Platform towards Ubiquitous Spaces Based on a Decentralized P2P Architecture.
Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2008
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models.
Sci. Comput. Program., 2007
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.
Proceedings of the Modelling, 2007
Proceedings of the IEEE International Conference on Virtual Environments, 2007
Towards UML-RT Behavioural Consistency.
Proceedings of the ICEIS 2007, 2007
CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code.
Proceedings of the Modelling, 2006
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models.
Proceedings of the Modelling, 2006
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications.
Proceedings of the ICEIS 2006, 2006
An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case.
Proceedings of the Modelling, 2005
Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models.
Proceedings of the ICEIS 2005, 2005
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004