Publications of the COSMOS Research Group
2013
[33]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]
[32] 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]
[31]A task routing approach to large-scale scheduling ( and ), In Future Generation Comp. Syst., volume 29, . [bibtex]
[30] 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]
[29] 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]
[28] Model checking software for phylogenetic trees using distribution and database methods (), In Journal of Integrative Bioinformatics, volume 10, . [bibtex] [url] [doi]
[27] Temporal Logics for Phylogenetic Analysis via Model Checking (, and ), In IEEE/ACM Transactions on Computational Biology and Bioinformatics, volume 10, . [bibtex] [url] [doi]
[26] 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]
[25] 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]
[24] 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]
[23]RessAllocation Petri net Model ( and ), In Model Checking Contest 2013 (F Kordon, et al., eds.), . [bibtex]
[22]Energy efficient cloud computing environment via autonomic meta-director framework (, , , and ), In 2013 Sixth International Conference on Developments in eSystems Engineering, . [bibtex]
[21]Towards autonomic cloud services engineering via intention workflow model (, , , and ), In International Conference on Grid Economics and Business Models, . [bibtex]
[20]Revenue creation for rate adaptive stream management in multi-tenancy environments (, , and ), In International Conference on Grid Economics and Business Models, . [bibtex]
[19]Policies for role maintenance through incentives: how to keep agents on track (, and ), Chapter in Agreement Technologies, Springer, . [bibtex]
[18]Extracting reputation with knock-out tournament-based pairwise elicitation in complex social networks (, and ), Chapter in Agreement Technologies, Springer, . [bibtex]
[17]Persuading agents to act in the right way: An incentive-based approach (, and ), In Engineering Applications of Artificial Intelligence, Elsevier, volume 26, . [bibtex]
[16]Dynamically maintaining standards using incentives ( and ), Chapter in Trends in Practical Applications of Agents and Multiagent Systems, Springer, . [bibtex]
[15]Trust-based role coordination in task-oriented multiagent systems (, and ), In Knowledge-Based Systems, Elsevier, volume 52, . [bibtex]
[14]A Formalization for Semantic Location Granules (, , and ), In International Journal of Geographical Information Science, Taylor & Francis, ISSN 1365-8816, volume 27, , http://dx.doi.org/10.1080/13658816.2012.739691. [bibtex]
[13] 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]
[12]Decision making matters: A better way to evaluate trust models (, , and ), In Knowledge-Based Systems, Elsevier, volume 52, . [bibtex]
[11]Analysing Quality of Resilience in Fish4Knowledge Video Analysis Workflows (, , , and ), In 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing, . [bibtex]
[10]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, , Special Issue on Context-Aware Systems. [bibtex]
[9]Sharing with Caution: Managing Parking Spaces in Vehicular Networks (, , and ), In Mobile Information Systems, ISSN 1574-017X, IOS Press, volume 9, . [bibtex]
[8]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]
[7]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]
[6]The VESPA Project: Driving Advances in Data Management for Vehicular Networks ( and ), In ERCIM News, , Special Theme on Intelligent Vehicles as an Integral Part of Intelligent Transport Systems. [bibtex]
[5]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]
[4]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]
[3]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]
[2]Hypatia – Towards 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]
[1]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]
Powered by bibtexbrowser