Biblioteca de la Universidad Complutense de Madrid

Consultar por Materia

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Agrupar por: Tipo de documento | Autores
Número de eprints en este nivel: 310.

Artículo

Fernández-Pampillón Cesteros, Ana Mª y Sarasa Cabezuelo, Antonio (2016) Una propuesta para medir la calidad de la docencia virtual. Actas del Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM 2016). . pp. 155-162. (No publicado)

Amador Pacheco, Julia (2016) The SEIQS stochastic epidemic model with external source of infection. Applied mathematical modelling . ISSN 0307-904X

Imaña Pascual, José Luis (2016) High-speed polynomial basis multipliers over GF(2(m)) for special pentanomial. IEEE transactions on circuits and systems I-regular papers, 63 (1). pp. 58-69. ISSN 1549-8328

Santos Peñas, Matilde y López López, María Victoría y Romera Cabrerizo, Juan Antonio (2015) Hybrid Fuzzy-PID Control in a Thermo Solar Power Plant Condenser. PIC 2014 - Proceedings of 2014 IEEE International Conference on Progress in Informatics and Computing (697241). pp. 641-645.

Clemente Barreira, Juan Antonio y Gran, Rubén y Chocano Gómez, Abel y Prado, Carlos del y Resano, Javier (2015) Hardware Architectural Support for Caching Partitioned Reconfigurations in Reconfigurable Systems. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, PP (99). ISSN 1063-8210

Cavalli, Ana R. y Higashino, Teruo y Núñez García, Manuel (2015) Special issue on formal active and passive testing of distributed and networked systems. annals of telecommunications - annales des télécommunications, 70 (3). pp. 83-84. ISSN 0003-4347

Vallejo, Mónica y Recas Piorno, Joaquín y Ayala Rodrigo, José Luis (2015) Proactive and Reactive Transmission Power Control for Energy-Efficient On-Body Communications. Sensors, 15 (3). pp. 5914-5934. ISSN 1424-8220

Mejía Roa, Edgardo y Tabas Madrid, Daniel y Setoain Rodrigo, Javier y García Sánchez, Carlos y Tirado Fernández, Francisco y Pascual Montano, Alberto (2015) NMF-mGPU: non-negative matrix factorization on multi-GPU systems. BMC Bioinformatics, 16 . ISSN 1471-2105

Wong, Peter Y. H. y Bubel, Richard y Boer, Frank S. de y Gómez Zamalloa, Miguel y Gouw, Stijn de y Hähnle, Reiner y Meinke, Karl y Sindhu, Muddassar Azam (2015) Testing abstract behavioral specifications. International Journal on Software Tools for Technology Transfer, 17 (1). pp. 107-119. ISSN 1433-2779

Santos Peñas, Matilde y Guevara Maldonado, César Byron y López López, María Victoria y Martín, José Antonio (2014) Reaching a Consensus on Access Detection by a Decision System. PIC 2014 - Proceedings of 2014 IEEE International Conference on Progress in Informatics and Computing (697230). pp. 119-122.

Oliveira Albuquerque, Robson de y García Villalba, Luis Javier y Sandoval Orozco, Ana Lucila y Buiati, Fábio y Kim, T.H. (2014) A Layered Trust Information Security Architecture. Sensors, 14 (12). pp. 22754-22772. ISSN 1424-8220

Quijano Sánchez, Lara y Díaz Agudo, Mª Belen y Recio García, Juan Antonio (2014) Development of a group recommender application in a Social Network. Knowledge-Based Systems, 71 . pp. 72-85. ISSN 0950-7051

Barrio García, Alberto Antonio Del y Hermida Correa, Román y Ogrenci Memik, Seda y Mendías Cuadros, José Manuel y Molina Prego, María del Carmen (2014) Improving Circuit Performance with Multispeculative Additive Trees in High-Level Synthesis. Microelectronics Journal, 45 (11). pp. 1470-1479. ISSN 0026-2692

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Genaim, Samir y Puebla, Germán y Román Díez, Guillermo (2014) Conditional Termination of Loops over Heap-Allocated Data. Science of computer programming, 92 (Part A). pp. 2-24. ISSN 0167-6423

Recas Piorno, Joaquín y Khaled, Nadia y Barrio García, Alberto Antonio Del y Hermida Correa, Román (2014) Generic Markov Model of the Contention Access Period of IEEE 802.15.4 MAC Layer. Digital Signal Processing, 33 . pp. 191-205. ISSN 1051-2004

Arroba, Patricia y Risco-Martín, José Luis y Zapater, Marina y Moya, José Manuel y Ayala, José Luis (2014) Enhancing regression models for complex systems using evolutionary techniques for feature engineering. Journal of Grid Computing . pp. 1-15. ISSN 1570-7873

Llana Díaz, Luis Fernando y Marín Marín, Enrique y Pareja Flores, Cristóbal y Velázquez Iturbide, J. Ángel (2014) FLOP: a user-friendly system for automated program assessment. Journal of Universal Computer Science, 20 (9). pp. 1304-1326. ISSN 0948695x

García Villalba, Luis Javier y Sandoval Orozco, Ana Lucila y García Matesanz, Julián y Kim, T.H. (2014) E-D2HCP: enhanced distributed dynamic host configuration protocol. Computing, 96 (9). pp. 777-791. ISSN 0010-485X

Lanillos Pradas, Pablo y Besada Portas, Eva y López Orozco, José Antonio y Cruz García, Jesús Manuel de la (2014) Minimum time search in uncertain dynamic domains with complex sensorial platforms. Sensors, 14 (8). pp. 14131-14179. ISSN 1424-8220

Aceto, Luca y Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2014) Axiomatizing weak simulation semantics over BCCSP. Theoretical computer science, 537 . pp. 42-71. ISSN 0304-3975

Quijano Sánchez, Lara y Recio García, Juan Antonio y Díaz Agudo, Mª Belen (2014) An Architecture and Functional Description to Integrate Social Behaviour Knowledge Into Group Recommender Systems. Applied Intelligence, 40 (4). pp. 732-748. ISSN 1573-7497

Clemente Barreira, Juan Antonio y Pérez Ramo, Elena y Resano, Javier y Mozos Muñoz, Daniel y Catthoor, Francky (2014) Configuration Mapping Algorithms to Reduce Energy and Time Reconfiguration Overheads in Reconfigurable Systems. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, 22 (6). pp. 1248-1261. ISSN 1063-8210

Carpio, Ana y Rapun, M. L. (2014) Parameter identification in photothermal imaging. Journal of Mathematical Imaging and Vision, 49 (2). pp. 273-288. ISSN 0924-9907 (Print) 1573-7683 (Online)

López Fraguas, Francisco J. y Martín Martín, Enrique y Rodríguez Hortalá, Juan (2014) Safe typing of functional logic programs with opaque patterns and local bindings. Information and Computation, 235 . pp. 36-69. ISSN 0890-5401

Chern, Hua-Huai y Fernández Camacho, María Inés y Hwang, Hsien-Kuei y Martínez, Conrado (2014) Psi-series method for equality of random trees and quadratic convolution recurrences. Random structures & algorithms, 44 (1). pp. 67-108. ISSN 1098-2418

Torrente Vigil, Francisco Javier y Blanco Aguado, Ángel del y Serrano Laguna, Ángel y Vallejo Pinto, José Angel y Moreno Ger, Pablo y Fernández Manjón, Baltasar (2014) Towards a Low Cost Adaptation of Educational Games for People with Disabilities. Computer Science and Information Systems, 11 (1). pp. 369-391. ISSN 1820-0214

Recas Piorno, Joaquín y Ayala Rodrigo, José Luis y Vallejo, Mónica (2014) A Link Quality Estimator for Power-Efficient Communication over On-Body Channels. Proceedings - 2014 International Conference on Embedded and Ubiquitous Computing, EUC 2014 . pp. 250-257.

Rubio Sánchez, Manuel y Kinnunen, Päivi y Pareja Flores, Cristóbal y Velázquez Iturbide, Ángel (2014) Student perception and usage of an automated programming assessment tool. Computers in Human Behavior (31). pp. 453-460. ISSN 07475632

Poljak, Jelena y Botella Juan, Guillermo y García Sánchez, Carlos y Poljacek, Sanja Mahovic y Prieto Matías, Manuel y Tirado Fernández, Francisco (2013) Offset printing plate quality sensor on a low-cost processor. Sensors, 13 (11). pp. 14277-14300. ISSN 1424-8220

Palomar Trives, Carlos y Franco Peláez, Francisco Javier y López Calle, Isabel y González Izquierdo, Jesús y Agapito Serrano, Juan Andrés (2013) Peak detector effect in low-dropout regulators. IEEE transactions on nuclear science, 60 (4). pp. 2666-2674. ISSN 0018-9499

Cruz García, Jesús Manuel de la y Romeo Granados, Juan y Pajares Martinsanz, Gonzalo y Montalvo Martínez, Martin y Guerrero Hernández, José Miguel y Guijarro Mata-García, Marta (2013) A new expert system for greenness identification in agricultural images. Expert Systems with Applications, 40 (6). pp. 2275-2286. ISSN 0957-4174

Núñez, Alberto y García Merayo, Mercedes y Hierons, Robert M. y Núñez García, Manuel (2013) Using genetic algorithms to generate test sequences for complex timed systems. Soft Computing, 17 (2). pp. 301-315. ISSN 1432-7643

Chaos, Dictino y Chacón, Jesús y López Orozco, José Antonio y Dormido, Sebastián (2013) Virtual and remote robotic laboratory using EJS, MATLAB and LabVIEW. Sensors, 13 (2). pp. 2595-2612. ISSN 1424-8220

García Sanchez, Carlos y Botella Juan, Guillermo y Ayuso Márquez, Fermín y Prieto Matías, Manuel y Tirado Fernández, Francisco (2013) Multi-GPU based on multicriteria optimization for motion estimation system. Eurasip journal on advances in signal processing . ISSN 1687-6180

Amador, J. y Artalejo, Jesús R. (2013) Modeling computer virus with the BSDE approach. Computer Networks, 57 (1). pp. 302-316. ISSN 1389-1286

González, Diego y Botella Juan, Guillermo y García, Carlos y Prieto Matías, Manuel y Tirado Fernández, Francisco (2013) Acceleration of block-matching algorithms using a custom instruction-based paradigm on a Nios II microprocessor. Eurasip Journal on Advances in Signal Processing . ISSN 1687-6180

Moreno Salinas, Jesús y Chaos, Dictino y Cruz García, Jesús Manuel de la y Aranda, Joaquín (2013) Identification of a surface marine vessel using LS-SVM. Journal of Applied Mathematics . ISSN 1110-757X

García Sanchez, Carlos y Botella Juan, Guillermo y Ayuso Márquez, Fermín y González Rodríguez, Diego y Prieto Matías, Manuel y Tirado Fernández, Francisco (2013) Implementation of a low-cost mobile devices to support medical diagnosis. Computational and Mathematical Methods in Medicine . ISSN 1748-670X

Igual Peña, Francisco Daniel y Botella Juan, Guillermo y García Sanchez, Carlos y Prieto Matías, Manuel y Tirado Fernández, Francisco (2013) Robust motion estimation on a low-power multi-core DSP. Eurasip journal on advances in signal processing . ISSN 1687-6180

Moreno Salinas, David y Chaos, Dictino y Besada Portas, Eva y López Orozco, José Antonio y Cruz García, Jesús Manuel de la y Aranda, Joaquín (2013) Semiphysical modelling of the nonlinear dynamics of a surface craft with LS-SVM. Mathematical Problems in Engineering . ISSN 1024-123X

Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Palomino, Miguel y Romero Hernández, David (2013) Unifying the linear time-branching time spectrum of strong process semantics. Logical methods in computer science, 9 (2). ISSN 1860-5974

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2012) A formal framework to test soft and hard deadlines in timed systems. Software testing verification & reliability, 22 (8). pp. 583-608. ISSN 0960-0833

Carazo, Pablo y Apollini, Ruben y Castro Rodríguez, Fernando y Chaver Martínez, Daniel Ángel y Piñuel Moreno, Luis y Tirado Fernández, Francisco (2012) Reducing cache hierarchy energy consumption by predicting forwarding and disabling associative sets. Journal of Circuits Systems and Computers, 21 (7). ISSN 0218-1266

González, Diego y Botella Juan, Guillermo y Meyer Baese, Uwe y García Sánchez, Carlos y Sanz, Concepción y Prieto Matías, Manuel y Tirado Fernández, Francisco (2012) A low cost matching motion estimation sensor based on the NIOS II microprocessor. Sensors, 12 (10). pp. 13126-13149. ISSN 1424-8220

Martínez Mateo, Jesús y Elkouss, David y Martín, Vicente (2012) Blind reconciliation. Quantum Information and Computation, 12 (9-10). pp. 791-812. ISSN 1533-7146

Cruz García, Jesús Manuel de la y Andrés Toro, Bonifacio de y Herrán, A. (2012) Global search metaheuristics for planning transportation of multiple petroleum products in a multi-pipeline system. Computers & Chemical Engineering, 37 . pp. 248-261. ISSN 0098-1354

Frutos Escrig, David de (2012) Alan Turing: Una aproximación personal a su obra. La Gaceta de la Real Sociedad Matemática Española, 15 (4). pp. 675-696. ISSN 1138-8927

Sandoval Orozco, Ana Lucila y García Matesanz, Julián y García Villalba, Luis Javier y Márquez Díaz, José Duván y Kim, T.H. (2012) Security Issues in Mobile Ad Hoc Networks. International Journal of Distributed Sensor Networks, 2012 . ISSN 1550-1329

Elkouss, David y Martínez Mateo, Jesús y Martín, Vicente (2012) Untainted Puncturing for Irregular Low-Density Parity-Check Codes. Wireless Communications Letters, IEEE, 1 (6). pp. 585-588. ISSN 2162-2337

Botana, Francisco y Abánades, Miguel A. y Escribano Martínez, Jesús (2011) Exact internet accessible computation of paths of points in planar linkages and diagrams. Computer applications in engineering education, 19 (4). pp. 835-841. ISSN 1061-3773

Rosa Velardo, Fernando y Frutos Escrig, David de (2011) Decidability and complexity of Petri nets with unordered data. Theoretical Computer Science, 412 (34). pp. 4439-4451. ISSN 0304-3975

Cruz García, Jesús Manuel de la y Herrera Caro, Pedro Javier y Pajares Martinsanz, Gonzalo y Guijarro Mata-García, María (2011) Combining support vector machines and simulated annealing for stereovision matching with fish eye lenses in forest environments. Expert Systems with Applications, 38 (7). pp. 8622-8631. ISSN 0957-4174

Aceto , Luca y Frutos Escrig, David de (2011) Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Information processing letters, 111 (9). pp. 408-413. ISSN 0020-0190

Rosa Velardo, Fernando y Martos Salgado, María Rosa y Frutos Escrig, David de (2011) Accelerations for the coverability set of Petri nets with names. Fundamenta informaticae, 113 (3-4). pp. 313-341. ISSN 0169-2968

Aceto , Luca y Fábregas, Ignacio y Frutos Escrig, David de y Ingolfsdottir, Anna y Palomino, Miguel (2011) Graphical representation of covariant-contravariant modal formulae. Electronic proceedings in theoretical computer science, 64 . pp. 1-15. ISSN 2075-2180

Romero Hernández, David y Frutos Escrig, David de (2011) On the unification of process semantics: logical semantics. Electronic proceedings in theoretical computer science, 62 . pp. 47-61. ISSN 2075-2180

Besada Portas, Eva y Torre Cubillo, Luis de la y Cruz García, Jesús Manuel de la y Andrés Toro, Bonifacio de (2010) Evolutionary trajectory planner for multiple UAVs in realistic scenarios. IEEE Transactions on Robotics, 26 (4). pp. 619-634. ISSN 1552-3098

Vázquez, Miguel y Nogales Cadenas, Rubén y Arroyo, Javier y Botias, Pedro y García, Raúl y Carazo, José M. y Tirado Fernández, Francisco y Pascual Montano, Alberto y Carmona Saez, Pedro (2010) MARQ: an online tool to mine GEO for experiments with similar or opposite gene expression signatures. Nucleic acids research, 38 . W228-W232. ISSN 0305-1048

Cruz García, Jesús Manuel de la y Herrán, A. y Andrés Toro, Bonifacio de (2010) A mathematical model for planning transportation of multiple petroleum products in a multi-pipeline system. Computers & Chemical Engineering, 34 (3). pp. 401-413. ISSN 0098-1354

Escribano Martínez, Jesús y Abánades, Miguel A. y Botana, Francisco (2010) Adding remote computational capabilities to dynamic geometry systems. Mathematics and computers in simulation, 80 (6). pp. 1177-1184. ISSN 0378-4754

Rosa Velardo, Fernando y Frutos Escrig, David de (2010) Decidability problems in Petri nets with names and replication. Fundamenta informaticae, 105 (3). pp. 291-317. ISSN 0169-2968

Fábregas, Ignacio y Frutos Escrig, David de y Palomino, Miguel (2010) Equational characterization of covariant-contravariant simulation and conformance simulation semantics. Electronic proceedings in theoretical computer science, 32 . pp. 1-14. ISSN 2075-2180

Pinelli, Alfredo y Naqavi, I.Z. y Piomelli, U. y Favier, J. (2010) Immersed-boundary methods for general finite-difference and finite-volume Navier-Stokes solvers. Journal of Computational Physics, 229 (24). pp. 9073-9091. ISSN 0021-9991

Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Palomino, Miguel (2009) On the unification of process semantics: equational semantics. Electronic Notes in Theoretical Computer Science, 249 . pp. 243-267. ISSN 15710661

Nogales Cadenas, Rubén y Carmona Saez, Pedro y Vázquez, Miguel y Vicente, César y Yang, Xiaoyuan y Tirado Fernández, Francisco y María Carazo, José y Pascual Montano, Alberto (2009) GeneCodis: interpreting gene lists through enrichment analysis and integration of diverse biological information. Nucleic acids research, 37 . W317-W322. ISSN 0305-1048

Besada Portas, Eva y López Orozco, José Antonio y Cruz García, Jesús Manuel de la y Besada, Juan A. (2009) Multisensor out of sequence data fusion for estimating the state of discrete control systems. IEEE Transactions on Automatic Control, 54 (7). pp. 1728-1732. ISSN 0018-9286

Vázquez, Miguel y Carmona Saez, Pedro y Nogales Cadenas, Ruben y Chagoyen, Mónica y Tirado Fernández, Francisco y María Carazo, José y Pascual Montano, Alberto (2009) SENT: semantic features in text. Nucleic acids research, 37 . W153-W159. ISSN 0305-1048

Cruz García, Jesús Manuel de la y Pajares Martinsanz, Gonzalo y Ruz Ortíz, José Jaime (2009) Image change detection from difference image through deterministic simulated annealing. Pattern Analysis and Applications, 12 (2). pp. 137-150. ISSN 1433-7541

Cruz García, Jesús Manuel de la y Andrés Toro, Bonifacio de y Herrán González, A. y Risco Martín, Jose Luis (2009) Modeling and simulation of a gas distribution pipeline network. Applied Mathematical Modelling, 33 (3). pp. 1584-1600. ISSN 0307-904X

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2009) (Bi)simulations up-to characterise process semantics. Information and computation, 207 (2). pp. 146-170. ISSN 0890-5401

Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Palomino, Miguel (2009) Ready to preorder: an algebraic and general proof. Journal of Logic and Algebraic Programming , 78 (7). pp. 539-551. ISSN 1567-8326

Mejia Roa, E. y Carmona Saez, P. y Nogales, R. y Vicente, C. y Vázquez, M. y Yang, X. Y. y García, C. y Tirado Fernández, Francisco y Pascual Montano, Alberto (2008) bioNMF: a web-based tool for nonnegative matrix factorization in biology. Nucleic acids research, 36 (S). W523-W528. ISSN 0305-1048

Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Palomino, Miguel (2008) Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. Electronic Notes in Theoretical Computer Science, 212 . pp. 149-162. ISSN 15710661

Pajares Martinsanz, Gonzalo y Ruz Ortíz, José Jaime y Lanillos Pradas, Pablo y Guijarro Mata-García, María y Cruz García, Jesús Manuel de la y Santos Peñas, Matilde (2008) Trajectory generation and decision making for UAVs. Revista Iberoamericana de Automática e Informática Industrial, 5 (1). p. 83. ISSN 1697-7912

Rosa Velardo, Fernando y Frutos Escrig, David de (2008) Name creation vs. replication in Petri net systems. Fundamenta informaticae, 88 (3). pp. 329-356. ISSN 0169-2968

Fernández Camacho, María Inés y Sánchez Couso, José Ramón (2007) Binary search trees, recurrent properties and wave equations. Fundamenta informaticae, 81 (4). pp. 409-439. ISSN 0169-2968

Rosa Velardo, Fernando y Frutos Escrig, David de y Marroquín Alonso, Olga (2007) On the Expressiveness of Mobile Synchronizing Petri Nets. Electronic Notes in Theoretical Computer Science, 180 (1). pp. 77-94. ISSN 15710661

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2007) Simulations up-to and canonical preorders. Electronic Notes in Theoretical Computer Science, 192 (1). pp. 13-28. ISSN 15710661

Pajares Martinsanz, Gonzalo y Cruz García, Jesús Manuel de la (2006) Fuzzy cognitive maps for stereovision matching. Pattern Recognition, 39 (11). pp. 2101-2114. ISSN 0031-3203

Pascual Montano, Alberto y Carmona Saez, Pedro y Chagoyen, Mónica y Tirado Fernández, Francisco y Carazo, José M. y Pascual Marqui, Roberto. D. (2006) bioNMF: a versatile tool for non-negative matrix factorization in biology. BMC Bioinformatics, 7 . ISSN 1471-2105

Santos Peñas, Matilde y López, R. y Cruz García, Jesús Manuel de la (2006) A neuro-fuzzy approach to fast ferry vertical motion modelling. Engineering Applications of Artificial Intelligence, 19 (3). pp. 313-321. ISSN 0952-1976

Sánchez Couso, José Ramón y Fernández Camacho, María Inés (2006) Reductions in binary search trees. Theoretical Computer Science, 355 (3). pp. 327-353. ISSN 0304-3975

Carmona Saez, P. y Pascual Marqui, R. D. y Tirado Fernández, Francisco y Carazo, J. M. y Pascual Montano, Alberto (2006) Biclustering of gene expression data by non-smooth non-negative matrix factorization. BMC Bioinformatics, 7 . ISSN 1471-2105

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2006) Process equivalences as global bisimulations. Journal of universal computer science, 12 (11). pp. 1521-1550. ISSN 0948-695x

Esteban San Román, Segundo y Girón Sierra, José María y Recas Piorno, Joaquín y Cruz García, Jesús Manuel de la (2005) Frequency-domain analysis for prediction of seasickness on ships. Marine Technology and Sname News, 42 (4). pp. 192-198. ISSN 0025-3316

Esteban San Román, Segundo y Recas Piorno, Joaquín y Girón Sierra, José María y Cruz García, Jesús Manuel de la y Riola, M. (2005) Improving fast-ship seakeeping using several moving actuators. Naval Architect . p. 6. ISSN 0306-0209

Aranda, Joaquín y Cruz García, Jesús Manuel de la y Díaz, J. M. (2005) Design of a multivariable robust controller to decrease the motion sickness incidence in fast ferries. Control Engineering Practice, 13 (8). pp. 985-999. ISSN 0967-0661

Santos Peñas, Matilde y López Bracho, R. y Cruz García, Jesús Manuel de la (2005) Fuzzy control of the vertical acceleration of fast ferries. Control Engineering Practice, 13 (3). pp. 305-313. ISSN 0967-0661

Esteban San Román, Segundo y Girón Sierra, José María y Andrés Toro, Bonifacio de y Cruz García, Jesús Manuel de la y Riola, M. (2005) Fast ships models for seakeeping improvement studies using flaps and T-foil. Mathematical and Computer Modelling, 41 (1). pp. 1-24. ISSN 0895-7177

Pajares Martinsanz, Gonzalo y Cruz García, Jesús Manuel de la (2004) A wavelet-based image fusion tutorial. Pattern Recognition, 37 (9). pp. 1855-1872. ISSN 0031-3203

Esteban San Román, Segundo y Girón Sierra, José María y Andrés Toro, Bonifacio de y Cruz García, Jesús Manuel de la (2004) Development of a control-oriented model of the vertical motions of a fast ferry. Journal of Ship Research, 48 (3). pp. 218-230. ISSN 0022-4502

Pajares Martinsanz, Gonzalo y Cruz García, Jesús Manuel de la (2004) On combining support vector machines and simulated annealing in stereovision matching. IEEE Transactions on Systems Man and Cybernetics Part B-Cybernetics, 34 (4). pp. 1646-1657. ISSN 1083-4419

Cruz García, Jesús Manuel de la y Aranda, Joaquín y Girón Sierra, José María y Velasco, Francisco (2004) Improving the comfort of a fast ferry. IEEE Control Systems Magazine, 24 (2). pp. 47-60. ISSN 1066-033X

Aranda, Joaquín y Cruz García, Jesús Manuel de la y Díaz, J. M. (2004) Identification of multivariable models of fast ferries. European Journal of Control, 10 (2). pp. 187-198. ISSN 0947-3580

Pajares Martinsanz, Gonzalo y Cruz García, Jesús Manuel de la (2003) Stereovision matching through support vector machines. Pattern Recognition Letters, 24 (15). pp. 2575-2583. ISSN 0167-8655

Santos Peñas, Matilde y Pajares Martinsanz, Gonzalo y Portela, M. y Cruz García, Jesús Manuel de la (2003) A new wavelets image fusion strategy. Pattern Recognition and Image Analysis, Proceedings, 2652 . pp. 919-926. ISSN 0302-9743

Pajares Martinsanz, Gonzalo y Cruz García, Jesús Manuel de la (2002) A probabilistic neural network for attribute selection in stereovision matching. Neural Computing & Applications, 11 (2). pp. 83-89. ISSN 0941-0643

Cruz García, Jesús Manuel de la y Bamford, Richard N. y Burdine, Rebecca D. y Roessler, Erich y Barkovich, A. James y Donnai, Dian y Schier, Alexander F. y Muenke, Maximiliam (2002) A loss-of-function mutation in the CFC domain of TDGF1 is associated with human forebrain defects. Human Genetics, 110 (5). pp. 422-428. ISSN 0340-6717

Pajares Martinsanz, Gonzalo y Cruz García, Jesús Manuel de la (2002) The non-parametric Parzen's window in stereo vision matching. IEEE Transactions on Systems Man and Cybernetics Part B-Cybernetics, 32 (2). pp. 225-230. ISSN 1083-4419

Escribano Martínez, Jesús (2002) Approximation theorems in o-minimal structures. Illinois Journal of Mathematics, 46 (1). pp. 111-128. ISSN 0019-2082

Pajares Martinsanz, Gonzalo y Cruz García, Jesús Manuel de la (2001) Local stereovision matching through the ADALINE neural network. Pattern Recognition Letters, 22 (14). pp. 1457-1473. ISSN 0167-8655

Piñuel Moreno, Luis y Moreno Vozmediano, Rafael Aurelio y Tirado Fernández, Francisco (2001) Analysing value substitution and confidence estimation for value prediction. Journal of systems architecture, 47 (5). pp. 459-475. ISSN 1383-7621

Carmona Ruber, Jorge y Artal, E. y Cogolludo, J.I. y Tokunaga, H.O. (2001) Sextics With Singular Points In Special Position. Journal Of Knot Theory And Its Ramifications, 10 (4). ISSN 0218-2165

López Orozco, José Antonio y Cruz García, Jesús Manuel de la y Besada Portas, Eva y Ruipérez, P. (2000) An asynchronous, robust, and distributed multisensor fusion system for mobile robots. International Journal of Robotics Research, 19 (10). pp. 914-932. ISSN 0278-3649

Pajares Martinsanz, Gonzalo y Cruz García, Jesús Manuel de la (2000) A new learning strategy for stereo matching derived from a fuzzy clustering method. Fuzzy Sets and Systems, 110 (3). pp. 413-427. ISSN 0165-0114

Pajares Martinsanz, Gonzalo y Cruz García, Jesús Manuel de la y López Orozco, José Antonio (2000) Relaxation labeling in stereo image matching. Pattern Recognition, 33 (1). pp. 53-68. ISSN 0031-3203

Romero, J. A. y Cruz García, Jesús Manuel de la y Dobbing, T. y Ellis, J. y Fisher, B. y King, Q. A. y Soldner, F. y Zorning, N. (1998) Real time current profile control at JET. Fusion Engineering and Design, 43 (1). pp. 37-58. ISSN 0920-3796

Frutos Escrig, David de y Llana Díaz, Luis Fernando y Núñez García, Manuel (1998) An invitation to friendly testing. Journal of computer science and technology, 13 (6). pp. 531-545. ISSN 1000-9000

Pinelli, Alfredo y Vacca, A. y Quarteroni, A. (1997) A spectral multidomain method for the numerical simulation of turbulent flows. Journal of Computational Physics, 136 (2). pp. 546-558. ISSN 0021-9991

Pinelli, Alfredo y Benocci, C. y Deville, M. (1994) Chebyshev pseudospectral solution of advection-diffusion equations with mapped finite difference preconditioning. Journal of Computational Physics, 112 (1). pp. 1-11. ISSN 0021-9991

Casas, Rafael y Fernández Camacho, María Inés y Steyaert, Jean-Marc (1990) Algebraic simplification in computer algebra: an analysis of bottom-up algorithms. Theoretical Computer Science, 74 (3). pp. 273-298. ISSN 0304-3975

Fernández Camacho, María Inés (1987) Average size of simplified trees (Spanish: Tamaño medio de árboles simplificados). Qüestiió, 11 (2). pp. 93-116. ISSN 0210-8054

Frutos Escrig, David de (1987) Probabilistic Ianov's schemes. Theoretical Computer Science, 53 (1). pp. 67-97. ISSN 0304-3975

Frutos Escrig, David de (1984) A characterization of Plotkin's order in powerdomains, and some of its properties. Theoretical Computer Science, 31 (1-2). pp. 73-82. ISSN 0304-3975

Documento de trabajo o Informe técnico

Martín Sánchez, Óscar y Verdejo López, Alberto y Martí Oliet, Narciso (2016) Egalitarian state-transition systems (extended version). [ ] (No publicado)

Martín Sánchez, Óscar y Verdejo López, Alberto y Martí Oliet, Narciso (2016) Synchronous products of rewrite systems (extended version). [ ] (No publicado)

Gayoso Cabada, Joaquín y Fernández-Pampillón Cesteros, Ana M. y Sierra Rodríguez, Jose Luis (2015) Exportador/Actualizador de datos OdA-XLS. Guía Técnica. [ ] (No publicado)

Gayoso Cabada, Joaquín y Fernández-Pampillón Cesteros, Ana M. y Sierra Rodríguez, Jose Luis (2015) Generador de informes HTML con OdA-Clavy. Guía Técnica. [ ] (No publicado)

Fernández-Valmayor Crespo, Alfredo y Fernández-Pampillón Cesteros, Ana y Varadero Software Factory, VSF (2013) Guía de Gestión del repositorio de Objetos Digitales OdA. [ ] (No publicado)

Navas López, José Emilio (1989) Perspectives in new telecomunications technologies. [ Documentos de Trabajo de la Facultad de Ciencias Económicas y Empresariales; nº 18, 1989, ]

Hernández Alonso, José (1988) Tecnología en la Universidad - La microelectrónica -. [ Documentos de trabajo de la Facultad de Ciencias Económicas y Empresariales; nº 34, 1988, ] (No publicado)

Sección de libro

Cruz García, Jesús Manuel de la y López Orozco, José Antonio y Besada Portas, Eva y Aranda Almansa, Joaquín (2015) A streamlined nonlinear path following kinematic controller. In 2015 IEEE International Conference on Robotics and Automation (ICRA). IEEE Conference Publications . IEEE Computer SOC, pp. 6394-6401. ISBN 978-1-4799-6923-4

Velasco, J.M. y González Pérez, Beatriz y Minana, Guadalupe y López, Victoria y Caro, Raquel (2014) An Explanatory Analysis of Electricity Prices within Day-Ahead Spanish Energy Market by Using a Graphical Automatization with R. In Proceedings of 2014 IEEE International Conference on Progress in Informatics and Computing. IEEE, pp. 631-636. ISBN 978-1-4799-2033-4

Núñez, Alberto y Filgueira, Rosa y García Merayo, Mercedes (2013) SANComSim: A scalable, adaptive and non-intrusive framework to optimize performance in computational science applications. In Procedia Computer Science. Elsevier Science B.V., Amsterdam, pp. 230-239. ISBN 1877-0509

Valero Lara, P. y Pinelli, Alfredo y Favier, J. y Matías, M.P. (2012) Block tridiagonal solvers on heterogeneous architectures. In ISPA 2012 : 2012 10th IEEE International Symposium on Parallel and Distributed Processing with Applications. IEEE, pp. 609-616. ISBN 978-1-4673-1631-6

Romero Hernández, David y Frutos Escrig, David de (2012) Defining distances for all process semantics. In Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Lecture notes in computer science (7273). Springer, pp. 169-185. ISBN 978-3-642-30792-8

Aceto , Luca y Fábregas, Ignacio y Frutos Escrig, David de y Ingolfsdottir, Anna y Palomino, Miguel (2012) Relating modal refinements, covariant-contravariant simulations and partial bisimulations. In Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Lecture notes in computer science (7141). Springer, pp. 268-283. ISBN 978-3-642-29319-1

Aceto , Luca y Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Ingolfsdottir, Anna (2012) The equational theory of weak complete simulation semantics over BCCSP. In SOFSEM 2012: Theory and Practice of Computer Science : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings. Lecture notes in computer science (7147). Springer, pp. 141-152. ISBN 978-3-642-27659-0

Aceto , Luca y Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Ingolfsdottir, Anna (2011) Axiomatizing Weak Ready Simulation Semantics over BCCSP. In Theoretical Aspects of Computing – ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Lecture notes in computer science (6916). Springer, pp. 7-24. ISBN 978-3-642-23282-4

Bonacic, Carolina y García, Carlos y Marín, Mauricio y Prieto Matías, Manuel y Tirado Fernández, Francisco (2011) On-line multi-threaded processing of web user-clicks on multi-core processors. In High performance computing for computational science - VECPAR 2010. Lecture notes in computer science, 6449 (6449). Springer, pp. 222-235. ISBN 978-3-642-19327-9

Cruz García, Jesús Manuel de la y Guijarro Mata-García, María y Pajares Martinsanz, Gonzalo y Herrera Caro, Pedro Javier (2011) Performance analysis of fuzzy aggregation operations for combining classifiers for natural textures in images. In Hybrid Artificial Intelligent Systems, part. II. Lecture Notes in Computer Science, 6679 . Springer-Verlag Berlín, pp. 180-188. ISBN 978-3-642-21221-5

Quijano Sánchez, Lara y Recio García, Juan A. y Díaz Agudo, Belén (2011) User satisfaction in long term group recommendations. In Case-Based Reasoning Research and Development, ICCBR 2011. Lecture Notes in Artificial Intelligence , 6880 . Springer-Verlag Berlín, pp. 211-225. ISBN 978-3-642-23290-9

Abánades, Miguel A. y Botana, Francisco y Escribano Martínez, Jesús y Valcarce, José L. (2011) Using free open source software for intelligent geometric computing. In Computational Science and Its Applications - ICCSA 2011. Lecture Notes in Computer Science (6785). Springer, pp. 353-367. ISBN 978-3-642-21897-2

Cruz García, Jesús Manuel de la y Sánchez Benítez, David y Pajares Martinsanz, Gonzalo y Gu, Dawei (2011) Visual control of a remote vehicle. In Intelligent Robotics and Applications, pt II. Lecture Notes in Artificial Intelligence, 7102 (Part I). Springer-Verlag Berlín, pp. 579-588. ISBN 978-3-642-25488-8

Besada Portas, Eva y Cruz García, Jesús Manuel de la y Plis, Sergey M. y Lane, Terran (2010) Adaptive parallel/serial sampling mechanisms for particle filtering in dynamic bayesian networks. In Machine Learning and Knowledge Discovery in Databases, Pt I: European Conference, ECML PKDD 2010. Springer-Verlag Berlin, pp. 119-134. ISBN 978-3-642-15879-7

Rosa Velardo, Fernando y Frutos Escrig, David de (2010) Forward analysis for petri nets with name creation. In Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Lecture notes in computer science (6128). Springer, pp. 185-205. ISBN 978-3-642-13674-0

Fábregas, Ignacio y Frutos Escrig, David de (2010) Logics for contravariant simulations. In Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture notes in computer science (6117). Springer, pp. 224-231. ISBN 978-3-642-13463-0

Fecher, Harald y Frutos Escrig, David de y Lüttgen, Gerald y Schmidt, Heiko (2010) On the expressiveness of refinement settings. In Fundamentals of Software Engineering : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Lecture notes in computer science (5961). Springer, pp. 276-291. ISBN 978-3-642-11622-3

López Calle, Isabel y Franco Peláez, Francisco Javier y González Izquierdo, Jesús y Agapito Serrano, Juan Andrés (2009) Two-photon absorption (TPA) backside pulsed laser tests in the LM324. In European Conference on Radiation and its Effects on Components and Systems (RADECS), 2009. European Space Agency -Publications- Esa Sp . IEEE-Inst Electrical Electronics Engineers Inc, pp. 138-143. ISBN 978-1-4577-0492-5

Herrera Caro, Pedro Javier y Pajares Martinsanz, Gonzalo y Guijarro Mata-García, María y Ruz Ortíz, José Jaime y Cruz García, Jesús Manuel de la (2009) Choquet Fuzzy Integral Applied to Stereovision Matching for Fish-Eye Lenses in Forest Analysis. In Advances in computational Intelligence. Advances in Intelligent and Soft Computing (61). Springer-Verlag Berlin, pp. 179-187. ISBN 978-3-642-03155-7

Cruz García, Jesús Manuel de la y Herrera Caro, Pedro Javier y Pajares Martinsanz, Gonzalo y Guijarro Mata-García, María y Ruz Ortíz, José Jaime (2009) Combination of attributes in stereovision matching for fish-eye lenses in forest analysis. In Advanced Concepts for Intelligent Vision Systems, Proceedings. Springer-Verlag Berlin, pp. 277-287. ISBN 978-3-642-04696-4

Rosa Velardo, Fernando y Frutos Escrig, David de (2009) Decidability results for restricted models of petri nets with name creation and replication. In Applications and Theory of Petri Nets : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Lecture notes in computer science (5606). Springer, pp. 63-82. ISBN 978-3-642-02423-8

Herrera Caro, Pedro Javier y Pajares Martinsanz, Gonzalo y Guijarro Mata-García, María y Ruz Ortíz, José Jaime y Cruz García, Jesús Manuel de la (2009) Fuzzy multi-criteria decision making in stereovision matching for fish-eye lenses in forest analysis. In Intelligent Data Engineering and Automated Learning, Proceedings. Lecture Notes in Computer Science (5788). Springer-Verlag Berlin, pp. 325-332. ISBN 978-3-642-04393-2

Fábregas Alfaro, Ignacio y Frutos Escrig, David de y Palomino, Miguel (2009) Non-strongly stable orders also define interesting simulation relations. In Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Lecture notes in computer science (5728). Springer, pp. 221-235. ISBN 978-3-642-03740-5

Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Palomino, Miguel (2009) On the unification of process semantics: observational semantics. In SOFSEM 2009: Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Lecture notes in computer science (5404). Springer, pp. 279-290. ISBN 978-3-540-95890-1

Besada Portas, Eva y Cruz García, Jesús Manuel de la y Plis, Sergey M. y Lane, Terran (2009) Parallel subspace sampling for particle filtering in dynamic bayesian networks. In Machine learning and knowledge discovery in databases, PT I. Springer-Verlag Berlin, pp. 131-146. ISBN 978-3-642-04179-2

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2008) Constrained simulations, nested simulation semantics and counting bisimulations. In Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007). Electronic Notes in Theoretical Computer Science (206). Elsevier Science , pp. 41-58. ISBN 1571-0661

Fraguela, Andrés y Infante del Río, Juan Antonio y Ramos del Olmo, Ángel Manuel y Rey Cabezas, Jose María (2008) Inverse problems in heat exchange processes. In Proceedings Of The 2nd Wseas International Conference On Computer Engineering And Applications: Modern Topics Of Computer Science. Electrical and computer engineering . World Scientific, pp. 250-255. ISBN 978-960-6766-33-6

Cruz García, Jesús Manuel de la y Besada Portas, Eva y Andrés Toro, Bonifacio de y Torre Cubillo, Luis de la (2008) Multiobjective path planner for UAVs based on genetic algorithms. In Computational Intelligence in Decision and Control. World Scientific Publ Co Pte Ltd, pp. 997-1002. ISBN 978-981-279-946-3

Frutos Escrig, David de y Palomino, Miguel y Fábregas, Ignacio (2008) Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. In Formal Techniques for Networked and Distributed Systems – FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings. Lecture notes in computer science (5048). Springer, pp. 283-298. ISBN 978-3-540-68854-9

Fábregas, Ignacio y Palomino, Miguel y Frutos Escrig, David de (2008) Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. In Theoretical Aspects of Computing – ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings. Lecture notes in computer science (4711). Springer, pp. 231-245. ISBN 978-3-540-75290-5

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2008) Universal Coinductive Characterisations of Process Semantics. In Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 :. IFIP International Federation for Information Processing, Part I (273). Springer, pp. 397-412. ISBN 978-0-387-09679-7

Mittal, Saurabh y Zeigler, Bernard P. y Risco Martín, José Luis y Cruz García, Jesús Manuel de la (2008) WSDL-based DEVS agent for net-centric systems engineering. In International Workshop on Modeling & Applied Simulation. Diptem Univ Genoa, pp. 292-300. ISBN 978-88-903724-1-4

Botana, Francisco y Abánades, Miguel A. y Escribano Martínez, Jesús (2007) Computing locus equations for standard dynamic geometry environments. In Computational Science – ICCS 2007. Lecture Notes in Computer Science (4488). Springer, pp. 227-234. ISBN 978-3-540-72585-5

Ruz Ortíz, José Jaime y Arévalo, Orlando y Pajares Martinsanz, Gonzalo y Cruz García, Jesús Manuel de la (2007) Decision making among alternative routes for UAVs in dynamic environments. In ETFA 2007: IEEE International Conference on Emerging Technologies and Factory Automation. IEEE, pp. 997-1004. ISBN 978-1-4244-0826-9

Abánades, Miguel A. y Escribano Martínez, Jesús y Botana, Francisco (2007) First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems. In Towards Mechanized Mathematical Assistants. Lecture Notes in Computer Science (4573). Springer, pp. 131-145. ISBN 978-3-540-73083-5

Besada Portas, Eva y López Orozco, José Antonio y Cruz García, Jesús Manuel de la (2007) Multisensor out-of-sequence data fusion for estimating the state of dynamic systems. In 2007 Information decision and control. IEEE, pp. 271-276. ISBN 978-1-4244-0901-3

Rosa Velardo, Fernando y Frutos Escrig, David de (2007) Name creation vs. replication in Petri net systems. In Petri Nets and Other Models of Concurrency – ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings. Lecture notes in computer science (4546). Springer, pp. 402-422. ISBN 978-3-540-73093-4

Frutos Escrig, David de y Rosa Velardo, Fernando y Gregorio Rodríguez, Carlos (2007) New Bisimulation Semantics for Distributed Systems. In Formal Techniques for Networked and Distributed Systems – FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings. Lecture notes in computer science (4574). Springer, pp. 143-159. ISBN 978-3-540-73195-5

Cuartero, Fernando y Frutos Escrig, David de y Valero, Valentín (2007) PCSP: a denotational model of probabilistic processes. In Real-time systems. AMAST series in computing (8). World Scientific, pp. 57-76. ISBN 981-02-4424-x

Llana Díaz, Luis Fernando y Frutos Escrig, David de y Núñez García, Manuel (2007) Testing Semantics for Urgent Timed Process Algebras. In Real-time systems. AMAST series in computing (8). World Scientific, pp. 221-235. ISBN 981-02-4424-x

Antequera, Nicolás y Santos Peñas, Matilde y Cruz García, Jesús Manuel de la (2006) A helicopter control based on Eigenstructure assignment. In 2006 IEEE Conference on Emerging Technologies & Factory Automation. IEEE, pp. 623-628. ISBN 978-0-7803-9758-3

Ruz Ortíz, José Jaime y Arévalo, Orlando y Cruz García, Jesús Manuel de la y Pajares Martinsanz, Gonzalo (2006) Using MILP for UAVs trajectory optimization under radar detection risk. In 2006 IEEE Conference on Emerging Technologies & Factory Automation. IEEE, pp. 1187-1190. ISBN 978-0-7803-9758-3

Esteban San Román, Segundo y Recas Piorno, Joaquín y Girón Sierra, José María y Cruz García, Jesús Manuel de la y Riola, J. M. (2005) A fast autonomous scaled ship for experimental seakeeping control studies. In Oceans 2005 - Europe. IEEE, pp. 1232-1237. ISBN 0-7803-9103-9

Girón Sierra, José María y Fernández-Prisuelos, J. y Andrés Toro, Bonifacio de y Cruz García, Jesús Manuel de la (2005) A multiobjective optimization issue: genetic control planning or trajectories. In Proceedings of the 7th WSEAS International Conference on Automatic Control, Modeling and Simulation. World Scientific and Engineering Acad and Soc, pp. 295-300. ISBN 960-8457-12-2

Castro, F. y Chaver Martínez, Daniel Ángel y Piñuel Moreno, Luis y Prieto Matías, Manuel y Huang, M. C. y Tirado Fernández, Francisco (2005) A power-efficient and scalable load-store queue design. In Integrated circuit and system design: power and timing modeling, optimization and simulation. Springer-Verlag Berlin, pp. 1-9. ISBN 3-540-29013-3

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2005) Bisimulations Up-to for the Linear Time Branching Time Spectrum. In CONCUR 2005 – Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings. Lecture notes in computer science (3653). Springer, pp. 278-292. ISBN 978-3-540-28309-6

Girón Sierra, José María y Jiménez, J. F. y Domínguez, A. y Cruz García, Jesús Manuel de la (2005) Development of a simulation scenario for cooperative robotics studies with marine crafts. In Proceedings of the 7th WSEAS International Conference on Automatic Control, Modeling and Simulation. World Scientific and Engineering Acad and Soc, pp. 174-179. ISBN 960-8457-12-2

Recas Piorno, Joaquín y Esteban San Román, Segundo y Girón Sierra, José María y Cruz García, Jesús Manuel de la (2005) Experimental framework for autonomous fast ships's control design. In Proceedings of the 7th WSEAS International Conference on Automatic Control, Modeling and Simulation. World Scientific and Engineering Acad and Soc, pp. 236-241. ISBN 960-8457-12-2

Fernández-Prisuelos, J. y Andrés Toro, Bonifacio de y Girón Sierra, José María y Cruz García, Jesús Manuel de la y Riola, J. M. (2005) Genetic planning of control actions for a high maneuvrability AUV. In Oceans 2005 - Europe. IEEE, pp. 1220-1225. ISBN 0-7803-9103-9

Pajares Martinsanz, Gonzalo y Ruz Ortíz, José Jaime y Cruz García, Jesús Manuel de la (2005) Performance analysis of homomorphic systems for image change detection. In Pattern Recognition and Image Analysis, pt 1, Proceedings. Springer-Verlag Berlín, pp. 563-570. ISBN 3-540-26153-2

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2005) Preserving contexts for soft conformance relation. In Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. Lecture notes in computer science (3395). Springer, pp. 33-48. ISBN 978-3-540-25109-5

Jiménez, J. F. y Girón Sierra, José María y Domínguez, A. y Cruz García, Jesús Manuel de la y Riola, J. M. (2005) Ships confining an oil spill over: A scenario for automatized cooperation. In Oceans 2005 - Europe. IEEE, pp. 1226-1231. ISBN 0-7803-9103-9

Frutos Escrig, David de y Marroquín Alonso, Olga y Rosa Velardo, Fernando (2005) Ubiquitous systems and Petri nets. In Computational Science and Its Applications – ICCSA 2005 : International Conference, Singapore, May 9-12, 2005, Proceedings. Lecture notes in computer science, Part I (3481). Springer, pp. 1156-1166. ISBN 978-3-540-25861-2

Girón Sierra, José María y Esteban San Román, Segundo y Recas Piorno, Joaquín y Andrés Toro, Bonifacio de y Besada Portas, Eva y Cruz García, Jesús Manuel de la (2003) Distributed electronic system for monitoring and control of a fast ship physical model. In IECON'03: The 29th Annual Conference of the IEEE Industrial Electronics Society, vols 1 - 3, Proceedings. IEEE, pp. 620-625. ISBN 0-7803-7906-3

Cruz García, Jesús Manuel de la y Andrés Toro, Bonifacio de y Herrán, A. y Besada Portas, Eva y Fernández Blanco, P. (2003) Multiobjective optimization of the transport in oil pipelines networks. In ETFA 2003: IEEE Conference on Emerging Technologies and Factory Automation, vol. 1, Proceedings. IEEE, pp. 566-573. ISBN 0-7803-7937-3

Frutos Escrig, David de y Marroquín Alonso, Olga (2003) Replicated ambient Petri nets. In Computational Science — ICCS 2003 : International Conference Melbourne, Australia and St. Petersburg, Russia June 2–4, 2003 Proceedings, Part II. Lecture notes in computer science (2658). Springer, pp. 774-783. ISBN 978-3-540-40195-7

Santos Peñas, Matilde y Cruz García, Jesús Manuel de la (2003) Simulation of working procedures in a distribution centre. In ETFA 2003: IEEE Conference on Emerging Technologies and Factory Automation, vol 1, Proceedings. IEEE, pp. 39-46. ISBN 0-7803-7937-3

Chaver Martínez, Daniel Ángel y Tenllado van der Reijden, Christian y Piñuel Moreno, Luis y Tirado Fernández, Francisco (2003) Wavelet transform for large scale image processing on modern microprocessors. In High performance computing for computational science - VECPAR 2002. Springer-Verlag Berlin, pp. 549-562. ISBN 3-540-00852-7

Besada Portas, Eva y López Orozco, José Antonio y Cruz García, Jesús Manuel de la (2002) Unified fusion system based on bayesian networks for autonomous mobile robots. In Proceedings of the Fifth International Conference on Information Fusion. Int Soc Information Fusion, pp. 873-880. ISBN 0-9721844-2-2

Chaver Martínez, Daniel Ángel y Tenllado van der Reijden, Christian y Piñuel Moreno, Luis y Prieto Matías, Manuel y Tirado Fernández, Francisco (2002) 2-D wavelet transform enhancement on general-purpose microprocessors: memory hierarchy and SIMD parallelism exploitation. In High performance computing - HIPC 2002, proceedings. Springer-Verlag Berlin, pp. 9-21. ISBN 3-540-00303-7

Cruz García, Jesús Manuel de la y Pérez de Lucas, P. y Aranda, Joaquín y Girón Sierra, José María y Velasco, Francisco (2002) A research on motion smoothing of fast ferries. In Control Applications in Marine Systems 2001 (CAMS 2001). Pergamon-Elsevier Science LTD, pp. 285-290. ISBN 0-08-043236-0

Polo, O. R. y Esteban San Román, Segundo y Marón, A. y Grau, L. y Cruz García, Jesús Manuel de la (2002) Control code generator used for control experiments in ship scale model. In Trol Applications in Marine Systems 2001 (CAMS 2001). Pergamon-Elsevier Science LTD, pp. 279-284. ISBN 0-08-043236-0

López Orozco, José Antonio y Risco Martín, José Luis y Andrés Toro, Bonifacio de y Cruz García, Jesús Manuel de la (2002) Courseware management tool for engineering education. In 6th World Multiconference on Systemics, Cybernetics and Informatics, Vol II, Proceedings: Concepts and Applications of Systemics, Cybernetics and Informatics I. Int Inst Informatics & Systemics, pp. 225-260.

Polo, O. R. y Cruz García, Jesús Manuel de la y Girón Sierra, José María y Esteban San Román, Segundo (2002) EDROOM. Automatic C++ code generator for real time systems modelled with room. In New Technologies for Computer Control 2001. Pergamon-Elsevier Science LTD, pp. 299-304. ISBN 0-08-043700-1

Andrés Toro, Bonifacio de y Fernández Blanco, P. y Cruz García, Jesús Manuel de la y Recas Piorno, Joaquín (2002) Intelligent method of identification of the sea state number: an application of the support vector machine. In 6th World Multiconference on Systemics, Cybernetics and Informatics, Vol VI, Proceedings: Industrial Systems and Engineering I. Int Inst Informatics & Systemics, pp. 178-183.

Girón Sierra, José María y Katebi, R. y Cruz García, Jesús Manuel de la y Esteban San Román, Segundo (2002) The control of specific actuators for fast ferry vertical motion damping. In Proceedings of the 2002 IEEE International Conference on Control Applications. IEEE, pp. 304-309. ISBN 0-7803-7386-3

Besada Portas, Eva y López Orozco, José Antonio y Cruz García, Jesús Manuel de la (2002) Unified fusion system based on Bayesian networks for autonomous mobile robots. In Proceedings of the Fifth International Conference on Information Fusion. Information Fusion, pp. 873-880. ISBN 0-9721844-2-2

Besada Portas, Eva y López Orozco, José Antonio y Cruz García, Jesús Manuel de la y Polo, O. R. (2002) Versatile sensing architecture for autonomous mobile robots. In 6th World Multiconference on Systemics, Cybernetics and Informatics, vol V, proceedings: computer SCI I. Int inst informatics & systemics, pp. 275-280.

Marroquín Alonso, Olga y Frutos Escrig, David de (2001) Extending the Petri box calculus with time. In Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings. Lecture notes in computer science (2075). Springer. ISBN 978-3-540-42252-5

Bruni, Roberto y Frutos Escrig, David de y Martí Oliet, Narciso y Montanari, Ugo (2000) Bisimilarity congruences for open terms and term graphs via tile logic. In CONCUR 2000 — Concurrency Theory : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Lecture notes in computer science (1877). Springer, pp. 259-274. ISBN 978-3-540-67897-7

Frutos Escrig, David de y Valero Ruiz, Valentín y Marroquín Alonso, Olga (2000) Decidability of properties of timed-arc Petri nets. In Application and Theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings. Lecture notes in computer science (1825). Springer, pp. 187-206. ISBN 978-3-540-67693-5

Andrés Toro, Bonifacio de y Girón Sierra, José María y Fernández Blanco, P. y Cruz García, Jesús Manuel de la y López Orozco, José Antonio (2000) Parallel Genetic Algorithms with a continuity operator that allows for knowledge inclusion. In Proceedings of the 2000 Congress on Evolutionary Computation, vols 1 and 2. IEEE, pp. 1137-1143. ISBN 0-7803-6375-2

Cruz García, Jesús Manuel de la y Aranda, Joaquín y Ruipérez, P. y Díaz, J. M. y Marón, A. (1999) Identification of the vertical plane motion model of a high speed craft by model testing in irregular waves. In Control Applications in Marine Systems (CAMS'98). Pergamon Press LTD, pp. 257-262. ISBN 0-08-043033-3

López Orozco, José Antonio y Cruz García, Jesús Manuel de la y Sanz, J. y Flores, J. (1998) Multisensor fusion of environment measures using Bayesian Networks. In Fusion'98: Proceedings of the International Conference on Multisource-Multisensor Information Fusion. CSREA Press, pp. 487-493. ISBN 1-892512-02-5

Cuartero Gómez, Fernando y Frutos Escrig, David de y Valero Ruiz, Valentín (1997) A sound and complete proof system for probabilistic processes. In Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings. Lecture notes in computer science (1231). Springer, pp. 340-352. ISBN 978-3-540-63010-4

Llana Díaz, Luis Fernando y Frutos Escrig, David de (1997) Denotational semantics for timed testing. In Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings. Lecture notes in computer science (1231). Springer, pp. 368-382. ISBN 978-3-540-63010-4

Llana Díaz, Luis Fernando y Frutos Escrig, David de y Núñez García, Manuel (1997) Introducing friendly testing. In V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia, Vigo, junio de 1997. Univ. Vigo, pp. 281-292. ISBN 84-8158-065-1

Sánchez Couso, José Ramón y Fernández Camacho, María Inés (1994) Average-case analysis of pattern-matching in trees under the BST probability model. In Automata, Languages and Programming. Lecture notes in computer science (820). Springer, pp. 178-190. ISBN 978-3-540-58201-4

Frutos Escrig, David de y Fernández Camacho, María Inés (1991) On narrowing strategies for partial non-strict functions. In TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. Lecture notes in computer science (494). Springer, pp. 416-437. ISBN 978-3-540-53981-0

Fernández Camacho, María Inés (1987) Mean size of simplified trees (Spanish: Tamaño medio de árboles simplificados). In Proceedings of the XIIth Portuguese-Spanish Conference on Mathematics. Univ. Minho, Braga, pp. 352-357.

Frutos Escrig, David de (1986) Some probabilistic powerdomains in the category SFP. In STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986. Lecture notes in computer science (210). Springer, pp. 49-59. ISBN 978-3-540-16078-6

Libro o Monografía

Rosa Velardo, Fernando y Frutos Escrig, David de (2010) Decision problems for petri nets with names. Otros. Arxiv.org.

Ponencia o Póster de Seminario, Congreso,etc

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Gómez Zamalloa, Miguel (2015) Test Case Generation of Actor Systems. In 13th International Symposium, ATVA 2015, October 12-15, 2015, Shanghai, China.

Albert Albiol, Elvira y Genaim, Samir y Gordillo, Pablo (2015) May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. In 22nd International Symposium, SAS 2015, September 9-11, 2015, Saint-Malo, France.

Albert Albiol, Elvira y Correas Fernández, Jesús y Johnsen, Einar Broch y Román Díez, Guillermo (2015) Parallel Cost Analysis of Distributed Systems. In 22nd International Symposium, SAS 2015, September 9–11, 2015, Saint-Malo, France.

Ben-Amran, Amir M., Amir M. y Genaim, Samir (2015) Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions. In 27th International Conference, CAV 2015, July 18-24, 2015, San Francisco (California).

Albert Albiol, Elvira y Arenas Sánchez, Puri y Correas Fernández, Jesús y Genaim, Samir y Gómez Zamalloa, Miguel y Martín Martín, Enrique y Puebla, Germán y Román Díez, Guillermo (2015) Resource Analysis: From Sequential to Concurrent and Distributed Programs. In FM 2015: Formal Methods, June 24–26, 2015, Oslo, Norway.

González, Diego y Botella Juan, Guillermo y García Sánchez, Carlos y Meyer Bäse, Anke y Meyer Bäse, Uwe y Prieto Matías, Manuel (2015) Customized Nios II multi-cycle instructions to accelerate block-matching techniques. In SPIE 9400, Real-Time Image and Video Processing 2015, February 08, 2015, San Francisco, California, United States.

García Sánchez, Carlos y Botella Juan, Guillermo y Sande, Francisco de y Prieto Matías, Manuel (2015) Fast-Coding Robust Motion Estimation Model in a GPU. In SPIE 9400, Real-Time Image and Video Processing, Febrero 2015, San Francisco, California, United States.

Albert Albiol, Elvira y Genaim, Samir y Gutiérrez, Raúl (2014) A Transformational Approach to Resource Analysis with Typed-Norms. In 23rd International Symposium, LOPSTR 2013, September 18–19, 2013, Madrid.

Herrera Triguero, Francisco (2014) Algunas ideas sobre la investigación (reflexiones y consejos : tesis doctoral, metodología de la investigación y escritura de artículos científicos. In Conferencias de la Facultad de Informática, 17 de junio de 2014, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (No publicado)

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Gómez Zamalloa, Miguel y Rojas, José Miguel (2014) Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency. In 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, June 16-20, 2014, Bertinoro, Italy.

Witasse, Olivier (2014) A panoramic view of the ExoMars Project. In Ciclo de Conferencias de la Facultad de Informática, 16 de junio de 2014, Sala de Grados de la Facultad de Informática de la Universidad Complutense. (Presentado)

Albert Albiol, Elvira y Arenas Sánchez, Purificación y Flores Montoya, A. y Genaim, Samir y Gómez-Zamalloa Gil, Miguel y Martín Martín, Enrique y Puebla, G. y Román Díez, Guillermo (2014) SACO: Static analyzer for concurrent objects. In 20th International Conference, TACAS 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, April 5-13, 2014, Grenoble, France.

Lorenzana González, César y Sem, y Capo, (2013) ¿Control de las redes?: implicaciones para la privacidad y la seguridad. (1ª parte). In . (No publicado)

Lorenzana González, César y Sem, y Capo, (2013) ¿Control de las redes?: implicaciones para la privacidad y la seguridad. (2ª parte). In . (No publicado)

Arroyo, Javier, ed. y Maté, Carlos, ed. y Brito, Paula, ed. y Noirhomme-Fraiture, Monique, ed. (2012) 3rd Workshop in Symbolic Data Analysis: book of abstracts. In 3rd Workshop in Symbolic Data Analysis, 7-9 Noviembre 2012, Madrid.

Tesis Doctoral

Valera Lara, Pedro (2016) Desarrollo de solvers CFD híbridos en plataformas heterogéneas. [Tesis Doctoral]

Peón Quirós, Miguel (2016) Emplazamiento de objetos de datos dinámicos sobre organizaciones de memoria heterogéneas en sistemas empotrados. [Tesis Doctoral]

Lucas Simarro, José Luis (2016) Técnicas de gestión de infraestructuras virtuales en entornos multi-cloud. [Tesis Doctoral]

Manero Iglesias, Borja (2015) Del teatro clásico a los videojuegos educativos. [Tesis Doctoral]

Arenas González, David Manuel (2015) Técnicas de identificación de la fuente de adquisición en imágenes digitales de dispositivos móviles. [Tesis Doctoral]

Montalvo Martínez, Martín (2015) Técnicas de visión artificial para la segmentación y detección de líneas de cultivo en imágenes agrícolas. [Tesis Doctoral]

Guerrero Hernández, José Miguel (2015) Sistema de visión para agricultura de precisión: identificación en tiempo real de líneas de cultivo y malas hierbas en campos de maíz. [Tesis Doctoral]

Borro Escribano, Blanca Beatriz (2015) Sistematización del desarrollo de simulaciones educativas con estrategia de juego en el campo médico. [Tesis Doctoral]

Sandoval Orozco, Ana Lucila (2015) Efficient algorithms for searching multiple burst-error correcting cyclic and shortened cyclic codes. [Tesis Doctoral]

Contreras Fernández-Dávila, Iván (2015) Operando en el mercado de valores: análisis financieros híbridos y computación evolutiva. [Tesis Doctoral]

Blanco Aguado, Ángel del (2015) Aplicación de estándares de e-learning para la integración de videojuegos educativos en el flujo de la enseñanza. [Tesis Doctoral]

Torrente Vigil, Francisco Javier (2015) Mejorando la accesibilidad de los "serious games" mediante herramientas de autoría. [Tesis Doctoral]

Setoain Rodrigo, Javier (2013) Procesamiento de imágenes hiperespectrales en GPUs. [Tesis Doctoral]

Millán Ruiz, David (2013) Algoritmos meméticos paralelos para el problema de distribución de esfuerzo en sistemas multi-agente dinámicos. Parallel memetic algorithms for the problem of workforce distribution in dynamis multi-agent system. [Tesis Doctoral]

González Alberquilla, Rodrigo (2013) Gestión de los accesos a memoria en sistemas de altas prestaciones. Memory accesss management in high performance computers. [Tesis Doctoral]

García Matesanz, Julián (2013) Protocolo de autoconfiguración y encaminamiento seguro para redes móviles ad hoc. [Tesis Doctoral]

Marchori, Eugenio Jorge (2013) Contribuciones a la autoría de juegos y simulaciones educativas basadas en un enfoque multidisciplinar. [Tesis Doctoral]

Sarasa Cabezuelo, Antonio (2013) Desarrollo de aplicaciones XML mediante herramientas de construcción de procesadores de lenguaje. [Tesis Doctoral]

Rincón Vallejos, Francisco Javier (2013) Técnicas de diseño de redes inalámbricas de sensores corporales inteligentes y energéticamente eficientes. Design techniques for smart and energy-efficient wireless body sensor networks. [Tesis Doctoral]

Farias Castro, Gonzalo (2013) Reconocimiento de patrones y aprendizaje automático en bases de datos de fusión nuclear. Pattern recognition and machine learning on nuclear fusion databases. [Tesis Doctoral]

González Calvo, Carlos (2012) Procesamiento a bordo de imágenes hiperespectrales de la superficie terrestre mediante hardware reconfigurable. [Tesis Doctoral]

Trabajo Fin de Máster

Melendrez Moreto, Ignacio (2016) Auditoría y metodología de implantación de open data para smart cities. [Trabajo Fin de Máster]

Rodríguez Ferreira, Teresa (2016) Content filtering and enrichment using triplets for text generation. [Trabajo Fin de Máster]

González Salas, José Carlos (2016) Diseño e implementación en FPGA de un filtro de partículas para aplicaciones biomédicas. [Trabajo Fin de Máster]

Rabadán Jurado, Adrián (2016) Generación de lenguaje natural a partir de grafos semánticos. [Trabajo Fin de Máster]

Pérez Colado, Iván José (2016) uAdventure : desarrollo del intérprete y de un emulador de videojuegos de eAdventure sobre Unity3D. [Trabajo Fin de Máster]

Díaz de la Cruz, Virginia (2014) Análisis hidrológico e hidráulico mediante técnicas SIG de la peligrosidad por inundaciones en el cuenca del Pla de Sant Jordi (Mallorca). [Trabajo Fin de Máster]

Sánchez Becerro, Óscar (2014) Algoritmos de programación dinámica con R para resolver problemas de alineamiento de secuencias. [Trabajo Fin de Máster]

Baquerizo Anastacio, Mónica Marlene (2014) Modelo de seguridad para sistemas E-gobierno mediante satisfacibilidad booleana. [Trabajo Fin de Máster]

Poljak, Jelena (2013) Defining of printing plate quality level through introduction of different image analysis applications. [Trabajo Fin de Máster]

Briones Mola, Lucrecia (2013) Protocolo ACO de encaminamiento adaptativo para redes móviles AD HOC. [Trabajo Fin de Máster]

Proyecto de Innovación Docente

Peinado Gil, Federico y Pavón Mestras, Juan Luis y Román Navarro, Sara y Sánchez Hernández, Jaime y Gómez Gauchía, Héctor y Arroyo Gallardo, Javier y Ullán Hernández, Eva y Hassan Collado, Samer y Tenorio Fornes, Antonio (2016) Métodos de evaluación, mantenimiento y reutilización de páginas 'wiki' educativas de acceso abierto. [Proyecto de Innovación Docente]

Martínez Ortiz, Iván y Díaz Agudo, Maria Belén y Jiménez Díaz, Guillermo y Mendías Cuadros, José Manuel y Vázquez Poletti, José Luis (2016) Realidad Aumentada en el Museo de Informática García Santesmases (MIGS++). [Proyecto de Innovación Docente]

Carmona Ruber, Jorge (2016) Fomento del software libre en los estudios de matemáticas mediante el uso de SAGE. [Proyecto de Innovación Docente]

Sánchez-Vizcaíno Rodríguez, José Manuel y Sierra Rodríguez, Jose Luis (2016) Simulaciones sanitarias para el estudio de enfermedades infecciosas endémicas, emergentes y reemergentes en el ganado porcino. [Proyecto de Innovación Docente]

Yustos Cuesta, Pedro y Guijarro Gil, M. Isabel y Santos Mazorra, Victoria Eugenia y Toledo Gabriel, José Manuel y Alonso Rubio, María Victoria y Dominguez Toribio, Juan Carlos y Oliet Pala, Mercedes y Diez Alcántara, Eduardo y Miranda Carreño, Rubén y Curto Maldonado, Andrés (2016) Laboratorios Virtuales de Sistemas de Control de Procesos en Labview y en Matlab-Simulink. [Proyecto de Innovación Docente]

Herrero Fernández, Mª Josefa y Arribas Mocoroa, María Eugenia y Arribas Mocoroa, José y Alvarez Sierra, Mª Angeles y Escavy Fernández, José Ignacio y Ureta Gil, Mª Soledad y López Acevedo, Francisco (2016) Creación de rutas geológicas como recursos docentes (Flipped Classroom) en las asignaturas de Petrología Sedimentaria y Paleontología Aplicada. [Proyecto de Innovación Docente]

Díaz García, Elena y Cabrera Granado, Eduardo y Gómez Calderón, Óscar y Maestre Varea, David y Domínguez-Adame Acosta, Francisco (2016) Nuevas herramientas de software libre para la corrección automática de ejercicios complejos. [Proyecto de Innovación Docente]

Risco Martín, José Luis y Olcoz Herrero, Katzalin y Chaver Martínez, Daniel y Sánchez-Élez Martín, Marcos (2016) Uso de los servicios para.TI@UCM para mejorar la gestión académica en los departamentos. [Proyecto de Innovación Docente]

Gilabert Santos, Juan Antonio (2015) Aprendizaje mediante el desarrollo de una actividad colaborativa entre estudiantes de veterinaria y de informática: desarrollo de la app "Formulario Terapéutico de Mamíferos Marinos". [Proyecto de Innovación Docente]

Sarasa Cabezuelo, Antonio (2015) Desarrollo de un módulo de análisis y explotación de datos de un Mooc mediante técnicas de Big Data y gramáticas de atributos, y su incorporación a un sistema de gestión de MOOC. [Proyecto de Innovación Docente]

Sánchez-Elez Martín, Marcos y Risco Martín, José Lui y Pardines Lence, Inmaculada y Miñana Ropero, Guadalupe y Garnica Alcázar, Oscar y Gómez Pérez, José Ignacio y Olcoz Herrero, Katzalin y Chaver Martínez, Daniel Ángel y Castro Rodríguez, Fernando y Sáez Alcaide, Juan Carlos y Igual Peña, Francisco (2014) Integración de los servicios para.TI@UCM en una plataforma de e-learning similar al Campus Virtual. [Proyecto de Innovación Docente]

Román Navarro, Sara y Hassan Collado, Samer y Ullán Hernández, Eva y Gómez Gauchía, Héctor y Sánchez Hernández, Jaime y Peinado Gil, Federico y Tenorio Fornes, Antonio (2015) Implementación de wikis educativas de acceso abierto con amplia diversidad de contenidos en inglés y castellano. [Proyecto de Innovación Docente]

Gregorio Rodríguez, Carlos (2015) Implementación y puesta en práctica de técnicas de evaluación masiva, evaluación por pares y autoevaluación para MOOCs. [Proyecto de Innovación Docente]

Fernández-Pampillón Cesteros, Ana (2013) Metodologías de construcción de cursos virtuales en abierto basadas en la reutilización de repositorios de material didáctico de calidad. [Proyecto de Innovación Docente]

Pajares Martinsanz, Gonzalo y Montalvo Martínez, Martín y Romeo Granados, Juan y Guerrero Hernández, José Miguel y García Toledo, Marcos Miguel (2016) Mejora del proceso enseñanza-aprendizaje mediante iniciativas en el mundo empresarial. [Proyecto de Innovación Docente]

Martín Martín, Enrique y Riesco Rodríguez, Adrián y Montenegro Montes, Manuel y Tamarit Muñoz, Salvador y Sánchez Hernández, Jaime y Gregorio Rodríguez, Carlos (2016) Aprendizaje de lenguajes de programación mediante tutoriales interactivos: diseño y aplicabilidad. [Proyecto de Innovación Docente]

Materiales de enseñanza

Sanchez-Elez Martin, Marcos (2014) Introducción a la programación en VHDL. [Materiales de enseñanza] (No publicado)

Clemente Barreira, Juan Antonio y Sánchez-Elez Martín, Marcos (2014) Introduction to VHDL programming. [Materiales de enseñanza] (No publicado)

Cabrera Granado, Eduardo y Díaz García, Elena y Gómez Calderón, Óscar y Melle Hernández, Sonia y Domínguez-Adame Acosta, Francisco y Ezquerro Rodríguez, José Miguel (2013) Manual de uso de IPython Notebook para docentes. [Materiales de enseñanza] (No publicado)

Trabajo Fin de Grado

Rodríguez Navarro, José Miguel y Orueta Moreno, Carlos (2016) Aceleración de algoritmos para imágenes hiperespectrales con OpenCL. [Trabajo Fin de Grado]

Higuera Romero, Miguel (2016) Co-simulación HW/SW en Raspberry Pi. [Trabajo Fin de Grado]

Kumpel del Castillo, Hugo Daniel y Scatton Lóndero, Alejandro (2016) Entorno de realidad virtual controlado en tiempo real por señales motoras para la rehabilitación del miembro superior en pacientes con daño cerebral. [Trabajo Fin de Grado]

Vargas Paredes, Jhonny y Penit Granado, Víctor (2016) Estudio y aplicación de metaheurísticas y comparación con métodos exhaustivos. [Trabajo Fin de Grado]

García Delgado, José Luis (2016) Gamificación en sistemas de microanotaciones. [Trabajo Fin de Grado]

Álvarez Sánchez, Christian y Arboleda Arturo, Kevin Darío (2016) Generación de historias centradas en el usuario con plataformas móviles. [Trabajo Fin de Grado]

Martín Duque, Guillermo y Jiang, Yuan Xu (2016) Herramienta configurable para la evaluación y autoevaluación de la docencia virtual. [Trabajo Fin de Grado]

Rueda Rueda, Andrea y Riani, Chaymae (2016) Herramienta de evaluación de calidad adaptativa a las normas de AENOR. [Trabajo Fin de Grado]

Pastore Burgos, Agustín (2016) Herramienta para búsqueda de casos médicos semejantes. [Trabajo Fin de Grado]

Esteban Cobo, Miguel (2016) Herramienta para la extracción automática de metadatos en vídeos de dispositivos móviles. [Trabajo Fin de Grado]

Montaña Garrido, Víctor (2016) Implementación de un framework para la inclusión de logros en "¡Acepta el Reto!". [Trabajo Fin de Grado]

Álvarez Hernández, Raquel y Cheng, Yanyan y Sun, Qiang (2016) Olétrip : planificación dinámica de planes de ocio. [Trabajo Fin de Grado]

García González-Albo, Javier (2016) Software de comunicación para personas con parálisis cerebral. [Trabajo Fin de Grado]

Candonga Yugsi, Jonathan Andrés y Castillo Torres, Viviana (2016) Unity assessment: desarrollo de un plugin de Unity evaluación basada en juegos y desarrollo de un juego de artes escénicas. [Trabajo Fin de Grado]

Gil Navarro, Claudia y Pequeño Pulleiro, Alejandro y Valle Silva, Alejandro del (2016) Visualización de datos de comunidades colaborativas. [Trabajo Fin de Grado]

Beceiro Castillo, Carlos y Espinosa Victoria, Cristina Valentina y Martínez Pagés, José Javier (2015) Aplicación de predicción en bolsa basada en indicadores técnicos y computación evolutiva. [Trabajo Fin de Grado]

Vallejo Ruiz, Ismael (2015) Asistente virtual (Chatbot) para la web de la Facultad de Informática. [Trabajo Fin de Grado]

Sánchez-Carrasco García, Matías (2015) Auditoría compatibilidad producto software. [Trabajo Fin de Grado]

Flórez Ruiz, Alberto (2015) Auditoría de alineamiento con el Marco europeo de interoperabilidad. [Trabajo Fin de Grado]

Andrés Castañeda, Pablo (2015) DermaSystem III : gestión informática en dermatología. [Trabajo Fin de Grado]

Capellán Pizarroso, Fernando y Florina Puica, Simona y Sánchez Huerta, Daniel (2015) Diseño e implementación en FPGA de un filtro Kalman para aplicaciones biomédicas. [Trabajo Fin de Grado]

Abubakra Abubakra, Yusef y Andrés Herrero, Miguel y Fernández Villanueva, Javier y Martín Sanz, David y Zabala Hidalgo, Alejandro (2015) Producción de una experiencia de horror inmersivo utilizando un entorno de desarrollo de videojuegos y un visor de realidad virtual. [Trabajo Fin de Grado]

Fernández Romo, Almudena y García Sánchez, Roberto (2015) Proyecto DALGS: Degrees and learning goals system. [Trabajo Fin de Grado]

Fajardo Cabello, Francisco Javier (2015) Referente de auditoría para la reutilización de aplicaciones en modo servicio. [Trabajo Fin de Grado]

González Rincón, Juan Diego (2015) Sistema basado en open source hardware para la monitorización del consumo de un computador. [Trabajo Fin de Grado]

Doménech Arellano, Jesús Javier (2015) Técnicas de extracción en tiempo real del tempo de pistas de audio sobre dispositivos móviles. [Trabajo Fin de Grado]

Blanco Gómez, Valentín y Sampedro Ruíz, Raúl (2014) Diseño e implementación de pizarras digitales de bajo coste. [Trabajo Fin de Grado]

Rabadán Jurado, Adrián y Rodríguez Ferreira, Teresa (2014) Generating referring expressions in a 3D environment. [Trabajo Fin de Grado]

Crespo Salazar, Óscar y Jimeno Garrachón, Gorka y Valero Martín, Luis (2014) VNC++, control remoto desde Android. [Trabajo Fin de Grado]

Llorente Navarro, Sara y Muñoz Díaz, Carlos Manuel y Olivar Conde, José Carlos (2013) Dermasystem: gestión informática en dermatología. [Trabajo Fin de Grado]

Ruiz Rodríguez, Omar y Seco Peña, Andrea y Velay Valor, Jaime (2013) OdA J2EE : aplicación del metamodelo relacional para el soporte de metadatos específicos del dominio en repositorios de objetos de aprendizaje. [Trabajo Fin de Grado]

Ballesteros Calvo, Alicia y Cárcamo Escorza, Guillermo y Duobert Collazos, Emilio (2013) Recubrimiento y normalización de recursos lingüísticos: aplicación a las anotaciones morfosintánticas [sic] y sintácticas de Freeling. [Trabajo Fin de Grado]

Trabajo de curso

Gil Sánchez, Álvaro y Gutiérrez Palancarejo, Héctor y Morales Lozano, Álvaro (2015) Diseño e implementación en hardware de un modelo de retina artificial. [Trabajo de curso] (No publicado)

González Reyes, Alejandra y Montero Aneiros, Claudia y Champa Bujaico, Ricardo (2014) EMS in cloud. [Trabajo de curso] (No publicado)

Carrión Beltrán, Ricardo Javier y Díaz Calvo, María y López Carreras, Daniel (2014) Integración de juegos educativos en edX. [Trabajo de curso] (No publicado)

Cuesta Boluda, Daniel y Cuesta Boluda, Guillermo y Rodríguez-Osorio Jiménez, Javier (2014) Producción de un videojuego multijugador en Unity combinando los géneros MOBA y RTS : ingeniería del software y diseño de videojuegos. [Trabajo de curso] (No publicado)

Nuche Castellanos, Ramón y Romero Navarrete, Héctor y Santos García, Diego (2014) Proyecto SIGUE: una herramienta para el seguimiento docente y calificación automática. [Trabajo de curso] (No publicado)

Daza Castillo, Alicia Mireya y Rodríguez Navarro, Rosa María y González López, Jorge (2014) Una herramienta de apoyo al tratamiento de catálogos astronómicos. [Trabajo de curso] (No publicado)

Menárguez García, Miguel Ángel (2013) ECG2HRV:new tool for the research in heart rate varability. [Trabajo de curso] (No publicado)

Cerro Cañizares, Pablo y Esteban Luis, Cristina María (2013) Emulador software para el cálculo de primos de Mersenne. [Trabajo de curso] (No publicado)

Heras Martín, Francisco y Panadero Hernández, Silvia y Sánchez García-Velasco, Estefanía (2013) Herramienta de apoyo a la enseñanza de las matemáticas en educación primaria. [Trabajo de curso] (No publicado)

Agudo Calvo, Belén y Jorro Aragoneses, José Luis y Valle Corral, Jessica del (2013) Sistema de recomendación de actividades turísticas : Madrid live. [Trabajo de curso] (No publicado)

Esta lista fue generada el Tue Dec 6 02:12:10 2016 CET.