Scientific Publications & Communications about Mathematics & Informatics

KEYWORDS: syntax/semantics of processes & transactions, denotational and structural operational semantics, full abstraction, computation & communication, serialization & concurrency, true concurrency, resource, consumption, recycling, quantification, pomset, matrices & graphs.

Publications (abstracts, introductions), CSAuthors, ResearchGate, LinkedIn, DBLP, PhDTree

    10.  Dan Teodosiu: Fully Abstract Process Modelling over Recyclable Resources.

Published on Research Gate, March 2016. (57 pages, full version of 9)

dx.doi.org/10.13140/RG.2.1.4726.1845/1

 

    9.    Dan Teodosiu: A Truly Concurrent Process Calculus over Recyclable Resources.

Published on Research Gate, March 2016. (15 pages, extended abstract of 10)

dx.doi.org/10.13140/RG.2.1.2891.1763/1

 

    8.    Dan Teodosiu: Fully Abstract Multi-Pomset Semantics for a Process Calculus over Consumable Resources.

Theoretical Computer Science (TCS), Elsevier, March 2012. (submitted)

Published on Research Gate, January 2016. (50 pages, full version of 7)

dx.doi.org/10.13140/RG.2.1.2510.3448/1

 

    7.    Dan Teodosiu: A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources.

28th Conf. on the Mathematical Foundations of Programming Semantics (MFPS XXVIII), Bath (UK), June 2012. (30 slides)

Electronic Notes in Theoretical Computer Science (ENTCS) 286, pages 307-321, Elsevier, September 2012.

(16 pages, extended abstract of 8)

dx.doi.org/10.1016/j.entcs.2012.08.020

 

    6.    Dan Teodosiu: A Truly Concurrent Semantics for Processes sharing Quantified Resources.

            Ph.D. Thesis No. 2012PA077019, Department of Computer Science, University Paris 7, March 2012.

(Mathematics Genealogy Project, SUDOC.fr, Theses.fr, Worldcat.org, 43 slides, 120 pages)

dx.doi.org/10.13140/RG.2.1.4346.5041

 

    5.    Dan Teodosiu, Paul Gastin: Resource Traces: A Domain for Processes sharing Exclusive Resources.

12th Conference on the Mathematical Foundations of Programming Semantics (MFPS XII), Boulder (USA), June 1996.

Theoretical Computer Science (TCS) 278, pages 195-221, Elsevier, May 2002. (25 pages)

dx.doi.org/10.1016/S0304-3975(00)00336-4

 

    4.    Volker Diekert, Dan Teodosiu (editors): 3. Theorietag Automaten und formale Sprachen. (in German)

Schloss Dagstuhl (BRD), Oktober 1993, Institut für Informatik (IfI), Universität Stuttgart, Bericht 1/1994. (70 pages)

ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/TR-1994-01/TR-1994-01.pdf

 

    3.    Dan Teodosiu: Domain-theoretical Properties of Complex Traces. (in German)

Master Thesis No. 1025, Institut für Informatik (IfI), Universität Stuttgart, August 1993. (36 pages)

dx.doi.org/10.13140/RG.2.1.1364.3929

 

    2.    Dan Teodosiu: A Conjugate-Gradient-Solver for Finite-Element-Simulations. (in German)

Software Praktikum, Institut für Informatik (IfI), Universität Stuttgart, März 1991. (95 pages)

dx.doi.org/10.13140/RG.2.1.4510.1204

 

    1.    Dan Teodosiu: The Shannon-Effect and the Asymptotics of Complexity Measures. (in German)

Hauptseminararbeit, Institut für Informatik (IfI), Universität Stuttgart, Juli 1989. (22 pages)

dx.doi.org/ 10.13140/RG.2.1.1233.3203

Communications

    10.  Trace Semantics for True Concurrency, P.-L. Curien seminar, PPS, Univ. Paris 7, 2010.

 

    9.    Subdirect Products of Trace Monoids, C. Choffrut seminar, LIAFA, Univ. Paris 7, 1998.

 

    8.    Algebra and Topology of Resource Traces, M. Droste seminar, IfA, Univ. Dresden, 1998.

 

    7.    The Ordered Monoid of Resource Traces, V. Diekert seminar, IfI, Univ. Stuttgart, 1996.

 

    6.    Domain Properties of Delta Traces, V. Diekert seminar, IfI, Univ. Stuttgart, 1995.

 

    5.    Domain Properties of Complex Traces, V. Diekert seminar, IfI, Univ. Stuttgart, 1993.

 

    4.    Order Sorted Algebra and Rewriting, V. Diekert seminar, IfI, Univ. Stuttgart, 1992.

 

    3.    Asymptotics of Complexity Measures, J. Köbler seminar, IfI, Univ. Stuttgart, 1989.

 

    2.    Graph Polynomials, K. W. Roggenkamp seminar, Math. Inst., Univ. Stuttgart, 1987.

   

    1.    Action Orbits and Stabilizers, K. W. Roggenkamp seminar, Math. Inst., Univ. Stuttgart, 1985.

 

 

Return to homepage

© Dan TEODOSIU