Published in: LIPIcs, Volume 90, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
Antoine Amarilli, Mouhamadou Lamine Ba, Daniel Deutch, and Pierre Senellart. Possible and Certain Answers for Queries over Order-Incomplete Data. In 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 90, pp. 4:1-4:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{amarilli_et_al:LIPIcs.TIME.2017.4, author = {Amarilli, Antoine and Ba, Mouhamadou Lamine and Deutch, Daniel and Senellart, Pierre}, title = {{Possible and Certain Answers for Queries over Order-Incomplete Data}}, booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)}, pages = {4:1--4:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-052-1}, ISSN = {1868-8969}, year = {2017}, volume = {90}, editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.4}, URN = {urn:nbn:de:0030-drops-79311}, doi = {10.4230/LIPIcs.TIME.2017.4}, annote = {Keywords: certain answer, possible answer, partial order, uncertain data} }
Published in: LIPIcs, Volume 90, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
Daniel Kernberger and Martin Lange. The Fully Hybrid mu-Calculus. In 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 90, pp. 17:1-17:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{kernberger_et_al:LIPIcs.TIME.2017.17, author = {Kernberger, Daniel and Lange, Martin}, title = {{The Fully Hybrid mu-Calculus}}, booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)}, pages = {17:1--17:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-052-1}, ISSN = {1868-8969}, year = {2017}, volume = {90}, editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.17}, URN = {urn:nbn:de:0030-drops-79244}, doi = {10.4230/LIPIcs.TIME.2017.17}, annote = {Keywords: mu-calculus, hybrid logics, model checking, bisimulation invariance} }
Published in: Dagstuhl Follow-Ups, Volume 2, Scientific Visualization: Interactions, Features, Metaphors (2011)
Yasmin I. Al-Zokari, Taimur Khan, Daniel Schneider, Dirk Zeckzer, and Hans Hagen. CakES: Cake Metaphor for Analyzing Safety Issues of Embedded Systems. In Scientific Visualization: Interactions, Features, Metaphors. Dagstuhl Follow-Ups, Volume 2, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InCollection{alzokari_et_al:DFU.Vol2.SciViz.2011.1, author = {Al-Zokari, Yasmin I. and Khan, Taimur and Schneider, Daniel and Zeckzer, Dirk and Hagen, Hans}, title = {{CakES: Cake Metaphor for Analyzing Safety Issues of Embedded Systems}}, booktitle = {Scientific Visualization: Interactions, Features, Metaphors}, pages = {1--16}, series = {Dagstuhl Follow-Ups}, ISBN = {978-3-939897-26-2}, ISSN = {1868-8977}, year = {2011}, volume = {2}, editor = {Hagen, Hans}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DFU.Vol2.SciViz.2011.1}, URN = {urn:nbn:de:0030-drops-32844}, doi = {10.4230/DFU.Vol2.SciViz.2011.1}, annote = {Keywords: Fault Tree Analysis, minimal cut sets, basic events, information visualization, scientific visualization, engineering, tiled-wall, multiple monitor sy} }
Published in: Dagstuhl Follow-Ups, Volume 2, Scientific Visualization: Interactions, Features, Metaphors (2011)
Taimur Khan, Daniel Schneider, Yasmin Al-Zokari, Dirk Zeckzer, and Hans Hagen. Framework for Comprehensive Size and Resolution Utilization of Arbitrary Displays. In Scientific Visualization: Interactions, Features, Metaphors. Dagstuhl Follow-Ups, Volume 2, pp. 144-159, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InCollection{khan_et_al:DFU.Vol2.SciViz.2011.144, author = {Khan, Taimur and Schneider, Daniel and Al-Zokari, Yasmin and Zeckzer, Dirk and Hagen, Hans}, title = {{Framework for Comprehensive Size and Resolution Utilization of Arbitrary Displays}}, booktitle = {Scientific Visualization: Interactions, Features, Metaphors}, pages = {144--159}, series = {Dagstuhl Follow-Ups}, ISBN = {978-3-939897-26-2}, ISSN = {1868-8977}, year = {2011}, volume = {2}, editor = {Hagen, Hans}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DFU.Vol2.SciViz.2011.144}, URN = {urn:nbn:de:0030-drops-32916}, doi = {10.4230/DFU.Vol2.SciViz.2011.144}, annote = {Keywords: Large and High-res Displays, Coordinated and Multiple Views, Human Computer Interaction} }
Published in: Dagstuhl Seminar Proceedings, Volume 7401, Deduction and Decision Procedures (2007)
Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Daniel De Schreye, and Alexander Serebrenik. Termination of Programs using Term Rewriting and SAT Solving. In Deduction and Decision Procedures. Dagstuhl Seminar Proceedings, Volume 7401, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{giesl_et_al:DagSemProc.07401.7, author = {Giesl, J\"{u}rgen and Schneider-Kamp, Peter and Thiemann, Ren\'{e} and Swiderski, Stephan and Nguyen, Manh Thang and De Schreye, Daniel and Serebrenik, Alexander}, title = {{Termination of Programs using Term Rewriting and SAT Solving}}, booktitle = {Deduction and Decision Procedures}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7401}, editor = {Franz Baader and Byron Cook and J\"{u}rgen Giesl and Robert Nieuwenhuis}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07401.7}, URN = {urn:nbn:de:0030-drops-12481}, doi = {10.4230/DagSemProc.07401.7}, annote = {Keywords: Termination, Term Rewriting, Haskell, Prolog, SAT Solving} }
Feedback for Dagstuhl Publishing