Christian Schwarz
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024
2023
Acta Informatica, March, 2023
Improving GPU Matrix Multiplication by Leveraging Bit Level Granularity and Compression.
Proceedings of the Datenbanksysteme für Business, 2023
2022
J. Open Source Softw., 2022
2020
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020
2013
SIGBED Rev., 2013
Proceedings of the Funktionale Sicherheit, 2013
2011
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011
Proceedings of the Design, Automation and Test in Europe, 2011
2010
A Tool Environment for Specifying and Verifying Multi-agent Systems.
Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, 2010
2009
HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009
Proceedings of the 2008 IEEE International Symposium on System-on-Chip, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the Autonome Mobile Systeme 2009, 2009
2007
Massively Parallel Simulations of Solar Flares and Plasma Turbulence.
Proceedings of the Parallel Computing: Architectures, 2007
2005
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005
1998
Aspekte der unternehmensübergreifenden Integration heterogener Workflowmanagementsysteme.
Proceedings of the Integration heterogener Softwaresysteme, IHS'98, 1998
1997
Von der Geschäftsprozeßmodellierung zur Workflowspezifikation - Zur Kompatibilität von Modellen und Werkzeugen.
HMD Prax. Wirtsch., 1997