E-LIB Suche - Ergebnisse für: León, Hernán

1

Medium-term influence of conventional tillage on the physic..:

León, Hernán Novelo ; Almeida, Brivaldo Gomes ; Almeida, Ceres Duarte Guedes Cabral...
CATENA. 175 (2019) - p. 37-46 , 2019

Link: https://doi.org/10.1016/..

2

Model‐based testing for concurrent systems with labelled ev..:

de León, Hernán Ponce ; Haar, Stefan ; Longuet, Delphine
Software Testing, Verification and Reliability. 24 (2014) 7 - p. 558-590 , 2014

Link: https://doi.org/10.1002/..

3

Low-Complexity Butterfly Integration Structure for MMSE-SIC..:

Wang, Huan-Chun ; Huang, De-Jhen ; Leon, Hernan Garron.
Wireless Personal Communications. 72 (2013) 2 - p. 1187-1202 , 2013

Link: https://doi.org/10.1007/..

4

Differentiation of potato cultivars experimentally cultivat..:

Galdón, Beatriz Rodríguez ; Rodríguez, Lía Hernández ; Mesa, Domingo Ríos...
Food Chemistry. 133 (2012) 4 - p. 1241-1248 , 2012

Link: https://doi.org/10.1016/..

5

Necroética: el cuerpo muerto y su dignidad póstuma:

Pinto MD, Boris Julián ; Gómez MD, Ana Isabel ; MArulanda, Juanita.
Revista Repertorio de Medicina y Cirugía. 27 (2018) 1 - p. 55-64 , 2018

Link: https://doi.org/10.31260..

6

Static Analysis of Memory Models for SMT Encodings:

Haas, Thomas ; Maseli, René ; Meyer, Roland.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1618-1647 , 2023

Link: https://doi.org/10.1145/..

7

CAAT: consistency as a theory:

Haas, Thomas ; Meyer, Roland ; Ponce de León, Hernán
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 114-144 , 2022

Link: https://doi.org/10.1145/..

8

Compact and efficiently verifiable models for concurrent sy..:

Ponce de León, Hernán ; Mokhov, Andrey
Formal Methods in System Design. 53 (2018) 3 - p. 407-431 , 2018

Link: https://doi.org/10.1007/..

9

Incorporating negative information to process discovery of ..:

Ponce de León, Hernán ; Nardelli, Lucio ; Carmona, Josep.
Information Sciences. 422 (2018) - p. 480-496 , 2018

Link: https://doi.org/10.1016/..

10

Model-based testing for concurrent systems: unfolding-based..:

Ponce de León, Hernán ; Haar, Stefan ; Longuet, Delphine
International Journal on Software Tools for Technology Transfer. 18 (2014) 3 - p. 305-318 , 2014

Link: https://doi.org/10.1007/..

11

Reading comprehension, word recognition, and reading fluenc..:

Arancibia Gutiérrez, Beatriz ; León, Hernán ; Castro Yáñez, Ginette Gabriela..
https://ojs.uc.cl/index.php/onom/article/view/50289/39921. , 2022

Link: https://ojs.uc.cl/index...

12

Relationship between auditory sequential memory, auditory i..:

Arévalo, Romina ; León, Hernán
https://revistas.uchile.cl/index.php/RCDF/article/view/55320/58267. , 2019

Link: https://revistas.uchile...

13

Phonetic and phonological performance in children with Auti..:

Torres, Juan Carlos ; León, Hernán ; Figueroa, Mauricio
https://revistas.uchile.cl/index.php/RCDF/article/view/51611/54006. , 2018

Link: https://revistas.uchile...

14

A proposal for the classification of phonetic-phonological ..:

Soto-Barba, Jaime ; León, Hernán ; Torres, Valeska
https://ojs.uc.cl/index.php/onom/article/view/30873/41269. , 2011

Link: https://ojs.uc.cl/index...

15

Estudio de las características vocales en un grupo de profe..:

Romero, Luis ; León, Hernán ; Villanueva, Pía
https://revistas.uchile.cl/index.php/RCDF/article/view/57972/61635. , 1999

Link: https://revistas.uchile...