Publications of the COSMOS Research Group
[516]Computing Absolutely Normal Numbers in Nearly Linear Time ( and ), In Information and Computation, to appear. [bibtex]
[515]Extending the Reach of the Point-to-Set Principle (, and ), In , Submitted. [bibtex]
1985
[514]STAR: A Software Tool for Validating Concurrent Systems ( and ), In Proc. Programming - KTSG Technical Week., SESA-RC, . [bibtex]
[513]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]
1986
[512]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]
[511]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]
1987
[510]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]
[509]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]
[508]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]
1988
[507] 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]
[506]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]
1989
[505] 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]
[504]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]
[503]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]
[502]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]
[501]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]
1990
[500]A Report on Petri Net Software Tools. (, and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[499]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]
[498]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]
[497]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]
[496]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]
[495]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]
1991
[494] 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]
[493] 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]
[492]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]
[491]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]
[490]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]
[489]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]
[488]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]
[487]Petri Net Based Analysis of VHDL Programs (), In Actas de la Segunda Reunión sobre Paralelismo, . [bibtex]
[486]Petri Net Based Analysis of VHDL Programs (), In Proceedings of the Second European Conference on VHDL Methods (EURO-VHDL'91), . [bibtex]
1992
[485]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]
[484]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]
[483]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]
[482] 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]
[481]On Weighted T-Systems (, , and ), Technical report 92-03, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[480]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]
[479]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]
[478]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]
[477]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]
[476]A Formal Semantics of VHDL (), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
1993
[475] 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]
[474] 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]
[473] 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]
[472] Analysis tools applied to VHDL (), In Microprocessing and Microprogramming, volume 38, . [bibtex] [url] [doi]
[471] 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]
[470] Petri Nets applied to the modelling and analysis of computer architecture problems (), In Microprocessing and Microprogramming, volume 38, . [bibtex] [url] [doi]
[469]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]
[468]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]
[467]Structure Theory of Choice-free Systems (, and ), Technical report 93-09, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, , Revised in September. [bibtex]
[466]VHDL Through the Looking Glass (), In Proceedings of the VHDL-Forum for CAD in Europe, . [bibtex]
[465]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]
[464]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]
[463]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]
[462]On Weighted T-Systems (, and ), In Actas de las III Jornadas de Concurrencia, . [bibtex]
[461]Linear Analysis of Deadlock-Freeness of Petri Net Models (, and ), In Actas de las III Jornadas de Concurrencia, . [bibtex]
[460]A Petri net based deadlock prevention policy for flexible manufacturing systems (, and ), In Actas de las III Jornadas de Concurrencia, . [bibtex]
[459]Operational Analysis of Timed Petri Nets (, , and ), In Proceedings of the 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance'93), . [bibtex]
[458]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]
[457]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]
1994
[456] 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]
[455] Approximate Throughput Computation of Stochastic Marked Graphs (, , and ), In IEEE Transactions on Software Engineering, volume 20, . [bibtex] [url] [doi]
[454] 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]
[453] 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]
[452] 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]
[451]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]
[450]VHDL: A Discrete Event Simulation Hardware Description Language (), In Proceedings of the 1994 International Conference on Simulation and Hardware Description Languages (SHDL'94), . [bibtex]
[449]Translating VHDL into Coloured Petri Nets (, , , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[448]Structural Analysis of Place/Transition Nets. An Example (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[447]Structural Analysis of Petri Nets (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[446]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]
1995
[445] 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]
[444] 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]
[443] A Petri net based deadlock prevention policy for flexible manufacturing systems ( and ), In IEEE Transactions on Robotics and Automation, volume 11, . [bibtex] [url] [doi]
[442] A Colored Petri Net Model of VHDL (), In Formal Methods in System Design, volume 7, . [bibtex] [url] [doi]
[441] 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]
[440]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]
1997
[439] Automatic synthesis of colored Petri nets for the control of FMS (), In IEEE Transactions on Robotics and Automation, volume 13, . [bibtex] [url] [doi]
[438] 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]
[437] 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, volume 4, . [bibtex] [url] [doi]
1998
[436]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]
[435]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]
[434]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]
[433]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]
[432]Petri nets as a tool for teaching operating systems (), In WCAE@ISCA, ACM, . [bibtex]
[431] 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]
[430]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]
[429]Optimal control of discrete event systems (, , and ), In Proc. of the Int. Workshop on Discrete Event Systems(WODES'98), IEE, . [bibtex]
[428] 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]
[427]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]
1999
[426] 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]
[425]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]
[424]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]
2000
[423] 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]
[422] Structurally Safe Net Systems (, and ), Chapter in Discrete Event Systems: Analysis and Control (R. Boel., G. Stremersch, eds.), Springer US, . [bibtex] [url] [doi]
[421]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]
[420] 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]
[419] 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]
[418]New Methods for Deadlock Prevention and Avoidance in Concurrent Systems (, , and ), In Actas de las VIII Jornadas de Concurrencia (Diego Cazorla, ed.), . [bibtex]
[417]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]
[416]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]
2001
[415] 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]
[414]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]
2002
[413] 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]
[412]Banker's-like approaches to deadlock avoidance in concurrent systems (, , and ), In IEEE Transactions on Robotics and Automation, volume 18, . [bibtex]
[411] Checking Redundancies in Supervisory Control. A Complexity Result (), In IFAC Proceedings Volumes, volume 35, , 15th Triennial World Congress of the International Federation of Automatic Control (IFAC). [bibtex] [url] [doi]
[410]Sixth International Workshop on Discrete Event Systems (WODES02), Proceedings, (Manuel Silva, Alessandro Giua, José-Manuel Colom, eds.), IEEE Computer Society, . [bibtex] [doi]
[409]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]
[408]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]
2003
[407] 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]
[406] 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]
[405] 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]
[404]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]
[403]Measuring the Spanish Blogosphere (, and ), In Proceedings of Towards New Media Paradigms (COST A20 Conference), . [bibtex]
[402]Análisis, prevención y evitación de bloqueos en sistemas secuenciales de asignación de recursos (), PhD thesis, Universidad de Zaragoza, . [bibtex]
[401]Do we live in an Small World? Measuring the Spanish-Speaking Blogosphere (, and ), In BlogTalks (Thomas N Burg, ed.), . [bibtex]
[400]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]
[399]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]
2004
[398]Revisiting the Spanish Blogosphere (, , and ), In BlogTalks 2.0 (Thomas N Burg, ed.), . [bibtex]
[397]Blogosphere community formation, structure and visualization (, and ), In BlogTalks 2.0 (Thomas N Burg, ed.), . [bibtex]
[396]The Spanish-speaking Blogosphere: towards the powerlaw? ( and ), In Proceedings of Web Based Communities 2004, . [bibtex]
[395]Weblogging in computer science classes ( and ), In Innovation, Technology and Research in Education, International Conference on Education, IADAT-e2004 (Juan Ignacio Larrauri, ed.), . [bibtex]
[394]Clustering web-based communities using self-organizing maps (, , , , and ), In Proceedings of Web Based Communities 2004, . [bibtex]
[393]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, volume 3268, . [bibtex]
[392]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]
[391] 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]
[390]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]
2005
[389] 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]
[388]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]
[387]Métrica de la blogosfera. Algunas medidas y relaciones en la blogosfera hispana ( and ), In Telos, . [bibtex]
[386] 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]
[385]A hierarchical one-to-one mapping solution for semantic interoperability (, , , , and ), In International Conference on Dublin Core and Metadata Applications, . [bibtex]
[384]CatServer: a server of GATOS (, , , and ), In Proceedings of AGILE Conference, . [bibtex]
[383]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]
[382]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]
[381]Development of a Scalable Platform for Highly Mobile Agents (, and ), Technical report, , . [bibtex]
2006
[380] Synthesis of asynchronous controllers using integer linear programming (, and ), In IEEE Transactions on CAD of Integrated Circuits and Systems, volume 25, . [bibtex] [url] [doi]
[379]YA: Fast and Scalable Discovery of Idle CPUs in a P2P network ( and ), In GRID, IEEE Computer Society, . [bibtex]
[378]Scalable Architecture for Allocation of Idle CPUs in a P2P Network ( and ), In HPCC, Springer, volume 4208, . [bibtex]
[377] 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]
[376] 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]
[375]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]
[374]La blogosfera hispana. Pioneros de la cultura digital ( Chapter: El tamaño de la blogosfera: medidas y herramientas) (, and ), Chapter in , France Telecom, . [bibtex]
[373]Effective use of organisational abstractions for confidence models (, , and ), In International Workshop on Engineering Societies in the Agents World, . [bibtex]
[372]Integrating trust in virtual organisations (, and ), In International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, . [bibtex]
[371]On the problem of identifying the quality of geographic metadata (, , , , and ), In International Conference on Theory and Practice of Digital Libraries, . [bibtex]
[370]Semantic interoperability based on Dublin Core hierarchical one-to-one mappings (, , , and ), In INTERNATIONAL JOURNAL OF METADATA SEMANTICS AND ONTOLOGIES, Inderscience, volume 1, . [bibtex]
[369]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]
[368]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]
[367]Works Related to LOQOMOTION (, and ), Technical report, , . [bibtex]
[366]LOQOMOTION: Processing of Continuous Location-Dependent Queries in Mobile Environments (), PhD thesis, University of Zaragoza, . [bibtex]
[365]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]
[364]Processing Location-Dependent Queries with Location Granules (, and ), Technical report RR-07-06, University of Zaragoza, . [bibtex]
[363]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]
[362]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]
2007
[361]Hierarchical Geographic Routing for Wireless Ad-Hoc Networks ( and ), In WSAN, Springer, volume 248, . [bibtex]
[360]Mercator: Self-organizing Geographic Connectivity Maps for Scalable Ad-Hoc Routing ( and ), In IWSOS, Springer, volume 4725, . [bibtex]
[359]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]
[358] 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]
[357]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]
[356] 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]
[355]Trust-based service provider selection in open environments (, , and ), In Proceedings of the 2007 ACM symposium on Applied computing, . [bibtex]
[354]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]
[353]Supporting Experimentation for Trust Models in Virtual Organizations: TOAST (, , and ), In 5th European workshop on multi-agents systems, . [bibtex]
[352]Vega: a service-oriented grid workflow management system (, , and ), In OTM Confederated International Conferences "On the Move to Meaningful Internet Systems", . [bibtex]
[351]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]
[350]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]
[349]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]
[348]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]
[347]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]
[346]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]
[345]Chapter 7. Agent applications in Tourism (, , , , , , , , , and ), Chapter in (Antonio Moreno, Juan Pavón, eds.), Birkhäuser, . [bibtex]
[344]Chapter 2. Ubiquitous computing for mobile environments (, , , , , , , , , and ), Chapter in (Antonio Moreno, Juan Pavón, eds.), Birkhäuser, . [bibtex]
2008
[343]Agregando la participación de los alumnos en la clase conectada (, , and ), In Actas XIX Jornadas de Paralelismo, Castellón, . [bibtex]
[342]Interactividad Digital. Nuevas estrategias en educación y comunicación ( and ), Chapter in Redes Sociales en Internet, Editorial EOS, . [bibtex]
[341] Visualizing the evolution of a web-based social network (, , , and ), In Journal of Network and Computer Applications, volume 31, . [bibtex] [url] [doi]
[340] NectaRSS, an intelligent RSS feed reader (, , , , and ), In J. Netw. Comput. Appl., Academic Press Ltd., volume 31, . [bibtex] [url] [doi]
[339]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]
[338]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]
[337]Organisational Mechanisms for Regulating MAS (, , and ), In EUMAS 2008, . [bibtex]
[336]Analyzing Trust Mechanisms using a Meta-framework for Human Behaviour in Virtual Organizations ( and ), In EUMAS 2008, . [bibtex]
[335]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]
[334]Automating performance analysis from Taverna workflows (, and ), In International Symposium on Component-Based Software Engineering, . [bibtex]
[333]Exception handling patterns for hierarchical scientific workflows (, , , and ), In Proceedings of the 6th international workshop on Middleware for grid computing, . [bibtex]
[332]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]
[331]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]
[330]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]
[329]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]
[328]Using Cooperative Mobile Agents to Monitor Distributed and Dynamic Environments (, and ), In Information Sciences, ISSN 0020-0255, Elsevier, volume 178, . [bibtex] [doi]
[327]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]
[326]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]
[325]An Architecture for Prediction-Based Monitoring of Data Streams (, , , and ), Technical report, , . [bibtex]
[324]VESPA: Let your Vehicles Speak Together! (, and ), In 24ièmes Journées Bases de Données Avancées (BDA'08), Guilherand-Granges (France), . [bibtex]
[323]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]
[322]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]
2009
[321]Behavioural Characterization for Network Anomaly Detection ( and ), In Trans. Computational Science, volume 4, . [bibtex]
[320]Creating and Using Reputation-Based Agreements in Organisational Environments (, and ), In International Conference on Principles and Practice of Multi-Agent Systems, . [bibtex]
[319]Organising mas: A formal model based on organisational mechanisms (, , and ), In Proceedings of the 2009 ACM symposium on Applied Computing, . [bibtex]
[318]A reputation model for organisational supply chain formation (, and ), In Proc. of the 6th COIN@ AAMAS, volume 9, . [bibtex]
[317]Dynamic evolution of role taxonomies through multidimensional clustering in multiagent organizations (, and ), In International Conference on Principles and Practice of Multi-Agent Systems, . [bibtex]
[316]Reputation-based Agreement for Agent Organisations (, and ), In WAT, . [bibtex]
[315]A hybrid reputation model based on the use of organizations (, and ), In Coordination, organizations, institutions and norms in agent systems IV, . [bibtex]
[314]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]
[313]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]
[312]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]
[311]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]
[310]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]
[309]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]
[308]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]
[307]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]
[306]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]
[305]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]
[304]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, , Best paper award. [bibtex]
2010
[303] 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]
[302] 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, volume 43, , [10th IFAC Workshop on Discrete Event Systems]. [bibtex] [url] [doi]
[301]Distributed Scheduler of Workflows with Deadlines in a P2P Desktop Grid ( and ), In PDP, IEEE Computer Society, . [bibtex]
[300] 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]
[299]Fostering flexible and dynamic management of scientific workflows with reference nets (), PhD thesis, Universidad de Zaragoza, . [bibtex]
[298]A trust-based provider recommender for mobile devices in semantic environments (, , and ), Chapter in Distributed Computing and Artificial Intelligence, Springer, . [bibtex]
[297]Building reputation-based agreements: collective opinions as information sources (, and ), In International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, . [bibtex]
[296]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]
[295]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]
[294]A taxonomy for the analysis of scientific workflow faults (, , , and ), In 2010 13th IEEE International Conference on Computational Science and Engineering, . [bibtex]
[293]Norms Evaluation through Reputation Mechanisms for BDI Agents. (, , , and ), In CCIA, . [bibtex]
[292]Adaptive exception handling for scientific workflows (, , , , and ), In Concurrency and computation: Practice and experience, John Wiley & Sons, Ltd., volume 22, . [bibtex]
[291]An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows (, , , and ), In Journal of Computer and System Sciences, Academic Press, volume 76, . [bibtex]
[290]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]
[289]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]
[288]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]
[287] 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]
[286]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]
[285]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]
[284]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]
[283]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]
[282]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]
[281]Temporal logics for phylogenetic analysis via model checking ( and ), In 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW), , [Proceedings of the Workshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10)]. [bibtex] [doi]
[280]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]
2011
[279] 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]
[278] 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]
[277]A Highly Scalable Decentralized Scheduler of Tasks with Deadlines ( and ), In GRID, IEEE Computer Society, . [bibtex]
[276] 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]
[275] 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]
[274] 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]
[273] "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]
[272]Organisational structures in next-generation distributed systems: Towards a technology of agreement 1 (, , , , , , , and ), In Multiagent and Grid Systems, IOS Press, volume 7, . [bibtex]
[271]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]
[270]Artifacting and regulating the environment of a virtual organization (, , and ), In 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, . [bibtex]
[269]Enhancing MAS environments with organizational mechanisms (, , and ), In International Journal on Artificial Intelligence Tools, World Scientific, volume 20, . [bibtex]
[268]Event Sharing in Vehicular Networks Using Geographic Vectors and Maps (, , and ), In Mobile Information Systems, ISSN 1574-017X, IOS Press, volume 7, . [bibtex]
[267]GeoVanet: A Routing Protocol for Query Processing in Vehicular Networks (, , and ), In Mobile Information Systems, ISSN 1574-017X, IOS Press, volume 7, . [bibtex]
[266]Autonomic streaming pipeline for scientific workflows (, and ), In Concurrency and Computation: Practice and Experience, John Wiley & Sons, Ltd. Chichester, UK, volume 23, . [bibtex]
[265]Characterizing quality of resilience in scientific workflows (, , , and ), In Proceedings of the 6th workshop on Workflows in support of large-scale science, . [bibtex]
[264]Dynamic workflow adaptation over adaptive infrastructures (, and ), In KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications, . [bibtex]
[263]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]
[262]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]
[261]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]
[260] 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]
[259]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, , https://dx.doi.org/10.1016/j.jss.2011.03.082. [bibtex]
[258]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, , Special Issue on Exploiting Wireless Communication Technologies in Vehicular Transportation Networks. [bibtex]
[257]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]
[256]Multi-scale query processing in vehicular networks (, , , and ), In Journal of Ambient Intelligence and Humanized Computing, ISSN 1868-5137, Springer, volume 2, . [bibtex]
[255]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]
[254]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]
[253]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]
[252]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]
2012
[251] 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]
[250] 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]
[249] 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]
[248] 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]
[247] 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]
[246]Revenue-based resource management on shared clouds for heterogenous bursty data streams (, , and ), In International Conference on Grid Economics and Business Models, . [bibtex]
[245]E-Learning Evolution and Experiences at the University of Zaragoza (, , and ), . [bibtex]
[244]Dynamic discovery and maintenance of role-based performance standards ( and ), In Proceedings of the First International Conference on Agreement Technologies, . [bibtex]
[243]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]
[242]Alpha test-bed: A new approach for evaluating trust models (, , and ), In INFRASTRUCTURES AND TOOLS FOR MULTIAGENT SYSTEMS, . [bibtex]
[241]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]
[240]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]
[239]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]
[238]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]
[237]Enforcing qos in scientific workflow systems enacted over cloud infrastructures (, , and ), In Journal of Computer and System Sciences, Academic Press, volume 78, . [bibtex]
[236]Revenue models for streaming applications over shared clouds (, , and ), In 2012 IEEE 10th International Symposium on Parallel and Distributed Processing with Applications, . [bibtex]
[235] 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]
[234] 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]
[233]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), , Position paper, 2 pages. [bibtex]
[232]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), , Position paper, 2 pages. [bibtex]
[231] Mobile Software Agents for Mobile Applications (, , and ), Chapter in 39 (Paulo Alencar, Donald Cowan, eds.), IGI Global, volume 2, , ISBN13 978-161520-655-1, ISBN10 1615206558, EISBN13 978-1-61520-656-8, ISBN 978-1-4666-1612-7 (print & perpetual access); http://www.igi-global.com/book/handbook-research-mobile-software-engineering/61640. [bibtex] [url] [doi]
[230]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]
[229]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, , 14 pages. [bibtex]
[228]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]
[227]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]
[226]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]
[225]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), , Recent research result, 2 pages, accepted to be presented. [bibtex]
[224]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]
2013
[223]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]
[222] 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]
[221]A task routing approach to large-scale scheduling ( and ), In Future Generation Comp. Syst., volume 29, . [bibtex]
[220] 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]
[219] 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]
[218] Model checking software for phylogenetic trees using distribution and database methods (), In Journal of Integrative Bioinformatics, volume 10, . [bibtex] [url] [doi]
[217] Temporal Logics for Phylogenetic Analysis via Model Checking (, and ), In IEEE/ACM Transactions on Computational Biology and Bioinformatics, volume 10, . [bibtex] [url] [doi]
[216] 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]
[215] 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]
[214] 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]
[213]RessAllocation Petri net Model ( and ), In Model Checking Contest 2013 (F Kordon, et al., eds.), . [bibtex]
[212]Energy efficient cloud computing environment via autonomic meta-director framework (, , , and ), In 2013 Sixth International Conference on Developments in eSystems Engineering, . [bibtex]
[211]Towards autonomic cloud services engineering via intention workflow model (, , , and ), In International Conference on Grid Economics and Business Models, . [bibtex]
[210]Revenue creation for rate adaptive stream management in multi-tenancy environments (, , and ), In International Conference on Grid Economics and Business Models, . [bibtex]
[209]Policies for role maintenance through incentives: how to keep agents on track (, and ), Chapter in Agreement Technologies, Springer, . [bibtex]
[208]Extracting reputation with knock-out tournament-based pairwise elicitation in complex social networks (, and ), Chapter in Agreement Technologies, Springer, . [bibtex]
[207]Persuading agents to act in the right way: An incentive-based approach (, and ), In Engineering Applications of Artificial Intelligence, Elsevier, volume 26, . [bibtex]
[206]Dynamically maintaining standards using incentives ( and ), Chapter in Trends in Practical Applications of Agents and Multiagent Systems, Springer, . [bibtex]
[205]Trust-based role coordination in task-oriented multiagent systems (, and ), In Knowledge-Based Systems, Elsevier, volume 52, . [bibtex]
[204]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]
[203] 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]
[202]Decision making matters: A better way to evaluate trust models (, , and ), In Knowledge-Based Systems, Elsevier, volume 52, . [bibtex]
[201]Analysing Quality of Resilience in Fish4Knowledge Video Analysis Workflows (, , , and ), In 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing, . [bibtex]
[200]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]
[199]Sharing with Caution: Managing Parking Spaces in Vehicular Networks (, , and ), In Mobile Information Systems, ISSN 1574-017X, IOS Press, volume 9, . [bibtex]
[198]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]
[197]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]
[196]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]
[195]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]
[194]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]
[193]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]
[192]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]
[191]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]
2014
[190] 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]
[189] 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]
[188] 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]
[187] Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study (), In Journal of Integrative Bioinformatics, volume 11, . [bibtex] [url] [doi]
[186] 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]
[185] 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]
[184] 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]
[183] 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]
[182]Cloud federation: Characterisation and conceptual model (, and ), In 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing, . [bibtex]
[181]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]
[180]From blurry numbers to clear preferences: A mechanism to extract reputation in social networks (, and ), In Expert Systems with Applications, Elsevier, volume 41, . [bibtex]
[179]Extending cometcloud to process dynamic data streams on heterogeneous infrastructures (, , and ), In 2014 International Conference on Cloud and Autonomic Computing, . [bibtex]
[178]Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud Infrastructures (, and ), In International Conference on Grid Economics and Business Models, . [bibtex]
[177]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] [doi]
[176]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] [doi]
[175]Multimedia Data Management in Mobile Computing (, , and ), In IEEE Multimedia, ISSN 1070-986X, IEEE Computer Society, volume 21, , introduction to special issue. [bibtex] [doi]
[174]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]
[173]Opportunistic Data Services in Least Developed Countries: Benefits, Challenges and Feasibility Issues (, , , , , and ), In SIGMOD Record, ACM, volume 43, . [bibtex]
[172]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]
[171]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]
[170]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]
[169]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]
[168]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]
[167]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]
[166]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]
[165]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, , https://dx.doi.org/10.4018/IJSWIS.2014070101. [bibtex]
[164]Flexible Access to Services in Smart Cities: Let SHERLOCK Advise Modern Citizens (, , and ), In ERCIM News, Special Theme on Smart Cities, . [bibtex]
[163]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]
[162]Semantic Management of Moving Objects in Smart Cities (, and ), In ERCIM News, , Special Theme on Smart Cities. [bibtex]
[161]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, , Revised Selected Papers. [bibtex]
[160]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]
[159]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]
[158]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]
[157]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]
[156]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]
[155]Folk-IS: Opportunistic Data Services in Least Developed Countries (, , , , , and ), In Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, volume 7, , Vision Paper. 40th International Conference on Very Large Data Bases (VLDB 2014), Hangzhou (China). [bibtex]
[154]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]
[153]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]
[152]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), , Papiers déjà publiés. [bibtex]
[151]Collaborative Sensing for Urban Transportation (, and ), In IEEE Data Engineering Bulletin (David Maier, V. M. Megler, Kristin Tufte, eds.), IEEE Computer Society, volume 37, , Special Issue on Urban Informatics. [bibtex]
[150]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]
[149]SHERLOCK: Semantic Management of Location-Based Services in Wireless Environments (, , and ), In Pervasive and Mobile Computing, ISSN 1574-1192, Elsevier, volume 15, , Special Issue on Information Management in Mobile Applications. [bibtex]
2015
[148] 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]
[147]When Opinion Request Meets Majority Search: Avoiding Fraud in On-line Review Systems ( and ), In AAMAS, . [bibtex]
[146] Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013 - Preface (, and ), In Fundamenta Informaticae, volume 137, . [bibtex] [url] [doi]
[145]Resource Efficiency to Partition Big Streamed Graphs ( and ), In ISPDC, IEEE Computer Society, . [bibtex]
[144]Fair scheduling of bag-of-tasks applications on large-scale platforms ( and ), In Future Generation Comp. Syst., volume 49, . [bibtex]
[143] 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]
[142] 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]
[141]On the inaccuracy of numerical ratings: dealing with biased opinions in social networks (, and ), In Information Systems Frontiers, Springer, volume 17, . [bibtex]
[140]Introducing innovation in social networks: A cost-benefit analysis of entry point selection (, , and ), In 2015 Third World Conference on Complex Systems (WCCS), . [bibtex]
[139]Entry Point Matters ( and ), In Proceedings of the International Conference on Agents and Artificial Intelligence-Volume 2, . [bibtex]
[138]From roles to standards: a dynamic maintenance approach using incentives (, and ), In Information Systems Frontiers, Springer, volume 17, . [bibtex]
[137]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]
[136] Mobile Agents for a Mobile World (, , and ), Chapter in 25 (Vicente García Díaz, Juan Manuel Cueva Lovelle, B. Cristina Pelayo García-Bustelo, eds.), IGI Global, volume 2, , ISSN 2327-3453, ISBN13 978-1-4666-6359-6, ISBN10 1-4666-6359-6, EISBN13 978-1-46666360-2, http://dx.doi.org/10.4018/978-1-4666-6359-6.ch025. [bibtex] [url] [doi]
[135]On autonomic platform-as-a-service: characterisation and conceptual model (, and ), Chapter in Agent and multi-agent systems: Technologies and applications, Springer, Cham, . [bibtex]
[134]A Data Management Perspective on Vehicular Networks (, and ), In IEEE Communications Surveys and Tutorials, ISSN 1553-877X, IEEE Computer Society, volume 17, . [bibtex]
[133]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]
[132]Semantic Management of Moving Objects: A Vision Towards Smart Mobility (, and ), In Expert Systems With Applications, ISSN 0957-4174, Elsevier, volume 42, . [bibtex] [doi]
[131]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]
[130]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]
[129]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), ISSN 1380-7501 (print version), ISSN 1573-7721 (electronic version), Springer, volume 74, . [bibtex]
[128]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]
[127]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]
[126]Herramienta de Apoyo a la Docencia en el Dise\ñodeBasesdeDatosyAlmacenesdeDatos ( and ), In XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), Demo track, Santander (Spain), , 4 pages. [bibtex]
[125] 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]
[124] 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), , 4 pages; handle: 11705/JISBD/2015/007. [bibtex] [url]
[123]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]
[122]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]
[121]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]
[120] A Review of the Role of Sensors in Mobile Context-Aware Recommendation Systems (, , and ), In International Journal of Distributed Sensor Networks, ISSN 1550-1329, Hindawi, volume 2015, . [bibtex] [url] [doi]
[119]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]
[118]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]
[117] 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]
[116]The GENIE System: Classifying Documents by Combining Mixed Techniques (, , , , and ), Chapter in (Valérie Monfort, Karl-Heinz Krempels, eds.), Springer, volume 226, , ISBN 978-3-319-27029-6. [bibtex]
2016
[115] 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]
[114]Distributed Simulation of Complex and Scalable Systems: From Models to the Cloud (, , and ), In GECON, Springer, volume 10382, . [bibtex]
[113]Modelling performance & resource management in kubernetes (, , and ), In UCC, ACM, . [bibtex]
[112]Adaptive application scheduling under interference in Kubernetes (, , and ), In UCC, ACM, . [bibtex]
[111] 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]
[110]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]
[109] 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]
[108] Evaluation of properties over phylogenetic trees using stochastic logics (), In BMC Bioinformatics, volume 17, . [bibtex] [url] [doi]
[107] 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]
[106]Cloud federations: requirements, properties, and architectures (, , and ), Chapter in Developing Interoperable and Federated Cloud Architecture, IGI Global, . [bibtex]
[105]An architecture for situation-aware evacuation guidance in smart buildings (, , , , and ), In , . [bibtex]
[104]A proposal for situation-aware evacuation guidance based on semantic technologies (, , , , and ), Chapter in Multi-agent Systems and Agreement Technologies, Springer, . [bibtex]
[103]Situation awareness for push-based recommendations in mobile devices (, and ), In International Conference on Business Information Systems, . [bibtex]
[102]MAVSIM: Testing VANET Applications Based on Mobile Agents ( and ), Chapter in 10 (Anna Maria Vegni, Dharma P. Agrawal, eds.), CRC Press – Taylor & Francis Group, , Print ISBN: 978-1-4987-2191-2, eBook ISBN: 978-1-4987-2192-9, https://www.crcpress.com/Cognitive-Vehicular-Networks/Vegni-Agrawal/9781498721912. [bibtex] [doi]
[101]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]
[100]Feedback-control & queueing theory-based resource management for streaming applications (, , and ), In IEEE Transactions on Parallel and Distributed Systems, IEEE, volume 28, . [bibtex]
[99]Resource management for bursty streams on multi-tenancy cloud environments (, , and ), In Future Generation Computer Systems, North-Holland, volume 55, . [bibtex]
[98]The AIS Project: Boosting Information Extraction from Legal Documents by using Ontologies (, , and ), SCITEPRESS, ISBN 978-989-758-172-4, volume 2, . [bibtex]
[97]Pull-Based Recommendations in Mobile Environments ( and ), In Computer Standards \\\\& Interfaces, ISSN 0920-5489, Elsevier, volume 44, . [bibtex]
[96] 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]
[95]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]
[94]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, , https://dx.doi.org/10.1007/978-3-319-16658-2_4. [bibtex]
[93]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]
[92] 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, , Relevant Work (artículo relevante ya publicado); https://biblioteca.sistedes.es/biblioteca/conferencias/jisbd/jisbd-2016/articulos-relevantes/. [bibtex] [pdf]
[91]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]
[90]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]
[89]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]
2017
[88]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]
[87]Big Iron, Big Data, and Big Identity (, , , and ), In New Frontiers in High Performance Computing and Big Data, IOS Press, volume 30, . [bibtex]
[86] 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]
[85]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]
[84]A distributed architecture for real-time evacuation guidance in large smart buildings (, , , , and ), In , . [bibtex]
[83]Client-side scheduling based on application characterization on Kubernetes (, , , , and ), In International Conference on the Economics of Grids, Clouds, Systems, and Services, . [bibtex]
[82]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]
[81]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, , 29–53. [bibtex]
[80] 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]
[79]An Approach Driven by Mobile Agents for Data Management in Vehicular Networks (, and ), In Information Sciences, ISSN 0020-0255, Elsevier, volume 381, . [bibtex] [doi]
[78]Handling Location Uncertainty in Probabilistic Location-Dependent Queries (, , and ), In Information Sciences, ISSN 0020-0255, Elsevier, volume 388–389, . [bibtex]
[77]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]
[76]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, , Special Issue on Context-aware Mobile Recommender Systems. [bibtex]
[75]Probabilistic Location-Dependent Queries at Different Location Granularities (, , and ), In Pervasive and Mobile Computing, ISSN 1574-1192, Elsevier, volume 39, . [bibtex]
[74]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]
[73]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]
[72] 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]
[71] 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), , Handle: 11705/JISBD/2017/013. [bibtex] [url]
[70] 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), , Relevant Work (artículo relevante ya publicado / Salón de la Fama - "Hall of Fame"); handle: 11705/JISBD/2017/082. [bibtex] [url]
[69] 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]
[68]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]
2018
[67] Model-driven development of data intensive applications over cloud resources (), In Future Generation Computer Systems, volume 87, . [bibtex] [url] [doi]
[66]Estimating global opinions by keeping users from fraud in online review systems ( and ), In Knowledge and Information Systems, Springer, volume 55, . [bibtex]
[65]Exploiting User Movements to Derive Recommendations in Large Facilities (, and ), In International Symposium on Distributed Computing and Artificial Intelligence, . [bibtex]
[64]Data Management for VANETs (), Chapter in Encyclopedia of Database Systems (Ling Liu, M. Tamer Özsu, eds.), Springer, , Second Edition. [bibtex] [doi]
[63]Mobile Resource Search (), Chapter in Encyclopedia of Database Systems (Ling Liu, M. Tamer Özsu, eds.), Springer, , Second Edition. [bibtex] [doi]
[62]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]
[61]Characterising resource management performance in Kubernetes (, , , and ), In Computers & Electrical Engineering, Pergamon, volume 68, . [bibtex]
[60]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]
[59]Model-driven development of data intensive applications over cloud resources (, and ), In Future Generation Computer Systems, North-Holland, volume 87, . [bibtex]
[58] A Survey of Modelling Trends in Temporal GIS (, , and ), In ACM Computing Surveys, ISSN 0360-0300, ACM, volume 51, , Additional online appendix, 61 pages (App-1-App-61). [bibtex] [url] [doi]
[57]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]
[56]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]
[55]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]
[54]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]
[53] Modular Petri net modeling of healthcare systems (, , and ), In Flexible Services and Manufacturing Journal, volume 30, . [bibtex] [url] [doi]
[52]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]
[51]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, , Depósito legal: Z 1084-2018. [bibtex]
[50] 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), , Relevant Work (artículo relevante ya publicado); handle: 11705/JISBD/2018/066. [bibtex] [url]
[49]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]
[48] 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), , Relevant Work (artículo relevante ya publicado); handle: 11705/JISBD/2018/044. [bibtex] [url]
[47]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, , DOI of ICERI 2018: 10.21125/iceri.2018. [bibtex]
2019
[46] 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]
[45]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]
[44]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]
[43]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]
[42]Towards an Architecture Proposal for Federation of Distributed DES simulators (, and ), In GECON, Springer, . [bibtex]
[41]Modeling, Characterising and Scheduling Applications in Kubernetes (, , , and ), In GECON, Springer, . [bibtex]
[40]A Dynamic Data-throttling Approach to Minimize Workflow Imbalance (, and ), In ACM Transactions on Internet Technology (TOIT), ACM, volume 19, . [bibtex]
[39]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]
[38]Projects to encourage female students in STEM areas (, , , , , , , and ), In Fifth International Conference on Higher Education Advances (HEAd 2019), Valencia (Spain), UPV Press, , ISSN 2603-5871, ISBN 978-84-9048-661-0 (print version). [bibtex] [doi]
[37]Spatial Crowdsourcing with Mobile Agents in Vehicular Networks ( and ), In Vehicular Communications, ISSN 2214-2096, Elsevier, volume 17, . [bibtex] [doi]
[36] 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), , handle: 11705/JISBD/2019/055. [bibtex] [url]
[35]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]
[34]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 978-84-09-14755-7, ISSN 2340-1095, . [bibtex] [doi]
[33]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]
2020
[32] 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]
[31]Asymptotic Divergences and Strong Dichotomy (, , and ), In 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), . [bibtex]
[30]Analysis of the Influence of Diffeomorphic Normalization in the Prediction of Stable VS Progressive MCI Conversion with Convolutional Neural Networks (, , and ), In 17th IEEE International Symposium on Biomedical Imaging (ISBI 2020), . [bibtex]
[29] 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]
[28]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]
[27]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]
[26]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, , Position paper. Conference initially planned to be held in Chiang Mai (Thailand) but finally reconverted to an online conference due to the COVID-19 pandemic. [bibtex] [doi]
[25]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, , Planned in Prague (Czech Republic) but finally reconverted to an online conference due to the COVID-19 pandemic. [bibtex] [doi]
[24]Semantic Traffic Sensor Data: The TRAFAIR Experience (, , , and ), In Applied Sciences, ISSN 2076-3417, MDPI AG, volume 10, , Article number: 5882. Special Issue on Smart Data and Semantics in a Sensor World. [bibtex] [doi]
[23]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, , Article number: 5942. Special Issue on Medical Informatics and Data Analysis. [bibtex] [doi]
[22]Special Issue on Smart Data and Semantics in a Sensor World (Editorial) (, and ), In Applied Sciences, ISSN 2076-3417, MDPI AG, volume 10, , Article number: 6355. Special Issue on Smart Data and Semantics in a Sensor World. [bibtex] [doi]
[21] 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]
[20]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, , Online conference due to the COVID-19 pandemic. [bibtex] [doi]
[19]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, , Position paper. Selected in a short list of candidates to win the WEBIST 2020 best industrial paper award. Online conference due to the COVID-19 pandemic. [bibtex]
[18]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]
[17]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, , Online conference due to the COVID-19 pandemic. [bibtex] [doi]
2021
[16]Asymptotic Divergences and Strong Dichotomy (, , and ), In IEEE Transactions on Information Theory, volume 67, . [bibtex]
[15]Dimension and the structure of complexity classes (, and ), In , , submitted. [bibtex]
[14]Algorithmic fractal dimensions in geometric measure theory ( and ), Chapter in Handbook of Computability and Complexity in Analysis (Vasco Brattka, Peter Hertling, eds.), Springer-Verlag, . [bibtex]
[13] 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]
[12]Profilage de services pour la gestion de l'énergie dans les architectures orientées services (, , , and ), In 40^$\`{e}me$ Édition Congrès Annuel INFORSID (INFormatique des ORganisations et Systèmes d'Information et de Décision), Dijon (France), , Type of submission: Session internationale (papers published in very good conferences or journals in 2021). [bibtex]
[11]An Experience with the Implementation of a Rule-Based Triggering Recommendation Approach for Mobile Devices (, and ), In 19th International Conference on Advances in Mobile Computing & Multimedia (MoMM 2021), ACM, ISBN 978-1-4503-9556-4, , Online conference due to the COVID-19 pandemic. [bibtex] [doi]
[10]Modeling Energy Consumption in SOA: Requirements and Current Status (, , , , and ), In Atelier "Evolution des SI : vers des SI Pervasifs ?" at the 39^$\`{e}me$ Édition Congrès Annuel INFORSID (INFormatique des ORganisations et Systèmes d'Information et de Décision), , Planned in Dijon (France) but finally reconverted to an online conference due to the COVID-19 pandemic.s. [bibtex]
[9] Spatial Crowdsourcing with Mobile Agents in Vehicular Networks ( and ), In XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021), Málaga (España) y online, , Relevant Work (artículo relevante ya publicado); handle: 11705/JISBD/2021/079. [bibtex] [url]
[8] Semantic Traffic Sensor Data: The TRAFAIR Experience (, , , and ), In XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021), Málaga (España) y online, , Relevant Work (artículo relevante ya publicado); handle: 11705/JISBD/2021/074. [bibtex] [url]
[7]Towards an Integrated Full-Stack Green Software Development Methodology (, , , and ), In 29th International Conference on Information Systems Development (ISD 2021), Valencia, Spain, Universitat Politècnica de València, ISBN 978-1-908358-98-1, , New ideas and vision paper. [bibtex]
[6]Towards Services Profiling for Energy Management in Service-Oriented Architectures (, , , , and ), In 17th International Conference on Web Information Systems and Technologies (WEBIST 2021), SCITEPRESS, ISBN 978-989-758-536-4, ISSN 2184-3252, volume 1, , Best student paper award. Online conference due to the COVID-19 pandemic. DOI of the proceedings: 10.5220/0000152700003058. [bibtex] [doi]
2022
[5]Behavior-Based Consumption Profiles for the Approximation of the Energy Consumption of Services (, , , , and ), In 30th International Conference on Information Systems Development (ISD 2022), Cluj-Napoca, Romania, Babeş-Bolyai University, ISBN 978-973-53-2917-4, . [bibtex]
[4]Traffic and Pollution Modelling for Air Quality Awareness: An Experience in the City of Zaragoza (, and ), In Springer Nature Computer Science, ISSN 2661-8907, Springer, volume 3, , Special Issue on Web Information Systems and Technologies 2021. [bibtex] [doi]
[3]Grapevine Phenology Prediction: A Comparison of Physical and Machine Learning Models (, , , , and ), In 24th International Conference on Big Data Analytics and Knowledge Discovery (DaWaK), Springer, ISSN 0302-9743, ISSN 1611-3349 (electronic), Print ISBN 978-3-031-12669-7, Online ISBN 978-3-031-12670-3, volume 13428, . [bibtex] [doi]
[2]Simulating Scenarios to Evaluate Data Filtering Techniques for Mobile Users (, , and ), In 20th International Conference on Advances in Mobile Computing & Multimedia (MoMM 2022), Springer, ISSN 0302-9743, ISSN 1611-3349 (electronic), Print ISBN 978-3-031-20435-7, Online ISBN 978-3-031-20436-4, , Online conference due to the COVID-19 pandemic. [bibtex] [doi]
2023
[1]Big Data and Machine Learning to Improve European Grapevine Moth (Lobesia botrana) Predictions (, , , , , , and ), In Plants, ISSN 2223-7747, MDPI AG, volume 12, , Article number: 633. Topic Collection on Application of AI in Plants. [bibtex] [doi]
Powered by bibtexbrowser