Vlad Rusu - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged semantics

A Generic Tool for Tracing Executions Back to a DSML s Operational SemanticsBenoît Combemale, Laure Gonnord, Vlad Rusu. ECMDA-FA 2011: 35-51 [doi]

Embedding domain-specific modelling languages in maude specificationsVlad Rusu. ACM SIGSOFT Software Engineering Notes, 36(1):1-8, January 2011. [doi]

Formal executable semantics for conformance in the MDE frameworkMarina Egea, Vlad Rusu. isse, 6(1-2):73-81, 2010. [doi]

Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications DesignAbdoulaye Gamatié, Vlad Rusu, Éric Rutten. ispdc 2010: 25-32 [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]

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.

Extracting a data flow analyser in constructive logicDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. TCS, 342(1):56-78, 2005. [doi]

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]

Extracting a Data Flow Analyser in Constructive LogicDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. ESOP 2004: 385-400 [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

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

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