Chris Verhoef - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged semantics

A timed semantics of OrcIan Wehrman, David Kitchin, William R. Cook, Jayadev Misra. TCS, 402(2-3):234-248, 2008. [doi]

Fixed point semantics and partial recursion in CoqYves Bertot, Vladimir Komendantsky. ppdp 2008: 89-96 [doi]

A method for linking computed image features to histological semantics in neuropathologyBirgit Lessmann, Tim W. Nattkemper, V. H. Hans, Andreas Degenhard. jbi, 40(6):631-641, 2007. [doi]

2005 International Conference on Semantics, Knowledge and Grid (SKG 2005), 27-29 November 2005, Beijing, ChinaIEEE Computer Society, 2006.

2006 International Conference on Semantics, Knowledge and Grid (SKG 2006), 1-3 November 2006, Guilin, ChinaIEEE Computer Society, 2006.

A Finite Basis for Failure SemanticsWan Fokkink, Sumit Nain. icalp 2005: 755-765 [doi]

Minimal Negation in the Ternary Relational SemanticsGemma Robles, José M. Méndez, Francisco Salto. rml, 39:47-65, 2005. [doi]

Precongruence formats for decorated trace semanticsBard Bloom, Wan Fokkink, Rob J. van Glabbeek. tocl, 5(1):26-78, 2004. [doi]

A Behavioral Semantics of OOHDM Core Features and of Its Business Process ExtensionHans Albrecht Schmid, Oliver Herfort. ICWE 2004: 74-87 [doi]

Polarized Proof Nets with Cycles and Fixpoints SemanticsRaphaël Montelatici. tlca 2003: 256-270 [doi]

Precongruence Formats for Decorated Trace SemanticsBard Bloom, Wan Fokkink, Rob J. van Glabbeek. corr, cs.LO/0204039, 2002. [doi]

Conservative Extension in Structural Operational SemanticsLuca Aceto, Wan Fokkink, Chris Verhoef. In Current Trends in Theoretical Computer Science. pages 504-524, 2001.

Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, ProceedingsWalid Taha, editor, Volume 2196 of Lecture Notes in Computer Science, Springer, 2001.

Web sites and semanticsThierry Despeyroux, Brigitte Trousse. ht 2001: 239-240 [doi]

On the problem of computing the well-founded semanticsZbigniew Lonc, Miroslaw Truszczynski. tplp, 1(5):591-609, 2001.

Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, ProceedingsWalid Taha, editor, Volume 1924 of Lecture Notes in Computer Science, Springer, 2000.

Semiotes: a semantics for sharingToni Kazic. bioinformatics, 16(12):1129-1144, 2000.

Generation, Lambek Calculus, Montague s Semantics and Semantic Proof NetsSylvain Pogodalla. COLING 2000: 628-634 [doi]

Conservative Extension in Structural Operational SemanticsLuca Aceto, Wan Fokkink, Chris Verhoef. eatcs, 69:110-132, 1999.

Thread and Main Memory SemanticsVishnu Kotrajaras, Susan Eisenbach. ECOOPW 1999: 106

A Conservative Look at Operational Semantics with Variable BindingWan Fokkink, Chris Verhoef. iandc, 146(1):24-54, 1998.

Extended Message Sequence Charts with Time-Interval SemanticsPaulo S. Muniz Silva. time 1998: 37-44 [doi]

Semantics vs Syntax vs Computations: Machine Models for Type-2 Polynomial-Time Bounded FunctionalsJames S. Royer. jcss, 54(3):424-436, 1997.

An M-Net Semantics for a Real-Time Extension of µSDLHans Fleischhack, Josef Tapken. FM 1997: 162-181

Process versus Unfolding Semantics for Place/Transition Petri NetsJosé Meseguer, Ugo Montanari, Vladimiro Sassone. TCS, 153(1&2):171-210, 1996. [doi]

Semantics of a Higher-Order Coordination LanguageMatthias Radestock, Susan Eisenbach. coordination 1996: 339-356

An Evaluation Semantics for DATR TheoriesBill Keller. COLING 1996: 646-651 [doi]

Semantics: The Description of Computational StructuresJon G. Riecke. ACM Comput. Surv., 28(4es):173, 1996.

The Semantics of Network Management InformationTianning Zhang, Stefan Covaci. infocom 1996: 489-496

A Congruence Theorem for Structured Operational Semantics with Predicates and Negative PremisesChris Verhoef. njc, 2(2):274-302, 1995.

A Star-Free Semantics for REdwin D. Mares. JSYML, 60(2):579-590, 1995.

Syntax and Semantics of ProcolRoel van der Goot, Arie de Bruin. mfcs 1995: 509-518

A Minimal Model Computation of the Generalized Disjunctive Well-Founded SemanticsCristian Papp. cuza, 4:37-64, 1995.

A Congruence Theorem for Structured Operational Semantics with Predicates and Negative PremisesChris Verhoef. concur 1994: 433-448

What Do You get From a Pi-Calculus Semantics?Matthias Radestock, Susan Eisenbach. parle 1994: 635-647

A Congruence Theorem for Structured Operational Semantics with PredicatesJos C. M. Baeten, Chris Verhoef. concur 1993: 477-492

Dataflow Semantics for Petri NetsRobert Gold. mfcs 1992: 275-283

M-Lisp: A Representation-Independent Dialect of Lisp with Reduction SemanticsRobert Muller. TOPLAS, 14(4):589-615, 1992. [doi]

Semantics-Directed Compilation of Nonlinear PatternsOlivier Danvy. ipl, 37(6):315-322, 1991.

Static and Dynamic Semantics ProcessingCharles Consel, Olivier Danvy. POPL 1991: 14-24

Quality Criteria for Partial Order Semantics of Place/Transition-NetsRobert Gold, Walter Vogler. mfcs 1990: 306-312

Semantics for Specifying Real-Time SystemsMathai Joseph, Asis Goswami. facs 1990: 272-275

Corrigendum: Semantics of a Declarative LanguageGrigori Mints, Enn Tyugu. ipl, 25(2):139, 1987.

Commonsense Metaphysics and Lexical SemanticsJerry R. Hobbs, William Croft, Todd R. Davies, Douglas Edwards, Kenneth I. Laws. coling, 13(3-4):241-250, 1987.

Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net SemanticsAstrid Kiehn. apn 1988: 227-248

Semantics of a Declarative LanguageGrigori Mints, Enn Tyugu. ipl, 23(3):147-151, 1986.

Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, ProceedingsGilles Kahn, David B. MacQueen, Gordon D. Plotkin, editors, Volume 173 of Lecture Notes in Computer Science, Springer, 1984.

Axiomatic Semantics of Communicating Sequential ProcessesNeelam Soundararajan. TOPLAS, 6(4):647-662, 1984. [doi]

On the Semantics of PolymorphismMario Coppo. ACTA, 20:159-170, 1983.

Functorial Semantics of the Type Free lambda-beta eta CalculusAdam Obtulowicz. fct 1977: 302-307

runs on WebDSL