Jonathan P. Bowen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged semantics

Linking denotational semantics with operational semantics for web servicesHuibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen. isse, 6(4):283-298, 2010. [doi]

From algebraic semantics to denotational semantics for VerilogHuibiao Zhu, Jifeng He, Jonathan P. Bowen. isse, 4(4):341-360, 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]

Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with ProbabilityHuibiao Zhu, Jifeng He, Jonathan P. Bowen. sew 2007: 131-143 [doi]

Algebraic Approach to Linking the Semantics of Web ServicesHuibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen. SEFM 2007: 315-328 [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]

From Algebraic Semantics to Denotational Semantics for VerilogHuibiao Zhu, Jifeng He, Jonathan P. Bowen. ICECCS 2006: 139-151 [doi]

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

Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing SystemsPhan C. Vinh, Jonathan P. Bowen. ECBS 2005: 247-254 [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]

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]

Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational SemanticsHuibiao Zhu, Jonathan P. Bowen, Jifeng He. icfem 2002: 600-612 [doi]

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

From Operational Semantics to Denotational Semantics for VerilogHuibiao Zhu, Jonathan P. Bowen, Jifeng He. charme 2001: 449-466 [doi]

Deriving Operational Semantics from Denotational Semantics for VerilogHuibiao Zhu, Jonathan P. Bowen, Jifeng He. apsec 2001: 177 [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]

An Animatable Operational Semantics of the Verilog Hardware Description LanguageJonathan P. Bowen, Jifeng He, Qiwen Xu. icfem 2000: 199-208 [doi]

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description LanguageJonathan P. Bowen. IFM 2000: 277-296 [doi]

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]

Reasoning about VHDL and VHDL-AMS using Denotational SemanticsPeter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, María M. Larrondo-Petrie, Carlos Delgado Kloos. date 1999: 346-352 [doi]

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

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

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.

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.

Towards Correct Executable Semantics for ZPeter T. Breuer, Jonathan P. Bowen. zum 1994: 185-209

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

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