Publications

2021
[505] AI-Based Mobile Context-Aware Recommender Systems from an Information Management Perspective: Progress and Directions ( and ), In Knowledge-Based Systems, ISSN 0950-7051, Elsevier, volume 215, . [bibtex] [url] [doi]
2020
[504] An Experimental Evaluation of Content-Based Recommendation Systems: Can Linked Data and BERT Help? (, , , and ), In 17th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2020), IEEE Computer Society, ISBN pending, . [bibtex] [url] [doi]
[503]Text Mining of Medical Documents in Spanish: Semantic Annotation and Detection of Recommendations (, and ), In 16th International Conference on Web Information Systems and Technologies (WEBIST 2020), SCITEPRESS, ISBN 978-989-758-478-7, volume 1, . [bibtex] [doi]
[502]Multifactorial Evolutionary Prediction of Phenology and Pests: Can Machine Learning Help? (, , , and ), In 16th International Conference on Web Information Systems and Technologies (WEBIST 2020), SCITEPRESS, ISBN 978-989-758-478-7, volume 1, . [bibtex]
[501]Traffic Flow Modelling for Pollution Awareness: The TRAFAIR Experience in the City of Zaragoza (, and ), In 16th International Conference on Web Information Systems and Technologies (WEBIST 2020), SCITEPRESS, ISBN 978-989-758-478-7, volume 1, . [bibtex] [doi]
[500]Let My Car Alone: Parking Strategies with Social-Distance Preservation in the Age of COVID-19 ( and ), In 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020), Madeira (Portugal), Elsevier, ISSN 1877-0509, volume 177, . [bibtex] [doi]
[499]Special Issue on Smart Data and Semantics in a Sensor World (Editorial) (, and ), In Applied Sciences, ISSN 2076-3417, MDPI AG, volume 10, . [bibtex] [doi]
[498]Applying Machine Learning for Healthcare: A Case Study on Cervical Pain Assessment with Motion Capture (, , and ), In Applied Sciences, ISSN 2076-3417, MDPI AG, volume 10, . [bibtex] [doi]
[497]Semantic Traffic Sensor Data: The TRAFAIR Experience (, , , and ), In Applied Sciences, ISSN 2076-3417, MDPI AG, volume 10, . [bibtex] [doi]
[496]Use of Text Mining Techniques for Recommender Systems ( and ), In 22nd International Conference on Enterprise Information Systems (ICEIS 2020), SCITEPRESS (Science and Technology Publications, Lda.), ISBN 978-989-758-423-7, volume 1, . [bibtex] [doi]
[495]Towards Improving Agriculture Sustainability through Multifactorial Machine Learning (, , and ), In Actas de la IX Jornada de Jóvenes Investigadores del I3A, ISSN 2341-4790, Instituto Universitario de Investigación en Ingeniería de Aragón, volume 8, . [bibtex]
[494]Fully Charged: Characterizing the Data Requirements of Services and Apps to Optimize the Use of Energy (, and ), In Actas de la IX Jornada de Jóvenes Investigadores del I3A, ISSN 2341-4790, Instituto Universitario de Investigación en Ingeniería de Aragón, volume 8, . [bibtex]
[493]Social-Distance Aware Data Management for Mobile Computing (, and ), In 18th International Conference on Advances in Mobile Computing & Multimedia (MoMM 2020), ACM, ISBN 978-1-4503-8922-8, . [bibtex] [doi]
[492] Transactions on Large-Scale Data- and Knowledge-Centered Systems XLV – Special Issue on Data Management and Knowledge Extraction in Digital Ecosystems, (Abdelkader Hameurlain, A Min Tjoa, Richard Chbeir, Yannis Manolopoulos, Hiroshi Ishikawa, Sergio Ilarri, Apostolos Papadopoulos, eds.), Springer, volume 12390, . [bibtex] [url] [doi]
[491] Towards an Architecture Proposal for Federation of Distributed DES simulators ( and ), Chapter in Economics of Grids, Clouds, Systems, and Services - 16th International Conference, GECON 2019, Leeds, UK, September 17-19, 2019, Proceedings, Springer, volume 11819, . [bibtex] [url] [doi]
2019
[490]One App to Rule Them All: Collaborative Injection of Situations in an Adaptable Context-Aware Application (, , , and ), In Journal of Ambient Intelligence and Humanized Computing, Print ISSN 1868-5137, Online ISSN 1868-5145, Springer, volume 10, . [bibtex] [doi]
[489] Proyecto TRAFAIR: Generación y publicación de datos de calidad del aire en las ciudades de Zaragoza y Santiago de Compostela (, , , , , , and ), In XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), Cáceres (Spain), . [bibtex] [url]
[488]Spatial Crowdsourcing with Mobile Agents in Vehicular Networks ( and ), In Vehicular Communications, ISSN 2214-2096, Elsevier, volume 17, . [bibtex] [doi]
[487]A Dynamic Data-throttling Approach to Minimize Workflow Imbalance (, and ), In ACM Transactions on Internet Technology (TOIT), ACM, volume 19, . [bibtex]
[486]Re-CoSKQ: Towards POIs Recommendation Using Collective Spatial Keyword Queries (, and ), In ACM RecSys Workshop on Recommenders in Tourism (RecTour 2019), in conjunction with the 13th ACM Conference on Recommender Systems (RecSys 2019), Copenhagen (Denmark), CEUR Workshop Proceedings, ISSN 1613-0073, volume 2435, . [bibtex]
[485]Mining Social Networks for Local Search and Location-Based Recommender Systems (, , , and ), In Personal and Ubiquitous Computing, Print ISSN 1617-4909 Online ISSN 1617-4917, Springer, volume 23, . [bibtex] [doi]
[484]Proceedings of the 11th International Conference on Management of Digital EcoSystems, MEDES 2019, Limassol, Cyprus, November, 2019, (Richard Chbeir, Yannis Manolopoulos, Sergio Ilarri, Apostolos Papadopoulos, eds.), ACM, . [bibtex] [doi]
[483]Using Twitter to Promote the Teaching-Learning of Scientific Disciplines (, , , , , , , , and ), In 12th Annual International Conference of Education, Research and Innovation (ICERI 2019), Seville (Spain), IATED (International Academy of Technology, Education and Development), ISBN pending, ISSN pending, . [bibtex]
[482]Desarrollo de Nuevas Técnicas de Gestión de Datos para Entornos Móviles: Profundizando en las Recomendaciones Móviles ( and ), In Actas de la VIII Jornada de Jóvenes Investigadores del I3A, ISSN 2341-4790, Instituto Universitario de Investigación en Ingeniería de Aragón, volume 7, . [bibtex]
[481]Towards the Exploitation of Data 4.0 in Health Environments (, and ), In Actas de la VIII Jornada de Jóvenes Investigadores del I3A, ISSN 2341-4790, Instituto Universitario de Investigación en Ingeniería de Aragón, volume 7, . [bibtex]
[480]Projects to encourage female students in STEM areas (, , , , , , , and ), In Fifth International Conference on Higher Education Advances (HEAd 2019), Valencia (Spain), UPV Press, ISBN pending, . [bibtex] [doi]
[479]Towards an Architecture Proposal for Federation of Distributed DES simulators (, and ), In GECON, Springer, . [bibtex]
[478]Modeling, Characterising and Scheduling Applications in Kubernetes (, , , and ), In GECON, Springer, . [bibtex]
[477] Model and Simulation Engines for Distributed Simulation of Discrete Event Systems (), Chapter in Economics of Grids, Clouds, Systems, and Services - 15th International Conference, GECON 2018, Pisa, Italy, September 18-20, 2018, Proceedings (Massimo Coppola, Emanuele Carlini, Daniele D'Agostino, Jörn Altmann, José-Ángel Bañares, eds.), Springer, volume 11113, . [bibtex] [url] [doi]
2018
[476] DataGenCARS: A Generator of Synthetic Data for the Evaluation of Context-Aware Recommendation Systems (, , and ), In XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), Sevilla (Spain), . [bibtex] [url]
[475] Modular Petri net modeling of healthcare systems (, , and ), In Flexible Services and Manufacturing Journal, volume 30, . [bibtex] [url] [doi]
[474]GeoSPRINGS: Towards a Location-Aware Mobile Agent Platform (, and ), In 16th International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2018), A Coruña (Spain), Springer LNCS, ISSN 0302-9743, ISSN 1611-3349 (electronic), Print ISBN 978-3-319-90052-0, Online ISBN 978-3-319-90053-7, volume 10819, . [bibtex] [doi]
[473]Model-driven development of data intensive applications over cloud resources (, and ), In Future Generation Computer Systems, North-Holland, volume 87, . [bibtex]
[472]Proceedings of the 13th International Workshop on Semantic and Social Media Adaptation and Personalization, SMAP 2018, Zaragoza, Spain, September 2018, (Sergio Ilarri, ed.), IEEE, . [bibtex] [doi]
[471]Proactive Mobile CARS in Action: A First Step Towards Making Sense of Context Rules (, and ), In 13th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2018), Zaragoza (Spain), IEEE, Electronic ISBN 978-1-5386-8225-8, USB ISBN 978-1-5386-8224-1, Print on Demand (PoD) ISBN 978-1-5386-8226-5, . [bibtex] [doi]
[470]Towards the Implementation of a Push-Based Recommendation Architecture ( and ), In 13th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2018), Zaragoza (Spain), IEEE, Electronic ISBN 978-1-5386-8225-8, USB ISBN 978-1-5386-8224-1, Print on Demand (PoD) ISBN 978-1-5386-8226-5, . [bibtex] [doi]
[469]Characterising resource management performance in Kubernetes (, , , and ), In Computers & Electrical Engineering, Pergamon, volume 68, . [bibtex]
[468] Handling Location Uncertainty in Probabilistic Location-Dependent Queries (, , and ), In XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), Sevilla (Spain), . [bibtex] [url]
[467]Tactilian: Materiales educativos tangibles para interactuar con móviles y ordenadores y facilitar el proceso de enseñanza-aprendizaje de la habilidades comunicativas (, , and ), In II Congreso Internacional de Innovación Educativa, . [bibtex]
[466]A Project with Open Resources of the EuLES Network (, , , and ), In 11th Annual International Conference of Education, Research and Innovation (ICERI 2018), Seville (Spain), IATED (International Academy of Technology, Education and Development), ISBN 978-84-09-05948-5, ISSN 2340-1095, . [bibtex]
[465]Should I Stay or Should I Go?: Exploiting Visitor Movements to Derive Individualized Recommendations in Museums (, and ), In Proceedings of the 21st ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, . [bibtex]
[464]Mobile Resource Search (), Chapter in Encyclopedia of Database Systems (Ling Liu, M. Tamer Özsu, eds.), Springer, . [bibtex] [doi]
[463]Data Management for VANETs (), Chapter in Encyclopedia of Database Systems (Ling Liu, M. Tamer Özsu, eds.), Springer, . [bibtex] [doi]
[462]Exploiting User Movements to Derive Recommendations in Large Facilities (, and ), In International Symposium on Distributed Computing and Artificial Intelligence, . [bibtex]
[461]Datasets for Context-Aware Recommender Systems: Current Context and Possible Directions (, and ), In First Workshop on Context in Analytics (CiA 2018), in conjunction with the 34th International Conference on Data Engineering (ICDE 2018), Paris, France, IEEE Computer Society, Electronic ISBN 978-1-5386-6306-6, Print on Demand(PoD) ISBN 978-1-5386-6307-3, ISSN 2473-3490, . [bibtex] [doi]
[460]Towards the Development of a Tool to Keep Track of Interesting Information in a Sea of Digital Documents: Short Paper (Work in Progress) ( and ), In Fifth Spanish Conference on Information Retrieval (CERI 2018), Zaragoza (Spain), ACM Press, ISBN 978-1-4503-6543-7, . [bibtex] [doi]
[459]Towards a Structured Representation of Results in an Information Retrieval System for Public Examination Calls (, , and ), In Fifth Spanish Conference on Information Retrieval (CERI 2018), Zaragoza (Spain), ACM Press, ISBN 978-1-4503-6543-7, . [bibtex] [doi]
[458]Estimating global opinions by keeping users from fraud in online review systems ( and ), In Knowledge and Information Systems, Springer, volume 55, . [bibtex]
[457] A Survey of Modelling Trends in Temporal GIS (, , and ), In ACM Computing Surveys, ISSN 0360-0300, ACM, volume 51, . [bibtex] [url] [doi]
[456] Model-driven development of data intensive applications over cloud resources (), In Future Generation Computer Systems, volume 87, . [bibtex] [url] [doi]
2017
[455] Towards the Scientific Cloud Workflow Architecture (, , and ), In 5th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE 2017), Evry, Ile de France, France, January 17-18, 2017, . [bibtex] [pdf]
[454]Computational resource management for data-driven applications with deadline constraints (, , , , , , and ), In Concurrency and Computation: Practice and Experience, John Wiley & Sons, Ltd Chichester, UK, volume 29, . [bibtex]
[453]DBDAp: Una Herramienta de Apoyo a la Docencia de Bases de Datos y Almacenes de Datos (), In ReVisión, Asociación de Enseñantes Universitarios de la Informática (AENUI), ISSN 1989-1199, volume 10, . [bibtex]
[452]DataGenCARS: A Generator of Synthetic Data for the Evaluation of Context-Aware Recommendation Systems (, , and ), In Pervasive and Mobile Computing, ISSN 1574-1192, Elsevier, volume 38, . [bibtex]
[451]Probabilistic Location-Dependent Queries at Different Location Granularities (, , and ), In Pervasive and Mobile Computing, ISSN 1574-1192, Elsevier, volume 39, . [bibtex]
[450]Long-Life Application - Situation Detection in a Context-Aware All-in-one Application (, , , and ), In Personal and Ubiquitous Computing, Print ISSN 1617-4909, Online ISSN 1617-4917, Springer, volume 21, . [bibtex] [doi]
[449]Modeling Mobile Agents in Vehicular Networks ( and ), In International Workshop on Modeling and Software Engineering in Business and Industry (MoSeBin) at the International Workshop on Petri Nets and Software Engineering (PNSE 2017), co-located with the 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 (PN 2017) and the 17th International Conference on Application of Concurrency to System Design (ACSD 2017), Zaragoza (Spain), CEUR Workshop Proceedings, ISSN 1613-0073, volume 1846, . [bibtex]
[448]Client-side scheduling based on application characterization on Kubernetes (, , , , and ), In International Conference on the Economics of Grids, Clouds, Systems, and Services, . [bibtex]
[447]A distributed architecture for real-time evacuation guidance in large smart buildings (, , , , and ), In , . [bibtex]
[446]A novel network-based analysis to measure efficiency in science and technology parks: the ISA framework approach (, and ), In The Journal of Technology Transfer, Springer, volume 42, . [bibtex]
[445] Una Aproximación Basada en Agentes Móviles para la Gestión de Datos en Redes de Vehículos ("An Approach Driven by Mobile Agents for Data Management in Vehicular Networks") (, and ), In XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), La Laguna (Tenerife), . [bibtex] [url]
[444] Definiendo un Caso de Estudio para Recomendaciones Dinámicas Móviles (, , and ), In XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), La Laguna (Tenerife), . [bibtex] [url]
[443]Handling Location Uncertainty in Probabilistic Location-Dependent Queries (, , and ), In Information Sciences, ISSN 0020-0255, Elsevier, volume 388–389, . [bibtex]
[442]An Approach Driven by Mobile Agents for Data Management in Vehicular Networks (, and ), In Information Sciences, ISSN 0020-0255, Elsevier, volume 381, . [bibtex] [doi]
[441] Exploiting Linguistic Analysis on URLs for Recommending Web Pages: A Comparative Study (, , , , , and ), In Selected papers of the First International KEYSTONE Conference 2015 (IKC 2015), Springer, ISSN 0302-9743, Print ISBN 978-3-319-59267-1, Online ISBN 978-3-319-59268-8, volume 10190, . [bibtex] [url] [doi]
[440] Towards Trajectory-Based Recommendations in Museums: Evaluation of Strategies Using Mixed Synthetic and Real Data (, , and ), In Eighth International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2017), Lund (Sweden), Elsevier, ISSN 1877-0509, volume 113, . [bibtex] [url] [doi]
[439]All for One and One For All: Dynamic Injection of Situations in a Generic Context-Aware Application (, , , and ), In Eighth International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2017), Lund (Sweden), Elsevier, ISSN 1877-0509, volume 113, . [bibtex] [doi]
[438]Towards trajectory-based recommendations in museums: evaluation of strategies using mixed synthetic and real data (, , and ), In Procedia computer science, Elsevier, volume 113, . [bibtex]
[437]Big Iron, Big Data, and Big Identity (, , , and ), In New Frontiers in High Performance Computing and Big Data, IOS Press, volume 30, . [bibtex]
[436]Una Experiencia en la Impartición de Videoconferencias en el Contexto de un Máster Propio (, and ), In Buenas Prácticas en la Docencia Universitaria con Apoyo de TIC - Experiencias en 2016, Prensas de la Universidad de Zaragoza, ISBN 978-84-16933-83-9, . [bibtex]
[435]Dear Mobile Agent, Could You Please Find Me a Parking Space? ( and ), In 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017), Nicosia (Cyprus), Springer, ISSN 1865-0929, Print ISBN 978-3-319-67161-1, Online ISBN 978-3-319-67162-8, volume 767, . [bibtex] [doi]
[434] Context-Aware Recommendations Using Mobile P2P (, , and ), In 15th International Conference on Advances in Mobile Computing & Multimedia (MoMM 2017), Salzburg (Austria), ACM, ISBN 978-1-4503-5300-7, . [bibtex] [url] [doi]
2016
[433]Long Life Application: Flexible Mechanism for User Context Capture and Event Detection (, , , and ), In 11èmes Journées Francophones Mobilité et Ubiquité (Ubimob 2016), Lorient (France), . [bibtex] [doi]
[432]Resource management for bursty streams on multi-tenancy cloud environments (, , and ), In Future Generation Computer Systems, North-Holland, volume 55, . [bibtex]
[431]Feedback-control & queueing theory-based resource management for streaming applications (, , and ), In IEEE Transactions on Parallel and Distributed Systems, IEEE, volume 28, . [bibtex]
[430]Capacity management for streaming applications over cloud infrastructures with micro billing models (, , , and ), In Proceedings of the 9th International Conference on Utility and Cloud Computing, . [bibtex]
[429]Chapter 4: Emerging Semantic-Based Applications (, , , , , , and ), Chapter in (Michael Workman, ed.), Springer International Publishing, ISBN 978-3-319-16657-5, 978-3-319-16658-2, . [bibtex]
[428]MAVSIM: Testing VANET Applications Based on Mobile Agents ( and ), Chapter in 10 (Anna Maria Vegni, Dharma P Agrawal, eds.), CRC Press – Taylor & Francis Group, . [bibtex] [doi]
[427] Las Redes de Vehículos desde la Perspectiva de Gestión de Datos ("A Data Management Perspective on Vehicular Networks") (, and ), In XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016), Salamanca (Spain), Ediciones Universidad de Salamanca, ISBN 978-84-9012-627-1, . [bibtex] [pdf]
[426]RecSim: Hacia la Evaluación de Sistemas de Recomendación Utilizando un Simulador ( and ), In XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016), Salamanca (Spain), Ediciones Universidad de Salamanca, ISBN 978-84-9012-627-1, . [bibtex]
[425]Long Life Application: Approach for User Context Management and Situation Understanding (, , , and ), In Eighth IEEE International Conference on Ubiquitous Computing and Communications and 2016 International Symposium on Cyberspace and Security (IUCC-CSS 2016), Granada (Spain), IEEE, Electronic ISBN 978-1-5090-5566-1, Print on Demand (PoD) ISBN 978-1-5090-5567-8, . [bibtex] [doi]
[424] Towards Keyword-based Pull Recommendation Systems (, , and ), In 18th International Conference on Enterprise Information Systems (ICEIS), Rome (Italy), SCITEPRESS (Science and Technology Publications, Lda.), ISBN 978-989-758-187-8, volume 1, . [bibtex] [url] [doi]
[423]The AIS Project: Boosting Information Extraction from Legal Documents by using Ontologies (, , and ), SCITEPRESS, ISBN 978-989-758-172-4, volume 2, . [bibtex]
[422]Situation awareness for push-based recommendations in mobile devices (, and ), In International Conference on Business Information Systems, . [bibtex]
[421]Pull-Based Recommendations in Mobile Environments ( and ), In Computer Standards & Interfaces, ISSN 0920-5489, Elsevier, volume 44, . [bibtex]
[420]A proposal for situation-aware evacuation guidance based on semantic technologies (, , , , and ), Chapter in Multi-agent Systems and Agreement Technologies, Springer, . [bibtex]
[419]An architecture for situation-aware evacuation guidance in smart buildings (, , , , and ), In , . [bibtex]
[418]Cloud federations: requirements, properties, and architectures (, , and ), Chapter in Developing Interoperable and Federated Cloud Architecture, IGI Global, . [bibtex]
[417]Towards Spatial Crowdsourcing in Vehicular Networks Using Mobile Agents ( and ), In 20th East-European Conference on Advances in Databases and Information Systems (ADBIS 2016), Prague (Czech Republic), Springer, ISSN 1865-0929, Print ISBN 978-3-319-44065-1, Online ISBN 978-3-319-44066-8, volume 637, . [bibtex] [doi]
[416] Chapter 14 - Control Software for Cutting Glass Machine Tool Built Using COSME Platform: Case Study (, , , and ), Chapter in Distributed Control Applications: Guidelines, Design Patterns, and Application Examples with the IEC 61499 (Alois Zoitl, Thomas Strasser, eds.), CRC Press/Taylor and Francis Group, . [bibtex] [url] [doi]
[415] Evaluation of properties over phylogenetic trees using stochastic logics (), In BMC Bioinformatics, volume 17, . [bibtex] [url] [doi]
[414] Distributed Simulation of Complex and Scalable Systems: From Models to the Cloud (, and ), Chapter in Economics of Grids, Clouds, Systems, and Services - 13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016, Revised Selected Papers (José-Ángel Bañares, Konstantinos Tserpes, Jörn Altmann, eds.), Springer, volume 10382, . [bibtex] [url] [doi]
[413]Answering Continuous Description Logic Queries: Managing Static and Volatile Knowledge in Ontologies (, , and ), Chapter in Mobile Computing and Wireless Networks: Concepts, Methodologies, Tools, and Applications, IGI Global, . [bibtex]
[412] Chapter 7 - Structural deadlock prevention policies for Flexible Manufacturing Systems. A Petri net outlook (, and ), Chapter in Formal Methods in Manufacturing (Javier Campos, Carla Seatzu, Xiaolan Xie, eds.), CRC Press/Taylor and Francis Group, . [bibtex] [url] [doi]
[411]NEREA: Named Entity Recognition and Disambiguation Exploiting Local Document Repositories (, , , , and ), In 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2016), San Jose (USA), IEEE Computer Society, ISBN 978-1-5090-4459-7, ISSN 2375-0197, . [bibtex]
[410]Adaptive application scheduling under interference in Kubernetes (, , and ), In UCC, ACM, . [bibtex]
[409]Modelling performance & resource management in kubernetes (, , and ), In UCC, ACM, . [bibtex]
[408]Distributed Simulation of Complex and Scalable Systems: From Models to the Cloud (, , and ), In GECON, Springer, volume 10382, . [bibtex]
[407] Chapter 11 - Adapted Design Methodology to IEC 61499 for Distributed Control Applications of Machine Tools (, , and ), Chapter in Distributed Control Applications: Guidelines, Design Patterns, and Application Examples with the IEC 61499 (Alois Zoitl, Thomas Strasser, eds.), CRC Press/Taylor and Francis Group, . [bibtex] [url] [doi]
2015
[406]Creación de Máquinas Virtuales para las Asignaturas de Bases de Datos y Sistemas de Información (Creation of Virtual Machines for Databases and Information Systems Courses) (, , , , and ), In La Innovación Docente a Través de la Cooperación Universitaria, Vicerrectorado de Política Académica e Instituto de Ciencias de la Educación de la Universidad de Zaragoza, ISBN: 978-84-606-9584-4, . [bibtex]
[405]Una Práctica Coordinada en Sistemas de Información y Bases de Datos: Gestión de Objetos en Bases de Datos (, , and ), In El Trabajo en Equipo, una Herramienta para el Aprendizaje, Vicerrectorado de Política Académica e Instituto de Ciencias de la Educación de la Universidad de Zaragoza, ISBN: 978-84-606-6049-1, . [bibtex]
[404]Traitement Continu des Requêtes Dépendantes de la Localisation dans des Environnements Intérieurs (, , and ), In Technique et Science Informatiques (TSI), ISSN 0752-4072, Lavoisier, volume 34, . [bibtex]
[403]On autonomic platform-as-a-service: characterisation and conceptual model (, and ), Chapter in Agent and multi-agent systems: Technologies and applications, Springer, Cham, . [bibtex]
[402]The GENIE System: Classifying Documents by Combining Mixed Techniques (, , , , and ), Chapter in (Valérie Monfort, Karl-Heinz Krempels, eds.), Springer, volume 226, . [bibtex]
[401]KGNR: A Knowledge-based Geographical News Recommender (, , , and ), In 13th International Symposium on Intelligent Systems and Informatics (SISY 2015), Subotica (Serbia), IEEE Computer Society, ISBN: 978-1-4673-9388-1, . [bibtex]
[400] Push-Based Recommendations in Mobile Computing Using a Multi-Layer Contextual Approach (, , and ), In 13th International Conference on Advances in Mobile Computing and Multimedia (MoMM 2015), Brussels (Belgium), ACM, ISBN 978-1-4503-3493-8, . [bibtex] [url] [doi]
[399]MultiCAMBA: A System for Selecting Camera Views in Live Broadcasting of Sport Events Using a Dynamic 3D Model (, , , and ), In Multimedia Tools and Applications, ISSN 1380-7501 (print version), ISSN 1573-7721 (electronic version), Springer, volume 74, . [bibtex]
[398] Mobile Agents for a Mobile World (, , and ), Chapter in 25 (Vicente García Díaz, Juan Manuel Cueva Lovelle, Cristina Pelayo B García-Bustelo, eds.), IGI Global, volume 2, . [bibtex] [url] [doi]
[397]A specification language for performance and economical analysis of short term data intensive energy management services (, , and ), In International Conference on the Economics of Grids, Clouds, Systems, and Services, . [bibtex]
[396]Location-Aware Recommendation Systems: Where We Are and Where We Recommend to Go (, , and ), In Workshop on Location-Aware Recommendations (LocalRec 2015), in conjunction with the Ninth ACM Conference on Recommender Systems (RecSys 2015), Vienna (Austria), CEUR Workshop Proceedings, ISSN 1613-0073, volume 1405, . [bibtex]
[395]Knowledge Obtention Combining Information Extraction Techniques with Linked Data (, , and ), In Second Workshop on Knowledge Extraction from Tex (KET 2015), co-located with the 24th International World Wide Web Conference (WWW 2015), Florence (Italy), ACM, ISBN: 978-1-4503-3473-0, . [bibtex]
[394] A First Step Towards Keyword-Based Searching for Recommendation Systems (, , and ), In XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), Santander (Spain), . [bibtex] [url]
[393]Herramienta de Apoyo a la Docencia en el Diseño de Bases de Datos y Almacenes de Datos ( and ), In XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), Demo track, Santander (Spain), . [bibtex]
[392]A review of the role of sensors in mobile context-aware recommendation systems (, , and ), In International Journal of Distributed Sensor Networks, SAGE Publications Sage UK: London, England, volume 11, . [bibtex]
[391] Recommending Web Pages using Item-based Collaborative Filtering Approaches (, , , , and ), In Semantic Keyword-based Search on Structured Data Sources – First International KEYSTONE Conference (IKC 2015), Coimbra (Portugal), Springer, ISSN 0302-9743, ISBN 978-3-319-27931-2, volume 9398, . [bibtex] [url] [doi]
[390]A Data Management Perspective on Vehicular Networks (, and ), In IEEE Communications Surveys and Tutorials, ISSN 1553-877X, IEEE Computer Society, volume 17, . [bibtex]
[389]From roles to standards: a dynamic maintenance approach using incentives (, and ), In Information Systems Frontiers, Springer, volume 17, . [bibtex]
[388]Entry Point Matters ( and ), In Proceedings of the International Conference on Agents and Artificial Intelligence-Volume 2, . [bibtex]
[387]Introducing innovation in social networks: A cost-benefit analysis of entry point selection (, , and ), In 2015 Third World Conference on Complex Systems (WCCS), . [bibtex]
[386]Semantic Management of Moving Objects: A Vision Towards Smart Mobility (, and ), In Expert Systems With Applications, ISSN 0957-4174, Elsevier, volume 42, . [bibtex] [doi]
[385]Guest Editorial: Large-scale Data Management for Mobile Applications (, , and ), In Distributed and Parallel Databases, Print ISSN 0926-8782, Online ISSN 1573-7578, Springer, volume 34, . [bibtex] [doi]
[384]Aplicación de los sistemas automáticos de recomendación en las actividades de montaña (, , , and ), In Retos del montañismo en el Siglo XXI (CIMA 2015), Zaragoza (España), Universidad de Zaragoza, ISBN: 13 978-84-608-4530-0, . [bibtex]
[383]On the inaccuracy of numerical ratings: dealing with biased opinions in social networks (, and ), In Information Systems Frontiers, Springer, volume 17, . [bibtex]
[382]Managing Personal Health Records in an Infrastructure-weak Environment (, , , , , , , and ), In Seventh EAI International Conference on e‐Infrastructure and e‐Services for Developing Countries (AFRICOMM 2015), Cotonou, Benin, Springer, ISSN 1867-8211, Print ISBN 978-3-319-43695-1, Online ISBN 978-3-319-43696-8, volume 171, . [bibtex]
[381]Real-time Selection of Video Streams for Live TV Broadcasting Based on Query-by-Example Using a 3D Model (, and ), In Multimedia Tools and Applications (Special Issue on Content Analysis and Indexing for Distributed Multimedia Search and Retrieval in Broadcasting), volume 74, . [bibtex]
[380] On Autonomic Platform-as-a-Service: Characterisation and Conceptual Model (), Chapter in Agent and Multi-Agent Systems: Technologies and Applications, 9th KES International Conference, KES-AMSTA, 2015 Sorrento, Italy, June 17-19, 2015, Proceedings (Gordan Jezic, Robert J. Howlett, Lakhmi C. Jain, eds.), Springer, volume 38, . [bibtex] [url] [doi]
[379] A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services ( and ), Chapter in Economics of Grids, Clouds, Systems, and Services - 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers (Jörn Altmann, Gheorghe Cosmin Silaghi, Omer F. Rana, eds.), Springer, volume 9512, . [bibtex] [url] [doi]
[378]Fair scheduling of bag-of-tasks applications on large-scale platforms ( and ), In Future Generation Comp. Syst., volume 49, . [bibtex]
[377]Resource Efficiency to Partition Big Streamed Graphs ( and ), In ISPDC, IEEE Computer Society, . [bibtex]
[376] Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013 - Preface (, and ), In Fundamenta Informaticae, volume 137, . [bibtex] [url] [doi]
[375]When Opinion Request Meets Majority Search: Avoiding Fraud in On-line Review Systems ( and ), In AAMAS, . [bibtex]
[374] Function blocks for the design of control applications based on EtherCAT fieldbus (, , , and ), In IEEE International Conference on Industrial Technology, ICIT 2015, Seville, Spain, March 17-19, 2015, IEEE, . [bibtex] [url] [doi]
2014
[373]Petri nets with resources for modeling primary healthcare systems ( and ), In 2014 18th International Conference on System Theory, Control and Computing (ICSTCC), Sinaia, Romania, October 17-19, 2014, IEEE, . [bibtex] [doi]
[372]Using the incidence matrix in an evolutionary algorithm for computing minimal siphons in Petri net models (), In 2014 18th International Conference on System Theory, Control and Computing (ICSTCC), Sinaia, Romania, October 17-19, 2014, IEEE, . [bibtex] [doi]
[371]The GENIE Project - A Semantic Pipeline for Automatic Document Categorisation (, , , , and ), In Proc. of 10th International Conference on Web Information Systems and Technologies (WEBIST 2014), Barcelona (Spain), SCITEPRESS, ISBN 978-989-758-024-6, . [bibtex]
[370]Folk-IS: Opportunistic Data Services in Least Developed Countries (, , , , , and ), In Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, volume 7, . [bibtex]
[369]Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud Infrastructures (, and ), In International Conference on Grid Economics and Business Models, . [bibtex]
[368]Extending cometcloud to process dynamic data streams on heterogeneous infrastructures (, , and ), In 2014 International Conference on Cloud and Autonomic Computing, . [bibtex]
[367]Hypatia: An Expert System Proposal for Documentation Departments (, and ), In IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY 2014), Subotica (Serbia), IEEE Computer Society, ISBN: 978-1-4799-5995-2, . [bibtex]
[366]Opportunistic Data Services in Least Developed Countries: Benefits, Challenges and Feasibility Issues (, , , , , and ), In SIGMOD Record, ACM, volume 43, . [bibtex]
[365]Semantic Management of Moving Objects in Smart Cities (, and ), In ERCIM News, . [bibtex]
[364]A PostgreSQL Extension for Continuous Path and Range Queries in Indoor Mobile Environments (, , and ), In Pervasive and Mobile Computing (Special Issue on Information Management in Mobile Applications), ISSN 1574-1192, Elsevier, volume 15, . [bibtex]
[363]SHERLOCK: Semantic Management of Location-Based Services in Wireless Environments (, , and ), In Pervasive and Mobile Computing, ISSN 1574-1192, Elsevier, volume 15, . [bibtex]
[362]Towards a Context-Aware Mobile Recommendation Architecture ( and ), In 11th International Conference on Mobile Web Information Systems (MobiWIS 2014), Barcelona (Spain), Springer, ISSN 0302-9743, ISBN 978-3-319-10358-7, volume 8640, . [bibtex]
[361]Introduction to the Special Issue on Middleware for Mobile Data Management (, and ), In Journal of Systems and Software, ISSN 0164-1212, Elsevier, volume 92, . [bibtex] [doi]
[360]Simulating Mobile Agents in Vehicular Networks (, and ), In XIX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2014), Cádiz (Spain), ISBN-13: 978-84-697-1152-1, ISBN-10: 84-697-1152-0, editores: Javier Tuya, Mercedes Ruiz, Nuria Hurtado, . [bibtex]
[359]Context-Aware Recommendations in Mobile Environments ( and ), In XIX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2014), Cádiz (Spain), ISBN-13: 978-84-697-1152-1, ISBN-10: 84-697-1152-0, editores: Javier Tuya, Mercedes Ruiz, Nuria Hurtado, . [bibtex]
[358]Answering Continuous Description Logic Queries: Managing Static and Volatile Knowledge in Ontologies (, , and ), In International Journal on Semantic Web and Information Systems, IGI Global, ISSN 1552-6283, volume 10, . [bibtex]
[357]Multimedia Data Management in Mobile Computing (, , and ), In IEEE Multimedia, ISSN 1070-986X, IEEE Computer Society, volume 21, . [bibtex] [doi]
[356]SOLE-R, a semantic and linguistic approach for Book Recommendations (, and ), In 14th IEEE International Conference on Advanced Learning Technologies (ICALT 2014), Athens (Greece), IEEE Computer Society, ISBN 978-1-4799-4038-7, . [bibtex]
[355]Distributed Data Processing in Vehicular Networks using Mobile Agents ( and ), In Actas de la III Jornada de Jóvenes Investigadores del I3A, ISSN 2341-4790, Instituto Universitario de Investigación en Ingeniería de Aragón, volume 2, . [bibtex]
[354]Researching Context-Aware Recommendation Systems in Mobile Environments ( and ), In Actas de la III Jornada de Jóvenes Investigadores del I3A, ISSN 2341-4790, Instituto Universitario de Investigación en Ingeniería de Aragón, volume 2, . [bibtex]
[353]From blurry numbers to clear preferences: A mechanism to extract reputation in social networks (, and ), In Expert Systems with Applications, Elsevier, volume 41, . [bibtex]
[352]Obtaining Knowledge from the Web using Fusion and Summarization Techniques (, and ), In 17th International Conference on Information Fusion (Fusion 2014), Salamanca (Spain), IEEE Computer Society, ISBN 9781479916344, . [bibtex]
[351]TMR: A Semantic Recommender System using Topic Maps on the Items' Descriptions ( and ), In 11th European Semantic Web Conference (ESWC 2014), Anissaras, Crete (Greece), ISBN: 978-3-319-11954-0, LCNS Springer, . [bibtex]
[350]Flexible Access to Services in Smart Cities: Let SHERLOCK Advise Modern Citizens (, , and ), In ERCIM News, Special Theme on Smart Cities, . [bibtex]
[349]SQX-Lib: Developing a Semantic Query Expansion System in a Media Group (, , , , and ), In 36th European Conference on Information Retrieval (ECIR 2014), demo paper, Amsterdam (Netherlands), Springer LNCS, ISSN 0302-9743, ISBN 978-3-319-06027-9, . [bibtex]
[348]An approach for automatic query expansion based on NLP and semantics (, and ), In 25th International Conference on Database and Expert Systems Applications (DEXA 2014), Münich (Germany), Springer, . [bibtex]
[347]Collaborative Sensing for Urban Transportation (, and ), In IEEE Data Engineering Bulletin (David Maier, V M Megler, Kristin Tufte, eds.), IEEE Computer Society, volume 37, . [bibtex]
[346]Stream Processing in the Context of CTS (, , and ), In Dagstuhl Reports, ISSN 2192-5283, Social Issues in Computational Transportation Science (Dagstuhl Seminar 13512) (Glenn Geers, Monika Sester, Stephan Winter, Ouri E Wolfson, eds.), Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, volume 3, . [bibtex]
[345]HappyParking (, , and ), In Dagstuhl Reports, ISSN 2192-5283, Social Issues in Computational Transportation Science (Dagstuhl Seminar 13512) (Glenn Geers, Monika Sester, Stephan Winter, Ouri E Wolfson, eds.), Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, volume 3, . [bibtex]
[344]Towards Intelligent and Generic LBS for Drivers and Mobile Users (), In Dagstuhl Reports, ISSN 2192-5283, Social Issues in Computational Transportation Science (Dagstuhl Seminar 13512) (Glenn Geers, Monika Sester, Stephan Winter, Ouri E Wolfson, eds.), Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, volume 3, . [bibtex]
[343]Opportunistic Data Services in Least Developed Countries: Benefits, Challenges and Feasibility Issues (, , , , , and ), In 30èmes Journées Bases de Données Avancées (BDA 2014), Grenoble-Autrans (France), . [bibtex]
[342]Construction of data streams applications from functional, non-functional and resource requirements for electric vehicle aggregators. the COSMOS vision (, , , , and ), In CEUR workshop proc., . [bibtex]
[341]Cloud federation: Characterisation and conceptual model (, and ), In 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing, . [bibtex]
[340]Intelligent Transportation Systems – Maybe, But Where Are My Agents? (, and ), In 6th International Conference on Ad Hoc Networks (AdHocNets 2014), Rhodes (Greece), Springer, ISSN 1867-8211, ISBN 978-3-319-13328-7, volume 140, . [bibtex]
[339] Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach ( and ), In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis, Tunisia, June 23-24, 2014. (Daniel Moldt, Heiko Rölke, eds.), CEUR-WS.org, volume 1160, . [bibtex] [pdf]
[338] Enforcing Quality of Service on OpenNebula-based Shared Clouds (, , , , , , and ), In Proceedings of the 14th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, IEEE Press, . [bibtex] [url] [doi]
[337] Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud Infrastructures (), Chapter in Economics of Grids, Clouds, Systems, and Services - 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers. (Jörn Altmann, Kurt Vanmechelen, Omer F. Rana, eds.), Springer, volume 8914, . [bibtex] [url] [doi]
[336] Timed and Probabilistic Model Checking over Phylogenetic Trees (), Chapter in 8th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2014, 4-6 June, 2014, Salamanca, Spain (Julio Saez-Rodríguez, Miguel P. Rocha, Florentino Fdez-Riverola, Juan F. De Paz Santana, eds.), Springer, volume 294, . [bibtex] [url] [doi]
[335] Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study (), In Journal of Integrative Bioinformatics, volume 11, . [bibtex] [url] [doi]
[334] The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach ( and ), In Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014 (Antoni Grau, Herminio Martínez, eds.), IEEE, . [bibtex] [url] [doi]
[333] A model-based approach for the specification and verification of clinical guidelines (, , and ), In Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014 (Antoni Grau, Herminio Martínez, eds.), IEEE, . [bibtex] [url] [doi]
[332] Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision (, , , and ), In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis, Tunisia, June 23-24, 2014. (Daniel Moldt, Heiko Rölke, eds.), CEUR-WS.org, volume 1160, . [bibtex] [pdf]
2013
[331]SHERLOCK: A System for Location-Based Services in Wireless Environments Using Semantics (, , and ), In 22nd International World Wide Web Conference (WWW 2013), Rio de Janeiro (Brazil), ACM, ISBN 978-1-4503-2038-2, . [bibtex]
[330]Una Práctica Coordinada en Sistemas de Información y Bases de Datos: Gestión de Objetos en Bases de Datos (, , and ), In VII Jornadas de Innovación Docente e Investigación Educativa, Zaragoza (España), Universidad de Zaragoza, ISBN: 978-­84-695­-8538-2, . [bibtex]
[329]Analysing Quality of Resilience in Fish4Knowledge Video Analysis Workflows (, , , and ), In 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing, . [bibtex]
[328]Sharing with Caution: Managing Parking Spaces in Vehicular Networks (, , and ), In Mobile Information Systems, ISSN 1574-017X, IOS Press, volume 9, . [bibtex]
[327]Using Mobile Agents in Vehicular Networks for Data Processing ( and ), In 14th International Conference on Mobile Data Management (MDM 2013), Ph.D. Forum, IEEE Computer Society, volume 2, . [bibtex]
[326]Hypatia – Ŧowards a Support Expert System for Documentation Departments (, and ), In Third Mid-Atlantic Student Colloquium on Speech, Language and Learning (MASC-SLL 2013), Baltimore (USA), . [bibtex]
[325]Decision making matters: A better way to evaluate trust models (, , and ), In Knowledge-Based Systems, Elsevier, volume 52, . [bibtex]
[324]Context-Aware Modelling of Continuous Location-Dependent Queries in Indoor Environments (, , and ), In Journal of Ambient Intelligence and Smart Environments (JAISE), ISSN 1876-1364, IOS Press, volume 5, . [bibtex]
[323] Proceedings of the Third International Workshop on Information Management for Mobile Applications, IMMoA 2013, Riva del Garda, Italy, August 26, 2013, (Thierry Delot, Sandra Geisler, Sergio Ilarri, Christoph Quix, eds.), CEUR-WS.org, volume 1075, . [bibtex] [url]
[322]Vanet-X: A Videogame to Evaluate Information Management in Vehicular Networks (, and ), In Third International Workshop on Information Management in Mobile Applications (IMMoA 2013), in conjunction with the 39th International Conference on Very Large Data Bases (VLDB 2013), CEUR Workshop Proceedings, ISSN 1613-0073, volume 1075, . [bibtex]
[321]A Formalization for Semantic Location Granules (, , and ), In International Journal of Geographical Information Science, Taylor & Francis, ISSN 1365-8816, volume 27, . [bibtex]
[320]TM-Gen: A Topic Map Generator from Text Documents (, , , , and ), In 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013), Washington DC (USA), IEEE Computer Society, ISBN 978-1-4799-2971-9, ISSN 1082-3409, . [bibtex]
[319]Trust-based role coordination in task-oriented multiagent systems (, and ), In Knowledge-Based Systems, Elsevier, volume 52, . [bibtex]
[318]Dynamically maintaining standards using incentives ( and ), Chapter in Trends in Practical Applications of Agents and Multiagent Systems, Springer, . [bibtex]
[317]The VESPA Project: Đriving Advances in Data Management for Vehicular Networks ( and ), In ERCIM News, . [bibtex]
[316]Persuading agents to act in the right way: An incentive-based approach (, and ), In Engineering Applications of Artificial Intelligence, Elsevier, volume 26, . [bibtex]
[315]Extracting reputation with knock-out tournament-based pairwise elicitation in complex social networks (, and ), Chapter in Agreement Technologies, Springer, . [bibtex]
[314]Policies for role maintenance through incentives: how to keep agents on track (, and ), Chapter in Agreement Technologies, Springer, . [bibtex]
[313]Revenue creation for rate adaptive stream management in multi-tenancy environments (, , and ), In International Conference on Grid Economics and Business Models, . [bibtex]
[312]Towards autonomic cloud services engineering via intention workflow model (, , , and ), In International Conference on Grid Economics and Business Models, . [bibtex]
[311]Energy efficient cloud computing environment via autonomic meta-director framework (, , , and ), In 2013 Sixth International Conference on Developments in eSystems Engineering, . [bibtex]
[310]GEO-NASS: A Semantic Tagging Experience from Geographical Data on the Media (, , and ), In 17th East-European Conference on Advances in Databases and Information Systems (ADBIS 2013), Genoa (Italy), Springer LNCS, ISSN 0302-9743, ISBN 978-3-642-40682-9, volume 8133, . [bibtex]
[309]RessAllocation Petri net Model ( and ), In Model Checking Contest 2013 (F Kordon, et al., eds.), . [bibtex]
[308] Enforcing Liveness in S$^3$PR Nets by Specialization of Resources (), In Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013), Barcelona, Spain, 16-18 February, 2013 (Begoña Vitoriano, Fernando Valente, eds.), SciTePress, . [bibtex] [url] [doi]
[307] A New Approach to Prevent Deadlock in S$^3$PR Nets with Unreplicable Resources (), In Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013), Barcelona, Spain, 16-18 February, 2013 (Begoña Vitoriano, Fernando Valente, eds.), SciTePress, . [bibtex] [url] [doi]
[306] Speeding Up Phylogenetic Model Checking (), Chapter in 7th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2013, 22-14 May, 2013, Salamanca, Spain (Mohd Saberi Mohamad, Loris Nanni, Miguel P. Rocha, Florentino Fdez-Riverola, eds.), Springer, volume 222, . [bibtex] [url] [doi]
[305] Temporal Logics for Phylogenetic Analysis via Model Checking (, and ), In IEEE/ACM Transactions on Computational Biology and Bioinformatics, volume 10, . [bibtex] [url] [doi]
[304] Model checking software for phylogenetic trees using distribution and database methods (), In Journal of Integrative Bioinformatics, volume 10, . [bibtex] [url] [doi]
[303] Structural Methods for the Control of Discrete Event Dynamic Systems - The Case of the Resource Allocation Problem (), Chapter in Control of Discrete-Event Systems (Carla Seatzu, Manuel Silva, Jan H. van Schuppen, eds.), Springer, volume 433, . [bibtex] [url] [doi]
[302] Petri net approach for deadlock prevention in robot planning ( and ), In Proceedings of 2013 IEEE 18th International Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013 (Carla Seatzu, ed.), IEEE, . [bibtex] [url] [doi]
[301]A task routing approach to large-scale scheduling ( and ), In Future Generation Comp. Syst., volume 29, . [bibtex]
[300] Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings, (José-Manuel Colom, Jörg Desel, eds.), Springer, volume 7927, . [bibtex] [url] [doi]
[299]A Distributed In-Transit Processing Infrastructure for Forecasting Electric Vehicle Charging Demand (, , , , and ), In 2013 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, . [bibtex] [doi]
2012
[298] The Resource Allocation Problem in Software Applications: A Petri Net Perspective (), In Recent Advances in Petri Nets and Concurrency (Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes, eds.), CEUR-WS.org, volume 827, . [bibtex] [pdf]
[297] Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets ( and ), In Recent Advances in Petri Nets and Concurrency (Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes, eds.), CEUR-WS.org, volume 827, . [bibtex] [pdf]
[296]Un modèle de données pour les requêtes sensibles au contexte dans les environnements indoor (, , and ), In 8èmes Journées Francophones Mobilité et Ubiquité (Ubimob 2012), IUT de Bayonne et du Pays Basque (France), Éditions Cépaduès, ISBN 9782364930186, . [bibtex]
[295]Introduction to the Special Issue on Data Management in Vehicular Networks ( and ), In Transportation Research Part C: Emerging Technologies, ISSN 0968-090X, Elsevier, volume 23, . [bibtex] [doi]
[294]Revenue models for streaming applications over shared clouds (, , and ), In 2012 IEEE 10th International Symposium on Parallel and Distributed Processing with Applications, . [bibtex]
[293]Enforcing qos in scientific workflow systems enacted over cloud infrastructures (, , and ), In Journal of Computer and System Sciences, Academic Press, volume 78, . [bibtex]
[292]End-to-end qos on shared clouds for highly dynamic, large-scale sensing data streams (, , and ), In 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012), . [bibtex]
[291]Measuring the effectiveness of throttled data transfers on data-intensive workflows (, and ), In KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications, . [bibtex]
[290]Automating Data-Throttling Analysis for Data-Intensive Workflows (, and ), In Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012), . [bibtex]
[289]Una experiencia para la mejora del aprendizaje del modelado en Ingeniería del Software (, , , and ), In ReVisión, Asociación de Enseñantes Universitarios de la Informática (AENUI), ISSN 1989-1199, volume 5, . [bibtex]
[288]An Experience Developing a Semantic Annotation System in a Media Group (, , and ), In 17th International conference on Applications of Natural Language Processing to Information Systems (NLDB 2012), Groningen (The Netherlands), Springer LNCS, ISSN 0302-9743, ISBN 978-3-642-31177-2, volume 7337, . [bibtex]
[287]Recent Research Result: Event Sharing in Vehicular Networks Using Geographic Vectors and Maps (, , and ), In Workshop on Analysis and Visualization of MOVEment: where are we now?, COST IC0903 MOVE meeting, Thessaloniki (Greece), . [bibtex]
[286] Mobile Software Agents for Mobile Applications (, , and ), Chapter in 39 (Paulo Alencar, Donald Cowan, eds.), IGI Global, volume 2, . [bibtex] [url] [doi]
[285]A Friendly Location-Aware System to Facilitate the Work of Technical Directors When Broadcasting Sport Events (, , , , and ), In Mobile Information Systems, ISSN 1574-017X, IOS Press, volume 8, . [bibtex]
[284]NASS: A Semantic Annotation Tool for Media (, , and ), In XVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2012), Almería (Spain), Universidad de Almería, ISBN: 978-84-15487-28-9, . [bibtex]
[283]Alpha test-bed: A new approach for evaluating trust models (, , and ), In INFRASTRUCTURES AND TOOLS FOR MULTIAGENT SYSTEMS, . [bibtex]
[282]A Reputation Framework Based on Stock Markets for Selecting Accurate Information Sources (), Chapter in Highlights on Practical Applications of Agents and Multi-Agent Systems, Springer, . [bibtex]
[281]Dynamic discovery and maintenance of role-based performance standards ( and ), In Proceedings of the First International Conference on Agreement Technologies, . [bibtex]
[280]Algorithms for Continuous Location-dependent and Context-aware Queries in Indoor Environments (, , and ), In 20th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM SIGSPATIAL GIS 2012), Redondo Beach (California, Estados Unidos), ACM, ISBN 978-1-4503-1691-0, . [bibtex]
[279]SpatioTemporal Data Management and Mining with MapReduce (, and ), In Workshop on Future Research Directions in MOVEment (FRDinMOVEment 2012), COST IC0903 MOVE meeting, TU Delft (The Netherlands), . [bibtex]
[278]Semantic-Based Query Processing on Moving Objects (, , and ), In Workshop on Future Research Directions in MOVEment (FRDinMOVEment 2012), COST IC0903 MOVE meeting, TU Delft (The Netherlands), . [bibtex]
[277]E-Learning Evolution and Experiences at the University of Zaragoza (, , and ), INTECH Open Access Publisher, . [bibtex]
[276]Revenue-based resource management on shared clouds for heterogenous bursty data streams (, , and ), In International Conference on Grid Economics and Business Models, . [bibtex]
[275] Compact Representation of Biological Sequences Using Set Decision Diagrams (), Chapter in 6th International Conference on Practical Applications of Computational Biology & Bioinformatics, Salamanca, Spain (Miguel P. Rocha, Nicholas M. Luscombe, Florentino Fdez-Riverola, Juan M. Corchado Rodríguez, eds.), Springer, volume 154, . [bibtex] [url] [doi]
[274] Sliced Model Checking for Phylogenetic Analysis (, and ), Chapter in 6th International Conference on Practical Applications of Computational Biology & Bioinformatics, Salamanca, Spain (Miguel P. Rocha, Nicholas M. Luscombe, Florentino Fdez-Riverola, Juan M. Corchado Rodríguez, eds.), Springer, volume 154, . [bibtex] [url] [doi]
[273] Modular Petri net modeling of the Spanish health system ( and ), In Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012, IEEE, . [bibtex] [url] [doi]
[272] A Petri Net Perspective on the Resource Allocation Problem in Software Engineering (), In Transactions on Petri Nets and Other Models of Concurrency, Springer, volume 5, . [bibtex] [url] [doi]
[271] An algorithm to compute the minimal siphons in S$^4$PR nets ( and ), In Discrete Event Dynamic Systems - Theory and Applications, volume 22, . [bibtex] [url] [doi]
2011
[270] Preventive Maintenance Manager design pattern for component based machine tools ( and ), In 2011 9th IEEE International Conference on Industrial Informatics (INDIN’2011), . [bibtex] [url] [doi]
[269]Dynamic workflow adaptation over adaptive infrastructures (, and ), In KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications, . [bibtex]
[268]Characterizing quality of resilience in scientific workflows (, , , and ), In Proceedings of the 6th workshop on Workflows in support of large-scale science, . [bibtex]
[267]Autonomic streaming pipeline for scientific workflows (, and ), In Concurrency and Computation: Practice and Experience, John Wiley & Sons, Ltd. Chichester, UK, volume 23, . [bibtex]
[266]Data Gathering in Vehicular Networks: The VESPA Experience (Invited Paper) ( and ), In Fifth IEEE Workshop On User MObility and VEhicular Networks (LCN ON-MOVE 2011), in conjunction with the 36th IEEE Conference on Local Computer Networks (LCN 2011), Bonn (Germany), ISBN 978-1-61284-927-0, IEEE Computer Society, . [bibtex]
[265]MultiCAMBA: A System to Assist in the Broadcasting of Sport Events (, , , and ), In Eighth Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2011), Copenhagen (Denmark), Springer, ISSN 1867-8211, ISBN 978-3-642-30972-4, volume 104, . [bibtex]
[264]GeoVanet: A Routing Protocol for Query Processing in Vehicular Networks (, , and ), In Mobile Information Systems, ISSN 1574-017X, IOS Press, volume 7, . [bibtex]
[263]Event Sharing in Vehicular Networks Using Geographic Vectors and Maps (, , and ), In Mobile Information Systems, ISSN 1574-017X, IOS Press, volume 7, . [bibtex]
[262]Decentralized Pull-Based Information Gathering in Vehicular Networks using GeoVanet (, , and ), In 12th International Conference on Mobile Data Management (MDM 2011), Luleå (Norrbotten, Sweden), IEEE Computer Society, ISBN 978-0-7695-4436-6, . [bibtex]
[261]An Approach to Process Continuous Location-Dependent Queries on Moving Objects with Support for Location Granules (, and ), In Journal of Systems and Software, ISSN 0164-1212, Elsevier, volume 84, . [bibtex]
[260]Applying 3D Techniques to Compute Views Provided by Video-Cameras (, and ), In XVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2011), A Coruña (Spain), ISBN 978-84-9749-486-1, . [bibtex]
[259]Multi-scale query processing in vehicular networks (, , , and ), In Journal of Ambient Intelligence and Humanized Computing, ISSN 1868-5137, Springer, volume 2, . [bibtex]
[258]Using Semantic Techniques to Access Web Data (, , , and ), In Information Systems. Special Issue: Semantic Integration of Data, Multimedia, and Services, ISSN 0306-4379, Elsevier, volume 36, . [bibtex] [doi]
[257]A Content-Based Dissemination Protocol for VANETs: Exploiting the Encounter Probability (, and ), In IEEE Transactions on Intelligent Transportation Systems, ISSN 1524-9050, IEEE Computer Society, volume 12, . [bibtex]
[256]Semantics in Location-Based Services – Guest Editors' Introduction for Special Issue (, , and ), In IEEE Internet Computing, ISSN 1089-7801, IEEE Computer Society, volume 15, . [bibtex]
[255]NASS: News Annotation Semantic System (, , and ), In 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011), Boca Raton, Florida (USA), IEEE Computer Society, ISBN 978-0-7695-4596-7, . [bibtex]
[254]Enhancing MAS environments with organizational mechanisms (, , and ), In International Journal on Artificial Intelligence Tools, World Scientific, volume 20, . [bibtex]
[253]Artifacting and regulating the environment of a virtual organization (, , and ), In 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, . [bibtex]
[252]An adaptive sanctioning mechanism for open multi-agent systems regulated by norms (, and ), In 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, . [bibtex]
[251]Organisational structures in next-generation distributed systems: Towards a technology of agreement 1 (, , , , , , , and ), In Multiagent and Grid Systems, IOS Press, volume 7, . [bibtex]
[250]Location-Aware System Based on a Dynamic 3D Model to Help in Live Broadcasting of Sport Events (, , , and ), In 19th ACM International Conference on Multimedia (ACMMM 2011), Scottsdale, Arizona (USA), ACM, ISBN 978-1-4503-0616-4, . [bibtex]
[249] "Predictive maintenance surveyor" design pattern for machine tools control software applications (, , and ), In IEEE 16th International Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011 (Zoubir Mammeri, ed.), IEEE, . [bibtex] [url] [doi]
[248] Control software design for a cutting glass machine tool based on the COSME platform. Case study (, , and ), In 7th Annual IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011, IEEE, . [bibtex] [url] [doi]
[247] Phylogenetic Analysis Using an SMV Tool (, and ), Chapter in 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2011, April 6-8, 2011, Salamanca, Spain (Miguel P. Rocha, Juan M. Corchado Rodríguez, Florentino Fdez-Riverola, Alfonso Valencia, eds.), Springer, volume 93, . [bibtex] [url] [doi]
[246] On the deadlock analysis of multithreaded control software (), In IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011 (Zoubir Mammeri, ed.), IEEE, . [bibtex] [url] [doi]
[245]A Highly Scalable Decentralized Scheduler of Tasks with Deadlines ( and ), In GRID, IEEE Computer Society, . [bibtex]
[244] COSME: A distributed control platform for communicating machine tools in Agile Manufacturing Systems (, , and ), In IEEE 16th International Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011 (Zoubir Mammeri, ed.), IEEE, . [bibtex] [url] [doi]
[243] Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499 (, , and ), In 7th Annual IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011, IEEE, . [bibtex] [url] [doi]
2010
[242]Temporal logics for phylogenetic analysis via model checking ( and ), In 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW), . [bibtex] [doi]
[241] The Resource Allocation Problem in Software Applications: A Petri Net Perspective (), In Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10 (Michael Duvigneau, Daniel Moldt, eds.), Universität Hamburg, volume Bericht 294, . [bibtex] [url]
[240] Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets ( and ), In Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10 (Michael Duvigneau, Daniel Moldt, eds.), Universität Hamburg, volume Bericht 294, . [bibtex] [url]
[239]From Keywords to Queries: Discovering the User's Intended Meaning (, , and ), In Proc. of 11th International Conference on Web Information System Engineering (WISE 2010), Hong Kong (China), Springer LNCS, ISSN 0302-9743, ISBN 978-3-642-17615-9, volume 6488, . [bibtex]
[238]Vehicular Event Sharing with a Mobile Peer-to-Peer Architecture (, and ), In Transportation Research Part C: Emerging Technologies, ISSN 0968-090X, Elsevier, volume 18, . [bibtex]
[237]An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows (, , , and ), In Journal of Computer and System Sciences, Academic Press, volume 76, . [bibtex]
[236]Adaptive exception handling for scientific workflows (, , , , and ), In Concurrency and computation: Practice and experience, John Wiley & Sons, Ltd., volume 22, . [bibtex]
[235]Norms Evaluation through Reputation Mechanisms for BDI Agents. (, , , and ), In CCIA, . [bibtex]
[234]Distributed Mobile Computing: Development of Distributed Applications Using Mobile Agents (, and ), In Proc. of the 16th International Conference on Parallel and Distributed Computing (PDPTA'10), Las Vegas (Nevada, USA), CSREA Press, ISBN 1-60132-158-9, . [bibtex]
[233]Mobile Agents in Vehicular Networks: Taking a First Ride (, , and ), In Eight International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2010), Salamanca (Spain), Springer, ISSN 1867-5662, ISBN 978-3-642-12383-2, volume 70, . [bibtex]
[232]A Location-Aware System for Monitoring Sport Events (, , and ), In Eight International Conference on Advances in Mobile Computing & Multimedia (MoMM 2010), Paris (France), ACM, ISBN 978-1-4503-0440-5, Austrian Computer Society (OCG), ISBN 978-3-85403-273-1, . [bibtex]
[231]A taxonomy for the analysis of scientific workflow faults (, , , and ), In 2010 13th IEEE International Conference on Computational Science and Engineering, . [bibtex]
[230]Performance analysis of a Dynamic Architecture for Reconfiguration of Web Servers Clusters (, , and ), In Sixth International Conference on Networking and Services (ICNS 2010), Cancun (Mexico), IEEE Computer Society, ISBN 978-0-7695-3969-0, . [bibtex]
[229]Role evolution in open multi-agent systems as an information source for trust (, and ), In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1-Volume 1, . [bibtex]
[228]Artifacting the Organizational Mechanisms: Adding Functionality in MAS Environments (, , and ), In 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, volume 2, . [bibtex]
[227]Building reputation-based agreements: collective opinions as information sources (, and ), In International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, . [bibtex]
[226]A trust-based provider recommender for mobile devices in semantic environments (, , and ), Chapter in Distributed Computing and Artificial Intelligence, Springer, . [bibtex]
[225]Fostering flexible and dynamic management of scientific workflows with reference nets (), PhD thesis, Universidad de Zaragoza, . [bibtex]
[224]Highly Mobile Query Processing (, , , and ), In International Conference on Ambient Systems, Networks and Technologies (ANT 2010), Paris (France), Austrian Computer Society (OCG), ISBN 978-3-85403-274-8, . [bibtex]
[223]Exploiting the Semantics of Location Granules in Location-Dependent Queries (, and ), In Proc. of 14th East-European Conference on Advances in Databases and Information Systems (ADBIS'10), Novi Sad (Serbia), Springer LNCS, ISSN 0302-9743, ISBN 978-3-642-15575-8, volume 6295, . [bibtex]
[222]Location-Dependent Query Processing: Where We Are and Where We Are Heading (, and ), In ACM Computing Surveys, ISSN 0360-0300, ACM, volume 42, . [bibtex] [doi]
[221] Deadlock analysis in minimal adaptive routing algorithms using Petri Nets ( and ), In Proceedings of the 2010 IEEE International Conference on Systems, Man and Cybernetics (SMC'10), Istanbul, Turkey, 10-13 October 2010, IEEE, . [bibtex] [url] [doi]
[220]Distributed Scheduler of Workflows with Deadlines in a P2P Desktop Grid ( and ), In PDP, IEEE Computer Society, . [bibtex]
[219] An Algorithm to Compute the Minimal Siphons in S$^4$PR Nets ( and ), In IFAC Proceedings Volumes, volume 43, . [bibtex] [url] [doi]
[218] An algorithm to compute the minimal siphons in S$^4$PR nets ( and ), In 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. (Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor, eds.), International Federation of Automatic Control, . [bibtex] [url] [doi]
[217] On the computation of the minimal siphons of S$^4$PR nets from a generating family of siphons ( and ), In Proceedings of 2010 IEEE 15th International Conference on Emerging Technologies and Factory Automation, ETFA 2010, September 13-16, 2010, Bilbao, Spain, IEEE, . [bibtex] [url] [doi]
2009
[216]A hybrid reputation model based on the use of organizations (, and ), In Coordination, organizations, institutions and norms in agent systems IV, . [bibtex]
[215]Using Hitchhiker Mobile Agents for Environment Monitoring (, , and ), In Seventh International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS'09), Salamanca (Spain), Springer, ISSN 1867-5662, ISBN 978-3-642-00486-5, volume 55, . [bibtex]
[214]Cooperative Parking Space Allocation in Vehicular Ad Hoc Networks (, , and ), In Sixth Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services (MobiQuitous'09), Toronto (Canada), IEEE Computer Society, ISBN 978-963-9799-59-2, . [bibtex]
[213]Towards the Use of Multimedia Contents to Represent Events in Vehicular Ad Hoc Networks (, and ), In Ninth Workshop on Multimedia Metadata (WMM'09 / M3R'09), Toulouse (France), CEUR Workshop Proceedings, ISSN 1613-0073, volume 441, . [bibtex]
[212]Mobile Agents and Mobile Devices: Friendship or Difficult Relationship? (, , and ), In Journal of Physical Agents. Special Issue: Special Session on Practical Applications of Agents and Multiagent Systems, ISSN 1888-0258, University of Alicante, volume 3, . [bibtex] [doi]
[211]A System Based on Mobile Agents to Test Mobile Computing Applications (, and ), In Journal of Network and Computer Applications, ISSN 1084-8045, Elsevier, volume 32, . [bibtex] [doi]
[210]Agents Jumping in the Air: Dream or Reality? (, and ), In 10th International Work-Conference on Artificial Neural Networks (IWANN'09), Special Session on Practical Applications of Agents and Multi-Agent Systems, Salamanca (Spain), Springer, ISSN 0302-9743, ISBN 978-3-642-02477-1, volume 5517, . [bibtex]
[209]DARC: A Dynamic Architecture for Reconfiguration of Web Servers Clusters Using Multiagent Systems (, and ), In Fifth International Conference on Networking and Services (ICNS'09), Valencia (Spain), IEEE Computer Society, ISBN 978-0-7695-3586-9, . [bibtex]
[208]Reputation-based Agreement for Agent Organisations (, and ), In WAT, . [bibtex]
[207]Dynamic evolution of role taxonomies through multidimensional clustering in multiagent organizations (, and ), In International Conference on Principles and Practice of Multi-Agent Systems, . [bibtex]
[206]A Query Processor for Prediction-Based Monitoring of Data Streams (, , , and ), In 12th International Conference on Extending Database Technologies (EDBT'09), Saint-Petersburg (Russia), ACM, ISBN 978-1-60558-422-5, volume 360, . [bibtex]
[205]A reputation model for organisational supply chain formation (, and ), In Proc. of the 6th COIN@ AAMAS, volume 9, . [bibtex]
[204]Organising mas: A formal model based on organisational mechanisms (, , and ), In Proceedings of the 2009 ACM symposium on Applied Computing, . [bibtex]
[203]Creating and Using Reputation-Based Agreements in Organisational Environments (, and ), In International Conference on Principles and Practice of Multi-Agent Systems, . [bibtex]
[202]Probabilistic Granule-Based Inside and Nearest Neighbor Queries (, , and ), In 13th East-European Conference on Advances in Databases and Information Systems (ADBIS'09), Riga (Latvia), Springer LNCS, ISSN 0302-9743, ISBN 978-3-642-03972-0, volume 5739, . [bibtex]
[201]A Cooperative Reservation Protocol for Parking Spaces in Vehicular Ad Hoc Networks (, , and ), In Sixth International Conference on Mobile Technology, Applications and Systems (Mobility Conference 2009), Nice (France), ACM, ISBN 978-1-60558-536-9, . [bibtex]
[200]Semantic Access to Data from the Web (, , , and ), In Proceedings of Interoperability through Semantic Data and Service Integration (ISDSI 2009), in conjunction with the 17th Italian Symposium on Advanced Database Systems (SEBD'09), Cagmoli (Italy), . [bibtex]
[199]Behavioural Characterization for Network Anomaly Detection ( and ), In Trans. Computational Science, volume 4, . [bibtex]
2008
[198]Extraction de Connaissances dans les Réseaux Ad Hoc Inter-Véhicules (, , , and ), In 4èmes Journées Francophones Mobilité et Ubiquité (UbiMob'08), Saint-Malo (France), ACM, ISBN 978-1-59593-980-7, . [bibtex]
[197]On interlinking of Grids: A proposal for improving the flexibility of Grid service interactions (, , and ), In 2008 Third International Conference on Internet and Web Applications and Services, . [bibtex]
[196]Exception handling patterns for hierarchical scientific workflows (, , , and ), In Proceedings of the 6th international workshop on Middleware for grid computing, . [bibtex]
[195]Automating performance analysis from Taverna workflows (, and ), In International Symposium on Component-Based Software Engineering, . [bibtex]
[194]Estimating the Relevance of Information in Inter-Vehicle Ad Hoc Networks (, and ), In 2008 MDM International Workshop on Sensor Network Technologies for Information Explosion Era (SeNTIE'08), Beijing (China), IEEE Computer Society, ISBN 978-1-4244-4484-7, . [bibtex]
[193]Data Aggregation in VANETs: the VESPA Approach (, , , and ), In First International Workshop on Computational Transportation Science (IWCTS'08), in conjunction with the 5th Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS'08), Dublin (Ireland), ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), ISBN 978-963-9799-27-1, . [bibtex]
[192]Dissemination of Information in Inter-Vehicle Ad Hoc Networks (, and ), In 2008 IEEE Intelligent Vehicles Symposium (IV'08), Eindhoven (The Netherlands), IEEE Computer Society, ISBN 978-1-4244-2569-3, . [bibtex]
[191]Using Cooperative Mobile Agents to Monitor Distributed and Dynamic Environments (, and ), In Information Sciences, ISSN 0020-0255, Elsevier, volume 178, . [bibtex] [doi]
[190]Extending virtual organizations to improve trust mechanisms (, , and ), In Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems-Volume 3, . [bibtex]
[189]Analyzing Trust Mechanisms using a Meta-framework for Human Behaviour in Virtual Organizations ( and ), In EUMAS 2008, . [bibtex]
[188]Adaptively Brokering Continuous Queries for Exploiting Streams (, and ), In Ninth Mexican International Conference on Computer Science (ENC'08), Mexicali (Mexico), IEEE Computer Society, ISBN 978-0-7695-3439-8, . [bibtex]
[187]Testing Mobile Agent Platforms Over the Air (, and ), In 1st Workshop on Data and Services Management in Mobile Environments (DS2ME'08), in conjunction with the 24th International Conference on Data Engineering (ICDE'08), Cancun (Mexico), IEEE Computer Society, ISBN 978-1-4244-2162-6, . [bibtex]
[186]An Architecture for Prediction-Based Monitoring of Data Streams (, , , and ), Technical report, , . [bibtex]
[185]Organisational Mechanisms for Regulating MAS (, , and ), In EUMAS 2008, . [bibtex]
[184]Towards a conceptual framework for organizational mechanisms in multiagent systems (, , and ), In Workshop On Agreement Technologies in 8th Ibero-American Conference on Artificial Intelligence. Lisboa (Portugal). Lisboa (Portugal), . [bibtex]
[183]On the relevance of Organizational Structures for a Technology of Agreement (, , , , , and ), In OTM Confederated International Conferences" On the Move to Meaningful Internet Systems", . [bibtex]
[182]Information-Sharing in Inter-Vehicle Ad Hoc Networks using VESPA (, and ), In 24ièmes Journées Bases de Données Avancées (BDA'08), Guilherand-Granges (France), . [bibtex]
[181]VESPA: Let your Vehicles Speak Together! (, and ), In 24ièmes Journées Bases de Données Avancées (BDA'08), Guilherand-Granges (France), . [bibtex]
[180] NectaRSS, an intelligent RSS feed reader (, , , , and ), In J. Netw. Comput. Appl., Academic Press Ltd., volume 31, . [bibtex] [url] [doi]
[179] Visualizing the evolution of a web-based social network (, , , and ), In Journal of Network and Computer Applications, volume 31, . [bibtex] [url] [doi]
[178]Interactividad Digital. Nuevas estrategias en educación y comunicación ( and ), Chapter in Redes Sociales en Internet, Editorial EOS, . [bibtex]
[177]Agregando la participación de los alumnos en la clase conectada (, , and ), In Actas XIX Jornadas de Paralelismo, Castellón, . [bibtex]
2007
[176]Performance Analysis of Mobile Agent Tracking (, and ), In Sixth International Workshop on Software and Performance (WOSP'07), Buenos Aires (Argentina), ISBN 1-59593-297-6, ACM, . [bibtex]
[175]Development of An On-Line Assessment System to Track the Performance of Students (, , and ), In International Conference on Web Information Systems and Technologies (WEBIST'07), Barcelona (Spain), INSTICC Press, ISBN 978-972-8865-79-5, volume SeBeG/eL, . [bibtex]
[174]3D Monitoring of Distributed Multiagent Systems (, , and ), In International Conference on Web Information Systems and Technologies (WEBIST'07), Barcelona (Spain), INSTICC Press, ISBN 978-972-8865-77-1, volume IT, . [bibtex]
[173]Vega: a service-oriented grid workflow management system (, , and ), In OTM Confederated International Conferences "On the Move to Meaningful Internet Systems", . [bibtex]
[172]Processing Location-Dependent Queries with Location Granules (, and ), In On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops (PerSys'07), Vilamoura (Algarve, Portugal), Springer LNCS, ISSN 0302-9743, ISBN 978-3-540-76889-0, volume 4806, . [bibtex]
[171]Location-Dependent Queries in Mobile Contexts: Distributed Processing Using Mobile Agents (, and ), In 12th Conference on Software Engineering and Databases (JISBD 2007), Dissemination of Relevant Work, Zaragoza (Spain), Thomson, ISBN 978-84-9732-595-0, . [bibtex]
[170]Supporting Experimentation for Trust Models in Virtual Organizations: TOAST (, , and ), In 5th European workshop on multi-agents systems, . [bibtex]
[169]Modelado y ejecución de servicios WSRF en DENEB: hacia la mejora de la interoperabilidad entre servicios Grid (, , and ), In Actas de las III Jornadas Científico-Técnicas en Servicios Web y SOA, . [bibtex]
[168]Trust-based service provider selection in open environments (, , and ), In Proceedings of the 2007 ACM symposium on Applied computing, . [bibtex]
[167]Chapter 7. Agent applications in Tourism (, , , , , , , , , and ), Chapter in (Antonio Moreno, Juan Pavón, eds.), Birkhäuser, . [bibtex]
[166]Chapter 2. Ubiquitous computing for mobile environments (, , , , , , , , , and ), Chapter in (Antonio Moreno, Juan Pavón, eds.), Birkhäuser, . [bibtex]
[165] Analyzing a Web-Based Social Network Using Kohonen's SOM (, , and ), Chapter in Computational and Ambient Intelligence (Francisco Sandoval, Alberto Prieto, Joan Cabestany, Manuel Graña, eds.), Springer Berlin Heidelberg, volume 4507, . [bibtex] [url] [doi]
[164]Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’07). Siedlce(Poland): University of Podlasie, Institute of Computer Science, 2007, (Daniel Moldt, Fabrice Kordon, Kees van Hee, José-Manuel Colom, Rémi Bastide, eds.), . [bibtex]
[163] Browser-based distributed evolutionary computation: performance and scaling behavior (, , , and ), In Proceedings of the 2007 GECCO conference companion on Genetic and evolutionary computation, ACM, . [bibtex] [url] [doi]
[162]Evaluación de la calidad de la educación superior y de la investigación (IV FORO) (, and ), Chapter in (Bermúdez, María Paz, Castro, Angel, eds.), . [bibtex]
[161]Comparison and Performance Evaluation of Mobile Agent Platforms (, and ), In The Third International Conference on Autonomic and Autonomous Systems (ICAS'07), Athens (Greece), IEEE Computer Society, ISBN 978-0-7695-2859-5, . [bibtex]
[160]Mercator: Self-organizing Geographic Connectivity Maps for Scalable Ad-Hoc Routing ( and ), In IWSOS, Springer, volume 4725, . [bibtex]
[159]Hierarchical Geographic Routing for Wireless Ad-Hoc Networks ( and ), In WSAN, Springer, volume 248, . [bibtex]
2006
[158]El papel de Dublin Core en el desarrollo de las Infraestructuras de Datos Espaciales (, , , and ), In Avances en las infraestructuras de datos espaciales, Publicacions de la Universitat Jaume I, volume 26, . [bibtex]
[157]Semantic interoperability based on Dublin Core hierarchical one-to-one mappings (, , , and ), In INTERNATIONAL JOURNAL OF METADATA SEMANTICS AND ONTOLOGIES, Inderscience, volume 1, . [bibtex]
[156]On the problem of identifying the quality of geographic metadata (, , , , and ), In International Conference on Theory and Practice of Digital Libraries, . [bibtex]
[155]Location-Dependent Queries in Mobile Contexts: Distributed Processing Using Mobile Agents (, and ), In IEEE Transactions on Mobile Computing (TMC), ISSN 1536-1233, IEEE Computer Society, volume 5, . [bibtex]
[154]SPRINGS: A Scalable Platform for Highly Mobile Agents in Distributed Computing Environments (, and ), In 4th International WoWMoM 2006 Workshop on Mobile Distributed Computing (MDC'06), Buffalo, New York (USA), IEEE Computer Society, ISBN 0-7695-2593-8, . [bibtex]
[153]Works Related to LOQOMOTION (, and ), Technical report, , . [bibtex]
[152]Desarrollo de una Herramienta para la Definición y Corrección de Ejercicios vía Web ( and ), In Innovación docente, tecnologías de la información y la comunicación e investigación educativa en la Universidad de Zaragoza: Caminando hacia Europa, Zaragoza (Spain), ISBN: 978-84-96214-85-9, . [bibtex]
[151]Processing of Data Streams with Prediction Functions (, , , and ), In 39th Hawaii International Conference on System Sciences (HICSS-39), Poipu, Kauai, IEEE Computer Society, ISBN 0-7695-2507-5, ISSN 1530-1605, . [bibtex]
[150]Integrating trust in virtual organisations (, and ), In International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, . [bibtex]
[149]Effective use of organisational abstractions for confidence models (, , and ), In International Workshop on Engineering Societies in the Agents World, . [bibtex]
[148]Processing Location-Dependent Queries with Location Granules (, and ), Technical report RR-07-06, University of Zaragoza, . [bibtex]
[147]La blogosfera hispana. Pioneros de la cultura digital ( Chapter: El tamaño de la blogosfera: medidas y herramientas) (, and ), Chapter in , France Telecom, . [bibtex]
[146]Weblog recommendation using association rules (, , , , and ), In Proceedings of IADIS International Conference Web Based Communities 2006 (Piet Kommers, Pedro Isaías, Ambrosio Goikoetxea, eds.), . [bibtex]
[145] Lender processes competing for shared resources: Beyond the S$^4$PR paradigm (), In Proceedings of the 2006 IEEE International Conference on Systems, Man and Cybernetics (SMC'06), Taipei, Taiwan, October 8-11, 2006, IEEE, . [bibtex] [url] [doi]
[144] Resource Allocation Systems: Some Complexity Results on the S$^4$PR Class (), Chapter in Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. (Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge, eds.), Springer, volume 4229, . [bibtex] [url] [doi]
[143]LOQOMOTION: Processing of Continuous Location-Dependent Queries in Mobile Environments (), PhD thesis, University of Zaragoza, . [bibtex]
[142]Scalable Architecture for Allocation of Idle CPUs in a P2P Network ( and ), In HPCC, Springer, volume 4208, . [bibtex]
[141]YA: Fast and Scalable Discovery of Idle CPUs in a P2P network ( and ), In GRID, IEEE Computer Society, . [bibtex]
[140] Synthesis of asynchronous controllers using integer linear programming (, and ), In IEEE Transactions on CAD of Integrated Circuits and Systems, volume 25, . [bibtex] [url] [doi]
2005
[139]Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems ( and ), In Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005), Thomson Paraninfo S.A., Madrid, España, . [bibtex]
[138]CatServer: a server of GATOS (, , , and ), In Proceedings of AGILE Conference, . [bibtex]
[137]Development of a Scalable Platform for Highly Mobile Agents (, and ), Technical report, , . [bibtex]
[136]A hierarchical one-to-one mapping solution for semantic interoperability (, , , , and ), In International Conference on Dublin Core and Metadata Applications, . [bibtex]
[135]Gestión y Detección de Inconsistencias en Colecciones de Referencias Bibliográficas (, , and ), In V Jornadas de Bibliotecas Digitales (JBiDi'05), Granada (Spain), Thomson, ISBN 84-9732-453-6, . [bibtex]
[134] A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems ( and ), In Proceedings of the 2005 IEEE International Conference on Robotics and Automation, ICRA 2005, April 18-22, 2005, Barcelona, Spain, IEEE, . [bibtex] [url] [doi]
[133]Métrica de la blogosfera. Algunas medidas y relaciones en la blogosfera hispana ( and ), In Telos, . [bibtex]
[132]Proceedings of the Workshop on Control of Hybrid and Discrete Event Systems. Miami, Florida(United States of America): Florida International University, School of Computer Science, (José-Manuel Colom, Ramavarapu Sreenivas, Toshimitsu Ushio, eds.), . [bibtex]
[131] Libro Blanco del Título de Grado en Ingeniería Informática, (Josep Casanovas, José-Manuel Colom, Iñaki Morlán, Ana Pont, María-Ribera Sancho, eds.), ANECA, . [bibtex] [pdf]
2004
[130] El Libro Blanco de la Ingeniería en Informática: El proyecto EICE (, , and ), In Actas de las X Jornadas de Enseñanza Universitaria de la Informática (JENUI’04), 14-16 de Julio, 2004, Alicante, España, Thomson Paraninfo S.A., Madrid, España, . [bibtex] [pdf]
[129]Clustering web-based communities using self-organizing maps (, , , , and ), In Proceedings of Web Based Communities 2004, . [bibtex]
[128]Evaluation of an Architecture for the Distributed Processing of Continuous Location-Dependent Queries (, and ), In First International Workshop Pervasive Information Management (PIM'04), at the Ninth International Conference on Extending Database Technology (EDBT'04), Heraklion, Crete (Greece), . [bibtex]
[127]Weblogging in computer science classes ( and ), In Innovation, Technology and Research in Education, International Conference on Education, IADAT-e2004 (Juan Ignacio Larrauri, ed.), . [bibtex]
[126]The Spanish-speaking Blogosphere: towards the powerlaw? ( and ), In Proceedings of Web Based Communities 2004, . [bibtex]
[125]A Mobile Agents Based Architecture for the Distributed Processing of Continuous Location Queries in a Wireless Environment: Performance Evaluation (, and ), In Current Trends in Database techonology - EDBT 2004 Workshops, PhD, Datax, PIM, P2P&DB, and ClustWeb, Heraklion, Crete (Greece), Springer, ISSN 0302-9743, ISBN 3-540-23305-9, . [bibtex]
[124]Blogosphere community formation, structure and visualization (, and ), In BlogTalks 2.0 (Thomas N Burg, ed.), . [bibtex]
[123]Revisiting the Spanish Blogosphere (, , and ), In BlogTalks 2.0 (Thomas N Burg, ed.), . [bibtex]
[122]Testing Agent-based Mobile Computing Applications Using Distributed Simulations (, and ), In Seventh International DEXA Workshop on Mobility in Databases and Distributed Systems (MDDS'04), Zaragoza (Spain), IEEE Computer Society, ISBN 0-7695-2195-9, ISSN 1529-4188, . [bibtex]
2003
[121]Do we live in an Small World? Measuring the Spanish-Speaking Blogosphere (, and ), In BlogTalks (Thomas N Burg, ed.), . [bibtex]
[120]Análisis, prevención y evitación de bloqueos en sistemas secuenciales de asignación de recursos (), PhD thesis, Universidad de Zaragoza, . [bibtex]
[119]Dealing with Continuous Location-Dependent Queries: Just-in-Time Data Refreshment (, and ), In IEEE Annual Conference on Pervasive Computing and Communications (PerCom'03), Dallas Fort-Worth (Texas), IEEE Computer Society, ISBN 0-7695-1893-1, . [bibtex]
[118]Measuring the Spanish Blogosphere (, and ), In Proceedings of Towards New Media Paradigms (COST A20 Conference), . [bibtex]
[117]Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques ( and ), Chapter in Petri Net Approaches for Modelling and Validation (Wil van der Aalst, José-Manuel Colom, Fabrice Kordon, Gabriela Kotsis, Daniel Moldt, eds.), Lincom Pub. Co., volume 1, . [bibtex]
[116] Chapter 5 - Properties (, and ), Chapter in Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications (Claude Girault, Rüdiger Valk, eds.), Springer-Verlag Berlin Heidelberg, . [bibtex] [url] [doi]
[115] Chapter 15 - Structural Methods (, , and ), Chapter in Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications (Claude Girault, Rüdiger Valk, eds.), Springer-Verlag Berlin Heidelberg, . [bibtex] [url] [doi]
[114] The Resource Allocation Problem in Flexible Manufacturing Systems (), Chapter in Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings (Wil M. P. van der Aalst, Eike Best, eds.), Springer, volume 2679, . [bibtex] [url] [doi]
[113]Self-synchronization of Cooperative Agents in a Distributed Environment (, and ), In Third International/Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'03), Prague (Czech Republic), Springer, ISBN 3-540-40450-3, ISSN 0302-9743, volume 2691, . [bibtex]
[112]Petri Net Approaches for Modelling and Validation, (Wil van der Aalst, José-Manuel Colom, Fabrice Kordon, Gabriela Kotsis, Daniel Moldt, eds.), Lincom Pub. Co., volume 1, . [bibtex]
2002
[111]Distributed Simulation of Wireless Environments Using Mobile Agents (, and ), In International Conference on Wireless Networks (ICWN'02), Las Vegas (USA), CSREA Press, ISBN 1-892512-30-0, . [bibtex]
[110]Monitoring Continuous Location Queries using Mobile Agents (, and ), In Sixth East-European Conference on Advances in Databases and Information Systems (ADBIS'02), Bratislava (Slovakia), Springer LNCS, ISSN 0302-9743, ISBN 3-540-44138-7, volume 2435, . [bibtex]
[109]Sixth International Workshop on Discrete Event Systems (WODES02), Proceedings, (Manuel Silva, Alessandro Giua, José-Manuel Colom, eds.), IEEE Computer Society, . [bibtex] [doi]
[108] Checking Redundancies in Supervisory Control. A Complexity Result (), In IFAC Proceedings Volumes, volume 35, . [bibtex] [url] [doi]
[107]Banker's-like approaches to deadlock avoidance in concurrent systems (, , and ), In IEEE Transactions on Robotics and Automation, volume 18, . [bibtex]
[106] A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states (, and ), In IEEE Transactions on Robotics and Automation, volume 18, . [bibtex] [url] [doi]
2001
[105]A System based on Mobile Agents for Tracking Objects in a Location-dependent Query Processing Environment (, and ), In Twelfth International Workshop on Database and Expert Systems Applications (DEXA'01), Fourth International Workshop Mobility in Databases and Distributed Systems (MDDS'01), Munich (Germany), IEEE Computer Society, ISBN 0-7695-1230-5, ISSN 1529-4188, . [bibtex]
[104]Verificación de propiedades en Redes de Petri (), Chapter in Sistemas Distribuidos: Modelos y Aplicaciones. XI Escuela de Verano de Informática. Albacete, 11 a 13 de julio de 2001 (Valentín Valero, ed.), Departamento de Informática Escuela Politécnica Superior de Albacete. Universidad de Castilla-La Mancha, . [bibtex]
[103] Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, (José-Manuel Colom, Maciej Koutny, eds.), Springer, volume 2075, . [bibtex] [url] [doi]
2000
[102]New Methods for Deadlock Prevention and Avoidance in Concurrent Systems ( and ), In Actas de las VIII Jornadas de Concurrencia, Ediciones de la Universidad de Castilla-La Mancha, . [bibtex]
[101]An Iterative Method for Deadlock Prevention in FMS (, , and ), In Disscrete Event Systems: Analysis and Control. Proc. of the Workshop On Discrete Event Systems 2000 (R Boel, G Stremersch, eds.), Kluwer Academic Publishers, . [bibtex]
[100]New Methods for Deadlock Prevention and Avoidance in Concurrent Systems (, , and ), In Actas de las VIII Jornadas de Concurrencia (Diego Cazorla, ed.), . [bibtex]
[99] Some Improvements to the Banker's Algorithm Based on the Process Structure ( and ), In Proceedings of the 2000 IEEE International Conference on Robotics and Automation, ICRA 2000, April 24-28, 2000, San Francisco, CA, USA, IEEE, . [bibtex] [url] [doi]
[98] An Iterative Method for Deadlock Prevention in FMS (, and ), Chapter in Discrete Event Systems: Analysis and Control (Boel, R., Stremersch, G., eds.), Springer US, . [bibtex] [url] [doi]
[97]Structuraly Safe Net Systems (, , and ), In Discrete Event Systems: Analysis and Control. Proc. of the Workshop On Discrete Event Systems 2000 (R Boel, G Stremersch, eds.), Kluwer Academic Publishers, . [bibtex]
[96] Structurally Safe Net Systems (, and ), Chapter in Discrete Event Systems: Analysis and Control (R. Boel., G. Stremersch, eds.), Springer US, . [bibtex] [url] [doi]
[95] Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources (), In IEEE Transactions on Automatic Control, volume 45, . [bibtex] [url] [doi]
1999
[94]A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources ( and ), In Proc. of the 7th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA), . [bibtex]
[93]A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming ( and ), In Proceedings of the 11th European Simulation Symposium (ESS’99). Simulation in Industry, Erlangen-Nuremberg, Germany, October 26-28, 1999, Institution of Electrical Engineers, London, . [bibtex]
[92] Implicit places in net systems (), In Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, IEEE Computer Society, . [bibtex] [url] [doi]
1998
[91]A Structural Approach to the Problem of Deadlock Prevention in Processes with Resources (, , and ), In Proc. of the Int. Workshop on Discrete Event Systems(WODES'98), IEE, . [bibtex]
[90]A Structural Approach to the Problem of Deadlock Prevention in Processes with Resources ( and ), In Proceedings of the International Workshop on Discrete Event Systems, WODES’98, Cagliari, Sardinia, Italy, August 26-28, 1998., Institution of Electrical Engineers, London, . [bibtex]
[89] Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems ( and ), Chapter in Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 (Wolfgang Reisig, Grzegorz Rozenberg, eds.), Springer, volume 1491, . [bibtex] [url] [doi]
[88]Optimal control of discrete event systems (, , and ), In Proc. of the Int. Workshop on Discrete Event Systems(WODES'98), IEE, . [bibtex]
[87]Optimal Control of Discrete Event Systems (, and ), In Proceedings of the International Workshop on Discrete Event Systems, WODES’98, Cagliari, Sardinia, Italy, August 26-28, 1998., Institution of Electrical Engineers, London, . [bibtex]
[86] A Class of Well Structured Petri Nets for Flexible Manufacturing Systems ( and ), Chapter in Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings (Jörg Desel, Manuel Silva, eds.), Springer, volume 1420, . [bibtex] [url] [doi]
[85]Petri nets as a tool for teaching operating systems (), In WCAE@ISCA, ACM, . [bibtex]
[84]Chapter 6 - Properties (, and ), Chapter in Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998, Kronos, Zaragoza, . [bibtex]
[83]Chapter 6 - Logical Properties of P/T Systems and their Analysis (, and ), Chapter in Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques - Vol.1, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998, Kronos, Zaragoza, . [bibtex]
[82]Chapter 16 - Structural Methods (, , and ), Chapter in Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998, Kronos, Zaragoza, . [bibtex]
[81]Chapter 14 – Introduction to Verification ( and ), Chapter in Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998, Kronos, Zaragoza, . [bibtex]
1997
[80] Structural Analysis of Signal Transition Graphs (), In Proceedings of the Workshop Petri Nets in System Engineering (PNSE’97). Modelling, Verification and Validation. Hamburg, Germany, September 25-26, 1997, University of Hamburg, Informatik, Bericht No. 205, . [bibtex] [url]
[79] Choice-free Petri nets: A model for deterministic concurrent systems with bulk services and arrivals (, and ), In IEEE Transactions on Systems, Man, and Cybernetics, Part A, volume 27, . [bibtex] [url] [doi]
[78] Automatic synthesis of colored Petri nets for the control of FMS (), In IEEE Transactions on Robotics and Automation, volume 13, . [bibtex] [url] [doi]
1995
[77]A Boolean approach to the state machine decomposition of Petri nets with OBDD's (), In Proceedings of the 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, IEEE Computer Society Press, volume 4, . [bibtex] [doi]
[76]An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources ( and ), In Proc. of the 1995 IEEE Int. Conf. on Systems, Manand Cybernetics., . [bibtex]
[75] Functional and Performance Analysis of Cooperating Sequential Processes (, , and ), Chapter in Quantitative Methods in Parallel Systems (François Baccelli, Alain Jean-Marie, Isi Mitrani, eds.), Springer Berlin Heidelberg, . [bibtex] [url] [doi]
[74] A Colored Petri Net Model of VHDL (), In Formal Methods in System Design, volume 7, . [bibtex] [url] [doi]
[73] A Petri net based deadlock prevention policy for flexible manufacturing systems ( and ), In IEEE Transactions on Robotics and Automation, volume 11, . [bibtex] [url] [doi]
[72] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds (, , , and ), Chapter in Quantitative Methods in Parallel Systems (François Baccelli, Alain Jean-Marie, Isi Mitrani, eds.), Springer Berlin Heidelberg, . [bibtex] [url] [doi]
[71] Approximate Throughput Computation of Stochastic Marked Graphs (, , and ), Chapter in Quantitative Methods in Parallel Systems (François Baccelli, Alain Jean-Marie, Isi Mitrani, eds.), Springer Berlin Heidelberg, . [bibtex] [url] [doi]
1994
[70]Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions (), In Proceedings of 1994 IEEE International Conference on Systems, Man and Cybernetics, IEEE Computer Society Press, volume 2, . [bibtex] [doi]
[69]Structural Analysis of Petri Nets (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[68]Structural Analysis of Place/Transition Nets. An Example (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[67]Translating VHDL into Coloured Petri Nets (, , , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[66]VHDL: A Discrete Event Simulation Hardware Description Language (), In Proceedings of the 1994 International Conference on Simulation and Hardware Description Languages (SHDL'94), . [bibtex]
[65]VCPN - A description language of Coloured Petri Nets obtained from an elaborated VHDL description (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[64] Functional and Performance Analysis of Cooperating Sequential Processes (, , and ), Chapter in Performance Evaluation of parallel and distributed systems. Solution Methods. - Proceedings of the third QMIPS workshop. Part 2 (O.J. Boxma, G.M. Koole, eds.), Centrum voor Wiskunde en Informatica, volume 106, . [bibtex] [url]
[63] Functional and performance analysis of cooperating sequential processes (, , and ), Chapter in 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems (Guy Cohen, Jean-Pierre Quadrat, eds.), Springer Berlin Heidelberg, volume 199, . [bibtex] [url] [doi]
[62] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds (, , , and ), Chapter in Performance Evaluation of parallel and distributed systems. Solution Methods. - Proceedings of the third QMIPS workshop. Part 2 (O.J. Boxma, G.M. Koole, eds.), Centrum voor Wiskunde en Informatica, volume 106, . [bibtex] [url]
[61] A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs (, , and ), Chapter in Performance Evaluation of parallel and distributed systems. Solution Methods. - Proceedings of the third QMIPS workshop. Part 2 (O.J. Boxma, G.M. Koole, eds.), Centrum voor Wiskunde en Informatica, volume 106, . [bibtex] [url]
[60] Approximate Throughput Computation of Stochastic Marked Graphs (, , and ), In IEEE Transactions on Software Engineering, volume 20, . [bibtex] [url] [doi]
[59] Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions (), Chapter in Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings (Robert Valette, ed.), Springer, volume 815, . [bibtex] [url] [doi]
1993
[58]A Framework for Automated Static Analysis of VHDL (), In Procs of the First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93), . [bibtex]
[57]Synthesis of live high level models for a class of FMS (), In Proceedings of the 1993, IEEE International Conference on Systems, Man and Cybernetics. Systems Engineering in the Service of Humans (IEEE/SMC'93), IEEE Computer Society Press, volume 1, . [bibtex] [doi]
[56]On Weighted T-Systems (, and ), In Actas de las III Jornadas de Concurrencia, . [bibtex]
[55]A Petri net based deadlock prevention policy for flexible manufacturing systems (, and ), In Actas de las III Jornadas de Concurrencia, . [bibtex]
[54]Operational Analysis of Timed Petri Nets (, , and ), In Proceedings of the 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance'93), . [bibtex]
[53]Linear Analysis of Deadlock-Freeness of Petri Net Models (, and ), In Actas de las III Jornadas de Concurrencia, . [bibtex]
[52]A Review of the Report: A Formal Semantics of VHDL (), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[51]Linear Analysis of Deadlock-Freeness of Petri Net Models (, and ), In Proceedings of the European Control Conference 1993, ECC'93. Volume 2 (European Control Association, ed.), Rijksuniv., . [bibtex]
[50]VCPN - A description language of Coloured Petri Nets obtained from a VHDL description (, and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[49]VHDL Through the Looking Glass (), In Proceedings of the VHDL-Forum for CAD in Europe, . [bibtex]
[48]Structure Theory of Choice-free Systems (, and ), Technical report 93-09, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[47]Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals (, and ), In Proceedings of the International Conference on Decentralized and Distributed Systems, ICDDS'93, Palma de Mallorca, Spain, September 13-17, 1993, . [bibtex]
[46]Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals (, and ), Chapter in Decentralized and Distributed Systems, Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993 (Michel Cosnard, Ramón Puigjaner, eds.), North-Holland, volume A-39, . [bibtex]
[45] Petri Nets applied to the modelling and analysis of computer architecture problems (), In Microprocessing and Microprogramming, volume 38, . [bibtex] [url] [doi]
[44] Toward a formal semantics of IEEE Std. VHDL 1076 (), In Proceedings of the European Design Automation Conference 1993, EURO-DAC'93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993, IEEE Computer Society Press, . [bibtex] [url] [doi]
[43] Analysis tools applied to VHDL (), In Microprocessing and Microprogramming, volume 38, . [bibtex] [url] [doi]
[42] A Petri Net Approach for the Analysis of VHDL Descriptions (), Chapter in Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993, Proceedings (George J. Milne, Laurence Pierre, eds.), Springer, volume 683, . [bibtex] [url] [doi]
[41] Operational analysis of timed Petri nets and application to the computation of performance bounds (, , , and ), In Proceedings of the IEEE 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, Toulouse, France, October 19-22, 1993, IEEE Computer Society Press, . [bibtex] [url] [doi]
[40] A general iterative technique for approximate throughput computation of Stochastic Marked Graphs (, , and ), In Proceedings of the IEEE 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, Toulouse, France, October 19-22, 1993, IEEE Computer Society Press, . [bibtex] [url] [doi]
1992
[39]A Formal Semantics of VHDL (), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[38]On the Analysis and Synthesis of Systems of Simple Sequential Processes with Resources (SSSPR) (, and ), Technical report 92-30, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[37]Linear Analysis of Deadlock-Freeness Using PNs (, and ), Technical report 92-29, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[36]Properties and Performance Bounds for Timed Marked Graphs (, , and ), In IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, volume 39, . [bibtex] [doi]
[35]Liveness, Schedulers and Petri Nets. Application to the Detection of Ada Tasking Deadlocks (, and ), Technical report 92-12, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[34]On Weighted T-Systems (, , and ), Technical report 92-03, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[33] On Weighted T-Systems (, and ), Chapter in Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings (Kurt Jensen, ed.), Springer, volume 616, . [bibtex] [url] [doi]
[32]Linear Algebraic Techniques for the Analysis of Petri Nets (, and ), Chapter in Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II, Mita Press, . [bibtex]
[31]Improving throughput upper bounds for net based models (, and ), Chapter in Robotics and Flexible Manufacturing Systems (S.G. Tzafestas, J.C. Gentina, eds.), Elsevier Science Publishers B.V. (North-Holland), . [bibtex]
[30]Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures (, and ), Chapter in Parallel and Distributed Computing in Engineering Systems (P. Tzafestas et alt., ed.), North-Holland, Elsevier Science Publishers B.V., . [bibtex]
1991
[29]Petri Net Based Analysis of VHDL Programs (), In Actas de la Segunda Reunión sobre Paralelismo, . [bibtex]
[28]Petri Net Based Analysis of VHDL Programs (), In Proceedings of the Second European Conference on VHDL Methods (EURO-VHDL'91), . [bibtex]
[27]Técnicas de Análisis y Diseño de Sistemas Empotrados (, , , , , , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[26]Linear Algebraic Techniques for the Analysis of Petri Nets (, and ), In Proceedings of the International Symposium on the Mathematical Theory of Networks and Systems, . [bibtex]
[25]Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures ( and ), In Proceedings of the P.D. COM'91 IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems, . [bibtex]
[24]A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets (), In Proceedings of the 12th International Conference on Application and Theory of Petri Nets, . [bibtex]
[23]Improving throughput upper bounds for net based models (, and ), In Proceedings of the IMACS MCTS’91 International Symposium on Modeling and Control of Technological Systems, . [bibtex]
[22] Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows ( and ), Chapter in Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings] (Grzegorz Rozenberg, ed.), Springer, volume 483, . [bibtex] [url] [doi]
[21] Improving the linearly based characterization of P/T nets ( and ), Chapter in Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings] (Grzegorz Rozenberg, ed.), Springer, volume 483, . [bibtex] [url] [doi]
1990
[20]On liveness analysis through linear algebraic techniques (, and ), In Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990, . [bibtex]
[19]A first collection of challenging problems: A flexible manufacturing system (, , and ), In Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 6: Case Studies. Deliverables Covering the Period June 1989 to June 1990, . [bibtex]
[18]Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows ( and ), In Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990, . [bibtex]
[17]Improving the linearly based characterization of P/T nets ( and ), In Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990, . [bibtex]
[16]Performance evaluation of repetitive automated manufacturing systems (, and ), In Proceedings of the IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing, IEEE Computer Society Press, . [bibtex] [doi]
[15]A Report on Petri Net Software Tools. (, and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
1989
[14]Structural Analysis and Synthesis of Petri Nets (, and ), Technical report 89-15, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[13]Convex Geometry and Semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows ( and ), In Proceedings of the 10th International Conference on Application and Theory of Petri Nets, . [bibtex]
[12]Análisis estructural de Redes de Petri, programación lineal y geometría convexa. (), PhD thesis, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[11]Improving the linearly based characterization of P/T nets ( and ), In Proceedings of the 10th International Conference on Application and Theory of Petri Nets, . [bibtex]
[10] Tight Polynomial Bounds for Steady-State Performance of Marked Graphs (, , and ), In Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM 1989, Kyoto, Japan, December 11-13, 1989, IEEE Computer Society Press, . [bibtex] [url] [doi]
1988
[9]Interrelationships among various concepts of fairness for Petri nets (, , and ), In Proceedings of the 31st Midwest Symposium on Circuits and Systems, IEEE Computer Society Press, . [bibtex]
[8] On the Computation of Structural Synchronic Invariants in P/T Nets (), Chapter in Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers (Grzegorz Rozenberg, ed.), Springer, volume 340, . [bibtex] [url] [doi]
1987
[7]On the structural computation of synchronic invariants in P/T nets (), In Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets, . [bibtex]
[6]Manual de uso y mantenimiento del paquete de validación de redes de Petri ARP ( and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[5]Packages for validating discrete production systems modeled with Petri nets (, and ), Chapter in Applied Modelling and Simulation of Technological Systems (P. Borne, S.G. Tzafestas, eds.), Elsevier Science Publishers B.V. (North-Holland), . [bibtex]
1986
[4]On software implementation of Petri Nets and Colored Petri Nets using high-level concurrent languages (, and ), In Proceedings of the Seventh European Workshop on Application and Theory of Petri Nets, . [bibtex]
[3]Packages for validating discrete production systems modeled with Petri nets (, and ), In Proceedings of the IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems, . [bibtex]
1985
[2]Análisis de programas concurrentes mediante Redes de Petri (, and ), In Actas del VI Congreso de Automática e Informática de la AEIA, . [bibtex]
[1]STAR: A Software Tool for Validating Concurrent Systems ( and ), In Proc. Programming - KTSG Technical Week., SESA-RC, . [bibtex]



COSMOS logo - developed by Luis Alfonso Alías Ilarri