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: Mamouras:Konstantinos
Contributed to:
2015
20152014
2014
2013
2012
2016
20172019
2019Wrote 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.