Published in: LIPIcs, Volume 114, 10th International Conference on Geographic Information Science (GIScience 2018)
Emmanuel Papadakis, Andreas Petutschnig, and Thomas Blaschke. Flexible Patterns of Place for Function-based Search of Space (Short Paper). In 10th International Conference on Geographic Information Science (GIScience 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 114, pp. 54:1-54:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{papadakis_et_al:LIPIcs.GISCIENCE.2018.54, author = {Papadakis, Emmanuel and Petutschnig, Andreas and Blaschke, Thomas}, title = {{Flexible Patterns of Place for Function-based Search of Space}}, booktitle = {10th International Conference on Geographic Information Science (GIScience 2018)}, pages = {54:1--54:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-083-5}, ISSN = {1868-8969}, year = {2018}, volume = {114}, editor = {Winter, Stephan and Griffin, Amy and Sester, Monika}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.GISCIENCE.2018.54}, URN = {urn:nbn:de:0030-drops-93825}, doi = {10.4230/LIPIcs.GISCIENCE.2018.54}, annote = {Keywords: Functions, Place, Patterns, Function-based search, Place-based GIS} }
Published in: LIPIcs, Volume 44, 10th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2015)
Raul Garcia-Patron, William Matthews, and Andreas Winter. Quantum Enhancement of Randomness Distribution. In 10th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 44, pp. 180-190, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{garciapatron_et_al:LIPIcs.TQC.2015.180, author = {Garcia-Patron, Raul and Matthews, William and Winter, Andreas}, title = {{Quantum Enhancement of Randomness Distribution}}, booktitle = {10th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2015)}, pages = {180--190}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-96-5}, ISSN = {1868-8969}, year = {2015}, volume = {44}, editor = {Beigi, Salman and K\"{o}nig, Robert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TQC.2015.180}, URN = {urn:nbn:de:0030-drops-55567}, doi = {10.4230/LIPIcs.TQC.2015.180}, annote = {Keywords: Quantum Shannon theory, noisy channels, capacity, randomness} }
Published in: LIPIcs, Volume 44, 10th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2015)
Yoshifumi Nakata, Christoph Hirche, Ciara Morgan, and Andreas Winter. Implementing Unitary 2-Designs Using Random Diagonal-unitary Matrices. In 10th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 44, pp. 191-205, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{nakata_et_al:LIPIcs.TQC.2015.191, author = {Nakata, Yoshifumi and Hirche, Christoph and Morgan, Ciara and Winter, Andreas}, title = {{Implementing Unitary 2-Designs Using Random Diagonal-unitary Matrices}}, booktitle = {10th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2015)}, pages = {191--205}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-96-5}, ISSN = {1868-8969}, year = {2015}, volume = {44}, editor = {Beigi, Salman and K\"{o}nig, Robert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TQC.2015.191}, URN = {urn:nbn:de:0030-drops-55570}, doi = {10.4230/LIPIcs.TQC.2015.191}, annote = {Keywords: unitary 2-designs, commuting quantum circuits} }
Published in: LIPIcs, Volume 27, 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014)
Toby Cubitt, Laura Mancinska, David Roberson, Simone Severini, Dan Stahlke, and Andreas Winter. Bounds on Entanglement Assisted Source-channel Coding Via the Lovász Theta Number and Its Variants. In 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014). Leibniz International Proceedings in Informatics (LIPIcs), Volume 27, pp. 48-51, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{cubitt_et_al:LIPIcs.TQC.2014.48, author = {Cubitt, Toby and Mancinska, Laura and Roberson, David and Severini, Simone and Stahlke, Dan and Winter, Andreas}, title = {{Bounds on Entanglement Assisted Source-channel Coding Via the Lov\'{a}sz Theta Number and Its Variants}}, booktitle = {9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014)}, pages = {48--51}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-73-6}, ISSN = {1868-8969}, year = {2014}, volume = {27}, editor = {Flammia, Steven T. and Harrow, Aram W.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TQC.2014.48}, URN = {urn:nbn:de:0030-drops-48054}, doi = {10.4230/LIPIcs.TQC.2014.48}, annote = {Keywords: source-channel coding, zero-error capacity, Lov\'{a}sz theta} }
Published in: LIPIcs, Volume 27, 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014)
Mark M. Wilde and Andreas Winter. Strong Converse for the Quantum Capacity of the Erasure Channel for Almost All Codes. In 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014). Leibniz International Proceedings in Informatics (LIPIcs), Volume 27, pp. 52-66, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{wilde_et_al:LIPIcs.TQC.2014.52, author = {Wilde, Mark M. and Winter, Andreas}, title = {{Strong Converse for the Quantum Capacity of the Erasure Channel for Almost All Codes}}, booktitle = {9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014)}, pages = {52--66}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-73-6}, ISSN = {1868-8969}, year = {2014}, volume = {27}, editor = {Flammia, Steven T. and Harrow, Aram W.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TQC.2014.52}, URN = {urn:nbn:de:0030-drops-48068}, doi = {10.4230/LIPIcs.TQC.2014.52}, annote = {Keywords: strong converse, quantum erasure channel, quantum capacity} }
Published in: LIPIcs, Volume 27, 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014)
Alex Monras and Andreas Winter. Quantum Learning of Classical Stochastic Processes: The Completely-Positive Realization Problem. In 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014). Leibniz International Proceedings in Informatics (LIPIcs), Volume 27, pp. 99-109, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{monras_et_al:LIPIcs.TQC.2014.99, author = {Monras, Alex and Winter, Andreas}, title = {{Quantum Learning of Classical Stochastic Processes: The Completely-Positive Realization Problem}}, booktitle = {9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014)}, pages = {99--109}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-73-6}, ISSN = {1868-8969}, year = {2014}, volume = {27}, editor = {Flammia, Steven T. and Harrow, Aram W.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TQC.2014.99}, URN = {urn:nbn:de:0030-drops-48100}, doi = {10.4230/LIPIcs.TQC.2014.99}, annote = {Keywords: quantum instrument, hidden Markov model, machine learning, quantum measurement} }
Published in: LIPIcs, Volume 22, 8th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2013)
Noah Linden, Frantisek Matus, Mary Beth Ruskai, and Andreas Winter. The Quantum Entropy Cone of Stabiliser States. In 8th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 22, pp. 270-284, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{linden_et_al:LIPIcs.TQC.2013.270, author = {Linden, Noah and Matus, Frantisek and Ruskai, Mary Beth and Winter, Andreas}, title = {{The Quantum Entropy Cone of Stabiliser States}}, booktitle = {8th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2013)}, pages = {270--284}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-55-2}, ISSN = {1868-8969}, year = {2013}, volume = {22}, editor = {Severini, Simone and Brandao, Fernando}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TQC.2013.270}, URN = {urn:nbn:de:0030-drops-43278}, doi = {10.4230/LIPIcs.TQC.2013.270}, annote = {Keywords: Entropy inequalities, Stabiliser states, Ingleton inequality} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Jean-Marie Favre. Megamodelling and Etymology. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{favre:DagSemProc.05161.6, author = {Favre, Jean-Marie}, title = {{Megamodelling and Etymology}}, booktitle = {Transformation Techniques in Software Engineering}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5161}, editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.6}, URN = {urn:nbn:de:0030-drops-4276}, doi = {10.4230/DagSemProc.05161.6}, annote = {Keywords: MDE, MDD, MDA, Model Driven Architecture, Model, Metamodel, Etymology, Definition, Taxonomy} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
James R. Cordy, Ralf Lämmel, and Andreas Winter. 05161 Executive Summary – Transformation Techniques in Software Engineering. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{cordy_et_al:DagSemProc.05161.1, author = {Cordy, James R. and L\"{a}mmel, Ralf and Winter, Andreas}, title = {{05161 Executive Summary – Transformation Techniques in Software Engineering}}, booktitle = {Transformation Techniques in Software Engineering}, pages = {1--24}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5161}, editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.1}, URN = {urn:nbn:de:0030-drops-4978}, doi = {10.4230/DagSemProc.05161.1}, annote = {Keywords: Program transformation, transformational programming, generative programming, generative language technology, automated software testing, engineering of metamodels, engineering for XML schemas, engineering of data models} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Pieter Van Gorp and Dirk Janssens. CAViT: a Consistency Maintenance Framework based on Transformation Contracts. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{vangorp_et_al:DagSemProc.05161.2, author = {Van Gorp, Pieter and Janssens, Dirk}, title = {{CAViT: a Consistency Maintenance Framework based on Transformation Contracts}}, booktitle = {Transformation Techniques in Software Engineering}, pages = {1--27}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5161}, editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.2}, URN = {urn:nbn:de:0030-drops-4294}, doi = {10.4230/DagSemProc.05161.2}, annote = {Keywords: Consistency maintenance, metamodeling, transformation, graph rewriting, UML, OCL, MOF} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Mohammad El-Ramly. Experiences in Teaching Program Transformation for Software Reengineering. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{elramly:DagSemProc.05161.3, author = {El-Ramly, Mohammad}, title = {{Experiences in Teaching Program Transformation for Software Reengineering}}, booktitle = {Transformation Techniques in Software Engineering}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5161}, editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.3}, URN = {urn:nbn:de:0030-drops-4230}, doi = {10.4230/DagSemProc.05161.3}, annote = {Keywords: Teaching Program Transformation, Reengineering, Source to Source Transformation, Software Engineering Education} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Nicholas A. Kraft, Brian A. Malloy, and James F. Power. g4re: Harnessing GCC to Reverse Engineer C++ Applications. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{kraft_et_al:DagSemProc.05161.4, author = {Kraft, Nicholas A. and Malloy, Brian A. and Power, James F.}, title = {{g4re: Harnessing GCC to Reverse Engineer C++ Applications}}, booktitle = {Transformation Techniques in Software Engineering}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5161}, editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.4}, URN = {urn:nbn:de:0030-drops-4244}, doi = {10.4230/DagSemProc.05161.4}, annote = {Keywords: Reverse engineering, schema, GXL} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Jurgen Vinju and James R. Cordy. How to make a bridge between transformation and analysis technologies?. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{vinju_et_al:DagSemProc.05161.5, author = {Vinju, Jurgen and Cordy, James R.}, title = {{How to make a bridge between transformation and analysis technologies?}}, booktitle = {Transformation Techniques in Software Engineering}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5161}, editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.5}, URN = {urn:nbn:de:0030-drops-4265}, doi = {10.4230/DagSemProc.05161.5}, annote = {Keywords: Transformation, analysis, fact extraction, middleware, source code representations} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Alberto Pettorossi, Maurizio Proietti, and Valerio Senni. Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{pettorossi_et_al:DagSemProc.05161.7, author = {Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio}, title = {{Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs}}, booktitle = {Transformation Techniques in Software Engineering}, pages = {1--1}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5161}, editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.7}, URN = {urn:nbn:de:0030-drops-4225}, doi = {10.4230/DagSemProc.05161.7}, annote = {Keywords: Program properties, unfold/fold transformation, constraint logic programming} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Martin Gogolla. Tales of ER and RE Syntax and Semantics. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{gogolla:DagSemProc.05161.8, author = {Gogolla, Martin}, title = {{Tales of ER and RE Syntax and Semantics}}, booktitle = {Transformation Techniques in Software Engineering}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5161}, editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.8}, URN = {urn:nbn:de:0030-drops-4254}, doi = {10.4230/DagSemProc.05161.8}, annote = {Keywords: Datamodel transformation, ER datamodel, Relational datamodel, Syntax and semantics of datamodels, Syntax and semantics of transformations, Metamodel} }
Feedback for Dagstuhl Publishing