@InProceedings{kopperman_et_al:DagSemProc.04351.1,
author = {Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter and Webster, Julian},
title = {{04351 Abstracts Collection – Spatial Representation: Discrete vs. Continuous Computational Models}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--24},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.1},
URN = {urn:nbn:de:0030-drops-1742},
doi = {10.4230/DagSemProc.04351.1},
annote = {Keywords: Domain theory , formal topology , constructive topology , domain representation, space-time , quantum gravity , inverse limit construction, matroid geometry , descriptive set theory , Borel hierarchy , Hausdorff difference hierarchy , Wadge degree partial metric , fractafold , region geometry , oriented projective geometry}
}
@InProceedings{kopperman_et_al:DagSemProc.04351.2,
author = {Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter and Webster, Julian},
title = {{04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--5},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.2},
URN = {urn:nbn:de:0030-drops-1710},
doi = {10.4230/DagSemProc.04351.2},
annote = {Keywords: Domain theory , formal topology , constructive topology , domain representation , space-time , quantum gravity , inverse limit construction , matroid geometry , descriptive set theory , Borel hierarchy , Hausdorff difference hierarchy , Wadge degree , partial metric , fractafold , region geometry}
}
@InProceedings{heckmann:DagSemProc.04351.3,
author = {Heckmann, Reinhold},
title = {{A Cartesian Closed Extension of the Category of Locales}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--20},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.3},
URN = {urn:nbn:de:0030-drops-1339},
doi = {10.4230/DagSemProc.04351.3},
annote = {Keywords: Locale , Cartesian closed category}
}
@InProceedings{pfaltz:DagSemProc.04351.4,
author = {Pfaltz, John L.},
title = {{A Category of Discrete Closure Spaces}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--16},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.4},
URN = {urn:nbn:de:0030-drops-1253},
doi = {10.4230/DagSemProc.04351.4},
annote = {Keywords: Category , closure , antimatroid , function}
}
@InProceedings{martin_et_al:DagSemProc.04351.5,
author = {Martin, Keye and Panangaden, Prakash},
title = {{A domain of spacetime intervals in general relativity}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--28},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.5},
URN = {urn:nbn:de:0030-drops-1350},
doi = {10.4230/DagSemProc.04351.5},
annote = {Keywords: Causality , spacetime , global hyperbolicity , interval domains , bicontinuous posets , spacetime topology}
}
@InProceedings{gratus_et_al:DagSemProc.04351.6,
author = {Gratus, Jonathan and Porter, Timothy},
title = {{A geometry of information, I: Nerves, posets and differential forms}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.6},
URN = {urn:nbn:de:0030-drops-1268},
doi = {10.4230/DagSemProc.04351.6},
annote = {Keywords: Chu spaces , nerves , differential forms}
}
@InProceedings{gratus_et_al:DagSemProc.04351.7,
author = {Gratus, Jonathan and Porter, Timothy},
title = {{A geometry of information, II: Sorkin models, and biextensional collapses}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.7},
URN = {urn:nbn:de:0030-drops-1271},
doi = {10.4230/DagSemProc.04351.7},
annote = {Keywords: Chu space , Sorkin model , Nerve}
}
@InProceedings{god_et_al:DagSemProc.04351.8,
author = {God, Chris and Jung, Achim and Knight, Robin and Kopperman, Ralph},
title = {{Auxiliary relations and sandwich theorems}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--4},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.8},
URN = {urn:nbn:de:0030-drops-1348},
doi = {10.4230/DagSemProc.04351.8},
annote = {Keywords: Adjoint , auxiliary relation , continuous poset , pairwise completely regular (and pairwise normal) bitopological space , upper (lower) semicontinuous Urysohn relation}
}
@InProceedings{bridges_et_al:DagSemProc.04351.9,
author = {Bridges, Douglas and Ishihara, Hajime and Schuster, Peter and Vita, Luminita S.},
title = {{Compactness in apartness spaces?}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--7},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.9},
URN = {urn:nbn:de:0030-drops-1175},
doi = {10.4230/DagSemProc.04351.9},
annote = {Keywords: Apartness , constructive , compact uniform space}
}
@InProceedings{johnson_et_al:DagSemProc.04351.10,
author = {Johnson, Jamie and Richmond, Tom},
title = {{Continued Radicals}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--4},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.10},
URN = {urn:nbn:de:0030-drops-1286},
doi = {10.4230/DagSemProc.04351.10},
annote = {Keywords: Continued radical}
}
@InProceedings{berger:DagSemProc.04351.11,
author = {Berger, Ulrich},
title = {{Continuous Semantics for Termination Proofs}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--19},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.11},
URN = {urn:nbn:de:0030-drops-1300},
doi = {10.4230/DagSemProc.04351.11},
annote = {Keywords: Higher-order term rewriting , termination , domain theory}
}
@InProceedings{raussen:DagSemProc.04351.12,
author = {Raussen, Martin},
title = {{Deadlocks and Dihomotopy in Mutual Exclusion Models}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--8},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.12},
URN = {urn:nbn:de:0030-drops-1364},
doi = {10.4230/DagSemProc.04351.12},
annote = {Keywords: Mutual exclusion , deadlock detection , dihomotopy}
}
@InProceedings{fajstrup:DagSemProc.04351.13,
author = {Fajstrup, Lisbeth},
title = {{Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--3},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.13},
URN = {urn:nbn:de:0030-drops-1328},
doi = {10.4230/DagSemProc.04351.13},
annote = {Keywords: Cubical Complex , Higher Dimensional Automaton , Ditopology}
}
@InProceedings{abramsky_et_al:DagSemProc.04351.14,
author = {Abramsky, Samson and Coecke, Bob},
title = {{Discrete classical vs. continuous quantum data in abstract quantum mechanics}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--21},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.14},
URN = {urn:nbn:de:0030-drops-1316},
doi = {10.4230/DagSemProc.04351.14},
annote = {Keywords: Category theory , strong compact closure , quantum information-flow}
}
@InProceedings{tsuiki:DagSemProc.04351.15,
author = {Tsuiki, Hideki},
title = {{Dyadic Subbases and Representations of Topological Spaces}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--8},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.15},
URN = {urn:nbn:de:0030-drops-1376},
doi = {10.4230/DagSemProc.04351.15},
annote = {Keywords: Dyadic subbase , embedding , computation over topological spaces , Plotkin's \$T^\backslashomega\$}
}
@InProceedings{moore_et_al:DagSemProc.04351.16,
author = {Moore, Edward L. F. and Peters, Thomas J. and Ferguson, David R. and Stewart, Neil F.},
title = {{Integrating Topology and Geometry for Macro-Molecular Simulations}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.16},
URN = {urn:nbn:de:0030-drops-1240},
doi = {10.4230/DagSemProc.04351.16},
annote = {Keywords: Computational topology , spline , approximation}
}
@InProceedings{kovar:DagSemProc.04351.17,
author = {Kovar, Martin},
title = {{On Maximality of Compact Topologies}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--10},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.17},
URN = {urn:nbn:de:0030-drops-1182},
doi = {10.4230/DagSemProc.04351.17},
annote = {Keywords: de Groot dual , compact saturated set , wide Scott open filter , maximal compact topology}
}
@InProceedings{kunzi_et_al:DagSemProc.04351.18,
author = {K\"{u}nzi, Hans-Peter A. and Zypen, Dominic van der},
title = {{The Construction of Finer Compact Topologies}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--5},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.18},
URN = {urn:nbn:de:0030-drops-1224},
doi = {10.4230/DagSemProc.04351.18},
annote = {Keywords: Maximal compact , KC-space , sober , US-space , locally compact , sequential , sequentially compact}
}
@InProceedings{kovar:DagSemProc.04351.19,
author = {Kovar, Martin},
title = {{The de Groot dual for general collections of sets}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--8},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.19},
URN = {urn:nbn:de:0030-drops-1215},
doi = {10.4230/DagSemProc.04351.19},
annote = {Keywords: Saturated set , dual topology , compactness operator}
}
@InProceedings{kovar:DagSemProc.04351.20,
author = {Kovar, Martin},
title = {{The Hofmann-Mislove Theorem for general posets}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--16},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.20},
URN = {urn:nbn:de:0030-drops-1199},
doi = {10.4230/DagSemProc.04351.20},
annote = {Keywords: Posets , generalized Scott topology , Scott open filters , (filtered) compactness , saturated}
}
@InProceedings{kovar:DagSemProc.04351.21,
author = {Kovar, Martin},
title = {{The Hofmann-Mislove Theorem for general topological structures}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--9},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.21},
URN = {urn:nbn:de:0030-drops-1208},
doi = {10.4230/DagSemProc.04351.21},
annote = {Keywords: Compact saturated set , Scott open filter , (quasi-) sober space}
}
@InProceedings{kopperman_et_al:DagSemProc.04351.22,
author = {Kopperman, Ralph and Matthews, Steve and Pajoohesh, Homeira},
title = {{What do partial metrics represent?}},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
pages = {1--4},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4351},
editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.22},
URN = {urn:nbn:de:0030-drops-1239},
doi = {10.4230/DagSemProc.04351.22},
annote = {Keywords: Metric , partial metric , base point}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing