Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Composition on Distributed RUBATO by Affine Transformations and Deformations of Musical Structures.

S. Göller, und G. Milmeister. ICMC, Michigan Publishing, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefan Kunert University of Stuttgart

Stefan Schippling University of Stuttgart

Stefan Hecht University of Stuttgart

Stefan Keuler University of Stuttgart

Dr. -Ing. Stefan Carosella University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Computational complexity of propositional dynamic logics.S. Göller. University of Leipzig, (2008)The Complexity of Decomposing Modal and First-Order Theories.S. Göller, J. Jung, und M. Lohrey. ACM Trans. Comput. Log., 16 (1): 9:1-9:43 (2015)The Complexity of Bisimulation and Simulation on Finite Systems.M. Ganardi, S. Göller, und M. Lohrey. Logical Methods in Computer Science, (2018)Model Checking Succinct and Parametric One-Counter Automata.S. Göller, C. Haase, J. Ouaknine, und J. Worrell. ICALP (2), Volume 6199 von Lecture Notes in Computer Science, Seite 575-586. Springer, (2010)Branching-Time Model Checking of Parametric One-Counter Automata.S. Göller, C. Haase, J. Ouaknine, und J. Worrell. FoSSaCS, Volume 7213 von Lecture Notes in Computer Science, Seite 406-420. Springer, (2012)The Complexity of Decomposing Modal and First-Order Theories.S. Göller, J. Jung, und M. Lohrey. LICS, Seite 325-334. IEEE Computer Society, (2012)The Complexity of Verifying Ground Tree Rewrite Systems.S. Göller, und A. Lin. LICS, Seite 279-288. IEEE Computer Society, (2011)Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems.S. Göller, und A. Lin. ACM Trans. Comput. Log., 15 (4): 26:1-26:28 (2014)On the Parallel Complexity of Bisimulation on Finite Systems.M. Ganardi, S. Göller, und M. Lohrey. CSL, Volume 62 von LIPIcs, Seite 12:1-12:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)Bisimilarity of One-Counter Processes Is PSPACE-Complete.S. Böhm, S. Göller, und P. Jancar. CONCUR, Volume 6269 von Lecture Notes in Computer Science, Seite 177-191. Springer, (2010)