Brüggemann-Klein, Anne; Sayih, Marouane; Keskivov, Zlatina
Statecharts and State Chart XML as a Modeling Technique in Web Engineering
Proceedings of Balisage: The Markup Conference 2015, Balisage 2015
2015

Aziz, Haris; Gaspers, Serge; Gudmundsson, Joachim; Mestre, Julián; Täubig, Hanjo
Welfare Maximization in Fractional Hedonic Games
461-467
Proceedings of the 24th International Joint Conference on Artificial Intelligence, IJCAI'2015
AAAI Press
2015

Mayr, Ernst, W.; Ollinger, Nicolas
32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015
2015

Herz, Alexander; Pinkau, Chris
Real-World Clustering for Task Graphs on Shared Memory Systems
17-35
18th Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2014
Springer-Verlag
2015

Brüggemann-Klein, Anne; Dimitrov, Lyuben; Sayih, Marouane
Graphical User Interface Tool for Designing Model-Based User Interfaces with UIML
14
XMLPrague2015
2015

Täubig, Hanjo; Weihmann, Jeremias
Matrix Power Inequalities and the Number of Walks in Graphs
Discrete Applied Mathematics
2014
176
Oct
122-129

Mayr, Ernst W.; Weihmann, Jeremias
Complexity Results for Problems of Communication-Free Petri Nets and Related Formalisms
Fundamenta Informaticae
2015
137
1
61-86

Gall, Dominik; Jacob, Riko; Richa, Andréa; Scheideler, Christian; Schmid, Stefan; Täubig, Hanjo
A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization
Theory of Computing Systems
2014
55
1
110-135

Englert, Matthias; Gupta, Anupam; Krauthgamer, Robert; Räcke, Harald; Talgam-Cohen, Inbal; Talwar, Kunal
Vertex Sparsifiers: New Results from Old Techniques
SIAM Journal on Computing
2014
43
4
1239-1262

Mayr, Ernst W.; Weihmann, Jeremias
A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application
314-333
35th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2014
Springer International Publishing Switzerland
2014