2 Search Results for "Mislove, Michael W."

@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}
}

@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}
}

• Refine by Author
• 2 Mislove, Michael W.
• 1 Abramsky, Samson
• 1 Krivine, Jean
• 1 Martin, Keye R.

• Refine by Classification

• Refine by Keyword
• 1 Classical and quantum information and computing
• 1 Information flow; semantics of computation; quantum computing; systems biology; information theory; informatics
• 1 category theory
• 1 computational chemistry
• 1 domain theory
• Show More...

• Refine by Type
• 2 document

• Refine by Publication Year
• 1 2010
• 1 2013