David Harel - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged semantics

Assert and negate revisited: Modal semantics for UML sequence diagramsDavid Harel, Shahar Maoz. SoSyM, 7(2):237-252, 2008. [doi]

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]

Assert and negate revisited: modal semantics for UML sequence diagramsDavid Harel, Shahar Maoz. scesm 2006: 13-20 [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]

The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary VersionDavid Harel, Hillel Kugler. dfg 2004: 325-354 [doi]

Meaningful Modeling: What s the Semantics of Semantics ?David Harel, Bernhard Rumpe. Computer, 37(10):64-72, 2004. [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]

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]

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

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

The STATEMATE Semantics of StatechartsDavid Harel, Amnon Naamad. TOSEM, 5(4):293-333, 1996. [doi]

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 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.

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

Categorial Semantics For LFGMary Dalrymple. COLING 1992: 212-218 [doi]

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

On the Formal Semantics of Statecharts (Extended Abstract)David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman. lics 1987: 54-64

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.

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