Published in: LIPIcs, Volume 132, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)
Kousha Etessami, Emanuel Martinov, Alistair Stewart, and Mihalis Yannakakis. Reachability for Branching Concurrent Stochastic Games (Track B: Automata, Logic, Semantics, and Theory of Programming). In 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 132, pp. 115:1-115:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{etessami_et_al:LIPIcs.ICALP.2019.115, author = {Etessami, Kousha and Martinov, Emanuel and Stewart, Alistair and Yannakakis, Mihalis}, title = {{Reachability for Branching Concurrent Stochastic Games}}, booktitle = {46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)}, pages = {115:1--115:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-109-2}, ISSN = {1868-8969}, year = {2019}, volume = {132}, editor = {Baier, Christel and Chatzigiannakis, Ioannis and Flocchini, Paola and Leonardi, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2019.115}, URN = {urn:nbn:de:0030-drops-106917}, doi = {10.4230/LIPIcs.ICALP.2019.115}, annote = {Keywords: stochastic games, multi-type branching processes, concurrent games, minimax-polynomial equations, reachability, almost-sure, limit-sure} }
Published in: LITES, Volume 1, Issue 1 (2014). Leibniz Transactions on Embedded Systems, Volume 1, Issue 1
LITES, Volume 1, Issue 1, pp. 0:i-0:ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@Article{burns:LITES-v001-i001-a000, author = {Burns, Alan}, title = {{Foreword}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {00:1--00:2}, ISSN = {2199-2002}, year = {2014}, volume = {1}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LITES-v001-i001-a000}, doi = {10.4230/LITES-v001-i001-a000}, annote = {Keywords: } }
Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)
Pascal Hitzler, York Sure, and Rudi Studer. Description Logic Programs: A Practical Choice For the Modelling of Ontologies. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{hitzler_et_al:DagSemProc.05371.4, author = {Hitzler, Pascal and Sure, York and Studer, Rudi}, title = {{Description Logic Programs: A Practical Choice For the Modelling of Ontologies}}, booktitle = {Principles and Practices of Semantic Web Reasoning}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5371}, editor = {Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.4}, URN = {urn:nbn:de:0030-drops-4783}, doi = {10.4230/DagSemProc.05371.4}, annote = {Keywords: Description Logic Programs} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
Bertram Ludaescher. Scientific Workflows: Catalyzing the Grid ⇌ Semantic Web Reaction. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{ludaescher:DagSemProc.05271.10, author = {Ludaescher, Bertram}, title = {{Scientific Workflows: Catalyzing the Grid ⇌ Semantic Web Reaction}}, booktitle = {Semantic Grid: The Convergence of Technologies}, pages = {1--1}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.10}, URN = {urn:nbn:de:0030-drops-4076}, doi = {10.4230/DagSemProc.05271.10}, annote = {Keywords: Semantic grid, scientific workflow} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
Daniel Olmedilla, Omer F. Rana, Brian Matthews, and Wolfgang Nejdl. Security and Trust Issues in Semantic Grids. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{olmedilla_et_al:DagSemProc.05271.11, author = {Olmedilla, Daniel and Rana, Omer F. and Matthews, Brian and Nejdl, Wolfgang}, title = {{Security and Trust Issues in Semantic Grids}}, booktitle = {Semantic Grid: The Convergence of Technologies}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.11}, URN = {urn:nbn:de:0030-drops-4081}, doi = {10.4230/DagSemProc.05271.11}, annote = {Keywords: Trust, Security, Policies, Safety, Reputation, VO Lifecycle} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
York Sure, Carole Goble, and Carl Kesselman. 05271 Abstracts Collection – Semantic Grid: The Convergence of Technologies. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{sure_et_al:DagSemProc.05271.1, author = {Sure, York and Goble, Carole and Kesselman, Carl}, title = {{05271 Abstracts Collection – Semantic Grid: The Convergence of Technologies}}, booktitle = {Semantic Grid: The Convergence of Technologies}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.1}, URN = {urn:nbn:de:0030-drops-3973}, doi = {10.4230/DagSemProc.05271.1}, annote = {Keywords: Semantic Grid, Semantic Web, Grid, Web Services, Agents, Peer-To-Peer} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
Reagan W. Moore. 05271 Prospectus for Dagstuhl Library Working Group. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{moore:DagSemProc.05271.2, author = {Moore, Reagan W.}, title = {{05271 Prospectus for Dagstuhl Library Working Group}}, booktitle = {Semantic Grid: The Convergence of Technologies}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.2}, URN = {urn:nbn:de:0030-drops-3962}, doi = {10.4230/DagSemProc.05271.2}, annote = {Keywords: Digital Library, Data Grid, Persistent Archive, semantic grid} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
York Sure, Carole Goble, and Carl Kesselman. 05271 Report on the Dagstuhl Seminar on Semantic Grid - Convergence of Technologies. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{sure_et_al:DagSemProc.05271.3, author = {Sure, York and Goble, Carole and Kesselman, Carl}, title = {{05271 Report on the Dagstuhl Seminar on Semantic Grid - Convergence of Technologies}}, booktitle = {Semantic Grid: The Convergence of Technologies}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.3}, URN = {urn:nbn:de:0030-drops-3932}, doi = {10.4230/DagSemProc.05271.3}, annote = {Keywords: Semantic Grid, Semantic Web, Grid, Web Services, Agents, Peer-To-Peer} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
David De Roure. A Brief History of the Semantic Grid. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{deroure:DagSemProc.05271.4, author = {De Roure, David}, title = {{A Brief History of the Semantic Grid}}, booktitle = {Semantic Grid: The Convergence of Technologies}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.4}, URN = {urn:nbn:de:0030-drops-3986}, doi = {10.4230/DagSemProc.05271.4}, annote = {Keywords: Semantic Grid} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
Reagan W. Moore. Digital Library and Data Grid Technology Group. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{moore:DagSemProc.05271.5, author = {Moore, Reagan W.}, title = {{Digital Library and Data Grid Technology Group}}, booktitle = {Semantic Grid: The Convergence of Technologies}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.5}, URN = {urn:nbn:de:0030-drops-3906}, doi = {10.4230/DagSemProc.05271.5}, annote = {Keywords: Digital library, data grid, persistent archive, encoding format, semantic web} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
Axel Polleres, Ioan Toma, and Dieter Fensel. Modeling Services for the Semantic Grid. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{polleres_et_al:DagSemProc.05271.6, author = {Polleres, Axel and Toma, Ioan and Fensel, Dieter}, title = {{Modeling Services for the Semantic Grid}}, booktitle = {Semantic Grid: The Convergence of Technologies}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.6}, URN = {urn:nbn:de:0030-drops-3944}, doi = {10.4230/DagSemProc.05271.6}, annote = {Keywords: Semantic Web Services, WSMO} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
Jim Basney, Wolfgang Nejdl, Daniel Olmedilla, Von Welch, and Marianne Winslett. Negotiating Trust on the Grid. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{basney_et_al:DagSemProc.05271.7, author = {Basney, Jim and Nejdl, Wolfgang and Olmedilla, Daniel and Welch, Von and Winslett, Marianne}, title = {{Negotiating Trust on the Grid}}, booktitle = {Semantic Grid: The Convergence of Technologies}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.7}, URN = {urn:nbn:de:0030-drops-3872}, doi = {10.4230/DagSemProc.05271.7}, annote = {Keywords: Trust, policy, negotiation} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
Asuncion Gomez-Perez and Rafael González-Cabero. ODESGS, an Environment for the Annotation and Design of Grid Environments. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{gomezperez_et_al:DagSemProc.05271.8, author = {Gomez-Perez, Asuncion and Gonz\'{a}lez-Cabero, Rafael}, title = {{ODESGS, an Environment for the Annotation and Design of Grid Environments}}, booktitle = {Semantic Grid: The Convergence of Technologies}, pages = {1--1}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.8}, URN = {urn:nbn:de:0030-drops-3884}, doi = {10.4230/DagSemProc.05271.8}, annote = {Keywords: Semantic Grid Services} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
Miguel Esteban Gutiérrez and Asuncion Gomez-Perez. Ontology Access Provisioning in Grid Environments. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{gutierrez_et_al:DagSemProc.05271.9, author = {Guti\'{e}rrez, Miguel Esteban and Gomez-Perez, Asuncion}, title = {{Ontology Access Provisioning in Grid Environments}}, booktitle = {Semantic Grid: The Convergence of Technologies}, pages = {1--1}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.9}, URN = {urn:nbn:de:0030-drops-3832}, doi = {10.4230/DagSemProc.05271.9}, annote = {Keywords: Ontology Access, WS-DAIO} }
Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)
Ziga Turk. Semantic Grid Roadmap. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{turk:DagSemProc.05271.12, author = {Turk, Ziga}, title = {{Semantic Grid Roadmap}}, booktitle = {Semantic Grid: The Convergence of Technologies}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5271}, editor = {Carole Goble and Carl Kesselman and York Sure}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.12}, URN = {urn:nbn:de:0030-drops-3910}, doi = {10.4230/DagSemProc.05271.12}, annote = {Keywords: Technology roadmapping, requirements analysis, work flow, interoperability} }
Feedback for Dagstuhl Publishing