Benutzer: Gast  Login
Sortieren nach:
und:
weiter

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
Sortieren nach:
und:
weiter