Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Santiago M. Pericás-Geertsen" ( http://dblp.L3S.de/Authors/Santiago_M._Pericás-Geertsen )

  Author page on DBLP  Author page in RDF  Community of Santiago M. Pericás-Geertsen in ASPL-2

Publication years (Num. hits)
1999 (1) 2001 (1) 2002 (2)
Publication types (Num. hits)
article(2) inproceedings(2)
Venues (Conferences, Journals, ...)
Comput. Lang.(1) ESOP(1) Inf. Comput.(1) LICS(1)
Authors
Santiago M. Pericás-Geertsen(4) A. J. Kfoury(3) Torben Amtoft(2) Michele Bugliesi(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Michele Bugliesi, Santiago M. Pericás-Geertsen Type Inference for Variant Object Types. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen Orderly communication in the Ambient Calculus. Search on Bibsonomy Comput. Lang. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen What Are Polymorphically-Typed Ambients? Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1A. J. Kfoury, Santiago M. Pericás-Geertsen Type Inference for Recursive Definitions. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF type systems, type inference, lambda calculus, unification, software specification
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.