Constraint satisfaction problems over the integers with successor

Bodirsky, M., Martin, B. & Mottet, A., 2015, Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Proceedings. Halldorsson, M. M., Kobayashi, N., Speckmann, B. & Iwama, K. (Hrsg.). Springer Verlag, S. 256-267 12 S. (Lecture Notes in Computer Science, Volume 9134).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

Bromberger, M., Dragoste, I., Faqeh, R., Fetzer, C., Krötzsch, M. & Weidenbach, C., 2021, Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings: 13th International Symposium, FroCoS 2021 Birmingham, UK, September 8–10, 2021 Proceedings. Konev, B. & Reger, G. (Hrsg.). Springer, Berlin [u. a.], S. 3–24 22 S. (Lecture Notes in Computer Science, Volume 12941).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures

Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (Hrsg.). S. 291–308 18 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines

Dubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dez. 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings. Calinescu, R. & Păsăreanu, C. S. (Hrsg.). Springer, Cham, S. 332–350 19 S. (Lecture Notes in Computer Science, Volume 13085).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Operating systems for reconfigurable computing: Concepts and survey

Wulf, C., Willig, M., Akgün, G. & Göhringer, D., 15 Dez. 2020, Towards Ubiquitous Low-power Image Processing Platforms. Jahre, M., Göhringer, D. & Millet, P. (Hrsg.). Cham: Springer International Publishing, S. 61-78 18 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy

Böhl, E. & Gaggl, S. A., 2022, Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022). 13416 Aufl. Springer, Band Lecture Notes in Computer Science. S. 89-102 14 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

MAPS: A software development environment for embeddedmulticore applications

Leupers, R., Aguilar, M. A., Eusse, J. F., Castrillon, J. & Sheng, W., 1 Nov. 2017, Handbook of Hardware/Software Codesign. Springer, Dordrecht [u. a.], S. 917-949 33 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

Trading fault tolerance for performance in AN encoding

Rink, N. A. & Castrillon, J., 15 Mai 2017, ACM International Conference on Computing Frontiers 2017, CF 2017. Association for Computing Machinery, Inc, S. 183-190 8 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung