Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Keye Martin
@article{DBLP:journals/nc/MartinF19,
author = {Keye Martin and
Johnny Feng},
title = {A new fixed point theorem in domain theory},
journal = {Nat. Comput.},
volume = {18},
number = {4},
pages = {901--905},
year = {2019},
url = {https://doi.org/10.1007/s11047-018-9672-3},
doi = {10.1007/S11047-018-9672-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/MartinF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MartinFC14,
author = {Keye Martin and
Johnny Feng and
Tanner Crowder},
editor = {Franck van Breugel and
Elham Kashefi and
Catuscia Palamidessi and
Jan Rutten},
title = {Euclidean Representations of Quantum States},
booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
to Prakash Panangaden on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8464},
pages = {454--457},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06880-0\_23},
doi = {10.1007/978-3-319-06880-0\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MartinFC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Martin13,
author = {Keye Martin},
editor = {Bob Coecke and
Luke Ong and
Prakash Panangaden},
title = {Nothing Can Be Fixed},
booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets
of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7860},
pages = {195--196},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38164-5\_14},
doi = {10.1007/978-3-642-38164-5\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Martin13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LanzagortaM12,
author = {Marco Lanzagorta and
Keye Martin},
title = {Teleportation with an imperfect state},
journal = {Theor. Comput. Sci.},
volume = {430},
pages = {117--125},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.01.003},
doi = {10.1016/J.TCS.2012.01.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LanzagortaM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MartinMA10,
author = {Keye Martin and
Ira S. Moskowitz and
Gerard Allwein},
title = {Algebraic information theory for binary channels},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {19},
pages = {1918--1927},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.01.022},
doi = {10.1016/J.TCS.2010.01.022},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MartinMA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinFK10,
author = {Keye Martin and
Johnny Feng and
Sanjeevi Krishnan},
editor = {Michael W. Mislove and
Peter Selinger},
title = {A Free Object in Quantum Information Theory},
booktitle = {Proceedings of the 26th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2010, Ottawa, Ontario, Canada, May
6-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {265},
pages = {35--47},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.08.004},
doi = {10.1016/J.ENTCS.2010.08.004},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinFK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10232,
editor = {Keye Martin and
Michael W. Mislove},
title = {The Semantics of Information, 06.06. - 11.06.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10232},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/portals/10232/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2010P10232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MartinM10,
author = {Keye Martin and
Michael W. Mislove},
editor = {Keye Martin and
Michael W. Mislove},
title = {10232 Report - The Semantics of Information},
booktitle = {The Semantics of Information, 06.06. - 11.06.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10232},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2759/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MartinM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CrowderM11,
author = {Tanner Crowder and
Keye Martin},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Classical Representations of Qubit Channels},
booktitle = {Proceedings of the 6th International Workshop on Quantum Physics and
Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {270},
number = {2},
pages = {37--58},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.022},
doi = {10.1016/J.ENTCS.2011.01.022},
timestamp = {Fri, 10 Mar 2023 13:14:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CrowderM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Martin08,
author = {Keye Martin},
title = {Topology in information theory in topology},
journal = {Theor. Comput. Sci.},
volume = {405},
number = {1-2},
pages = {75--87},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.06.027},
doi = {10.1016/J.TCS.2008.06.027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Martin08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/MartinP08,
author = {Keye Martin and
Prakash Panangaden},
editor = {Arnold Beckmann and
Costas Dimitracopoulos and
Benedikt L{\"{o}}we},
title = {Domain Theory and the Causal Structure of Space-Time},
booktitle = {Logic and Theory of Algorithms, 4th Conference on Computability in
Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5028},
pages = {428--430},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69407-6\_46},
doi = {10.1007/978-3-540-69407-6\_46},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/MartinP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Martin08,
author = {Keye Martin},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {A Domain Theoretic Model of Qubit Channels},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {283--297},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_24},
doi = {10.1007/978-3-540-70583-3\_24},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Martin08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Martin11,
author = {Keye Martin},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {How to Randomly Flip a Quantum Bit},
booktitle = {Proceedings of the Joint 5th International Workshop on Quantum Physics
and Logic and 4th Workshop on Developments in Computational Models,
QPL/DCM@ICALP 2008, Reykjavik, Iceland, July 12-13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {270},
number = {1},
pages = {81--97},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.008},
doi = {10.1016/J.ENTCS.2011.01.008},
timestamp = {Fri, 10 Mar 2023 13:02:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Martin11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChatzikokolakisM08,
author = {Konstantinos Chatzikokolakis and
Keye Martin},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {A Monotonicity Principle for Information Theory},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {111--129},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.008},
doi = {10.1016/J.ENTCS.2008.10.008},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChatzikokolakisM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinP08,
author = {Keye Martin and
Prakash Panangaden},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {A Technique for Verifying Measurements},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {261--273},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.016},
doi = {10.1016/J.ENTCS.2008.10.016},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/Martin07,
author = {Keye Martin},
title = {Secure Communication without Encryption?},
journal = {{IEEE} Secur. Priv.},
volume = {5},
number = {2},
pages = {68--71},
year = {2007},
url = {https://doi.org/10.1109/MSP.2007.39},
doi = {10.1109/MSP.2007.39},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeesp/Martin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ih/Martin07,
author = {Keye Martin},
editor = {Teddy Furon and
Fran{\c{c}}ois Cayre and
Gwena{\"{e}}l J. Do{\"{e}}rr and
Patrick Bas},
title = {Steganographic Communication with Quantum Information},
booktitle = {Information Hiding, 9th International Workshop, {IH} 2007, Saint Malo,
France, June 11-13, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4567},
pages = {32--49},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77370-2\_3},
doi = {10.1007/978-3-540-77370-2\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ih/Martin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Martin06,
author = {Keye Martin},
title = {Entropy as a fixed point},
journal = {Theor. Comput. Sci.},
volume = {350},
number = {2-3},
pages = {292--324},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.10.026},
doi = {10.1016/J.TCS.2005.10.026},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Martin06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ih/MartinM06,
author = {Keye Martin and
Ira S. Moskowitz},
editor = {Jan Camenisch and
Christian S. Collberg and
Neil F. Johnson and
Phil Sallee},
title = {Noisy Timing Channels with Binary Inputs and Outputs},
booktitle = {Information Hiding, 8th International Workshop, {IH} 2006, Alexandria,
VA, USA, July 10-12, 2006. Revised Selcted Papers},
series = {Lecture Notes in Computer Science},
volume = {4437},
pages = {124--144},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74124-4\_9},
doi = {10.1007/978-3-540-74124-4\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ih/MartinM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinMA06,
author = {Keye Martin and
Ira S. Moskowitz and
Gerard Allwein},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Algebraic Information Theory For Binary Channels},
booktitle = {Proceedings of the 22nd Annual Conference on Mathematical Foundations
of Programming Semantics, {MFPS} 2006, Genova, Italy, May 23-27, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {158},
pages = {289--306},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.04.015},
doi = {10.1016/J.ENTCS.2006.04.015},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinMA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MartinP05,
author = {Keye Martin and
Prakash Panangaden},
editor = {Ralph Kopperman and
Michael B. Smyth and
Dieter Spreen and
Julian Webster},
title = {A domain of spacetime intervals in general relativity},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
series = {Dagstuhl Seminar Proceedings},
volume = {04351},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/135},
timestamp = {Thu, 10 Jun 2021 13:02:11 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MartinP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0502024,
author = {Keye Martin},
title = {The maximum entropy state},
journal = {CoRR},
volume = {abs/math/0502024},
year = {2005},
url = {http://arxiv.org/abs/math/0502024},
eprinttype = {arXiv},
eprint = {math/0502024},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-math-0502024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Martin04,
author = {Keye Martin},
title = {Fractals and domain theory},
journal = {Math. Struct. Comput. Sci.},
volume = {14},
number = {6},
pages = {883--851},
year = {2004},
url = {https://doi.org/10.1017/S0960129504004384},
doi = {10.1017/S0960129504004384},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Martin04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MartinMW04,
author = {Keye Martin and
Michael W. Mislove and
James Worrell},
title = {Measuring the probabilistic powerdomain},
journal = {Theor. Comput. Sci.},
volume = {312},
number = {1},
pages = {99--119},
year = {2004},
url = {https://doi.org/10.1016/S0304-3975(03)00404-3},
doi = {10.1016/S0304-3975(03)00404-3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MartinMW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Martin04,
author = {Keye Martin},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {Entropy as a Fixed Point},
booktitle = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {945--958},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_79},
doi = {10.1007/978-3-540-27836-8\_79},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Martin04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/Martin03,
author = {Keye Martin},
title = {A Triangle Inequality for Measurement},
journal = {Appl. Categorical Struct.},
volume = {11},
number = {1},
pages = {27--40},
year = {2003},
url = {https://doi.org/10.1023/A:1023060808053},
doi = {10.1023/A:1023060808053},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/Martin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Martin03,
author = {Keye Martin},
title = {Ideal models of spaces},
journal = {Theor. Comput. Sci.},
volume = {305},
number = {1-3},
pages = {277--297},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00698-9},
doi = {10.1016/S0304-3975(02)00698-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Martin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Martin03a,
author = {Keye Martin},
title = {The regular spaces with countably based models},
journal = {Theor. Comput. Sci.},
volume = {305},
number = {1-3},
pages = {299--310},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00700-4},
doi = {10.1016/S0304-3975(02)00700-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Martin03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/quant-ph-0312044,
author = {Bob Coecke and
Keye Martin},
title = {Partiality in physics},
journal = {CoRR},
volume = {quant-ph/0312044},
year = {2003},
url = {http://arxiv.org/abs/quant-ph/0312044},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/quant-ph-0312044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Martin02,
author = {Keye Martin},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {The Informatic Derivative at a Compact Element},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {310--325},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_22},
doi = {10.1007/3-540-45931-6\_22},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Martin02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MartinMW02,
author = {Keye Martin and
Michael W. Mislove and
James Worrell},
editor = {Peter Widmayer and
Francisco Triguero Ruiz and
Rafael Morales Bueno and
Matthew Hennessy and
Stephan J. Eidenbenz and
Ricardo Conejo},
title = {Measuring the Probabilistic Powerdomain},
booktitle = {Automata, Languages and Programming, 29th International Colloquium,
{ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2380},
pages = {463--475},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45465-9\_40},
doi = {10.1007/3-540-45465-9\_40},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/MartinMW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinO04,
author = {Keye Martin and
Jo{\"{e}}l Ouaknine},
editor = {Mart{\'{\i}}n Escard{\'{o}} and
Achim Jung},
title = {Informatic vs. Classical Differentiation on the Real Line},
booktitle = {Proceedings of the Workshop on Domains {VI} 2002, Birmingham, UK,
September 16-19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {73},
pages = {133--140},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/j.entcs.2004.08.006},
doi = {10.1016/J.ENTCS.2004.08.006},
timestamp = {Wed, 07 Dec 2022 08:43:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Martin01,
author = {Keye Martin},
editor = {Laurent Fribourg},
title = {A Principle of Induction},
booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2142},
pages = {458--468},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44802-0\_32},
doi = {10.1007/3-540-44802-0\_32},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Martin01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Martin01,
author = {Keye Martin},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {A Renee Equation for Algorithmic Complexity},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {201--218},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_10},
doi = {10.1007/3-540-45500-0\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Martin01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Martin01a,
author = {Keye Martin},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Unique Fixed Points in Domain Theory},
booktitle = {Seventeenth Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {45},
pages = {258--268},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80966-6},
doi = {10.1016/S1571-0661(04)80966-6},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Martin01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Martin01a,
author = {Keye Martin},
editor = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {Powerdomains and Zero Finding},
booktitle = {Workshop on Quantitative Aspects of Programming Laguages, {QAPL} 2001,
Satellite Event of {PLI} 2001, Firenze, Italy, September 7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {3},
pages = {173--184},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00287-7},
doi = {10.1016/S1571-0661(04)00287-7},
timestamp = {Thu, 01 Dec 2022 16:19:41 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Martin01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Martin00,
author = {Keye Martin},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {The Measurement Process in Domain Theory},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {116--126},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_11},
doi = {10.1007/3-540-45022-X\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Martin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Martin00,
author = {Keye Martin},
editor = {Ted Hurley and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Michel P. Schellekens and
Anthony Karel Seda},
title = {The space of maximal elements in a compact domain},
booktitle = {First Irish Conference on the Mathematical Foundations of Computer
Science and Information Technology, {MFCSIT} 2000, Cork, Ireland,
July 20-21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {40},
pages = {244--253},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80053-2},
doi = {10.1016/S1571-0661(05)80053-2},
timestamp = {Wed, 30 Nov 2022 10:58:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Martin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Martin98,
author = {Keye Martin},
editor = {Abbas Edalat and
Achim Jung and
Klaus Keimel and
Marta Z. Kwiatkowska},
title = {Domain theoretic models of topological spaces},
booktitle = {Third Workshop on Computation and Approximation, {COMPROX} 1997, Birmingham,
UK, September 11-13, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {13},
pages = {173--181},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80221-X},
doi = {10.1016/S1571-0661(05)80221-X},
timestamp = {Fri, 11 Nov 2022 13:45:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Martin98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 03:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
