Miembros del grupo

Director/es
ALBERT ALBIOL, ELVIRA MARIA
Miembros
ARENAS SANCHEZ, PURIFICACION
CORREAS FERNANDEZ, JESUS
GENAIM QEDAN, SAMIR
GOMEZ-ZAMALLOA GIL, MIGUEL
GORDILLO ALGUACIL, PABLO
HERNANDEZ CEREZO, ALEJANDRO
ISABEL MARQUEZ, MIGUEL
MARTIN MARTIN, ENRIQUE
MERAYO CORCOBA, ALICIA
RODRIGUEZ NUÑEZ, CLARA
ROMÁN DIEZ, GUILLERMO
RUBIO GIMENO, ALBERTO

Proyectos (IP)

Título	Organismo	Referencia	Inicio	Fin
FORMAL MODELS AND TECHNOLOGIES FOR EMERGING APPLICATIONS.	Comunidad Autónoma de Madrid	S2018/TCS-4314	01/01/2019	31/12/2022
RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES	Ministerio de Ciencia, Innovación y Universidades	RTI2018-094403-B-C31	01/01/2019	31/12/2021
SOLUCIONES EFECTIVAS BASADAS EN LA LÓGICA	Ministerio de Economía y Competitividad	TIN2015-69175-C4-2-R	01/01/2016	31/12/2018
DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADAS	Comunidad Autónoma de Madrid	S2013/ICE-3006	01/10/2014	30/09/2018
Engineering Virtualized Services		610582	01/10/2013	30/09/2016
TÉCNICAS ESCALABLES PARA LA VALIDACIÓN DE APLICACIONES CONCURRENTES	Ministerio de Economía y Competitividad	TIN2012-38137-C02-02	01/01/2013	31/12/2015

Publicaciones Google Scholar de 1980 a 2025

Título	Fuente	Fecha
Harnessing heap analysis for the synthesis of superoptimized bytecode	Journal of Systems and Software 221, 112284 , 2025	2025
Secure Optimizations on Ethereum Bytecode Jump-Free Sequences	IEEE Transactions on Dependable and Secure Computing , 2025	2025
Certified Cost Bounds for Abstract Programs	ACM Transactions on Software Engineering and Methodology 34 (3), 1-33 , 2025	2025
SuperStack: Superoptimization of stack-bytecode via greedy, constraint-based, and SAT techniques	Proceedings of the ACM on Programming Languages 8 (PLDI), 1437-1462 , 2024	2024
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT	Proceedings of the 33rd ACM SIGSOFT International Symposium on Software … , 2024	2024
Estudio de la aplicación de herramientas de análisis de contratos inteligentes de Ethereum en las asignaturas de blockchain de las titulaciones de la Facultad de Informática		2024
Reusing zebrafish facility equipment: Planning, investment and what we have learned	Laboratory Animals, 00236772241274549 , 2024	2024
Formally Verified EVM Block-Optimizations	Otto-Friedrich-Universität , 2023	2023
Inferring needless write memory accesses on ethereum bytecode	International Conference on Tools and Algorithms for the Construction and … , 2023	2023
Formally Verified EVM Block-Optimizations	International Conference on Computer Aided Verification, 176-189 , 2023	2023
Verification of the ROS NavFn planner using executable specification languages	Journal of Logical and Algebraic Methods in Programming 132, 100860 , 2023	2023
Aplicación web progresiva para la realización de cuestionarios offline: difusión e integración con Moodle		2023
MO-0948 Intermediate-High dose TBI: a balance between disease control and pulmonary toxicity	Radiotherapy and Oncology 182, S796-S797 , 2023	2023
Optimal dynamic partial order reduction with context-sensitive independence and observers	Journal of Systems and Software 202, 111730 , 2023	2023
Inferring needless write memory accesses on ethereum bytecode (extended version)	arXiv preprint arXiv:2301.04757 , 2023	2023
Formally verified EVM block-optimizations	International Conference on Computer Aided Verification, 176-189 , 2023	2023
A Max-SMT superoptimizer for EVM handling memory and storage	International Conference on Tools and Algorithms for the Construction and … , 2022	2022
Distilling constraints in zero-knowledge protocols	International Conference on Computer Aided Verification, 430-443 , 2022	2022
When COSTA Met KeY: Verified Cost Bounds	The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to … , 2022	2022
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts	International Joint Conference on Automated Reasoning, 3-7 , 2022	2022
Relaxed effective callback freedom: a parametric correctness condition for sequential modules with callbacks	IEEE Transactions on Dependable and Secure Computing 20 (3), 2256-2273 , 2022	2022
Improving database learning with an automatic judge		2022
Super-optimization of Smart Contracts	ACM , 2022	2022
LearnSQL: un juez para el aprendizaje de las bases de datos	Jornada «Aprendizaje Eficaz con TIC en la UCM», 277-288 , 2022	2022
Super-optimization of smart contracts	ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-29 , 2022	2022
Evaluación del impacto sobre el aprendizaje de bases de datos del juez automático LearnSQL		2022
Las bases de big data y de la inteligencia artificial	Los libros de la Catarata , 2022	2022
Termination Analysis of Programs with Multiphase Control-Flow	arXiv preprint arXiv:2109.04630 , 2021	2021
Lower-bound synthesis using loop specialization and Max-SMT	International Conference on Computer Aided Verification, 863-886 , 2021	2021
Verification of ROS navigation using Maude	XX Jornadas de Programación y Lenguajes (PROLE). Sistedes , 2021	2021
Deadlock-Guided Testing	IEEE , 2021	2021
Juez automático para el aprendizaje de bases de datos		2021
Loops for which Multiphase-Linear Ranking Functions are Sufficient	17th International Workshop on Termination, 69-74 , 2021	2021
Deadlock-guided testing	IEEE Access 9, 46033-46048 , 2021	2021
Don’t run on fumes—parametric gas bounds for smart contracts	Journal of Systems and Software 176, 110923 , 2021	2021
Static profiling and optimization of ethereum smart contracts using resource analysis	IEEE Access 9, 25495-25507 , 2021	2021
A unified framework for declarative debugging and testing	Information and Software Technology 129, 106427 , 2021	2021
Actor-based model checking for Software-Defined Networks	Journal of Logical and Algebraic Methods in Programming 118, 100617 , 2021	2021
Certified abstract cost analysis	International Conference on Fundamental Approaches to Software Engineering … , 2021	2021
Synthesis of super-optimized smart contracts using max-smt	International conference on computer aided verification, 177-200 , 2020	2020
Análisis de rendimiento de aplicaciones MPI en clusters de Raspberries Pi3		2020
Las bases de Big Data	Los Libros de La Catarata , 2020	2020
Gasol: Gas analysis and optimization for ethereum smart contracts	International Conference on Tools and Algorithms for the Construction and … , 2020	2020
Actor-Based Model Checking for SDN Networks	arXiv preprint arXiv:2001.10022 , 2020	2020
Smart, and also reliable and gas-efficient, contracts	2020 IEEE 13th International Conference on Software Testing, Validation and … , 2020	2020
Smart, and also Reliable and Gas-Efficient, Contracts		2020
Taming callbacks for smart contract modularity	Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30 , 2020	2020
R Swamy, BA Francis, H Akil, A Yelenskiy, BA Francis, V Chopra and A Huang................ 31	Clinical and Experimental Ophthalmology 48, 1322-1333 , 2020	2020
A transformational approach to resource analysis with typed-norms inference	Theory and Practice of Logic Programming 20 (3), 310-357 , 2020	2020
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentess y Bytecode de Ethereum	Universidad Complutense de Madrid , 2020	2020
Learning Data Structure Shapes from Memory Graphs.	LPAR 2020, 23rd , 2020	2020
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell	Fundamenta Informaticae 177 (3-4), 203-234 , 2020	2020
Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23)	EasyChair EPiC Series in Computing , 2020	2020
Analyzing smart contracts: from EVM to a sound control-flow graph	arXiv preprint arXiv:2004.14437 , 2020	2020
A unified framework for declarative debugging and testing	Elsevier , 2020	2020
Adaptación y ejecución de aplicaciones MPI en entornos de simulación para analizar el rendimiento de arquitecturas distribuidas		2019
Optimal context-sensitive dynamic partial order reduction with observers	Proceedings of the 28th ACM SIGSOFT International Symposium on Software … , 2019	2019
Running on Fumes	Verification and Evaluation of Computer and Communication Systems: 13th … , 2019	2019
Multiphase-linear ranking functions and their relation to recurrent sets	International Static Analysis Symposium, 459-480 , 2019	2019
A core Erlang semantics for declarative debugging	Elsevier , 2019	2019
Peak resource analysis of concurrent distributed systems	Journal of Systems and Software 149, 35-62 , 2019	2019
Resource analysis driven by (conditional) termination proofs	Theory and Practice of Logic Programming 19 (5-6), 722-739 , 2019	2019
SAFEVM: a safety verifier for Ethereum smart contracts	Proceedings of the 28th ACM SIGSOFT International Symposium on Software … , 2019	2019
Herramienta interactiva de manipulación y corrección de entregas de ejercicios en asignaturas con evaluación continua		2019
Control-flow refinement by partial evaluation, and its application to termination and cost analysis	Theory and Practice of Logic Programming 19 (5-6), 990-1005 , 2019	2019
Big data con python: Recolección, almacenamiento y proceso	Alpha Editorial , 2019	2019
Running on fumes: Preventing out-of-gas vulnerabilities in Ethereum smart contracts using static resource analysis	Verification and Evaluation of Computer and Communication Systems: 13th … , 2019	2019
A core Erlang semantics for declarative debugging	Journal of Logical and Algebraic Methods in Programming 107, 1-37 , 2019	2019
FlinkCheck: property-based testing for apache flink	IEEE Access 7, 150369-150382 , 2019	2019
A language-independent technique for assessing tweet success: an experience report	IEEE Access 6, 62384-62395 , 2018	2018
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools	Software Technologies: Applications and Foundations: STAF 2017 Collocated … , 2018	2018
Enhancing set constraint solvers with bound consistency	Expert Systems with Applications 92, 485-494 , 2018	2018
Tutoriales interactivos para el estudio de la programación: impacto en el aprendizaje		2018
Proceso de contrataciones con el Estado y sus Influencia en el cumplimiento de Metas y Objetivos Institucionales de la Municipalidad Provincial de Tambopata 2016-2017	Juliaca: Universidad Andina , 2018	2018
Inference of linear upper-bounds on the expected cost by solving cost relations	Proceedings of the 16th International Workshop on Termination, WST 18, 60-64 , 2018	2018
GASTAP: A gas analyzer for smart contracts	CoRR, vol. abs/1811.10403 , 2018	2018
Constrained dynamic partial order reduction	International Conference on Computer Aided Verification, 392-410 , 2018	2018
EthIR : A Framework for High-Level Analysis of Ethereum Bytecode	International symposium on automated technology for verification and … , 2018	2018
Enhancing set constraint solvers with bound consistency	Elsevier , 2018	2018
SDN-Actors: modeling and verification of SDN programs	International Symposium on Formal Methods, 550-567 , 2018	2018
Declarative debugging of concurrent Erlang programs	Journal of logical and algebraic methods in programming 101, 22-41 , 2018	2018
Control-flow refinement via partial evaluation	WST 18, 55-59 , 2018	2018
Parallel cost analysis	ACM Transactions on Computational Logic (TOCL) 19 (4), 1-37 , 2018	2018
Systematic testing of actor systems	Software Testing, Verification and Reliability 28 (3), e1661 , 2018	2018
E asy I nterface : A Toolkit for Rapid Development of GUIs for Research Prototype Tools	International Conference on Fundamental Approaches to Software Engineering … , 2017	2017
Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15)	Preface for selected and extended papers from Principles and Practice of … , 2017	2017
On multiphase-linear ranking functions	International Conference on Computer Aided Verification, 601-620 , 2017	2017
Noticia de nuevos táxones para la ciencia en el ámbito íbero-balear y macaronésico/New Ibero-Balearic and Macaronesian taxa	Graellsia 73 (1), e058 , 2017	2017
MAY-HAPPEN-IN-PARALLEL ANALYSIS WITH RETURNED FUTURES		2017
Resource Analysis of Distributed and Concurrent Programs	ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 1-1 , 2017	2017
May-happen-in-parallel analysis with returned futures	Automated Technology for Verification and Analysis: 15th International … , 2017	2017
Diseño de una metodología para la implantación de herramientas automáticas de corrección de estilo y buenas prácticas en asignaturas de programación		2017
25. Urgencias	Enfermedades del aparato digestivo 10, 26 , 2017	2017
Rely-guarantee termination and cost analyses of loops with concurrent interleavings	Journal of Automated Reasoning 59, 47-85 , 2017	2017
Context-sensitive dynamic partial order reduction	Computer Aided Verification: 29th International Conference, CAV 2017 … , 2017	2017
Sistema para el aprendizaje de lenguajes de programación mediante tutoriales interactivos	Las TIC en la enseñanza. Experiencias en la UCM: actas de la Jornada. 29 de … , 2017	2017
Implementación de un sistema para el aprendizaje de lenguajes de programación mediante tutoriales interactivos		2017
Generation of initial contexts for effective deadlock detection	International Symposium on Logic-Based Program Synthesis and Transformation … , 2017	2017
Testing of concurrent and imperative software using clp	Proceedings of the 18th International Symposium on Principles and Practice … , 2016	2016
SYCO: a systematic testing tool for concurrent objects	Proceedings of the 25th International Conference on Compiler Construction … , 2016	2016
Resource Analysis of Distributed Systems	Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on … , 2016	2016
Resource–usage–aware configuration in software product lines	Journal of Logical and Algebraic Methods in Programming 85 (1), 173-199 , 2016	2016
Las Políticas Activas de Empleo: Configuración y Estudio de su Regulación Jurídica e Institucional (Primera)	España: Aranzadi , 2016	2016
Aplicación del sistema jPET para la generación automática de tests en asignaturas de programación con Java		2016
Formal Techniques for Distributed Objects, Components, and Systems	Springer International Publishing , 2016	2016
Implementación de un entorno de aprendizaje colaborativo de lenguajes de programación mediante traducción		2016
May-happen-in-parallel analysis with condition synchronization	Foundational and Practical Aspects of Resource Analysis: 4th International … , 2016	2016
Envisage: Developing SLA-aware Deployed Services with Formal Methods	ESOCC 2016: Fifth European Conference on Service-Oriented and Cloud Computing , 2016	2016
A formal, resource consumption-preserving translation of actors to haskell	International Symposium on Logic-Based Program Synthesis and Transformation … , 2016	2016
Debugging meets testing in erlang	International Conference on Tests and Proofs, 171-180 , 2016	2016
Aprendizaje de lenguajes de programación mediante tutoriales interactivos: diseño y aplicabilidad		2016
A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY	Software & Systems Modeling 15, 987-1012 , 2016	2016
Combining static analysis and testing for deadlock detection	International Conference on Integrated Formal Methods, 409-424 , 2016	2016
Non-cumulative resource analysis	Tools and Algorithms for the Construction and Analysis of Systems: 21st … , 2015	2015
Parallel Cost Analysis of Distributed Systems		2015
A Multi-Domain Incremental Analysis Engine and its Application to Incremental Resource Analysis	Elsevier , 2015	2015
Las bases de big data	Catarata , 2015	2015
A practical comparator of cost functions and its applications	Science of Computer Programming 111, 483-504 , 2015	2015
Test case generation of actor systems	Automated Technology for Verification and Analysis: 13th International … , 2015	2015
May-happen-in-parallel analysis for asynchronous programs with inter-procedural synchronization	Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France … , 2015	2015
May-happen-in-parallel analysis for actor-based concurrency	ACM Transactions on Computational Logic (TOCL) 17 (2), 1-39 , 2015	2015
Resource Analysis: From Sequential to Concurrent and Distributed Programs		2015
Non-Cumulative Resource Analysis (Author’s version)	Springer , 2015	2015
From non-zenoness verification to termination	2015 ACM/IEEE International Conference on Formal Methods and Models for … , 2015	2015
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization		2015
Challenges and recommendations for preparing hpc applications for exascale	arXiv preprint arXiv:1503.06974 , 2015	2015
Desarrollo de una herramienta de depuración simbólica para las asignaturas de iniciación a la programación en las facultades de Informática y Estudios Estadísticos		2015
Estudio de viabilidad de un entorno de aprendizaje colaborativo de lenguajes de programación		2015
Resource analysis: From sequential to concurrent and distributed programs	FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 … , 2015	2015
STATIC ANALYSIS OF CONCURRENT OBJECTS		2015
A liberal type system for functional logic programs	Mathematical Structures in Computer Science 25 (4), 942-977 , 2015	2015
Parallel cost analysis of distributed systems	International Static Analysis Symposium, 275-292 , 2015	2015
Object‐sensitive cost analysis for concurrent objects	Software Testing, Verification and Reliability 25 (3), 218-271 , 2015	2015
A zoom-declarative debugger for sequential Erlang programs	Science of Computer Programming 110, 104-118 , 2015	2015
Preparing HPC applications for exascale: Challenges and recommendations	2015 18th International Conference on Network-Based Information Systems, 401-406 , 2015	2015
Magnet Cycles and Stability Periods of the CMS Structures from 2008 to 2013 as Observed by the Link Alignment System	Informes Técnicos , 2015	2015
Journal of Logical and Algebraic Methods in Programming		2015
Las bases de Big Data	Las bases de Big Data , 2015	2015
Complexity of Bradley-Manna-Sipma lexicographic ranking functions	International Conference on Computer Aided Verification, 304-321 , 2015	2015
A practical comparator of cost functions and its applications	Elsevier , 2015	2015
Testing abstract behavioral specifications	International Journal on Software Tools for Technology Transfer 17, 107-119 , 2015	2015
Quantified abstract configurations of distributed systems	Formal Aspects of Computing 27, 665-699 , 2015	2015
A multi-domain incremental analysis engine and its application to incremental resource analysis	Theoretical Computer Science 585, 91-114 , 2015	2015
Test Case Generation of Actor Systems		2015
Peak cost analysis of distributed systems	Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany … , 2014	2014
Safe typing of functional logic programs with opaque patterns and local bindings	Information and Computation 235, 36-69 , 2014	2014
FLOP: A User-Friendly System for Automated Program Assessment.	J. Univers. Comput. Sci. 20 (9), 1304-1326 , 2014	2014
Static inference of transmission data sizes in distributed systems	Leveraging Applications of Formal Methods, Verification and Validation … , 2014	2014
Conditional termination of loops over heap-allocated data	Science of Computer Programming 92, 2-24 , 2014	2014
Inference of field-sensitive reachability and cyclicity	ACM Transactions on Computational Logic (TOCL) 15 (4), 1-41 , 2014	2014
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency		2014
Test case generation by symbolic execution: Basic concepts, a clp-based instance, and actor-based concurrency	International School on Formal Methods for the Design of Computer … , 2014	2014
Actor-and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing		2014
Conditional Termination of Loops over Heap-Allocated Data	Elsevier , 2014	2014
Peak Cost Analysis of Distributed Systems (Author's version)		2014
Static Inference of Transmission Data Sizes in Distributed Systems		2014
Actor-and task-selection strategies for pruning redundant state-exploration in testing	Formal Techniques for Distributed Objects, Components, and Systems: 34th … , 2014	2014
Integrated Formal Methods	Springer International Publishing , 2014	2014
Selected Papers from the Software Verification and Testing (SVT 2013) Track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013).: Special Section: Selected and …	Elsevier , 2014	2014
Quantified Abstract Configurations of Distributed Systems	Springer , 2014	2014
EDD: A declarative debugger for sequential Erlang programs	International Conference on Tools and Algorithms for the Construction and … , 2014	2014
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS	Service Oriented Computing and Applications 8, 323-339 , 2014	2014
Rewriting and narrowing for constructor systems with call-time choice semantics1	Theory and Practice of Logic programming 14 (2), 165-213 , 2014	2014
A transformational approach to resource analysis with typed-norms	Logic-Based Program Synthesis and Transformation: 23rd International … , 2014	2014
SACO: static analyzer for concurrent objects	Tools and Algorithms for the Construction and Analysis of Systems: 20th … , 2014	2014
Ranking functions for linear-constraint loops	Journal of the ACM (JACM) 61 (4), 1-55 , 2014	2014
Selected and extended papers from Partial Evaluation and Program Manipulation 2013	Science of Computer Programming 95, 147-148 , 2014	2014
Selected and extended papers from Bytecode 2013	Science of Computer Programming 95 (P3), 343 , 2014	2014
A zoom-declarative debugger for sequential Erlang programs (extended version)	Departamento de Sistemas Informáticos y Computación , 2014	2014
Proving termination starting from the end	Computer Aided Verification: 25th International Conference, CAV 2013, Saint … , 2013	2013
Precise cost analysis via local reasoning	Automated Technology for Verification and Analysis: 11th International … , 2013	2013
Heap space analysis for garbage collected languages	Science of Computer Programming 78 (9), 1427-1448 , 2013	2013
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface	Lecture Notes in Computer Science 8136, V-VIII-V-VIII , 2013	2013
On the inference of resource usage upper and lower bounds	ACM Transactions on Computational Logic (TOCL) 14 (3), 1-35 , 2013	2013
A CLP heap solver for test case generation	Theory and Practice of Logic Programming 13 (4-5), 721-735 , 2013	2013
A calculus for zoom debugging sequential Erlang programs	Technical Report 07/13, Departamento de Sistemas Informáticos y Computación , 2013	2013
Logic-Based Program Synthesis and Transformation	Springer Berlin Heidelberg , 2013	2013
Una evaluación de usabilidad de FLOP		2013
aPET: a test case generation tool for concurrent objects	Proceedings of the 2013 9th Joint Meeting on Foundations of Software … , 2013	2013
A declarative debugger for sequential Erlang programs	International Conference on Tests and Proofs, 96-114 , 2013	2013
Quantified abstractions of distributed systems	Integrated Formal Methods: 10th International Conference, IFM 2013, Turku … , 2013	2013
Typing as functional-logic evaluation	Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and … , 2013	2013
Engineering virtualized services	Proceedings of the Second Nordic Symposium on Cloud Computing & Internet … , 2013	2013
Sistemas de tipos en lenguajes lógico-funcionales	Universidad Complutense de Madrid , 2013	2013
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation	Association for Computing Machinery , 2013	2013
Termination and cost analysis of loops with concurrent interleavings	Automated Technology for Verification and Analysis: 11th International … , 2013	2013
Reachability-based acyclicity analysis by abstract interpretation	Theoretical Computer Science 474, 60-79 , 2013	2013
A calculus for sequential erlang programs	Technical Report 03/13, Departamento de Sistemas Informáticos y Computación … , 2013	2013
On the linear ranking problem for integer linear-constraint loops	ACM SIGPLAN Notices 48 (1), 51-62 , 2013	2013
May-happen-in-parallel based deadlock analysis for concurrent objects	International Conference on Formal Methods for Open Object-Based Distributed … , 2013	2013
Formal Techniques for Distributed Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed …	Springer , 2013	2013
Automatic inference of bounds on resource consumption	Formal Methods for Components and Objects: 11th International Symposium … , 2013	2013
May-Happen-in-Parallel Analysis for Priority-based Scheduling	International Conference on Logic for Programming Artificial Intelligence … , 2013	2013
Certificate size reduction in abstraction-carrying code	Theory and Practice of Logic Programming 12 (3), 283-318 , 2012	2012
Automated extraction of abstract behavioural models from JMS applications	International Workshop on Formal Methods for Industrial Critical Systems, 16-31 , 2012	2012
FLOP, a free laboratory of programming		2012
Symbolic execution of concurrent objects in CLP	Practical Aspects of Declarative Languages: 14th International Symposium … , 2012	2012
Towards a Generic Framework for Guided Test Case Generation in CLP	LOPSTR , 2012	2012
Automatic inference of resource consumption bounds	Logic for Programming, Artificial Intelligence, and Reasoning: 18th … , 2012	2012
Well-typed narrowing with extra variables in functional-logic programming	Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and … , 2012	2012
On the termination of integer loops	ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (4), 1-24 , 2012	2012
MayPar: a may-happen-in-parallel analyzer for concurrent objects	Proceedings of the ACM SIGSOFT 20th International Symposium on the … , 2012	2012
FLOP, a free laboratory of programming	Proceedings of the 12th Koli Calling International Conference on Computing … , 2012	2012
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems	International Journal on Software Tools for Technology Transfer 14, 567-588 , 2012	2012
Transparent function types: Clearing up opacity (extended version)	Technical Report SIC-11-12, Universidad Complutense de Madrid , 2012	2012
A framework for guided test case generation in constraint logic programming	International Symposium on Logic-Based Program Synthesis and Transformation … , 2012	2012
Cost analysis of object-oriented bytecode programs	Theoretical Computer Science 413 (1), 142-159 , 2012	2012
Analysis of may-happen-in-parallel in concurrent objects	International Conference on Formal Methods for Open Object-Based Distributed … , 2012	2012
Transparent function types: clearing up opacity	Proceedings of the 14th symposium on Principles and practice of declarative … , 2012	2012
TOY: a CFLP language and system	The Association for Logic Programming , 2012	2012
Conditional termination of loops over arrays	Proc. of Bytecode 12 , 2012	2012
Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)	CW Reports , 2012	2012
Resource Analysis in the COSTA System	ALP Newsletter 25 (4) , 2012	2012
Sistemas de tipos en lenguajes lógico-funcionales	Universidad Complutense de Madrid , 2012	2012
On the limits of the classical approach to cost analysis	International Static Analysis Symposium, 405-421 , 2012	2012
COSTABS: a cost and termination analyzer for ABS	Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and … , 2012	2012
Towards testing concurrent objects in CLP	Technical Communications of the 28th International Conference on Logic … , 2012	2012
Incremental resource usage analysis	Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and … , 2012	2012
Modular termination analysis of Java bytecode and its application to phoneme core libraries	Formal Aspects of Component Software: 7th International Workshop, FACS 2010 … , 2012	2012
Verified resource guarantees for heap manipulating programs	International Conference on Fundamental Approaches to Software Engineering … , 2012	2012
Extending the System with the ECL i PS e Solver over Sets of Integers	International Symposium on Functional and Logic Programming, 120-135 , 2012	2012
Handling non-linear operations in the value analysis of COSTA	Electronic Notes in Theoretical Computer Science 279 (1), 3-17 , 2011	2011
Simulating concurrent behaviors with worst-case cost bounds	International Symposium on Formal Methods, 353-368 , 2011	2011
Towards Resource-driven CLP-based Test Case Generation	Logic-Based Program Synthesis and Transformation, 183 , 2011	2011
Verified resource guarantees using COSTA and KeY	Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and … , 2011	2011
jpet: An automatic test-case generator for java	2011 18th Working Conference on Reverse Engineering, 441-442 , 2011	2011
Cost analysis of concurrent OO programs	Asian Symposium on Programming Languages and Systems, 238-254 , 2011	2011
Efficient local unfolding with ancestor stacks	Theory and Practice of Logic Programming 11 (1), 1-32 , 2011	2011
Task-level analysis for a language with async/finish parallelism	Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers … , 2011	2011
Compositional clp-based test data generation for imperative languages	Logic-Based Program Synthesis and Transformation: 20th International … , 2011	2011
Type classes in functional logic programming	Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and … , 2011	2011
Welltyped narrowing with extra variables in functional-logic programming (extended version)	Technical Report SIC-11-11, Universidad Complutense de Madrid , 2011	2011
Type Classes in Functional Logic Programming (Author’s version for E-Prints Complutense)	ACM , 2011	2011
Closed-form upper bounds in static cost analysis	Journal of automated reasoning 46, 161-203 , 2011	2011
More precise yet widely applicable cost analysis	Verification, Model Checking, and Abstract Interpretation: 12th … , 2011	2011
Resource-driven clp-based test case generation	International Symposium on Logic-Based Program Synthesis and Transformation … , 2011	2011
PET: a partial evaluation-based test case generation tool for Java bytecode	Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and … , 2010	2010
New results on type systems for functional logic programming	Functional and Constraint Logic Programming: 18th International Workshop … , 2010	2010
From Object Fields to Local Variables: a Practical Approach to Field-Sensitive Analysis	Springer Verlag , 2010	2010
Liberal typing for functional logic programs	Asian Symposium on Programming Languages and Systems, 80-96 , 2010	2010
Automatic inference of acyclicity	Technical report , 2010	2010
Test case generation for object-oriented imperative languages in CLP	Theory and Practice of Logic Programming 10 (4-6), 659-674 , 2010	2010
Parametric inference of memory requirements for garbage collected languages	ACM Sigplan Notices 45 (8), 121-130 , 2010	2010
Generador automático de casos de prueba unitarios para Junit		2010
From object fields to local variables: a practical approach to field-sensitive analysis	Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France … , 2010	2010
Implementing type classes using type-indexed functions	TPF , 2010	2010
Parametric Inference of Memory Requirements for Garbage Collected Languages	ACM , 2010	2010
Generic Functional Logic Programs	Technical Report SIC-03-10, Universidad Complutense de Madrid , 2010	2010
Compositional CLP-based Test Data Generation for Imperative Languages	Springer Verlag , 2010	2010
The acyclicity inference of COSTA	11th International Workshop on Termination , 2010	2010
PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode	ACM , 2010	2010
From Termination to Cost (in Object-Oriented Languages	Informatica , 2010	2010
This volume contains the proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008). The workshop was held in the Castle of …	Electronic Notes in Theoretical Computer Science 237, 1-2 , 2009	2009
Formal Techniques for Java-Like Programs: Report on the 10th Workshop FTfJP at ECOOP 2008	Object-Oriented Technology. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops … , 2009	2009
Decompilation of Java bytecode to Prolog by partial evaluation	Information and Software Technology 51 (10), 1409-1427 , 2009	2009
Comparing cost functions in resource analysis	International Workshop on Foundational and Practical Aspects of Resource … , 2009	2009
18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)	arXiv preprint arXiv:0903.1598 , 2009	2009
Field-Sensitive Value Analysis by Field-Insensitive Analysis	Springer Verlag , 2009	2009
Field-sensitive value analysis by field-insensitive analysis	FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands … , 2009	2009
Termination and Cost Analysis with COSTA and its User Interfaces	Elsevier , 2009	2009
A declarative encoding of telecommunications feature subscription in SAT	Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of … , 2009	2009
Noticia de nuevos taxones para la ciencia en el ámbito Ibero-Balear y Macaronésico	Graellsia 65 (2), 249-280 , 2009	2009
Planeación estratégica y operativa	Recuperado el , 2009	2009
Advances in type systems for functional logic programming		2009
Upper Bounds on Memory Usage for Garbage-Collected Languages	Informatica , 2009	2009
Type-based homeomorphic embedding for online termination	Information processing letters 109 (15), 879-886 , 2009	2009
Asymptotic resource usage bounds	Asian Symposium on Programming Languages and Systems, 294-310 , 2009	2009
Advances in type systems for functional logic programming	Functional and (Constraint) Logic Programming, 157 , 2009	2009
Transformación y análisis de código de bytes orientado a objetos	Universidad Complutense de Madrid Madrid , 2009	2009
Live Heap Space Analysis for Languages with Garbage Collection	ACM , 2009	2009
Live heap space analysis for languages with garbage collection	Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE … , 2009	2009
Reconstrucción (CUPCAM 2007, problema G, solución)	Novática: Revista de la Asociación de Técnicos de Informática 199, 75-76 , 2009	2009
Resource Usage Analysis and its Application to Resource Certification (Part II)		2009
Termination and cost analysis with COSTA and its user interfaces	Electronic Notes in Theoretical Computer Science 258 (1), 109-121 , 2009	2009
On the generation of test data for prolog by partial evaluation	arXiv preprint arXiv:0903.2199 , 2009	2009
Correctores automáticos de programas: implantación realista en la docencia universitaria	Actas del II Seminario de Investigación en Tecnologías de la Información … , 2009	2009
Cost relation systems: A language-independent target language for cost analysis	Electronic Notes in Theoretical Computer Science 248, 31-46 , 2009	2009
Live heap space analysis for languages with garbage collection	Proceedings of the 2009 international symposium on Memory management, 129-138 , 2009	2009
Advances in type systems for functional-logic programming (extended version)		2009
A practical type analysis for verification of modular prolog programs	Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and … , 2008	2008
COSTA : Design and Implementation of a Cost and Termination Analyzer for Java Bytecode	Formal Methods for Components and Objects: 6th International Symposium, FMCO … , 2008	2008
Upper Bounds of Resource Usage for Java Bytecode using COSTA and its Web Interface	Workshop on Resource Analysis , 2008	2008
Automatic inference of upper bounds for recurrence relations in cost analysis	Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain … , 2008	2008
Inferring non-suspension conditions for logic programs with dynamic scheduling	ACM Transactions on Computational Logic (TOCL) 9 (3), 1-43 , 2008	2008
Dealing with numeric fields in termination analysis of java-like languages	Formal Techniques for Java-like Programs (FTfJP), 77 , 2008	2008
Test Data Generation of Bytecode by CLP Partial Evaluation	Springer Verlag , 2008	2008
Termination analysis of Java bytecode	Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 … , 2008	2008
Correctores automáticos de programas: Implantación realista en la docencia universitaria	Actas del II Seminario de Investigación en Tecnologías de la Información … , 2008	2008
The COSTA cost and termination analyzer for java bytecode and its web interface (tool demo)	22nd European Conference on Object-Oriented Programming , 2008	2008
Noticia de nuevos taxones para la ciencia en el ámbito Ibero-Balear y Macaronésico	Graellsia 64 (2), 355-385 , 2008	2008
Modular decompilation of low-level code by partial evaluation	2008 Eighth IEEE International Working Conference on Source Code Analysis … , 2008	2008
COSTA: a cost and termination analyzer for Java Bytecode	Proc. of BYTECODE Workshop, ENTCS. Elsevier , 2008	2008
Test data generation of bytecode by CLP partial evaluation	International Symposium on Logic-Based Program Synthesis and Transformation … , 2008	2008
Abstraction-carrying code: a model for mobile code safety	New Generation Computing 26, 171-204 , 2008	2008
Removing useless variables in cost analysis of Java bytecode	Proceedings of the 2008 ACM symposium on Applied computing, 368-375 , 2008	2008
Constancy analysis	Formal Techniques for Java-like Programs (FTfJP), 100 , 2008	2008
Improving the decompilation of Java bytecode to Prolog by partial evaluation	Electronic Notes in Theoretical Computer Science 190 (1), 85-101 , 2007	2007
A generic framework for the cost analysis of java bytecode	Spanish Conference on Programming and Computer Languages (PROLE’07) , 2007	2007
Uso de hardware gráfico para la aceleración de métodos algebraicos de recontrucción		2007
Experiments in cost analysis of Java bytecode	Electronic Notes in Theoretical Computer Science 190 (1), 67-83 , 2007	2007
COSTA : Design and Implementation of a Cost and Termination Analyzer for Java Bytecode	International Symposium on Formal Methods for Components and Objects, 113-132 , 2007	2007
Termination analysis of logic programs through combination of type-based norms	ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 10-es , 2007	2007
Verification of Java bytecode using analysis and transformation of logic programs	Practical Aspects of Declarative Languages: 9th International Symposium … , 2007	2007
Cost analysis of java bytecode	Programming Languages and Systems: 16th European Symposium on Programming … , 2007	2007
Resource usage analysis and its application to resource certification	International School on Foundations of Security Analysis and Design, 258-288 , 2007	2007
Heap space analysis for Java bytecode	Proceedings of the 6th international symposium on Memory management, 105-116 , 2007	2007
Type-based homeomorphic embedding and its applications to online partial evaluation	International Symposium on Logic-Based Program Synthesis and Transformation … , 2007	2007
Some Issues on Incremental Abstraction-Carrying Code	arXiv preprint cs/0701111 , 2007	2007
Applications of Static Slicing in Cost Analysis of Java Bytecode	3rd International Workshop on Programming Language Interference and … , 2007	2007
Abstract interpretation with specialized definitions	International Static Analysis Symposium, 107-126 , 2006	2006
Generation of Reduced Certificates in Abstraction-Carrying Code	PROLE’06, 77 , 2006	2006
Context-sensitive multivariant assertion checking in modular programs	Logic for Programming, Artificial Intelligence, and Reasoning: 13th … , 2006	2006
On Abstraction-Carrying Code and Certificate-Size Reduction	Emerging Applications of Abstract Interpretation , 2006	2006
Experiments in context-sensitive analysis of modular programs	Springer Berlin Heidelberg , 2006	2006
Reduced certificates for abstraction-carrying code	Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA … , 2006	2006
An incremental approach to abstraction-carrying code	Logic for Programming, Artificial Intelligence, and Reasoning: 13th … , 2006	2006
Detecting determinacy in Prolog programs	International Conference on Logic Programming, 132-147 , 2006	2006
Incremental certificates and checkers for abstraction-carrying code	Sixth Workshop on Issues in the Theory of Security , 2006	2006
Information flow analysis for java bytecode	International Workshop on Verification, Model Checking, and Abstract … , 2005	2005
Converting one type-based abstract domain to another	International Symposium on Logic-Based Program Synthesis and Transformation … , 2005	2005
Experiments in context-sensitive analysis of modular programs	International Symposium on Logic-Based Program Synthesis and Transformation … , 2005	2005
A generic framework for the analysis and specialization of logic programs	Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain … , 2005	2005
Abstraction carrying code and resource-awareness	Proceedings of the 7th ACM SIGPLAN international conference on Principles … , 2005	2005
Operational semantics for declarative multi-paradigm languages	Journal of Symbolic Computation 40 (1), 795-829 , 2005	2005
Abstraction-carrying code	Logic for Programming, Artificial Intelligence, and Reasoning: 11th … , 2005	2005
Inferring termination conditions for logic programs using backwards analysis	Theory and Practice of Logic Programming 5 (1-2), 75-91 , 2005	2005
Non-leftmost unfolding in partial evaluation of logic programs with impure predicates	International Symposium on Logic-Based Program Synthesis and Transformation … , 2005	2005
Determinacy Inference by Suspension Inference	University of Kent, Computing Laboratory , 2005	2005
An abstract interpretation-based approach to mobile code safety	Electronic Notes in Theoretical Computer Science 132 (1), 113-129 , 2005	2005
Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system	European Conference on Parallel Processing, 21-36 , 2004	2004
Modeling secure information flow with boolean functions	IFIP WG 1, 55-66 , 2004	2004
Abstract interpretation-based mobile code certification	International Conference on Logic Programming, 446-447 , 2004	2004
Experiments in abstract interpretation-based code certification for pervasive systems	2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat … , 2004	2004
Manipulación y edición de sonido digital		2004
A generic framework for context-sensitive analysis of modular programs	Program Development in Computational Logic: A Decade of Research Advances in … , 2004	2004
Efficient local unfolding with ancestor stacks for full prolog	International Symposium on Logic-Based Program Synthesis and Transformation … , 2004	2004
A generic persistence model for (C) LP systems (and two useful implementations)	Practical Aspects of Declarative Languages: 6th International Symposium … , 2004	2004
Time Equations for Lazy Functional (Logic) Languages.	APPIA-GULP-PRODE, 13-24 , 2003	2003
A generic persistence model for (C) LP systems	Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India … , 2003	2003
Goal-independent suspension analysis for logic programs with dynamic scheduling	European Symposium on Programming, 84-98 , 2003	2003
A note on the reuse of the results of a termination analysis based on polymorphic types	CW Reports, 10-10 , 2003	2003
One loop at a time	6th International Workshop on Termination, Date: 2003/06/13-2003/06/14 … , 2003	2003
Proving termination one loop at a time	Proc. WLPE 3 , 2003	2003
A residualizing semantics for the partial evaluation of functional logic programs	Information Processing Letters 85 (1), 19-25 , 2003	2003
A Deterministic Operational Semantics for Functional Logic Programs.	APPIA-GULP-PRODE, 207- , 2002	2002
Reuse of results in termination analysis of typed logic programs	Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain … , 2002	2002
A Semantic Based Workbench for the Termination Analysis of Logic Programs	Ben-Gurion University of the Negev , 2002	2002
The narrowing-driven approach to functional logic program specialization	New Generation Computing 20 (1), 3-26 , 2002	2002
Terminweb: Semantic based termination analyser for logic programs		2002
Combining norms to prove termination	Verification, Model Checking, and Abstract Interpretation: Third … , 2002	2002
Toy: A multiparadigm declarative language	Version 2.0. Technical Report, Dpto. Sistemas Informáticos y Programación … , 2002	2002
Operational Semantics for Lazy Functional Logic Programs	Proc. of Workshop on Reduction Strategies in Rewriting and Programming (WRS … , 2002	2002
T OY: A Multiparadigm Declarative Language. Version 1.0. Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid	Tech. Report SIP-119/00 , 2002	2002
Operational semantics for functional logic languages	Electronic Notes in Theoretical Computer Science 76, 1-19 , 2002	2002
Partial evaluation of multi‐paradigm declarative languages	AI Communications 14 (4), 235-237 , 2001	2001
Symbolic profiling for multi-paradigm declarative languages	International Workshop on Logic-Based Program Synthesis and Transformation … , 2001	2001
A configuration framework to develop and deploy distributed logic applications	ICLP01 Colloquium on Implementation of Constraint and LOgic Programming … , 2001	2001
Source-Level Abstract Profiling of Multi-Paradigm Declarative Languages	Proc. of Int’l Workshop on Logic-based Program Synthesis and Transformation … , 2001	2001
Worst-case groundness analysis using definite Boolean functions	Theory and Practice of Logic Programming 1 (5), 611-615 , 2001	2001
Inferring termination conditions for logic programs using backwards analysis	International Conference on Logic for Programming Artificial Intelligence … , 2001	2001
A general framework for lazy functional logic programming with algebraic polymorphic types	Theory and Practice of Logic Programming 1 (2), 185-245 , 2001	2001
The def-inite approach to dependency analysis	European Symposium on Programming, 417-431 , 2001	2001
A practical partial evaluator for a multi-paradigm declarative language	International Symposium on Functional and Logic Programming, 326-342 , 2001	2001
Measuring the effectiveness of partial evaluation in functional logic languages	Logic Based Program Synthesis and Transformation: 10th International … , 2001	2001
Agent Programming in Ciao Prolog	Portuguese Conference on Artificial Intelligence, 1-2 , 2001	2001
Higher-precision groundness analysis	Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus … , 2001	2001
La estadística en química analítica	Universidad de Navarra.[Consulta: 26 març 2014] , 2001	2001
Risperidone: a real alternative for patients treated with depot neuroleptics	Actas Espanolas de Psiquiatria 28 (6), 367-372 , 2000	2000
Preference-based configuration of web page content	14th European Conference on Artificial Intelligence (ECAI 2000 … , 2000	2000
Improving functional logic programs by difference-lists	Annual Asian Computing Science Conference, 237-254 , 2000	2000
Using an abstract representation to specialize functional logic programs	International Conference on Logic for Programming Artificial Intelligence … , 2000	2000
Inhibition of low-density lipoprotein (LDL) lipid peroxidation by policosanol, a new cholesterol-lowering agent	Atherosclerosis 151 (1), 54-54 , 2000	2000
Comprobada la reproducción en libertad del Visón Americano (Mustela vison) en Álava	Galemys: Boletín informativo de la Sociedad Española para la conservación y … , 2000	2000
Dermatitis atópica	Piel, 1-4 , 2000	2000
Commission 15: Physical Study of Comets, Minor Planets, and Meteorites (L’Etude Physique des Cometes, des Petites Planetes et des Meteorites)	Transactions of the International Astronomical Union 24 (1), 93-114 , 2000	2000
The modulation of anxiety by uncontrollability in the appetitive paradigm	INTERNATIONAL JOURNAL OF PSYCHOLOGY 35 (3-4), 116-116 , 2000	2000
Trastornos del sueño. Polisomnografía	Manual del residente de neurología, 485-493 , 2000	2000
Teratoma intracraneal: diagnóstico ecográfico	Prog. diagn. prenat.(Ed. impr.), 64-68 , 2000	2000
Comparative study of the efficacy and tolerability of policosanol (10 mg/d and lovastatin (20 mg/d) on patients with type ii hypercholesterolemia and non insulin dependent …	Atherosclerosis 151 (1), 273-273 , 2000	2000
A 49 year old patient with single left ventricular morphology who underwent surgical repair and good outcome	Revista Espanola de Cardiologia 53 (8), 1140-1143 , 2000	2000
Session 9. Program analysis-Using an Abstract Representation to Specialize Functional Logic Program	Lecture Notes in Computer Science 1955, 381-398 , 2000	2000
Realistic Program Specialization in a Multi-Paradigm Language.	WFLP, 104-119 , 2000	2000
Clinical Studies-Effects of Policosanol on the Susceptibility of Low-Density Lipoprotein Isolated from Hypercholesterolemic Patients at High Coronary Risk to in Vitro Copper …	Current Therapeutic Research 61 (9), 609-620 , 2000	2000
Posibilidades de inmersión en ambientes pasados: Una visita interactiva al laboratorio de Santiago Ramón y Cajal mediante Visionarium.	XII Congreso Internacional de Ingeniería Gráfica [recurso electrónico … , 2000	2000
Historia de los Parques Nacionales Españoles, 3: Teide, Caldera de Taburiente, Timanfaya y Garajonay	Serie Histórica-Organismo Autónomo Parques Nacionales (España) , 2000	2000
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation.	WFLP, 120-127 , 2000	2000
Tratamiento antibiótico intratecal intraventricular en meningitis infecciosa postquirúrgica	Rev. neurocir, 94-8 , 2000	2000
doi: 10.1006 jabr. 1999.8256, available online at http://www. idealibrary. com on	Journal of Algebra 223, 647-648 , 2000	2000
Inappropriateness of the admissions in an Internal Medicine ward according the AEP Protocol	ANALES DE MEDICINA INTERNA-MADRID-ORGANO OFICIAL DE LA SOCIEDAD ESPANOLA DE … , 2000	2000
49-year-old patient with left morphology single ventricle who underwent surgical repair and uncomplicated course	REVISTA ESPANOLA DE CARDIOLOGIA 53 (8), 1140-1143 , 2000	2000
Orbital cellulitis in childhood. Review	PEDIATRIKA 20, 33-37 , 2000	2000
La enseñanza de Java en los estudios de Informática	Asociación de Enseñantes Universitarios de la Informática (AENUI) , 2000	2000
Training of chemical engineers for the 21st century. 1. The higher education environment and frames of references for training of engineers in industrialized countries	INGENIERIA QUIMICA, 53-63 , 2000	2000
Incremental refinement of semantic based program analysis for logic programs	Proceedings of the 22nd Australasian Computer Science Conference. Springer … , 1999	1999
Intensive chemotherapy (CHT), allogeneic (ALLO) or autologous (AUTO) hematopoietic cells transplantation (HCT) for hig-risk ALL (HRALL). Results of the ongoing protocol PETHEMA …	BONE MARROW TRANSPLANTATION 23, S8-S8 , 1999	1999
Hypoxia induces vasoactive cell-mediator production in peritoneal macrophages (M phi) of cirrhotic patients.	HEPATOLOGY 30 (4), 230A-230A , 1999	1999
Blood pressure in the acute stroke: comparison of casual readings at the emergency room and ward with measurements by ambulatory blood pressure monitoring during the first 24 …	American Journal of Hypertension 12 (S4), 198-198 , 1999	1999
A partial evaluation framework for Curry programs	International Conference on Logic for Programming Artificial Intelligence … , 1999	1999
Four years of results with Roundup Ready varieties.		1999
Hypoxia Induces Vasoactive Cell-Mediator Production in Peritoneal Macrophages (m ) of Cirrhotic Patients	HEPATOLOGY-BALTIMORE THEN ORLANDO- 30, 277-277 , 1999	1999
Effect of blood pressure in acute stroke on mortality and functional status at 30 days.	American Journal of Hypertension 12 (S4), 197-197 , 1999	1999
A one year open study on the efficacy, and tolerability of policosanol (20 mg/day) in patients with hypercholesterolemia and high global coronary risk	Atherosclerosis 144, 27 , 1999	1999
Functional plus logic programming with built-in and symbolic constraints	International Conference on Principles and Practice of Declarative … , 1999	1999
A comparative study on the efficacy and tolerability of policosanol and lovastatin in patients with hypercholesterolemia and high coronary risk	Atherosclerosis 144, 26-27 , 1999	1999
Megatherapy with stem cell rescue in neuroblastoma, experience in a single center.	BONE MARROW TRANSPLANTATION 23, S247-S247 , 1999	1999
Autologous PBPC transplantation in children: A comparative study between two different G-CSF priming regimens (10 vs 15 mu g/Kg/day).	BONE MARROW TRANSPLANTATION 23, S247-S247 , 1999	1999
Coma hiperosmolar hiperglucémico no cetósico (CHNC)	Med. intensiva, 101-103 , 1999	1999
INDY User's Manual (v1. 8)		1998
Treatment plan# 3. Emergency/acute care unit	Revista de enfermeria (Barcelona, Spain) 21 (235), 29-31 , 1998	1998
Gabapentin in chronic neuropathic pain (preliminary results)	BRITISH JOURNAL OF ANAESTHESIA 80, A. 584-A. 584 , 1998	1998
Improving control in functional logic program specialization	International Static Analysis Symposium, 262-277 , 1998	1998
Influencia del método de retorno al final de la diálisis en la dosis de heparina	NUTRICIÓN Y DIÁLISIS ADECUADA EN DIÁLISIS PERITONEAL, 31 , 1998	1998
Hidrogeología y contaminación del acuífero aluvial de Valladolid	Medio ambiente en Castilla y León 5 (10), 21-30 , 1998	1998
Spinal myoclonus with antibodies against glutamic decarboxylase	Neurologia (Barcelona, Spain) 13 (7), 367-368 , 1998	1998
La Pregunta: Aceptaria un traslado al extranjero?	ACTUALIDAD ECONOMICA, 42-53 , 1998	1998
Diagnostic and therapeutic protocol for Turners syndrome	ACTA PEDIATRICA ESPANOLA 56, 291-295 , 1998	1998
D. Carlos Pérez-Íñigo Quintana (1922-1997)	Graellsia 54, 133-141 , 1998	1998
Solar System Formation and Evolution	Solar System Formation and Evolution 149 , 1998	1998
Resultados en Espana con variedades Bollgard y Maisgard, geneticamente protegidas contra insectos	Phytoma Espana (Espana) , 1998	1998
Information systems for staff training for network contingency management	Water Supply 16 (1), 367-369 , 1998	1998
Resistance to sulfur poisoning of Ir and Ir-Re/gamma-Al2O3 catalysts	BOLETIN DE LA SOCIEDAD CHILENA DE QUIMICA 43 (3), 273-280 , 1998	1998
Public/private partnerships of water supply throughout the world: National report Portugal	Water Supply 16 (1), 79-80 , 1998	1998
INDY user’s manual	Technical Report DSIC-II/12/98, UPV, 1998. Available from URL: http://www … , 1998	1998
A minimality study for set unification		1998
Familial episodic ataxia type 2. Clinical and genetic study of one family	Neurologia (Barcelona, Spain) 13 (8), 382-387 , 1998	1998
Embedding multiset constraints into a lazy functional logic language	International Conference on Algebraic and Logic Programming, 429-444 , 1998	1998
Molecular heterogeneity of high-grade astrocytomas according cell cycle regulatory proteins and proliferative rate.	LABORATORY INVESTIGATION 76 (1), 878-878 , 1997	1997
Nonspecificity of the paraffin-reactive hepatitis C virus monoclonal antibodies clones TORDJI-22 and TORDJI-32 due to cross-react with mitochondrial proteins.	LABORATORY INVESTIGATION 76 (1), 862-862 , 1997	1997
Characterization and viral safety validation study of an antithrombin III pasteurized concentrate	THROMBOSIS AND HAEMOSTASIS, P2109-P2109 , 1997	1997
Estudio de una cronosecuencia en clima seco subhumedo del sur de España	Edafología 2 (1), 197-204 , 1997	1997
Comparative study of policosanol, gemfibrozil and combination therapy in the treatment of type II hypercholesterolemia	Atherosclerosis 134 (1-2), 129-129 , 1997	1997
Specifications: What is Necessary to Start Clinical Trials? 59 Workshop Summary	Developments in Biological Standardization 91, 61-62 , 1997	1997
Gastrointestinal autonomic nerve tumor (GANT). Radiological findings	Radiologia (Madrid) 39 (6), 439-441 , 1997	1997
Epidural abscess of infrequent etiology	Enfermedades infecciosas y microbiologia clinica 15 (5), 267-268 , 1997	1997
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types.	ILPS, 53-67 , 1997	1997
[Ringings and wild birds recovery in Alava [Spain]]	Sustrai (Espana) , 1997	1997
Prognostic value of CD 44 v6 expression in renal epithelial	LABORATORY INVESTIGATION 76 (1), 415-415 , 1997	1997
A semantic framework for functional logic programming with algebraic polymorphic types	Colloquium on Trees in Algebra and Programming, 453-464 , 1997	1997
A new monitoring system for piping systems in fossil-fired power plants		1996
The role of inflammation in transscleral contact diode laser photocoagulation	VISION RESEARCH 36, 38-38 , 1996	1996
Objetivos en desarrollo sobre esparrago verde cultivado en invernadero.	Agricola Vergel , 1996	1996
Viral safety validation of a high purity human factor VIII concentrate with two specific viral inactivation treatments (Fanhdi (R)).	Sangre-Trabajos de Hematologia y Hemoterapia 41 (2), 131-136 , 1996	1996
Methodology for monitoring radionuclide activity in waste waters	Centro de Estudios Aplicados al Desarrollo Nuclear (CEADEN) , 1996	1996
Methodology for monitoring radionuclide activity in waste waters; Metodologia para el control de radionuclidos en aguas residuales		1996
Relationship between magnesium and intact PTH concentrations in patients on hemodialysis.	JOURNAL OF THE AMERICAN SOCIETY OF NEPHROLOGY 7 (9), A2851-A2851 , 1996	1996
Pseudotumor of the neck in an infant: cervicothoracic thymes; Pseudotumor cervical en lactante: timo cervicotoracico	Radiologia 38 , 1996	1996
Perspectivas del cultivo de sorgo azucarero para bio-etanol en España en base a resultados varietales en ensayos multilocales	Itea. Producción Vegetal, 73-82 , 1996	1996
Faculty assessment of students' teaching evaluation	PSICOTHEMA 8 (1), 167-172 , 1996	1996
Uso y necesidades de la tecnologías limpias en la PYMI	INSOTEC, Quito, EC , 1996	1996
Biopsychopathologie risk profile of adolescents with eating disorder symptoms	Adolescence 31, 1-122 , 1996	1996
Evaluación del efecto hipotensor del felodipino en monoterapia y asociado a enalapril en la hipertensión arterial esencial leve y moderada	Nefrología 16 (3), 261-264 , 1996	1996
Functional logic programming with real numbers	Proc. of the JICSLP 96, 96-28 , 1996	1996
Long term evolution of intraocular pressure (IOP) after diode laser photocoagulation	VISION RESEARCH 36, 36-36 , 1996	1996
Melkersson-Rosenthal syndrome. A case report.	Medicina Oral: Organo Oficial de la Sociedad Espanola de Medicina Oral y de … , 1996	1996
Developing objetives about the green asparagus grown in greenhouse	Agricola Vergel (Espana) , 1996	1996
Tratamiento numérico de los modos radiales de oscilación esferoidal	Métodos numéricos en ingeniería:[comunicaciones presentadas al III Congreso … , 1996	1996
ESTUDIO DE LA EFICACIA DEL POLICOSANOL EN PACIENTES CON HIPERLIPOPROTEINEMIA TIPO 11: ESTUDIO ABIERTO	Revista CENIC Ciencias Biológicas 27 (1-2-3), 036-037 , 1996	1996
Treatment of common warts with cimetidine	ACTAS DERMOSIFILIOGRAFICAS 87, 123-127 , 1996	1996
Real Constraints within a Functional Logic Language.	APPIA-GULP-PRODE, 451-464 , 1996	1996
The influence of exposure time in transscleral diode laser cyclophotocoagulation.	VISION RESEARCH 36, 37-37 , 1996	1996
Advanced manufacturing in Spain: Current situation, main problems and some examples	The 1996 International Conference on Education in Manufacturing, 1996 , 1996	1996
Minimal set unification	Programming Languages: Implementations, Logics and Programs: 7th … , 1995	1995
L'adolescent i el son: aspectes epidemiològics	Butll. Soc. Catalan Pediatr. 55, 13-14 , 1995	1995
Resultados terapéuticos en el desprendimiento de retina infantil postraumático	Archivos de la Sociedad Española de Oftalmología 68 (5), 469-474 , 1995	1995
Tratamiento de los hemangiomas orbitarios y palpebrales infantiles	Archivos de la Sociedad Española de Oftalmología 68 (6), 541-546 , 1995	1995
Eficacia de la 6-mercaptopurina en el tratamiento de la enfermedad inflamatoria intestinal	Revista Espanola de Enfermedades Digestivas 87 (11), 775-780 , 1995	1995
Support for low-risk herbicide formulations for an agriculture more considerate of the environment.		1995
Infections by Herpesvirus in monkeys. I. Neurotropic herpesvirus	MEDICINA VETERINARIA 12, 713-719 , 1995	1995
Valoración de programas: factores que infuyen en su credibilidad	Análisis y modificación de conducta 21 (75), 51-72 , 1995	1995
Presencia española en las listas de discusión de internet sobre epidemiología	Gaceta Sanitaria 9 (51), 380-381 , 1995	1995
Casos en imagen 4: hamartoma pulmonar gigante	Radiología (Madrid) 37 (4) , 1995	1995
DNA GYRASE INHIBITORY ACTIVITY OF ELLAGIC ACID-DERIVATIVES	ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY 210, 178-MEDI , 1995	1995
DIAGNOSTICO SEROLOGICO DE LA INFECCION NEUROLOGICA RECURRENTE POR VIRUS VARICELA ZOSTER	L’Igiene Moderna 104, 185-190 , 1995	1995
Spanish presence in Internet discussion lists on epidemiology	Gaceta sanitaria 9 (51), 380-381 , 1995	1995
SYNTHESIS AND DNA GYRASE INHIBITORY ACTIVITY OF NOVEL AZA-ANALOGS OF FLAVONES	ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY 210, 177-MEDI , 1995	1995
Acerca de una aplicación de microorganismos para evitar la clorosisférrica	Edafología 1 (1), 53-60 , 1995	1995
La evaluación como herramienta de control en el proceso de enseñanza-aprendizaje para grupos con elevado número de alumnos	Actas del Symposium de Innovación Universitaria:" Diseño, desarrollo y … , 1995	1995
Patologías del asta: su incidencia con la analítica legal	II Symposium del Toro de lidia. Zafra , 1995	1995
A debugging model for lazy narrowing	Programming Languages: Implementations, Logics and Programs: 7th … , 1995	1995
Introduction of Rhodes Callide (Chloris gayana cv. Callidae) on established pastures and its effect on pasture stability and milk production	Revista Cubana de Ciencia Agricola (Cuba) 29 (3) , 1995	1995
A two years study on the efficacy and tolerability of policosanol (10mg/day) in patients with type II hypercholesterolemia	Atherosclerosis 115, S20-S20 , 1995	1995
Microftalmos colobomatoso unido a quiste orbitario: evolución clínica y ecográfica	Archivos de la Sociedad Española de Oftalmología 66 (2), 125-130 , 1994	1994
Studio delle fibre sintetiche mediante applicazione del diagramma di Mumbrú-Fabra	Tinctoria 91 (8), 45-50 , 1994	1994
A Debugging Model for Lazy Functional Logic Languages.	GULP-PRODE (2), 117-131 , 1994	1994
PRONUCLEAR FORMATION AND SYNGAMY IN THE EGG OF THE GLOSSIPHONIID LEECH THEROMYZON RUDE	DEVELOPMENTAL BIOLOGY 163 (2), 556-556 , 1994	1994
Fourth meeting of the European Neurological Society 25–29 June 1994 Barcelona, Spain: Abstracts of Symposia and free communications	Journal of Neurology 241 (Suppl 1), 1-164 , 1994	1994
TRANSMUCOUS POTENTIAL DIFFERENCES IN THE FUNCTIONAL-STUDY OF ILEOANAL RESERVOIRS	GASTROENTEROLOGY 106 (4), A699-A699 , 1994	1994
OPTIMIZING ERYTHROPOIETIN TREATMENT IN HEMODIALYSIS-PATIENTS-USE OF INTRAVENOUS FE-GLUCONATE	KIDNEY INTERNATIONAL 46 (2), 573-573 , 1994	1994
Wernicke's encephalopathy in non-alcoholic patients: a diagnosis to be considered	Medicina clinica 102 (17), 678-679 , 1994	1994
Combining lazy narrowing with disequality constraints	Programming Language Implementation and Logic Programming: 6th International … , 1994	1994
Distribucion y calidad del agua de riego en la region agricola del campo de Nijar.	Riegos y Drenajes XXI , 1994	1994
Prediction of Surgical Criteria for Bell’s Palsy on the Fifth Day of Evolution	The Facial Nerve: An Update on Clinical and Basic Neuroscience Research, 529-529 , 1994	1994
Mejoramiento de pastos naturales para la produccion de leche mediante el intercalamiento de Leucaena leucocephala.	ACPA 13 , 1994	1994
Electroneurographic Evaluation of Facial Palsy. Early and Late Results in 350 Patients	The Facial Nerve: An Update on Clinical and Basic Neuroscience Research, 238-238 , 1994	1994
Fourth meeting of the European Neurological Society 25–29 June 1994 Barcelona, Spain	Springer Science and Business Media LLC , 1994	1994
Development and installation of a new monitoring system for piping systems in fossil fired power plants; Entwicklung und Einsatz eines modernen Rohrleitungsueberwachungssystems …		1994
Does pregnancy influence the activity of chronic hepatitis C?	Revista espanola de enfermedades digestivas 86 (3), 700-701 , 1994	1994
Distribution and quality of the irrigation water in the agricultural region of Campo de Nijar	Riegos y Drenajes XXI (Espana) , 1994	1994
Meningitis caused by Haemophilus influenzae type b: its immunological prevention. A necessity?	Archivos dominicanos de pediatria 30 (1), 21-24 , 1994	1994
PARENTERAL-NUTRITION	REVISTA CLINICA ESPANOLA 194, 767-773 , 1994	1994
Target-Motion Modellingg based on time series and Kalman filtering		1993
Uso de autotrasfusión en 240 operaciones torácicas	Bol. Acad. Nac. Med. B. Aires, 547-59 , 1993	1993
The mineralogy of the soils of Carboneras.		1993
Study of a soil toposequence in the olive growing district of Martos, Jaén province, Spain.		1993
Retinoblastoma: tratamiento y factores pronóstica	Archivos de la Sociedad Española de Oftalmología 64 (4), 267-274 , 1993	1993
Morphologic and functional heart changes in a group of healthy elderly individuals aged 70 years and over	Anales de Medicina Interna (Madrid, Spain: 1984) 10 (1), 21-24 , 1993	1993
Primary abscess of psoas	REVISTA CLINICA ESPANOLA 192 (5), 247-248 , 1993	1993
Relation between clay mineralogy and parent material in the Macael area (Almeria).		1993
Implicaciones parasitarias de Frankliniella occidentalis (Pergande)(Thysanoptera: Thripidae) en el cultivo de gerbera (1)	Boletín de sanidad vegetal. Plagas 19 (2), 193-209 , 1993	1993
EFFICACY AND TOLERANCE OF PRAZIQUANTEL IN PATIENTS WITH DYSTOMATOSIS DUE TO FASCIOLA-HEPATICA	GASTROENTEROLOGY 104 (4), A699-A699 , 1993	1993
Fertirrigation-induced salinity in soils used in forced cropping	Agrochimica 36 (4-5), 371-380 , 1992	1992
SYNCOPE RESULTING FORM SICK-SINUS SYNDROME AND ADRENOCORTICAL INSUFFICIENCY	REVISTA CLINICA ESPANOLA 190 (1), 43-43 , 1992	1992
Pili trianguli et canaliculi: dos observaciones familiares	Actas dermo-sifiliográficas (Ed. impresa) 83 (1-2), 79-82 , 1992	1992
Salt tolerance of Galia melon in seedbed	Congresos-Comunidad Autonoma de Murcia (Espana) , 1992	1992
Roundup Sec, a clean formulation for environmentally compatible agriculture.		1992
Meningoencefalitis bacteriana	Med. intensiva, 208-228 , 1992	1992
Tolerancia a la salinidad del melon Galia en semillero.	Congresos-Comunidad Autonoma de Murcia (Espana). no. 2. , 1992	1992
Hormigones de alta resistencia. El puente sobre el río Eo.	Cemento Hormigón, 1057-1073 , 1992	1992
Fertirrigation-induced salinity in soils used in forced cropping [in Spain]	Agrochimica (Italy) 36 (4) , 1992	1992
DIFFERENT PATTERNS OF NEURONAL DEGENERATION ARE CAUSED BY ACUTE AND SUBCHRONIC SYSTEMIC ADMINISTRATION OF KAINATE TO ADULT-RATS	EUROPEAN JOURNAL OF NEUROSCIENCE, 297-297 , 1992	1992
Influence of spray liquid pH on the efficacy of foliar-applied herbicides used mainly in vegetable crops.		1992
Numerical Analysis of Simultaneous Surface and Subsurface Features in Homogeneous Solids and in Coatings by the Mirage Technique	Photoacoustic and Photothermal Phenomena III: Proceedings of the 7th … , 1992	1992
ALTERNARIA EXTRACTS-TEMPERATURE INFLUENCE IN ELECTROPHORETIC PATTERNS AND ALLERGENIC ACTIVITY	JOURNAL OF ALLERGY AND CLINICAL IMMUNOLOGY 89 (1), 147-147 , 1992	1992
The use of effluents from" Juan Manuel Marquez" Agroindustrial Enterprise as sugarcane irrigation and fertilization	Cultivos Tropicales (Cuba) 12 (2) , 1991	1991
Detection limit calculation. Calculo del limite de deteccion	Seguridad Radiologica;(Argentina) 5 , 1991	1991
Elsevier Science Publishers BV, Amsterdam	Fluid Phase Equilibria 69, 305 , 1991	1991
Las surgencias termales de Los Baños, Teruel. I: Caracterizacion fisico-quimica y aproximacion a los procesos de interaccion agua-roca	Revista de la Academia de Ciencias Exactas, Físico-Químicas y Naturales de … , 1991	1991
Detection limit calculation	Seguridad Radiologica, 54-55 , 1991	1991
Tuberculous pericarditis: diagnostic value of adenosine desaminase activity	Presse Medicale, 20 (14) , 1991	1991
Metodología e implicaciones pedagógicas de la traducción de Alvaro Cunqueiro al francés	Actas do I Simpósio Internacional de Didáctica da Língua ea Literatura: A … , 1991	1991
Prediction of physical capacity of sportsmen during puberty	Anales españoles de pediatría: Publicación oficial de la Asociación Española … , 1991	1991
Las surgencias termales de Los Baños (Teruel). I. Caracterización físicoquímica y aproximación a los procesos de interacción agua-roca	Revista de la Academia de Ciencias Exactas, Físicas, Químicas y Naturales de … , 1991	1991
Contenido-Contents	Archivos de la Sociedad Española de Oftalmología 61 (6), 513-518 , 1991	1991
Pasture regionalization in calcareous soils of Las Tunas province, Cuba.		1991
Utilization of waste water from the'Juan M. Marquez'agroindustrial complex for irrigation and fertilization of sugarcane.		1991
Rabdomiosarcoma de órbita: actitud diagnóstica y terapéutica	Archivos de la Sociedad Española de Oftalmología 60 (4), 467-474 , 1991	1991
Variabilidad fotométrica y espectroscópica de estrellas tipo RS CVn.	Revista Mexicana de Astronomia y Astrofisica, Vol. 22, No. 2, p. 307 22, 307 , 1991	1991
Nondestructive evaluation of a semi-infinite buried slab by photothermal deflection	Photoacoustic and Photothermal Phenomena II: Proceedings of the 6th … , 1990	1990
IMPROVED EFFICACY OF THE SUBCUTANEOUS ROUTE FOR ERYTHROPOIETIN TREATMENT ON HEMODIALYSIS-PATIENTS	NEFROLOGIA 10 (2), 183-186 , 1990	1990
Efecto del clormecuat en lechuga tipo iceberg en el campo de Cartagena.		1990
Communication system and spectral analysis for Ge-Li and GeHp detectors; Sistema de comunicaciones y analisis de espectros para detectores Ge-Li y GeHp		1990
Effect of chlormequat on iceberg lettuces in the Cartagena province		1990
Contenido-Contents	Archivos de la Sociedad Española de Oftalmología 59 (3), 257-264 , 1990	1990
Spontaneous resolution of bioquimical iron deficiency in infants, unrelated to dietary intake and body growth, chosed at randon of a healthy population	Anales españoles de pediatría: Publicación oficial de la Asociación Española … , 1990	1990
Automatic analysis of EMG in children	Electroencephalography and Clinical Neurophysiology 75, S44 , 1990	1990
Photothermal deflection method for thermal diffusivity measurements: a thermo-optical classification of solids	Photoacoustic and Photothermal Phenomena II: Proceedings of the 6th … , 1990	1990
Petequias en la infancia: un síntoma preocupante	Anales españoles de pediatría: Publicación oficial de la Asociación Española … , 1990	1990
Tissue polypeptide antigen liberation and proliferation of MCF-7 cells after synchronization with hydroxytamoxifen and rescue with estradiol	Revista Española de Fisiología 46 (2), 205-210 , 1990	1990
Microangiopatía retiniana en la infección por el virus de la inmunodeficiencia humana (VIH)	Archivos de la Sociedad Española de Oftalmologia 59 (4), 437-444 , 1990	1990
Enfermedad de Hodgkin con afectación cutánea	Actas dermo-sifiliográficas (Ed. impresa) 81 (10), 683-687 , 1990	1990
La Endofotocoagulación en la cirugía del vítreo de la retinopatía diabética proliferante.	Archivos de la Sociedad Española de Oftalmología 57 (3), 215-220 , 1989	1989
La Endofotocoagulación en la cirugñia del vítreo de la retinopatía diabética proliferante.	Archivos de la Sociedad Española de Oftalmología 57 (3), 205-214 , 1989	1989
OZONIZACION DE HEXACIANOFERRATOS 11 DE METALES DE TRANSICION	Revista CENIC Ciencias Químicas 20 (1-2-3), 038-042 , 1989	1989
The spectrum of lymphadenopathy in HIV-positive patients. Prospective analysis of 45 cases	Revista Clinica Espanola 184 (2), 57-60 , 1989	1989
Dacitic and high TP metamorphic rocks related to sialic-thickening and shear-friction zones	International geological congress. 28 , 1989	1989
Magnetostriction and Low Field Magnetization Processes in RE 2 Fe 14 B Compounds	Concerted European Action on Magnets (CEAM), 240-258 , 1989	1989
Proposed mechanism for generation of basic-igneous rocks in upper continental crust	International geological congress. 28, 15-16 , 1989	1989
LIGHT-CURVES OF THE II-PEG AND V711-TAU SYSTEMS	REVISTA MEXICANA DE ASTRONOMIA Y ASTROFISICA 19 (SI), 100-100 , 1989	1989
Recursos mineras del Complejo Urgoniano	Congresso español de sedimentologia. 12. Guia de excursiones, 179-225 , 1989	1989
Curvas de luz de los sistemas II Peg y V711Tau.	Revista Mexicana de Astronomia y Astrofisica, Vol. 19, Special issue, p. 100 … , 1989	1989
Commercial pest control in the Philippines: the industry, its practices and prospects		1988
Acerca de la actual constitución estratigrafica del piso «paraautoctona» en la region gasopetrolifera Habana-Matanzas		1988
High-risk acute lymphoblastic leukemia. Results of a diagnostic-therapeutic protocol	Anales espanoles de pediatria 29, 89-91 , 1988	1988
Comparative study of throat culture and latex agglutination in streptococcal pharyngitis	Boletin Medico del Hospital Infantil de Mexico 45 (4), 218-220 , 1988	1988
Granulopoiesis and cytogenetic studies in chronic myeloid leukemia: their correlation with the clinical stage of the disease	Sangre 33 (3), 178-183 , 1988	1988
REORIENTATION OF THE ANIMAL/VEGETAL AXIS IN EGGS OF THE LEECH T-RUDE	ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 20 (2), R230-R230 , 1987	1987
FIBRINOLYSIS AFTER HEART TRANSPLANTATION	Thrombosis and Haemostasis 58 (05), 0315 , 1987	1987
Acute benign myositis	Medicina clinica 88 (2), 82-83 , 1987	1987
PLATELET CONTENTS OF VON WILLEBRAND FACTOR ANTIGEN (vWF: Ag) AND FIBRINOGEN (I) AND PLATELET FUNCTION (PF) IN MYELODYSPLASTIC SYNDROMS (MS)	Thrombosis and Haemostasis 58 (05), 2084 , 1987	1987
PARTICIPATION OF THE CYTOSKELETON IN OOPLASMIC SEGREGATION IN LEECH EGGS	ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 20 (2), R167-R167 , 1987	1987
Nuevos datos en la estratigrafia del yacimiento Yumuri		1987
SERIE GEOLOGICA N 3	Série de geología: publicación del Centro de Investigaciones y desarrollo … , 1987	1987
Las ideas sobre el origen de las especies en España	Actas del III Congreso de la Sociedad Española de Historia de las Ciencias … , 1986	1986
Central nervous system hemorrhage in hemophilia. Analysis of 101 episodes	Sangre 31 (4), 448-456 , 1986	1986
COMPARAISON ENTRE DIFFERENTS SYSTEMES DE CALCUL DES LONGUEURS D'ANCRAGE DE BARRES D'ACIER CRENELEES, DANS LE BETON	HORMIGON ACERO , 1986	1986
MEIOTIC DEFORMATION MOVEMENTS IN THE LEECH EGG-CHARACTERISTICS AND RESPONSE TO DRUGS	ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 19 (2), R234-R234 , 1986	1986
Metabolismo de fosfolípidos y función renal	NEFROLOGIA 1 (3) , 1986	1986
A study on the effect of different irrigation intervals in sugarcane crop, C-87-51 variety	Cultivos Tropicales (Cuba) 7 (2) , 1985	1985
The video colpoperineogram of normal micturition	Revista chilena de obstetricia y ginecologia 50 (5), 380-387 , 1985	1985
PATTERN OF PROLIFERATION IN DETERMINED CELL-LINES OF THE LEECH EMBRYO	ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 18 (2), R162-R162 , 1985	1985
[Yields of a crop of grain sorghum carried out after a pasture of weeping lovegrass (Eragrostis curvula Schrad)[Argentina]]	Informativo de tecnologia agropecuaria para la region semiarida pampeana … , 1985	1985
Variations in the histological diagnosis of epithelial dysplasia	Avances en odontoestomatologia 1 (5), 261-264 , 1985	1985
ANTI-HTLV-III/LAV ANTIBODIES IN AIDS PATIENTS AND IN AIDS-HIGH-RISK GROUPS	MEDICINA-BUENOS AIRES 45 (4), 385-385 , 1985	1985
Circulación extracorpórea y leucocitos	Revista de Medicina de la Universidad de Navarra, 27-27 , 1985	1985
Parathyroid cystic adenoma as the cause of primary hyperparathyroidism	Medicina Clinica 85 (14), 600-600 , 1985	1985
Leucemia mieloide crónica: experiencia del Instituto de Investigaciones Hematologicas" Mariano R. Castex"(Academia Nacional de Medicina)	Bol. Acad. Nac. Med. B. Aires, 499-507 , 1985	1985
Estudio comparativo de los efectos del Cycocel [retardante del crecimiento] y del despunte sobre la traslocacion de fotoasimilados en Vitis vinifera L.	ITEA , 1984	1984
MAY DESFERRIOXAMINE THERAPY WORSEN SECONDARY HYPERPARATHYROIDISM	KIDNEY INTERNATIONAL 26 (4), 541-541 , 1984	1984
ONTOGENY OF A SIMPLE NERVOUS-SYSTEM	ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 17 (2), R85-R85 , 1984	1984
Bacteremia due to Enterobacter agglomerans (Erwinia herbicola)	Medicina Clinica 82 (13), 578-580 , 1984	1984
Pancreatico-duodenal angiodysplasia associated with carcinoid of the pancreas	Revista de Gastroenterologia de Mexico 49 (2), 119-121 , 1984	1984
Neumonía nosocomial por Legionella pneumophila en un trasplante renal	Diálisis y trasplante: publicación oficial de la Sociedad Española de … , 1984	1984
Rehidratacion por via oral en recien nacidos deshidratados por enfermedad diarreica aguda.	Bol. méd. Hosp. Infant. Méx, 460-3 , 1984	1984
Angiodisplasia pancreatico-duodenal asociada a carcinoide del pancreas.	Rev. gastroenterol. Méx, 119-21 , 1984	1984
Use of intracoronary and intravenous streptockinase in an acute myocardial infarction: Experience from two community hospitals.	Arizona Medicine, 373-378 , 1984	1984
Bioestratigrafia de los depositos del Jurasico Superior (Tithoniano) Cretacico Inferior en la region Varadero, Cuba	Mezhdunarodnyj geologicheskij kongress. 27 , 1984	1984
DIGITAL PROCESSING OF EMG SIGNALS	ELECTROENCEPHALOGRAPHY AND CLINICAL NEUROPHYSIOLOGY 58 (5), P104-P104 , 1984	1984
Enterobacter agglomerans bacteremia (Erwinia herbicola)	Medicina clinica 82 (13), 578-580 , 1984	1984
El ensayo CTOD en construcciones de acero soldadas	Ingeniería química, 47-53 , 1984	1984
Complejo litologicos del extremo noroccidental de Cuba y usus implicaciones estratigraficas, de acuerdo a los datos de las perforaciones profundas	Mezhdunarodnyj geologicheskij kongress. 27 , 1984	1984
Factors forming soils from Salar-Alhama (Granada)[Spain]	Anales de Edafologia y Agrobiologia (Spain) 42 (9) , 1983	1983
Estudio edáfico de los suelos del sector Salar-Alhama, Granada	Anales de edafologia y agrobiologia 42 (11-12), 2029-2050 , 1983	1983
Soil forming factors in the Salar-Alhama sector of Granada, Spain.		1983
Soils of the Salar-Alhama region (Granada, Spain).		1983
Doppler satellite tracking. Some geodetic and geophysical applications.	Rev. Geofis 39 (1), 3-22 , 1983	1983
Chemical control of the citrus root weevil ( Pachnaeus litus ) in citrus nurseries.		1983
Ecología y minería de superficie		1983
RAPPORT ENTRE LA TEMPERATURE AMBIANTE ET CELLE DU BETON FRAIS: BETONNAGE PAR TEMPS FROID ET CHAUD	HORMIGON ACERO , 1983	1983
Performance evaluation of six potato (Solanum tuberosum) varieties in Nsac, Canada, 1982	Ciencia y Tecnica en la Agricultura. Hortalizas, Papa, Granos y Fibras (Cuba … , 1983	1983
CHANGES IN SPINAL ALPHA-MOTONEURONS	MEDICINA-BUENOS AIRES 43 (6), 863-863 , 1983	1983
PROGNOSTIC REVISION OF THE FILLOID TUMOR-19 BIOPSIES IN 9 CASES	MORFOLOGIA NORMAL Y PATOLOGICA SECCION B-ANATOMIA PATOLOGICA 7 (1), 1-8 , 1983	1983
Surgical treatment of pelvic pathology associated with complete or incomplete prolapse with or without urinary incontinence	Revista Chilena de Obstetricia y Ginecologia 48 (6), 442-448 , 1983	1983
Single fibre EMG in juvenile idiopathic scoliosis	Electroencephalography and Clinical Neurophysiology 56 (3), S189 , 1983	1983
Control químico del picudo verde azul (Pachnaeus litus) en víveros de cítricos.	Ciencia y Tecnica en la Agricultura. Proteccion de plantas 6 (2) , 1983	1983
A comparative study on different ways of nursing coffee seedlings.(Part 2)	Cultivos Tropicales (Cuba) 5 (4) , 1983	1983
Performance of six potato ( Solanum tuberosum ) cultivars at NSAC, Canada, 1982.		1983
Nodular lymphoid hyperplasia of the small intestine and immunodeficiency	Revista clinica espanola 171 (3), 219-220 , 1983	1983
Detection of erythropoietic activity in fibromyoma cells	Sangre 28 (6), 682-686 , 1983	1983
Hemorragia del sistema nervioso central en hemofilia. Analisis de 101 episodios.	Bol. Acad. Nac. Med. B. Aires, 327-35 , 1983	1983
Contenido-Contents	Archivos de la Sociedad Española de Oftalmología 43 (6) , 1982	1982
CARDIOVASCULAR-RESPONSE TO HEMOFILTRATION AND HEMODIALYSIS-INFLUENCE OF THE ALKALINIZING AGENT USED	KIDNEY INTERNATIONAL 22 (2), 215-215 , 1982	1982
Introducción de nuevas variedades	Agricultura: Revista agropecuaria y ganadera, 689-693 , 1982	1982
EFFECT OF CYTOCHALASIN-B ON THE FORMATION OF TELOPLASM (POLE PLASM) IN EGGS OF THE LEECH THEROMYZON-RUDE	ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 15 (2), R144-R144 , 1982	1982
lobos (Canís lupus)	DONANA, 353 , 1982	1982
ORGANIZATION AND DEVELOPMENT OF THE NERVOUS-SYSTEM OF THE LEECH	ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 15 (3-4), 229-+ , 1982	1982
Genital prolapse and urinary incontinence. Perineal rehabilitation	Revista Chilena de Obstetricia y Ginecologia 47 (6), 373-379 , 1982	1982
SEQUENTIAL HYPERTONIC DIALYSIS-NEW TECHNIQUE OF ASYMPTOMATIC ULTRAFILTRATION	KIDNEY INTERNATIONAL 22 (2), 215-215 , 1982	1982
Prolapso genital e incontinencia de orina. Rehabilitacion perineal.	Rev. chil. obstet. ginecol, 373-9 , 1982	1982
New host species of Orobanche ramosa L. in Cuba.		1981
FORMATION AND DETERMINATION OF CORPORAL SEGMENTS IN LEECH EMBRYO	ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 14 (3), 234-235 , 1981	1981
Report of a host plant of Orobanche ramosa L. in Cuba.		1981
Estudio edafico de la Dehesa del Camarate, Sierra Nevada (Granada)[Espana], 2: Caracteristicas mineralogicas.	Anales de Edafologia y Agrobiologia 40 , 1981	1981
Comparative study of several methods for the combined extraction of free oxides of Fe, Al and Si in soils.		1981
Pedology of the Dehesa del Camarate, Sierra Nevada (Granada), Spain 2. Mineralogy.		1981
Relación entre las composiciones químicas y mineralógica en los suelos de la Dehesa del Camarate (Sierra Nevada)	Universidad de Granada, Facultad de Farmacia. , 1981	1981
Colpoperineograma en periodos pre y postoperatorio de pacientes de prolapso.	Rev. chil. obstet. ginecol, 3-9 , 1981	1981
DEFORMATION MOVEMENTS AND STRUCTURAL MODIFICATIONS OF THE EGG SURFACE IN THE LEECH THEROMYZON-RUDE	ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 14 (3), 283-283 , 1981	1981
Relacion entre las composiciones quimica y mineralogica en los suelos de la Dehesa de Camarate (Sierra Nevada)[Granada, Espana].	Ars Pharmaceutica 22 , 1981	1981
Utilization of high densities in dryland sunflower cultivation: Influence on yield, oil content, fatty acids composition and other characteristics		1981
ESTUDIO EDAFICO DE LA DEHESA DEL CAMARATE SIERRA NEVADA (GRANADA). II: CARACTERISTICAS MINERALOGICAS		1981
A SPECIAL ISSUE OF EUROPE, REVUE-LITTERAIRE-MENSUELLE DEVOTED TO GARCIALORCA, FEDERICO	NUEVA ESTAFETA, 104-106 , 1981	1981
Colpoperineogram in pre-and postoperative periods of prolapse patients	Revista chilena de obstetricia y ginecologia 46 (1), 3-9 , 1981	1981
Asymptomatic renal amyloidosis recognized during a surgical intervention	Revista clinica espanola 156 (2), 129-131 , 1980	1980
CYTOLOGICAL AND AUTO-RADIOGRAPHIC STUDY OF TELOPLASM (POLE PLASM) FORMATION IN EGGS OF THE LEECH HELOBDELLA-TRISERIALIS	ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 13 (1), 93-93 , 1980	1980
SPATIAL-ORGANIZATION DURING THE DEVELOPMENT OF CERTAIN EMBRYOS	ARCHIVOS DE BIOLOGIA Y MEDICINA EXPERIMENTALES 13 (1), 37-37 , 1980	1980
Nuevas especies hospederas de Orobanche ramosa L. en Cuba	Ciencias de la Agricultura , 1980	1980
El aprovechamiento por parte de España de las materias primas agrícolas de América en los siglos XVIII y XIX: la polémica del cultivo del cacahuete	El científico español ante su historia: la ciencia en España entre 1750-1850 … , 1980	1980

No se dispone de publicaciones Scopus en el rango de fechas seleccionado