BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Italy
1 × Japan
1 × United Kingdom
Collaborated with:
D.Kozen R.Alur Caleb Stanford Z.G.Ives N.B.B.Grathwohl D.Petrisan A.Silva S.Oren L.Seeman L.Kot J.Gehrke N.Foster M.Reitblatt A.S.0001 M.Raghothaman S.Khanna V.Tannen
Talks about:
stream (3) kleen (3) quantit (2) modular (2) algebra (2) theori (2) hoar (2) data (2) kat (2) probabilist (1)

Person: Konstantinos Mamouras

DBLP DBLP: Mamouras:Konstantinos

Contributed to:

FoSSaCS 20152015
ICALP (2) 20152015
ICALP (2) 20142014
CSL-LICS 20142014
CSL 20132013
VLDB 20122012
ESOP 20162016
PLDI 20172017
PLDI 20192019
POPL 20192019

Wrote 11 papers:

FoSSaCS-2015-Mamouras #hoare #logic #nondeterminism #synthesis
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (KM), pp. 25–40.
ICALP-v2-2015-KozenMP0 #algebra
Nominal Kleene Coalgebra (DK, KM, DP, AS), pp. 286–298.
ICALP-v2-2014-KozenM #algebra #equation
Kleene Algebra with Equations (DK, KM), pp. 280–292.
LICS-CSL-2014-GrathwohlKM #exclamation
KAT + B! (NBBG, DK, KM), p. 10.
LICS-CSL-2014-Mamouras #hoare #monad #on the #recursion
On the Hoare theory of monadic recursion schemes (KM), p. 10.
CSL-2013-KozenM #algebra
Kleene Algebra with Products and Iteration Theories (DK, KM), pp. 415–431.
VLDB-2012-MamourasOSKG #complexity #coordination #social
The Complexity of Social Coordination (KM, SO, LS, LK, JG), pp. 1172–1183.
ESOP-2016-FosterKMR0 #probability
Probabilistic NetKAT (NF, DK, KM, MR, AS0), pp. 282–309.
PLDI-2017-MamourasRAIK #composition #evaluation #named #performance #query #specification #streaming
StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data (KM, MR, RA, ZGI, SK), pp. 693–708.
PLDI-2019-MamourasSAIT #distributed
Data-trace types for distributed stream processing systems (KM, CS, RA, ZGI, VT), pp. 670–685.
POPL-2019-AlurMS #composition #monitoring
Modular quantitative monitoring (RA, KM, CS), p. 31.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.