Jens Teubner - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged process algebra

Recursion in XQuery: put your distributivity safety belt onLoredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner. edbt 2009: 345-356 [doi]

An Inflationary Fixed Point Operator in XQueryLoredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner. icde 2008: 1504-1506 [doi]

Process Algebra with Local CommunicationMuck van Weerdenburg. ENTCS, 215:191-208, 2008. [doi]

Pathfinder: XQuery Compilation Techniques for Relational Database TargetsJens Teubner. btw 2007: 465-474 [doi]

eXrQuy: Order Indifference in XQueryTorsten Grust, Jan Rittinger, Jens Teubner. icde 2007: 226-235 [doi]

A SQL: 1999 code generator for the pathfinder xquery compilerTorsten Grust, Manuel Mayr, Jan Rittinger, Sherif Sakr, Jens Teubner. SIGMOD 2007: 1162-1164 [doi]

MonetDB/XQuery: a fast XQuery processor powered by a relational enginePeter A. Boncz, Torsten Grust, Maurice van Keulen, Stefan Manegold, Jan Rittinger, Jens Teubner. SIGMOD 2006: 479-490 [doi]

MonetDB/XQuery-Consistent and Efficient Updates on the Pre/Post PlanePeter A. Boncz, Jan Flokstra, Torsten Grust, Maurice van Keulen, Stefan Manegold, K. Sjoerd Mullender, Jan Rittinger, Jens Teubner. edbt 2006: 1190-1193 [doi]

An Axiomatic Characterization of Algebras of Processes of Petri NetsJózef Winkowski. FUIN, 72(1-3):407-420, 2006. [doi]

Reversing Algebraic Process Calculifossacs 2006: 246-260 [doi]

Process Algebras in the Age of Ubiquitous ComputingKohei Honda. ENTCS, 162:217-220, 2006. [doi]

Processes Distribution of Homogeneous Parallel Linear Algebra Routines on Heterogeneous ClustersJavier Cuenca, Luis-Pedro García, Domingo Giménez, Jack Dongarra. cluster 2005: 1-10 [doi]

Event Structures for Interrupt Process AlgebrasHarald Fecher. ENTCS, 96:113-127, 2004. [doi]

Generic Efficient Arithmetic Algorithms for PAFFs (Processor Adequate Finite Fields) and Related Algebraic Structures (Extended Abstract)Roberto Maria Avanzi, Preda Mihailescu. sacrypt 2004: 320-334 [doi]

Process Algebra with Nonstandard TimingKees Middelburg. FUIN, 53(1):55-77, 2002. [doi]

Algebraic Properties Of Processes for Local Action SystemsNico Verlinden, Dirk Janssens. mscs, 12(4):423-448, 2002.

Liveness and Fairness in Process-Algebraic VerificationAntti Puhakka, Antti Valmari. concur 2001: 202-217 [doi]

Quantifying the Dynamic Behavior of Process AlgebrasPeter Buchholz, Peter Kemper. papm 2001: 184-199 [doi]

A Process Algebra for Real-Time ProgramsHenning Dierks. FASE 2000: 66-81 [doi]

Time and Probability in Process AlgebraSuzana Andova. amast 2000: 323-338 [doi]

Comparison of Process Algebra Equivalences Using FormatsVashti Galpin. icalp 1999: 341-350 [doi]

Process Algebra with Probabilistic ChoiceSuzana Andova. arts 1999: 111-129 [doi]

Hardness results for weak bisimilarity of simple process algebrasJitka Stríbrná. ENTCS, 18:179-190, 1998. [doi]

How to Combine Z with Process AlgebraClemens Fischer. zum 1998: 5-23

Temporal Association Algebra: A Mathematical Foundation for Processing Object-Oriented Temporal DatabasesStanley Y. W. Su, Soon J. Hyun, Hsin-Hsing M. Chen. tkde, 10(3):389-408, 1998. [doi]

Axiomatizations for the Perpetual Loop in Process AlgebraWan Fokkink. icalp 1997: 571-581

Algebra of Communicating Processes - Preface to the Special IssueAlban Ponse, Chris Verhoef, Bas van Vlijmen. TCS, 177(2):285-286, 1997. [doi]

A General Conservative Extension Theorem in Process Algebras with InequalitiesPedro R. D Argenio, Chris Verhoef. TCS, 177(2):351-380, 1997. [doi]

Qualitative Reasoning and a Circular Information Processing AlgebraFranjo Jovic. informaticaSI, 21(1), 1997.

Process Algebra with Language MatchingJos van Wamel. TCS, 177(2):425-458, 1997. [doi]

A Process Algebra of Communicating Shared Resources with Dense Time and PrioritiesPatrice Brémond-Grégoire, Insup Lee. TCS, 189(1-2):179-219, 1997. [doi]

Probabilistic Branching in Markovian Process AlgebrasMichael Rettelbach. cj, 38(7):590-599, 1995.

PAM: A Process Algebra ManipulatorHuimin Lin. fmsd, 7(3):243-259, 1995.

A General Conservative Extension Theorem in Process AlgebraChris Verhoef. procomet 1994: 149-168

Notes on P-Algebra 1: Process StructureKohei Honda. tppp 1995: 25-44

NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992S. Purushothaman, Amy E. Zwarico, editors, Workshops in Computing, Springer, 1993.

Structured Operational Sematics for Process Algebras and Equational Axiom SystemsBard Bloom. concur 1993: 539-540

An Interactive Proof Tool for Process AlgebrasHuimin Lin. STACS 1992: 617-618

Implementing a Real-Time Process Algebra in HOLRichard Gerber, Elsa L. Gunter, Insup Lee. tphol 1992: 144-154

PAM: A Process Algebra ManipulatorHuimin Lin. cav 1992: 136-146

LOTOS-like Process Algebras with Urgent or Timed InteractionsTommaso Bolognesi, Ferdinando Lucidi. forte 1992: 249-264

Synchronic Distance in Process AlgebraHan Zuidweg. forte 1991: 63-77

Value-Passing in Process Algebras (Abstract)Matthew Hennessy. concur 1990: 31

Net Algebras on Process AlgebrasMarisa Venturini Zilli. eik, 26(4):201-212, 1990.

An Algebra of ProcessesJózef Winkowski, Andrea Maggiolo-Schettini. jcss, 35(2):206-228, 1987.

Petri nets and algebraic calculi of processesGérard Boudol, Gérard Roucairol, Robert de Simone. apn 1986: 41-58

Petri Nets and Algebraic Calculi of ProcessesGérard Boudol, Gérard Roucairol, Robert de Simone. STACS 1985: 59-70

Algebraic Properties of some Parallel Processor Interconnection NetworksSudhakar Yalamanchili, Jake K. Aggarwal. icde 1984: 611-618 [doi]

First Steps to Algebraic Processing of TextT. H. Merrett. icod 1983: 109-127

On Algebraic Query Processing in Logical DatabasesTomasz Imielinski. adbt 1982: 285-318

runs on WebDSL