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 |
| Neural-guided superoptimization in ethereum |
Information and Software Technology, 107800 , 2025 |
2025 |
| Neural-guided superoptimization in Ethereum |
Elsevier , 2025 |
2025 |
| Reusing zebrafish facility equipment: Planning, investment and what we have learned |
Laboratory Animals 59 (1), 40-46 , 2025 |
2025 |
| Harnessing heap analysis for the synthesis of superoptimized bytecode |
Elsevier , 2024 |
2024 |
| 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 |
| Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT |
|
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 |
| 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 |
| Soil microscopy |
Soil Micromorphography. Interactive Multimedia Programme for Self-studying … , 2023 |
2023 |
| Nuevos táxones animales descritos en la península ibérica y Macaronesia desde 1994 (XXIII) |
Consejo Superior de Investigaciones Científicas (España) , 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 |
| 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 |
| Las bases de Big Data |
Los Libros de la Catarata , 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 |
| Noticia de nuevos táxones para la ciencia en el ámbito íbero-balear y macaronésico/New Ibero-Balearic and Macaronesian taxa: Nuevos táxones animales descritos en la península … |
Graellsia 75 (1), 10.3989/graellsia. 2019. v75. 226 , 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 |
| Aplicación del sistema jPET para la generación automática de tests en asignaturas de programación con Java |
|
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 |
| 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 |
| A practical comparator of cost functions and its applications |
Elsevier , 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 |
|
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 |
| 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 |
| 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 |
| 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 |
| Actor-and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing |
|
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 |
| Conditional Termination of Loops over Heap-Allocated Data |
Elsevier , 2014 |
2014 |
| Selected and extended papers from Partial Evaluation and Program Manipulation 2013 |
Science of Computer Programming 95, 147-148 , 2014 |
2014 |
| Parámetros productivos del caucho (Hevea brasiliensis) y su relación espacial con las propiedades físicas y químicas del suelo |
Bogotá, Colombia: Universidad Nacional de Colombia , 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 |
| 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 |
| 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 |
| Modular termination analysis of Java bytecode and its application to phoneme core libraries |
International Workshop on Formal Aspects of Component Software, 218-236 , 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 |
| Afforestation improves soil fertility in south-eastern Spain |
European Journal of Forest Research 129, 707-717 , 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 |
| Compositional clp-based test data generation for imperative languages |
International Symposium on Logic-Based Program Synthesis and Transformation … , 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 |
| Autotrasplante de células madre hematopoyéticas en miembros Inferiores isquémicos de pacientes con ateroesclerosis obliterante en los estadios III-IV de la clasificación de … |
Rev Cubana Hematol Inmunol Hemoter [serie en internet] 25 (sSupl) , 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 |
| Nuevo índice para evaluar anomalías de elementos traza en suelos: el caso del SE español |
Spanish Journal of Agricultural Research (España) , 2009 |
2009 |
| Transformación y análisis de código de bytes orientado a objetos |
Universidad Complutense de Madrid Madrid , 2009 |
2009 |
| A new index to evaluate anomalies of trace elements in soils: the case of SE Spain |
Instituto Nacional de Investigación y Tecnología Agraria y Alimentaria (INIA) , 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 |
| Remediation of As-contaminated soils in the Guadiamar river basin (SW, Spain) |
Water, Air, and Soil Pollution 180, 109-118 , 2007 |
2007 |
| Arsenic contamination in soils affected by a pyrite-mine spill (Aznalcóllar, SW Spain) |
Water, Air, and Soil Pollution 180, 271-281 , 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 |
| Remediation of Pb-contaminated soils in the Guadiamar river basin (SW Spain) |
Water, Air, and Soil Pollution 151, 323-333 , 2004 |
2004 |
| Manipulación y edición de sonido digital |
|
2004 |
| Soil pollution by a pyrite mine spill in Spain: evolution in time |
Environmental Pollution 132 (3), 395-401 , 2004 |
2004 |
| A generic framework for context-sensitive analysis of modular programs |
Program Development in Computational Logic: A Decade of Research Advances in … , 2004 |
2004 |
| Thallium behavior in soils polluted by pyrite tailings (Aznalcollar, Spain) |
Soil & Sediment Contamination 13 (1), 25-36 , 2004 |
2004 |
| Dissociative photoionization of H2 at high photon energies: uncovering new series of doubly excited states |
Chemical physics letters 389 (1-3), 145-149 , 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 |
| Estudio de la contaminación del suelo y técnicas de tratamiento de inmovilización de metales en la cuenca del Guadiamar |
Ciencia y restauración del río Guadiamar: resultados del Programa de … , 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 |
| Migration of trace elements from pyrite tailings in carbonate soils |
Journal of Environmental Quality 31 (3), 829-835 , 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 |
| Soil pollution by oxidation of tailings from toxic spill of a pyrite mine |
Science of the Total Environment 279 (1-3), 63-74 , 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 |
| Soil pollution by oxidation of tailings from toxic spill of a pyrite mine |
The Science of the Total Environment 279, 6374 , 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 |
| El desastre ecológico de Aznalcóllar |
Recuperado de http://edafologia. ugr. es/donana/aznal. htm , 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 |
| Estudio comparativo de métodos para la determinación de elementos traza en suelos |
Edafología 7 (3), 177-184 , 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 |
| Pollution of soils by the toxic spill of a pyrite mine (Aznalcóllar, Spain) |
Science of the Total Environment 242 (1-3), 105-115 , 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 |
| El desastre ecológico de Doñana |
Edafología 5 (Diciembre), 153-161 , 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 |
| PARENTERAL-NUTRITION |
REVISTA CLINICA ESPANOLA 194, 767-773 , 1994 |
1994 |
| Meningitis caused by Haemophilus influenzae type b: its immunological prevention. A necessity? |
Archivos dominicanos de pediatria 30 (1), 21-24 , 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 |
| Communication system and spectral analysis for Ge-Li and GeHp detectors |
Comision Nacional de Energia Atomica, Buenos Aires (Argentina). Gerencia de … , 1990 |
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 |
| Mapa geológico de España |
E 1 (50000), 15-20 , 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 |
