Complutense University Library

Items where Subject is "Sciences > Computer science"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Creators
Number of items at this level: 179.

Article

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

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

Carpio Rodríguez, Ana María and 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)

Chern, Hua-Huai and Fernández Camacho, María Inés and Hwang, Hsien-Kuei and 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

Cruz García, Jesús Manuel de la and Romeo Granados, Juan and Pajares Martinsanz, Gonzalo and Montalvo Martínez, Martin and Guerrero Hernández, José Miguel and 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 and García Merayo, Mercedes and Hierons, Robert M. and 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

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

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

Moreno Salinas, David and Chaos, Dictino and Besada Portas, Eva and López Orozco, José Antonio and Cruz García, Jesús Manuel de la and 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 and Gregorio Rodríguez, Carlos and Palomino, Miguel and 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 and Núñez García, Manuel and 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

Cruz García, Jesús Manuel de la and Andrés y Toro, Bonifacio and 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 and García Matesanz, Julián and García Villalba, Luis Javier and Márquez Díaz, José Duván and Kim, T.H. (2012) Security Issues in Mobile Ad Hoc Networks. International Journal of Distributed Sensor Networks, 2012 . ISSN 1550-1329

Botana, Francisco and Abánades, Miguel A. and 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 and 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 and Herrera Caro, Pedro Javier and Pajares Martinsanz, Gonzalo and 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 and 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 and Martos Salgado, María Rosa and 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 and Fábregas, Ignacio and Frutos Escrig, David de and Ingolfsdottir, Anna and 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 and 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 and Torre, Luís de la and Cruz García, Jesús Manuel de la and AndrésToro, Bonifacio de (2010) Evolutionary trajectory planner for multiple UAVs in realistic scenarios. IEEE Transactions on Robotics, 26 (4). pp. 619-634. ISSN 1552-3098

Cruz García, Jesús Manuel de la and Herrán, A. and 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 and Abánades, Miguel A. and 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 and 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 and Frutos Escrig, David de and 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 and Naqavi, I.Z. and Piomelli, U. and 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 and Gregorio Rodríguez, Carlos and Palomino, Miguel (2009) On the unification of process semantics: equational semantics. Electronic Notes in Theoretical Computer Science, 249 . pp. 243-267. ISSN 15710661

Besada Portas, Eva and López Orozco, José Antonio and Cruz García, Jesús Manuel de la and 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

Cruz García, Jesús Manuel de la and Pajares Martinsanz, Gonzalo and 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 and Andrés Toro, Bonifacio de and Herrán González, A. and Risco Martín, J. L. (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 and 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 and Gregorio Rodríguez, Carlos and 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

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and 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 and Ruz Ortíz, José Jaime and Lanillos Pradas, Pablo and Guijarro Mata-García, María and Cruz García, Jesús Manuel de la and 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 and 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 and 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 and Frutos Escrig, David de and 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 and 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 and 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

Santos, Matilde and López, R. and 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 and Fernández Camacho, María Inés (2006) Reductions in binary search trees. Theoretical Computer Science, 355 (3). pp. 327-353. ISSN 0304-3975

Frutos Escrig, David de and 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 and Girón Sierra, José María and Recas Piorno, Joaquín and 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 and Recas Piorno, Joaquín and Girón Sierra, José María and Cruz García, Jesús Manuel de la and Riola, M. (2005) Improving fast-ship seakeeping using several moving actuators. Naval Architect . p. 6. ISSN 0306-0209

Aranda, J. and Cruz García, Jesús Manuel de la and 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 and López Bracho, R. and 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 and Girón Sierra, José María and Andrés Toro, Bonifacio de and Cruz García, Jesús Manuel de la and 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 and 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 and Girón Sierra, José María and Andrés Toro, Bonifacio de and 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 and 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 and Aranda, J. and Girón Sierra, José María and Velasco, Francisco (2004) Improving the comfort of a fast ferry. IEEE Control Systems Magazine, 24 (2). pp. 47-60. ISSN 1066-033X

Aranda, J. and Cruz García, Jesús Manuel de la and 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 and 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, Matilde and Pajares Martinsanz, Gonzalo and Portela, M. and 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 and 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 and Bamford, Richard N. and Burdine, Rebecca D. and Roessler, Erich and Barkovich, A. James and Donnai, Dian and Schier, Alexander F. and 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 and 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 and 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

Carmona Ruber, Jorge and Artal, E. and Cogolludo, J.I. and 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 and Cruz García, Jesús Manuel de la and Besada Portas, Eva and 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 and 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 and Cruz García, Jesús Manuel de la and 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. and Cruz García, Jesús Manuel de la and Dobbing, T. and Ellis, J. and Fisher, B. and King, Q. A. and Soldner, F. and 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 and Llana Díaz, Luis Fernando and 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 and Vacca, A. and 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 and Benocci, C. and 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 and Fernández Camacho, María Inés and 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

Working Paper or Technical Report

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

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, ] (Unpublished)

Book Section

Núñez, Alberto and Filgueira, Rosa and 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. and Pinelli, Alfredo and Favier, J. and 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 and 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 and Fábregas, Ignacio and Frutos Escrig, David de and Ingolfsdottir, Anna and 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 and Frutos Escrig, David de and Gregorio Rodríguez, Carlos and 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 and Frutos Escrig, David de and Gregorio Rodríguez, Carlos and 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

Cruz García, Jesús Manuel de la and Guijarro Mata-García, María and Pajares Martinsanz, Gonzalo and 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 and Recio García, Juan A. and 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. and Botana, Francisco and Escribano Martínez, Jesús and 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 and Sánchez Benítez, David and Pajares Martinsanz, Gonzalo and 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 and Cruz García , Jesús Manuel de la and Plis, Sergey M and 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 and 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 and 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 and Frutos Escrig, David de and Lüttgen, Gerald and 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

Herrera Caro, Pedro Javier and Pajares Martinsanz, Gonzalo and Guijarro Mata-García, María and Ruz Ortíz, José Jaime and 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 and Herrera Caro, Pedro Javier and Pajares Martinsanz, Gonzalo and Guijarro Mata-García, María and 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 and 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 and Pajares Martinsanz, Gonzalo and Guijarro Mata-García, María and Ruz Ortíz, José Jaime and 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 and Frutos Escrig, David de and 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 and Gregorio Rodríguez, Carlos and 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 and Cruz García, Jesús Manuel de la and Plis, Sergey M. and 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 and 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 and Infante del Río, Juan Antonio and Ramos del Olmo, Ángel Manuel and 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 and Besada Portas , Eva and Andrés Toro, Bonifacio de and Torre Cubillo, L. 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 and Palomino, Miguel and 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 and Palomino, Miguel and 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 and 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 and Zeigler, Bernard P. and Risco Martín, José L. and 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 and Abánades, Miguel A. and 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 and Arévalo, Orlando and Pajares Martinsanz, Gonzalo and 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. and Escribano Martínez, Jesús and 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 and López Orozco, José Antonio and 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 and 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 and Rosa Velardo, Fernando and 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 and Frutos Escrig, David de and 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 and Frutos Escrig, David de and 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 and Santos Peñas, Matilde and 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 and Arévalo, Orlando and Cruz García, Jesús Manuel de la and 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 and Recas Piorno, Joaquín and Girón Sierra, José María and Cruz García, Jesús Manuel de la and 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 and Fernández-Prisuelos, J. and Andrés Toro, Bonifacio de and 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

Frutos Escrig, David de and 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 and Jiménez, J. F. and Domínguez, A. and 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 and Esteban San Román, Segundo and Girón Sierra, José María and 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. and Andrés Toro, Bonifacio de and Girón Sierra, José María and Cruz García, Jesús Manuel de la and 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 and Ruz Ortíz, José Jaime and 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 and 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. and Girón Sierra, José María and Domínguez, A. and Cruz García, Jesús Manuel de la and 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 and Marroquín Alonso, Olga and 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 and Esteban San Román, Segundo and Recas Piorno, Joaquín and Andrés Toro, Bonifacio de and Besada Portas, Eva and 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 and Andrés Toro, Bonifacio de and Herrán, A. and Besada Portas, Eva and 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 and 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, Matilde and 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

Besada Portas, Eva and López Orozco, José Antonio and 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

Cruz García, Jesús Manuel de la and Pérez de Lucas, P. and Aranda, Joaquín and Girón Sierra, José María and 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

López Orozco, José Antonio and Risco Martín, José L. and Andrés Toro, Bonifacio de and 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. and Cruz García, Jesús Manuel de la and Girón Sierra, José María and 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 and Fernández Blanco, P. and Cruz García, Jesús Manuel de la and 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 and Katebi, R. and Cruz García, Jesús Manuel de la and 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 and López Orozco, José Antonio and 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 and López Orozco, José Antonio and Cruz García, Jesús Manuel de la and 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 and 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 and Frutos Escrig, David de and Martí Oliet, Narciso and 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 and Valero Ruiz, Valentín and 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 y Toro, Bonifacio and Girón Sierra, José María and Fernández Blanco, P. and Cruz García, Jesús Manuel de la and 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 and Aranda, J. and Ruipérez, P. and Díaz, J. M. and 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 and Cruz García, Jesús Manuel de la and Sanz, J. and 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 and Frutos Escrig, David de and 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 and 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 and Frutos Escrig, David de and 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 and 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 and 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

López Orozco, José Antonio and Andrés Toro, Bonifacio de and Risco Martín, José L. and Cruz García, Jesús Manuel de la A versatile and interactive courseware for Learning Control Systems. In Internet Based Control Education 2001. Pergamon-Elsevier Science LTD, pp. 157-163. ISBN 0-08-043984-5

Monograph

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

Conference or Workshop Item

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. (Unpublished)

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. (Submitted)

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

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

Arroyo, Javier, ed. and Maté, Carlos, ed. and Brito, Paula, ed. and 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.

Thesis

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

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. [Thesis]

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

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

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

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

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. [Thesis]

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. [Thesis]

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

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]

Teaching Resource

Sanchez-Elez Martin, Marcos (2014) Introducción a la programación en VHDL. [Teaching Resource] (Unpublished)

Clemente Barreira, Juan Antonio and Sánchez-Elez Martín, Marcos Introduction to VHDL programming. [Teaching Resource] (Unpublished)

Coursework

González Reyes, Alejandra and Montero Aneiros, Claudia and Champa Bujaico, Ricardo (2014) EMS in cloud. [Coursework] (Unpublished)

Carrión Beltrán, Ricardo Javier and Díaz Calvo, María and López Carreras, Daniel (2014) Integración de juegos educativos en edX. [Coursework] (Unpublished)

Cuesta Boluda, Daniel and Cuesta Boluda, Guillermo and 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. [Coursework] (Unpublished)

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

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

Menárguez García, Miguel Ángel (2013) ECG2HRV:new tool for the research in heart rate varability. [Coursework] (Unpublished)

Cerro Cañizares, Pablo and Esteban Luis, Cristina María (2013) Emulador software para el cálculo de primos de Mersenne. [Coursework] (Unpublished)

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

Agudo Calvo, Belén and Jorro Aragoneses, José Luis and Valle Corral, Jessica del (2013) Sistema de recomendación de actividades turísticas : Madrid live. [Coursework] (Unpublished)

This list was generated on Sun Dec 21 02:50:04 2014 CET.