Colección SciELO Chile

Departamento Gestión de Conocimiento, Monitoreo y Prospección
Consultas o comentarios: productividad@anid.cl



Firmas del autor
Nombre TANTER, ERIC PIERRE
Género Hombre
Área Principal WOS Computer Science, Software Engineering; Computer Science, Theory & Methods; Education & Educational Research;
Afiliación Principal Universidad De Chile
ORCID 0000-0002-7359-890X

Publicaciones en Chile

Citas Totales

Afiliaciones Chilenas

Coautores

Periodo registrado: 2008 - 2024
×

¿Quieres unificar este perfil a otros que correspondan al mismo autor? Recuerda, la unificación de perfiles permite fusionar las publicaciones, asociadas a distintas firmas, en una única firma llamada "base".
Esta operación no elimina las firmas de autor originales de una publicación. Tampoco altera otras bases de datos que no sean DataCiencia.

  • Paso 1: Pincha el botón de "Unificar Perfiles"
    • - Verás un listado de firmas en las cuales coincide el primer apellido y la primera letra del nombre. Costado izquierdo de la pantalla ("Sugerencias").
    • - Ese listado está acompañado de información sobre algunas publicaciones y afiliaciones.
  • Paso 2: Selecciona una firma como "Base". Escoge aquella firma más completa.
    • - Esta firma agrupará las publicaciones de las otras firmas.
    • - Por defecto, la primera firma del listado es la que contiene más publicaciones.
  • Paso 3: Selecciona una o varias firmas como "Agrupar".
    • - Las publicaciones y afiliaciones de estas firmas se añadirán a la firma base.
  • Paso 4: Ingresa tu correo electrónico.
    • - Este es un método de validación obligatorio.
    • - Solo una solicitud por correo electrónico.
  • Paso 5: Pincha el botón "Enviar solicitud".
    • - Recibirás un correo por tu solicitud la cual estará pendiente de evaluación.
    • - Recibirás un segundo correo cuando tu solicitud sea procesada de forma completa, parcial, o rechazada.


Continuar

* ¿Por qué es necesario unificar perfiles? Muchas veces las publicaciones vienen desde el origen (WoS, Scopus o SciELO) vinculadas a distintas firmas de autor a pesar de corresponder a las mismas personas.



Firma de Autor

firmas.

ID Autor Fechas

Disciplinas de Investigación




Muestra la distribución de la producción WoS, Scopus y SciELO del autor.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

WOS #Pub
Computer Science, Software Engineering 50
Computer Science, Theory & Methods 8
Education & Educational Research 3
Computer Science, Information Systems 3
Computer Science, Hardware & Architecture 2
Telecommunications 1
Engineering, Electrical & Electronic 1
Scopus #Pub
Computer Science (All) 15
Theoretical Computer Science 15
Software 8
Hardware And Architecture 3
Information Systems 2
Control And Systems Engineering 2
Artificial Intelligence 2
Computer Science Applications 1
Management Science And Operations Research 1
SciELO #Pub

Bases de Datos


Muestra la distribución de las publicaciones del autor en las distintas bases de datos* (WoS, Scopus y SciELO-Chile).

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

* Una misma publicación puede pertenecer a más de una base de datos.

Base de Datos #Publicaciones
WOS 88
Scopus 107
SciELO 0

Coautores


Autor Género # Pub
FIGUEROA-PALET, ISMAEL JOSE Hombre 7
LEHMANN, N. Hombre 1
BODIN, MARTIN Hombre 2
DIAZ, TOMAS Hombre 3
BANADOS SCHWERTER, FELIPE Hombre 3
OLMEDO, FEDERICO Hombre 2
BERGEL, A. Hombre 1
ROTHLISBERGER, DAVID Hombre 4
LEGER-MORALES, PAUL Hombre 6
POTHIER, GUILLAUME Hombre 5
FABRY, JOHAN Hombre 11
ALLENDE-PRIETO, ESTEBAN ARMANDO Hombre 4
INOSTROZA, MILTON Hombre 4
CUBILLOS, LINO Hombre 3
SOTO-ANDRADE, JORGE Hombre 3
RAMIRO, VICTOR Hombre 1
ALVAREZ-CALLAU, OSCAR EDWIN Hombre 4
ROBBES, ROMAIN Hombre 9
TOLEDO-TOLEDO, RODOLFO ANDRES Hombre 4
MENA, ARTURO Hombre 1
MONTOYA-GONZALEZ, SOLEDAD Mujer 1
GALVEZ-PEREZ, GRECIA MARIA - 2
MATEU, LUIS Hombre 1
LEHMANN, NICO Hombre 2
LUCI, GINA Mujer 2
RÖTHLISBERGER, DAVID Hombre 1
CALLAÚ, OSCAR Hombre 1
CRUZ, RAIMIL - 3
MALEWSKI, STEFAN Hombre 1
COSMELLI, DIEGO Hombre 3
TORO, MATIAS Hombre 9
FEHRMANN, HANS JACOB Hombre 1
LABRADA, ELIZABETH Mujer 3
ÁRQUEZ, DAMIÁN Hombre 1


Muestra un listado ordenado de los co-autores del autor en publicaciones desde el año 2008.

La gráfica adjunta, muestra la distribución de los co-autores por género.

Es importante mencionar que si no se encuentra el nombre del autor en el diccionario (que está en permanente actualización) este no se contabiliza y su género es Indeterminado.

Porcentaje Indeterminados: 5.9 % del total de co-autores

Afiliaciones




Muestra la distribución de las afiliaciones del autor de acuerdo a su producción desde el año 2008.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Institución # Pub
Universidad De Chile 124
Inria Paris 4
Instituto Milenio Fundamentos De Los Datos 3
Universidad De Santiago De Chile 2
Inria 2
Inria Institut National De Recherche En Informatique Et En Automatique 2
Instituto Milenio Fundamentos De Los Datos 1
Pleiad Laboratory 1
Versity Of Chile 1

Métricas Incites®


Año Firma Institución (Incites asoc.) H Index Average Percentile Impact Citation Impact Relative World Impact Journal Normalized Citation Impact Category Normalized Citation Percentage Cited Percentage Top 1 Percentage Top 10 Percentage Journal Q1 Percentage Journal Q2 Percentage Journal Q3 Percentage Journal Q4
2019 Tanter, Eric Universidad de Chile 9.0 54.9 4.5 0.5 0.8 0.8 78.3 0.0 6.7 13.6 18.2 25.0 43.2
2019 Tanter, Eric Universidad de Santiago de Chile 1.0 54.3 3.5 0.4 0.1 0.3 100.0 0.0 0.0 0.0 100.0 0.0 0.0
2019 Tanter, E. Universidad de Chile 1.0 82.8 1.0 0.1 0.1 0.1 100.0 0.0 0.0 0.0 0.0 0.0 100.0

Muestra una serie de métricas Incites para el autor según el año.

Las métricas incites están asociadas a una firma de autor y una institución. Por esa razón, se pueden desplegar en más de una fila por autor.

Publicaciones/Citas en Chile por Año


Número de publicaciones por año para el autor seleccionado.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Número de citas recibidas por las publicaciones del autor seleccionado según año de publicación.

Liderazgo


Muestra la distribución de las publicaciones del autor según su liderazgo* en estas.
* Liderazgo se define porque el autor es primer autor o autor de correspondencia en las publicaciones.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Muestra el número de publicaciones lideradas* y no lideradas por el autor en cada año.
* Liderazgo se define porque el autor es primer autor o autor de correspondencia en las publicaciones.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Origen de Citas Identificadas


Muestra la distribución de países cuyos autores citan las publicaciones del Autor consultado.

Citas identificadas: Las citas provienen de documentos incluidos en la base de datos de DATACIENCIA

Citas Identificadas: 13.31 %
Citas No-identificadas: 86.69 %

Muestra la distribución de instituciones nacionales o extranjeras cuyos autores citan las publicaciones del Autor consultado.

Citas identificadas: Las citas provienen de documentos incluidos en la base de datos de DATACIENCIA

Citas Identificadas: 13.31 %
Citas No-identificadas: 86.69 %

Publicaciones en Chile


Título Año Citas Tipo Revista Indexada
Chemical Foundations Of Distributed Aspects 2019 0 artículo de investigación Distributed Computing WoS Scopus
Equivalences For Free Univalent Parametricity For Effective Transport 2018 6 proceedings paper Life With Ore Deposits On Earth, Proceedings Of The 15 Th Sga Biennial Meeting, 2019, Vols 1 4 WoS
A Trustworthy Mechanized Formalization Of R 2018 3 proceedings paper Dls'18: Proceedings Of The 14 Th Acm Sigplan International Symposium On Dynamic Languages WoS Scopus
Type Driven Gradual Security With References 2018 23 artículo de investigación Acm Transactions On Programming Languages And Systems WoS Scopus
A Theory Of Gradual Effect Systems 2014 19 proceedings paper Icfp'14: Proceedings Of The 2014 Acm Sigplan International Conference On Functional Programming WoS
A Gradual Interpretation Of Union Types 2017 12 proceedings paper Lecture Notes In Computer Science WoS Scopus
Foundations Of Dependent Interoperability 2018 15 artículo de investigación Journal Of Functional Programming WoS Scopus
Gradual Refinement Types 2017 22 proceedings paper Acm Sigplan Notices WoS
Partial Type Equivalences For Verified Dependent Interoperability 2016 7 artículo de investigación Acm Sigplan Notices WoS Scopus
Gradual Type And Effect Systems 2016 12 artículo de investigación Journal Of Functional Programming WoS Scopus
Polymorphic Bytecode Instrumentation 2016 2 artículo de investigación Software Practice & Experience WoS Scopus
An Empirical Study Of Goto In C Code From Git Hub Repositories 2015 19 proceedings paper 2015 10 Th Joint Meeting Of The European Software Engineering Conference And The Acm Sigsoft Symposium On The Foundations Of Software Engineering (Esec/Fse 2015) Proceedings WoS Scopus
Gradual Certified Programming In Coq 2016 7 artículo de investigación Acm Sigplan Notices WoS Scopus
Abstracting Gradual Typing 2016 54 artículo de investigación Acm Sigplan Notices WoS
Effect Capabilities For Haskell: Taming Effect Interference In Monadic Programming 2016 1 artículo de investigación Science Of Computer Programming WoS Scopus
Summarized Trace Indexing And Querying For Scalable Back In Time Debugging 2011 11 proceedings paper Lecture Notes In Computer Science WoS Scopus
Extensions During Software Evolution: Do Objects Meet Their Promise? 2012 5 proceedings paper Lecture Notes In Computer Science WoS Scopus
Gradual Typestate 2011 35 proceedings paper Lecture Notes In Computer Science WoS Scopus
Customizable Gradual Polymorphic Effects For Scala 2015 7 artículo de investigación Acm Sigplan Notices WoS Scopus
On The Use Of Type Predicates In Object Oriented Software: The Case Of Smalltalk 2015 3 artículo de investigación Acm Sigplan Notices WoS Scopus
Object Oriented Software Extensions In Practice 2015 4 artículo de investigación Empirical Software Engineering WoS Scopus
A Taxonomy Of Domain Specific Aspect Languages 2015 14 artículo de investigación Acm Computing Surveys WoS Scopus
An Expressive Stateful Aspect Language 2015 5 artículo de investigación Science Of Computer Programming WoS Scopus
A Theory Of Gradual Effect Systems 2014 0 artículo de investigación Acm Sigplan Notices WoS
Confined Gradual Typing 2014 9 artículo de investigación Acm Sigplan Notices WoS Scopus
Computational Contracts 2015 6 artículo de investigación Science Of Computer Programming WoS Scopus
Effect Capabilities For Haskell 2014 0 proceedings paper Lecture Notes In Computer Science WoS Scopus
Gradual Typing For Smalltalk 2014 11 artículo de investigación Science Of Computer Programming WoS Scopus
Foundations Of Typestate Oriented Programming 2014 43 artículo de investigación Acm Transactions On Programming Languages And Systems WoS Scopus
An Empirical Study On The Impact Of Static Typing On Software Maintainability 2014 44 artículo de investigación Empirical Software Engineering WoS Scopus
Effective Aspects: A Typed Monadic Embedding Of Pointcuts And Advice 2014 1 proceedings paper Lecture Notes In Computer Science WoS Scopus
Ecocam, A Context Sensitive Computational System To Promote Mental Calculation Strategies: Design Characteristics And Preliminary Results 2014 1 artículo de investigación Revista Latinoamericana De Investigacion En Matematica Educativa WoS Scopus
Join Point Interfaces For Safe And Flexible Decoupling Of Aspects 2014 16 artículo de investigación Acm Transactions On Software Engineering And Methodology WoS Scopus
Cast Insertion Strategies For Gradually Typed Objects 2014 0 artículo de investigación Acm Sigplan Notices WoS Scopus
Execution Levels For Aspect Oriented Programming: Design, Semantics, Implementations And Applications 2014 9 artículo de investigación Science Of Computer Programming WoS Scopus
Parallel Actor Monitors: Disentangling Task Level Parallelism From Data Partitioning In The Actor Model 2014 13 artículo de investigación Science Of Computer Programming WoS Scopus
How (And Why) Developers Use The Dynamic Features Of Programming Languages: The Case Of Smalltalk 2013 18 artículo de investigación Empirical Software Engineering WoS Scopus
Modular And Flexible Causality Control On The Web 2013 6 artículo de investigación Science Of Computer Programming WoS Scopus
Programming With Ghosts 2013 3 artículo de investigación Ieee Software WoS Scopus
An Empirical Study Of The Influence Of Static Type Systems On The Usability Of Undocumented Software 2012 30 artículo de investigación Acm Sigplan Notices WoS Scopus
Aspectizing Java Access Control 2012 5 artículo de investigación Ieee Transactions On Software Engineering WoS Scopus
First Class State Change In Plaid 2011 9 artículo de investigación Acm Sigplan Notices WoS Scopus
Permission Based Programming Languages (Nier Track) 2011 2 proceedings paper 2011 33 Rd International Conference On Software Engineering (Icse) WoS
Access Control In Java Script 2011 3 artículo de investigación Ieee Software WoS Scopus
Cognitive Strategies For Mental Calculation 2011 5 artículo de investigación Revista Latinoamericana De Investigacion En Matematica Educativa WoS Scopus
Ambient Contracts: Verifying And Enforcing Ambient Object Compositions A La Carte 2011 2 artículo de investigación Personal And Ubiquitous Computing WoS Scopus
Composition Of Dynamic Analysis Aspects 2011 0 artículo de investigación Acm Sigplan Notices WoS Scopus
Scoping Strategies For Distributed Aspects 2010 2 artículo de investigación Science Of Computer Programming WoS Scopus
Beyond Static And Dynamic Scope 2009 9 artículo de investigación Acm Sigplan Notices WoS Scopus
Expressive Scoping Of Distributed Aspects 2009 4 proceedings paper Aosd'09: 8 Th International Conference On Aspect Oriented Software Development WoS Scopus
Back To The Future: Omniscient Debugging 2009 29 artículo de investigación Ieee Software WoS Scopus
Infrastructure For Domain Specific Aspect Languages: The Re L Ax Case Study 2009 1 artículo de investigación Iet Software WoS Scopus
Supporting Composition Of Structural Aspects In An Aop Kernel 2009 1 artículo de investigación Journal Of Universal Computer Science WoS Scopus
Mirror Based Reflection In Ambient Talk 2009 16 artículo de investigación Software Practice & Experience WoS Scopus
Parallel Object Monitors 2008 4 artículo de investigación Concurrency And Computation Practice & Experience WoS Scopus
Flexible Metaprogramming And Aop In Java 2008 12 artículo de investigación Science Of Computer Programming WoS Scopus
Kala/ Kernel Aspect Language For Advanced Transactions 2008 5 artículo de investigación Science Of Computer Programming WoS Scopus
Unanticipated Partial Behavioral Reflection: Adapting Applications At Runtime 2008 17 artículo de investigación Computer Languages Systems & Structures WoS Scopus
Extending Omniscient Debugging To Support Aspect Oriented Programming 2008 1 proceedings paper Life With Ore Deposits On Earth, Proceedings Of The 15 Th Sga Biennial Meeting, 2019, Vols 1 4 WoS Scopus
A Lightweight And Extensible Aspect J Implementation 2008 1 artículo de investigación Journal Of Universal Computer Science WoS Scopus
Controlling Aspect Reentrancy 2008 3 artículo de investigación Journal Of Universal Computer Science WoS Scopus
Experimenting With Language Support For Proximity In Ambient Oriented Programming 2008 0 proceedings paper Lecture Notes In Computer Science WoS Scopus
Object Technology For Ambient Intelligence And Pervasive Computing 2008 0 proceedings paper Lecture Notes In Computer Science WoS Scopus
The Little Prover 2020 0 revisión libro Journal Of Functional Programming WoS Scopus
Existential Types For Relaxed Noninterference 2019 0 proceedings paper Lecture Notes In Computer Science WoS Scopus
Polymorphic Relaxed Noninterference 2019 0 proceedings paper WoS Scopus
Gradual Program Verification 2018 8 proceedings paper Lecture Notes In Computer Science WoS Scopus
Type Abstraction For Relaxed Noninterference 2017 0 Leibniz International Proceedings In Informatics, Lip Ics Scopus WoS
Gradual Refinement Types 2017 0 Conference Record Of The Annual Acm Symposium On Principles Of Programming Languages Scopus
Abstracting Gradual Typing 2016 0 Acm Sigplan Notices Scopus WoS
Abstracting Gradual Typing 2016 0 Conference Record Of The Annual Acm Symposium On Principles Of Programming Languages Scopus
A Theory Of Gradual Effect Systems 2014 0 Acm Sigplan Notices Scopus WoS
Effective Aspects: A Typed Monadic Embedding Of Pointcuts And Advice 2014 0 Lecture Notes In Computer Science Scopus WoS
Transactions On Aspect Oriented Software Development Xii 2015 0 Lecture Notes In Computer Science Scopus WoS
Ecocam, A Context Sensitive Computational System To Promote Mental Calculation Strategies: Design Characteristics And Preliminary Results Ecocam, Un Sistema Computacional Adaptable Al Contexto Para Promover Estrategias De Cálculo Mental: Características De Su Diseño Y Resultados Preliminares 2014 0 Revista Latinoamericana De Investigacion En Matematica Educativa Scopus WoS
Cast Insertion Strategies For Gradually Typed Objects 2014 0 Acm Sigplan Notices Scopus WoS
Taming Aspects With Monads And Membranes 2013 0 Scopus
A Brief Tour Of Join Point Interfaces 2013 0 Scopus
A Typed Monadic Embedding Of Aspects 2013 0 Scopus
Guest Editor's Foreword 2013 0 Lecture Notes In Computer Science Scopus WoS
Do Static Type Systems Improve The Maintainability Of Software Systems? An Empirical Study 2012 0 Scopus
Modularity: Aosd.12 Chairs' Welcome 2012 0 Scopus
Taming Aspects With Membranes 2012 0 Scopus
A Self Replication Algorithm To Flexibly Match Execution Traces 2012 0 Scopus
Plaid: A Permission Based Programming Language 2011 0 Scopus
Permission Based Programming Languages (Nier Track) 2011 0 Proceedings International Conference On Software Engineering Scopus WoS
How Developers Use The Dynamic Features Of Programming Languages: The Case Of Smalltalk 2011 0 Proceedings International Conference On Software Engineering Scopus WoS
A Semantics For Execution Levels With Exceptions 2011 0 Scopus
Polymorphic Bytecode Instrumentation 2011 0 Scopus
Modular Composition And State Update In Plaid 2010 0 Scopus
Resilient Actors: A Runtime Partitioning Model For Pervasive Computing Services 2009 0 Scopus
Expressive Scoping Of Dynamically Deployed Aspects 2008 0 Scopus
How Should Context Escaping Closures Proceed? 2009 0 Scopus
Towards Resilient Partitioning Of Pervasive Computing Services 2008 0 Scopus
Summary Of The Third Workshop On Domain Specific Aspect Languages 2008 0 Scopus
Controlling Aspect Reentrancy 2008 0 Journal Of Universal Computer Science Scopus WoS
Contextual Values 2008 0 Scopus
Abstracting Gradual References 2020 8 artículo de investigación Science Of Computer Programming WoS Scopus
Trace Relating Compiler Correctness And Secure Compilation 2020 7 proceedings paper Lecture Notes In Computer Science WoS Scopus
Gradual Verification Of Recursive Heap Data Structures 2020 0 artículo de investigación WoS Scopus
The Marriage Of Univalence And Parametricity 2021 1 artículo de investigación Journal Of The Acm WoS Scopus
A Mechanized Formalization Of Graphql 2020 0 proceedings paper WoS Scopus
Gradually Structured Data 2021 3 artículo de investigación WoS Scopus
An Extended Account Of Trace Relating Compiler Correctness And Secure Compilation 2021 3 artículo de investigación Acm Transactions On Programming Languages And Systems WoS Scopus
Plausible Sealing For Gradual Parametricity 2022 3 artículo de investigación WoS Scopus
Gradual Program Analysis For Null Pointers 2021 0 Leibniz International Proceedings In Informatics, Lip Ics Scopus WoS
A Reasonably Exceptional Type Theory 2019 4 artículo de investigación WoS Scopus
Dijkstra Monads For All 2019 16 artículo de investigación WoS Scopus
Approximate Normalization For Gradual Dependent Types 2019 6 artículo de investigación WoS Scopus
Gradual Parametricity, Revisited 2019 13 artículo de investigación WoS Scopus
Gradualizing The Calculus Of Inductive Constructions 2022 5 artículo de investigación Acm Transactions On Programming Languages And Systems WoS Scopus
A Reasonably Gradual Type Theory 2022 2 artículo de investigación WoS Scopus
Propositional Equality For Gradual Dependently Typed Programming 2022 3 artículo de investigación WoS Scopus
Gradual System F 2022 0 artículo de investigación Journal Of The Acm WoS Scopus
Gradual Liquid Type Inference 2018 3 artículo de investigación WoS Scopus
Equivalences For Free Univalent Parametricity For Effective Transport 2018 6 artículo de investigación WoS Scopus
Gradual Refinement Types 2017 0 Acm Sigplan Notices Scopus WoS
Partial Type Equivalences For Verified Dependent Interoperability 2016 0 Acm Sigplan Notices Scopus WoS
A Trustworthy Mechanized Formalization Of R 2018 0 Acm Sigplan Notices Scopus WoS
Contextual Linear Types For Differential Privacy 2023 0 artículo de investigación Acm Transactions On Programming Languages And Systems WoS Scopus
Customizable Gradual Polymorphic Effects For Scala 2015 0 Acm Sigplan Notices Scopus WoS
Gradual Certified Programming In Coq 2015 0 Acm Sigplan Notices Scopus WoS
Gradual Liquid Type Inference 2018 3 artículo de investigación WoS Scopus
Securing Verified Io Programs Against Unverified Code In F∗ 2024 0 artículo de investigación WoS Scopus

Listado de publicaciones, tipo de publicación, revista de la publicación y sus citas desde el años 2008.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Palabras Clave



Palabra Clave #Pub
gradual typing 29
aspect-oriented programming 24
semantics 13
languages 12
abstract interpretation 10
coq 8
design 8
programming languages 8
dependent types 7
parametricity 7
monads 6
java 5
model 5
refinement types 5
reflection 5
type-and-effect systems 5
aop 4
casts 4
execution levels 4
proof assistants 4
reliability 4
smalltalk 4
type systems 4
types 4
checking 3
cognitive strategies 3
concurrency 3
contracts 3
dynamic program analysis 3
language 3
mental calculation 3
metaphors 3
metaprogramming 3
permissions 3
polymorphism 3
reflex 3
scope 3
subtyping 3
systems 3
type equivalence 3
typestate 3
verification 3
a context sensitive computational system 2
actors 2
ambienttalk 2
aspect composition 2
aspect reentrancy 2
aspectj 2
bytecode instrumentation 2
certified programming 2
distribution 2
domain-specific languages 2
dynamic deployment 2
dynamic languages 2
effect polymorphism 2
effscript 2
empirical studies 2
error explanation 2
gradual types 2
gradual verification 2
gradualtalk 2
homotopy type theory 2
implementation 2
information flow control 2
interoperability 2
java virtual machine 2
javascript 2
kernel 2
liquid types 2
modular reasoning 2
modularity 2
monitors 2
operational semantics 2
performance 2
pervasive computing 2
plaid 2
pointcut language 2
pointcut/advice model 2
program extraction 2
r 2
refinements 2
relaxed noninterference 2
response time 2
scala 2
scheme 2
secure compilation 2
software engineering 2
stateful aspects 2
static analysis 2
subset types 2
testing infrastructure 2
theory 2
type abstraction 2
type equivalences 2
type-based reasoning 2
access control 1
access permissions 1
acta 1
ad hoc networks 1
adaptation 1
advanced transaction management 1
advice dispatch 1
algebraic datatypes 1
algorithms 1
aop kernel 1
aspect oriented programming 1
aspectscript 1
calculus 1
capabilities 1
code 1
cognitive modes 1
compiler correctness 1
composition 1
computational effects 1
concrete syntax 1
concurrent activities 1
crosscutting concerns 1
data extensions 1
data mining 1
dataflow analysis 1
debuggers 1
debugging 1
debugging aids 1
differential privacy 1
dijkstra 1
distributed computing 1
documentation 1
dynamic scope 1
effects 1
efficiency 1
empirical research 1
empirical se 1
esa 1
event-driven programming 1
events 1
exception conflation 1
exception handling 1
exceptions 1
execution traces 1
explicit announcement 1
extensible implementation 1
extension 1
flow-sensitive typing 1
formal languages 1
formal verification 1
foundations 1
framework 1
galois connection 1
github 1
graphql 1
harmful 1
higher-order contracts 1
human factors 1
hyperproperties 1
implicit announcement 1
implicit dynamic frames 1
inference 1
infinite regression 1
information-flow 1
information-flow inference 1
input-output 1
integrated environments 1
interfaces 1
join point polymorphism 1
label polymorphism 1
language constructs and features 1
language-based security 1
lexical scope 1
maintainability 1
management 1
measurement 1
mechanized metatheory 1
membranes 1
meta-programming 1
metaobject protocol 1
mining software repositories 1
mirages 1
mirrors 1
mixin layers 1
modular language extensions 1
modularity constructs 1
monad views 1
mutable references 1
navigation 1
non-interference 1
noninterference 1
normalization 1
object 1
object-oriented languages 1
object-oriented programming 1
omniscient debugging 1
operation extensions 1
otm 1
parallel execution 1
partial behavioral reflection 1
pro-grammable membranes 1
profiling 1
program transformation 1
program verification 1
programming language model 1
programs 1
property-preserving compilation 1
propositional equality 1
r, coq 1
recursive predicates 1
resilient actors 1
response times 1
runtime service partitioning 1
scheduler 1
scoping 1
scoping strategies 1
scripting languages 1
security 1
self-replication algorithms 1
semi-structured data 1
separation logic 1
service discovery 1
service partitioning 1
side-effects 1
software 1
software evolution 1
sound 1
state 1
state-chart 1
structural aspects 1
synchronization 1
syntax 1
system 1
tagged monads 1
trace properties 1
trait 1
traits 1
type predicates 1
type theory 1
typebased reasoning 1
typed racket 1
typestates 1
typing 1
univalence 1
use of goto statements 1
variable bindings 1
verified compilation 1
versatile kernel 1
web 2.0 applications 1
weca 1

Listado ordenado de keywords declarados por el autor en publicaciones desde el año 2008.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Descargar Descarga los datos de esta página (formato JSON).
Descargar Descarga los datos de esta página como un archivo Excel.









Departamento Gestión de Conocimiento, Monitoreo y Prospección
 Moneda 1375, Santiago de Chile. Teléfono (56 2) 2365 4400
Consultas o comentarios: productividad@anid.cl