Search Results

Documents authored by Mislove, Michael


Found 2 Possible Name Variants:

Mislove, Michael W.

Document
Information Flow and Its Applications (Dagstuhl Seminar 12352)

Authors: Samson Abramsky, Jean Krivine, and Michael W. Mislove

Published in: Dagstuhl Reports, Volume 2, Issue 8 (2013)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12352 "Information Flow and Its Applications". This seminar brought together mathematicians, computer scientists, physicists and researchers from related disciplines such as computational biology who are working on problems concerning information and information flow.

Cite as

Samson Abramsky, Jean Krivine, and Michael W. Mislove. Information Flow and Its Applications (Dagstuhl Seminar 12352). In Dagstuhl Reports, Volume 2, Issue 8, pp. 99-112, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{abramsky_et_al:DagRep.2.8.99,
  author =	{Abramsky, Samson and Krivine, Jean and Mislove, Michael W.},
  title =	{{Information Flow and Its Applications (Dagstuhl Seminar 12352)}},
  pages =	{99--112},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{2},
  number =	{8},
  editor =	{Abramsky, Samson and Krivine, Jean and Mislove, Michael W.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.99},
  URN =		{urn:nbn:de:0030-drops-37866},
  doi =		{10.4230/DagRep.2.8.99},
  annote =	{Keywords: Information flow; semantics of computation; quantum computing; systems biology; information theory; informatics}
}
Document
10232 Report – The Semantics of Information

Authors: Keye R. Martin and Michael W. Mislove

Published in: Dagstuhl Seminar Proceedings, Volume 10232, The Semantics of Information (2010)


Abstract
The Dagstuhl Seminar 10232, "Semantics of Information" was devoted to talks by researchers in a wide range of disciplines: mathematics, computer science, systems biology, physics, and economic gam theory, all of which explored the relationship of computer science and its theory to their area.

Cite as

Keye R. Martin and Michael W. Mislove. 10232 Report – The Semantics of Information. In The Semantics of Information. Dagstuhl Seminar Proceedings, Volume 10232, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{martin_et_al:DagSemProc.10232.1,
  author =	{Martin, Keye R. and Mislove, Michael W.},
  title =	{{10232 Report – The Semantics of Information}},
  booktitle =	{The Semantics of Information},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10232},
  editor =	{Keye R. Martin and Michael W. Mislove},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10232.1},
  URN =		{urn:nbn:de:0030-drops-27595},
  doi =		{10.4230/DagSemProc.10232.1},
  annote =	{Keywords: Classical and quantum information and computing, quantum physics, computational chemistry, economic game theory, security, topology, category theory, domain theory}
}

Mislove, Michael

Document
Early Ideas
The Central Valuations Monad (Early Ideas)

Authors: Xiaodong Jia, Michael Mislove, and Vladimir Zamdzhiev

Published in: LIPIcs, Volume 211, 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)


Abstract
We give a commutative valuations monad Z on the category DCPO of dcpo’s and Scott-continuous functions. Compared to the commutative valuations monads given in [Xiaodong Jia et al., 2021], our new monad Z is larger and it contains all push-forward images of valuations on the unit interval [0, 1] along lower semi-continuous maps. We believe that this new monad will be useful in giving domain-theoretic denotational semantics for statistical programming languages with continuous probabilistic choice.

Cite as

Xiaodong Jia, Michael Mislove, and Vladimir Zamdzhiev. The Central Valuations Monad (Early Ideas). In 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 211, pp. 18:1-18:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@InProceedings{jia_et_al:LIPIcs.CALCO.2021.18,
  author =	{Jia, Xiaodong and Mislove, Michael and Zamdzhiev, Vladimir},
  title =	{{The Central Valuations Monad}},
  booktitle =	{9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
  pages =	{18:1--18:5},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-212-9},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{211},
  editor =	{Gadducci, Fabio and Silva, Alexandra},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.18},
  URN =		{urn:nbn:de:0030-drops-153733},
  doi =		{10.4230/LIPIcs.CALCO.2021.18},
  annote =	{Keywords: Valuations, Commutative Monad, DCPO, Probabilistic Choice, Recursion}
}
Document
Domain Theory and Its Applications (Dagstuhl Seminar 98181)

Authors: Stephen Brookes, Manfred Droste, and Michael Mislove

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Stephen Brookes, Manfred Droste, and Michael Mislove. Domain Theory and Its Applications (Dagstuhl Seminar 98181). Dagstuhl Seminar Report 209, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1999)


Copy BibTex To Clipboard

@TechReport{brookes_et_al:DagSemRep.209,
  author =	{Brookes, Stephen and Droste, Manfred and Mislove, Michael},
  title =	{{Domain Theory and Its Applications (Dagstuhl Seminar 98181)}},
  pages =	{1--18},
  ISSN =	{1619-0203},
  year =	{1999},
  type = 	{Dagstuhl Seminar Report},
  number =	{209},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.209},
  URN =		{urn:nbn:de:0030-drops-150951},
  doi =		{10.4230/DagSemRep.209},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail