M. Carmen Ruiz
Orcid: 0000-0002-2392-9272
According to our database1,
M. Carmen Ruiz
authored at least 38 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
6
1
2
1
2
1
1
2
1
1
1
1
1
4
1
2
3
1
2
1
2
1
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Comput. Sci., 2024
2023
An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic.
Proceedings of the Computational Science - ICCS 2023, 2023
2021
Wirel. Networks, 2021
Comput. Networks, 2021
Proceedings of the 29th International Workshop on Concurrency, 2021
2019
Informatica, 2019
Modeling and Evaluation of a Power-Aware Algorithm for IoT Bluetooth Low Energy Devices.
Proceedings of the 2019 IEEE International Conference on Smart Internet of Things (SmartIoT), 2019
Proceedings of the Advances in Computational Intelligence, 2019
Proceedings of the Computational Science - ICCS 2019, 2019
Proceedings of the 28th International Workshop on Concurrency, 2019
2018
OperaBLE: An IoT-Based Wearable to Improve Efficiency and Smart Worker Care Services in Industry 4.0.
J. Sensors, 2018
IoT Heterogeneous Mesh Network Deployment for Human-in-the-Loop Challenges Towards a Social and Sustainable Industry 4.0.
IEEE Access, 2018
Proceedings of the 27th International Workshop on Concurrency, 2018
2017
From Sensor Networks to Internet of Things. Bluetooth Low Energy, a Standard for This Evolution.
Sensors, 2017
Proceedings of the 8th International Conference on Information, 2017
Proceedings of the Ad-hoc, Mobile, and Wireless Networks, 2017
2016
J. Supercomput., 2016
Poster Abstract: Improving the BLE Mesh Transmissions with User Collaboration in Smart Spaces Management.
Proceedings of the 15th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2016
Poster Abstract: Architecture Proposal for Heterogeneous, BLE-Based Sensor and Actuator Networks for Easy Management of Smart Homes.
Proceedings of the 15th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2016
Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks.
Proceedings of the International Conference on Computational Science 2016, 2016
2015
Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation.
Int. J. Distributed Sens. Networks, 2015
Concurr. Comput. Pract. Exp., 2015
Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
2014
J. Univers. Comput. Sci., 2014
2013
Proceedings of the Advances in Information Systems and Technologies [WorldCIST'13, 2013
Proceedings of the International Conference on Computational Science, 2013
2011
Indicators identification and assessment for industrial areas renewal supporting on industrial ecology.
Proceedings of the Innovations in Sharing Environmental Observations and Information: Proceedings of the 25th International Conference on Informatics for Environmental Protection, 2011
2010
Proceedings of the Formal Techniques for Distributed Systems, 2010
Proceedings of the Algebraic Methodology and Software Technology, 2010
2009
J. Log. Algebraic Methods Program., 2009
Proceedings of the New Challenges in Computational Collective Intelligence [selected papers from the 1st International Conference on Collective Intelligence, 2009
2008
Fundam. Informaticae, 2008
2006
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006
2005
A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol.
Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005
2004
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004