Alan Schmitt

Citado por

	Total	Desde 2019
Citas	2840	826
Índice h	24	12
Índice i10	41	16

180

135

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 15 34 47 93 78 105 119 165 158 163 142 130 149 141 164 112 140 156 132 165 169 110 92

Acceso público

Ver todo

5 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Jean-Bernard StefaniSenior Scientist, INRIADirección de correo verificada de inria.fr
Nate FosterProfessor of Computer Science, Cornell UniversityDirección de correo verificada de cs.cornell.edu
Ivan LaneseUniversity of BolognaDirección de correo verificada de unibo.it
Nabil LayaïdaInriaDirección de correo verificada de inria.fr
Martin BodinInriaDirección de correo verificada de ens-lyon.org
Thomas JensenDirecteur de recherche INRIA Rennes and IRISADirección de correo verificada de inria.fr
Cédric FournetMicrosoft ResearchDirección de correo verificada de microsoft.com
Davide SangiorgiProfessor of Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
Claudio Antares MezzinaUniversità degli studi di UrbinoDirección de correo verificada de uniurb.it
Jorge A. PérezAssociate Professor, University of GroningenDirección de correo verificada de rug.nl
Arthur CharguéraudInriaDirección de correo verificada de inria.fr
Everardo BarcenasunamDirección de correo verificada de fi-b.unam.mx
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonDirección de correo verificada de doc.ic.ac.uk
Damien PousCNRSDirección de correo verificada de ens-lyon.fr
Malgorzata BiernackaAssistant Professor, Institute of Computer Science, University of WroclawDirección de correo verificada de cs.uni.wroc.pl
Dariusz BiernackiUniversity of WroclawDirección de correo verificada de cs.uni.wroc.pl
Vivien QuémaProfessor, Grenoble INP - Ensimag, UGADirección de correo verificada de imag.fr
Tom HirschowitzCNRSDirección de correo verificada de univ-smb.fr
Tamara RezkINRIADirección de correo verificada de inria.fr

Seguir

Alan Schmitt

Inria, IRISA

Dirección de correo verificada de inria.fr - Página principal

Programming Languages


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem JN Foster, MB Greenwald, JT Moore, BC Pierce, A Schmitt ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (3), 17-es, 2007	768	2007
Boomerang: resourceful lenses for string data A Bohannon, JN Foster, BC Pierce, A Pilkiewicz, A Schmitt Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008	243	2008
A trusted mechanised JavaScript specification M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ... Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014	173	2014
Efficient static analysis of XML paths and types P Geneves, N Layaïda, A Schmitt Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007	149	2007
The kell calculus: A family of higher-order distributed process calculi A Schmitt, JB Stefani Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy …, 2005	134	2005
The M-calculus: A higher-order distributed process calculus A Schmitt, JB Stefani ACM SIGPLAN Notices 38 (1), 50-61, 2003	104	2003
Controlling reversibility in higher-order pi I Lanese, CA Mezzina, A Schmitt, JB Stefani International Conference on Concurrency Theory, 297-311, 2011	99	2011
JoCaml: A language for concurrent distributed and mobile programming C Fournet, F Le Fessant, L Maranget, A Schmitt International School on Advanced Functional Programming, 129-158, 2002	92	2002
On the expressiveness and decidability of higher-order process calculi I Lanese, JA Pérez, D Sangiorgi, A Schmitt Information and Computation 209 (2), 198-226, 2011	89	2011
An asynchronous, distributed implementation of mobile ambients C Fournet, JJ Lévy, A Schmitt IFIP International Conference on Theoretical Computer Science, 348-364, 2000	86	2000
Concurrent flexible reversibility I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani European Symposium on Programming, 370-390, 2013	64	2013
Exploiting schemas in data synchronization JN Foster, MB Greenwald, C Kirkegaard, BC Pierce, A Schmitt Journal of Computer and System Sciences 73 (4), 669-689, 2007	57	2007
Skeletal semantics and their interpretations M Bodin, P Gardner, T Jensen, A Schmitt Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019	52	2019
A language for bi-directional tree transformations MB Greenwald, JT Moore, BC Pierce, A Schmitt Pat 333, 4444, 2003	37	2003
The Xtatic experience V Gapeyev, MY Levin, BC Pierce, A Schmitt Workshop on Programming language Technologies for XML (PLAN-X), 2005	36	2005
On the expressiveness of polyadic and synchronous communication in higher-order process calculi I Lanese, JA Pérez, D Sangiorgi, A Schmitt International Colloquium on Automata, Languages, and Programming, 442-453, 2010	32	2010
Bringing Harmony to optimism: A synchronization framework for heterogeneous tree-structured data BC Pierce, A Schmitt, MB Greenwald Technical Report MS-CIS-03-42, University of Pennsylvania, 2003	30	2003
Query reasoning on trees with types, interleaving, and counting E Bárcenas, P Geneves, N Layaïda, A Schmitt IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011	28	2011
Lenses and view update translation BC Pierce, A Schmitt Manuscript, 2003	28	2003
An abstract machine for the kell calculus P Bidinger, A Schmitt, JB Stefani International Conference on Formal Methods for Open Object-Based Distributed …, 2005	27	2005

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores