|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 35 occurrences of 23 keywords
|
|
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the expressiveness and decidability of higher-order process calculi.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani |
Characterizing contextual equivalence in calculi with passivation. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
Controlling Reversibility in Higher-Order Pi. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt |
Query Reasoning on Trees with Types, Interleaving, and Counting. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt |
On the Count of Trees |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt |
A Tree Logic with Graded Paths and Nominals |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani |
Howe's Method for Calculi with Passivation. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
Typing Component-Based Communication Systems. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness of Polyadicity in Higher-Order Process Calculi. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alan Schmitt (eds.) |
JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings |
JFLA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani |
Normal Bisimulations in Calculi with Passivation. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt |
Boomerang: resourceful lenses for string data. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
bidirectional languages, regular string transducers, lenses, view update problem, regular types |
| 1 | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |
Typing communicating component assemblages. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
assemblage error, component types, process types, type interference, components, type system, communication systems |
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness and Decidability of Higher-Order Process Calculi. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages |
| 1 | J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt |
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Bidirectional programming, XML, lenses, Harmony, view update problem |
| 1 | J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt |
Exploiting schemas in data synchronization. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Genevès, Nabil Layaïda, Alan Schmitt |
Efficient static analysis of XML paths and types. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
satisfiability, modal logic, XPath, type checking |
| 1 | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |
Oz/K: a kernel language for component-based open programming. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
open programming, locality, components |
| 1 | Pierre Genevès, Nabil Layaïda, Alan Schmitt |
XPath Typing Using a Modal Logic with Converse for Finite Trees. |
PLAN-X |
2007 |
DBLP BibTeX RDF |
|
| 1 | J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt |
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. |
PLAN-X |
2007 |
DBLP BibTeX RDF |
|
| 1 | Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani |
Dream types: a domain specific type system for component-based message-oriented middleware. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, Alan Schmitt |
Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. |
DISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt |
XTATIC. |
PLAN-X |
2006 |
DBLP BibTeX RDF |
|
| 1 | Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani |
An Abstract Machine for the Kell Calculus. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt |
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
bi-directional programming, XML, lenses, harmony, view update problem |
| 1 | Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani |
Component-Oriented Programming with Sharing: Containment is Not Ownership. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt |
XML Goes Native: Run-Time Representations for Xtatic. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt |
Exploiting Schemas in Data Synchronization. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Bouchenak, Fabienne Boyer, Emmanuel Cecchet, Sébastien Jean, Alan Schmitt, Jean-Bernard Stefani |
A component-based approach to distributed system management: a use case with self-manageable J2EE clusters. |
ACM SIGOPS European Workshop |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Schmitt, Jean-Bernard Stefani |
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
higher-order bisimulation, components, distributed programming, mobile code, Process calculi, ambients, higher-order languages |
| 1 | Alan Schmitt, Jean-Bernard Stefani |
The m-calculus: a higher-order distributed process calculus. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
mobility, distribution, type systems, process calculi, higher order |
| 1 | Alan Schmitt |
Safe Dynamic Binding in the Join Calculus. |
IFIP TCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt |
JoCaml: A Language for Concurrent Distributed and Mobile Programming. |
Advanced Functional Programming |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt |
An Asynchronous, Distributed Implementation of Mobile Ambients. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")