Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence and Independence Logic.”https://doi.org/10.1093/logcom/exac070__Journal of Logic and Computation 32, no. 8 (2022): 1624–44.https://doi.org/10.1093/logcom/exac070 .
LibreCat: /record/45847
DOI: 10.1093/logcom/exac070

Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterized Complexity of Abduction in Schaefer’s Framework.”https://doi.org/10.1093/logcom/exaa079__Journal of Logic and Computation 31, no. 1 (2020): 266–96.https://doi.org/10.1093/logcom/exaa079 .
LibreCat: /record/45845
DOI: 10.1093/logcom/exaa079

Biehler, Rolf, and Viviane Durand-Guerrier. “University Mathematics Didactic Research on Number Theory, Algebra, Discrete Mathematics, Logic.” In Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), edited by T. Hausberger, M. Bosch, and F. Chelloughi. Bizerte, Tunisia: University of Carthage and INDRUM, 2020.
LibreCat: /record/35811

Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.”https://doi.org/10.1016/j.artint.2015.09.003__Artificial Intelligence, 2015, 246–57.https://doi.org/10.1016/j.artint.2015.09.003 .
LibreCat: /record/3343
DOI: 10.1016/j.artint.2015.09.003

Ho, Nam, Paul Kaufmann, and Marco Platzner. “Towards Self-Adaptive Caches: A Run-Time Reconfigurable Multi-Core Infrastructure.”https://doi.org/10.1109/ICES.2014.7008719__In 2014 IEEE Intl. Conf. on Evolvable Systems (ICES), 31–37, 2014.https://doi.org/10.1109/ICES.2014.7008719 .
LibreCat: /record/10677
DOI: 10.1109/ICES.2014.7008719

Cohen, R., I. Nudelman, and Gleb Polevoy. “On the Admission of Dependent Flows in Powerful Sensor Networks.”https://doi.org/10.1109/TNET.2012.2227792__Networking, IEEE/ACM Transactions On 21, no. 5 (2013): 1461–71.https://doi.org/10.1109/TNET.2012.2227792 .
LibreCat: /record/17663
DOI: 10.1109/TNET.2012.2227792

Anwer, Jahanzeb, Sebastian Meisner, and Marco Platzner. “Dynamic Reliability Management: Reconfiguring Reliability-Levels of Hardware Designs at Runtime.”https://doi.org/10.1109/ReConFig.2013.6732280__In Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference On, 1–6, 2013.https://doi.org/10.1109/ReConFig.2013.6732280 .
LibreCat: /record/10620
DOI: 10.1109/ReConFig.2013.6732280

Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.”https://doi.org/10.1007/978-3-540-27863-4_13__In Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004.https://doi.org/10.1007/978-3-540-27863-4_13 .
LibreCat: /record/33825
DOI: 10.1007/978-3-540-27863-4_13

Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.”https://doi.org/10.1109/DATE.2004.1269214__In Proceedings of DATE’04 Designers’ Forum. Paris, 2004.https://doi.org/10.1109/DATE.2004.1269214 .
LibreCat: /record/39061
DOI: 10.1109/DATE.2004.1269214

Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.”https://doi.org/10.1109/SEFM.2004.1347516__In Proceedings of SEFM´04. Beijing, China: IEEE, 2004.https://doi.org/10.1109/SEFM.2004.1347516 .
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.”https://doi.org/10.1007/3-540-45669-4_8__In Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002.https://doi.org/10.1007/3-540-45669-4_8 .
LibreCat: /record/34447
DOI: 10.1007/3-540-45669-4_8

Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.”https://doi.org/10.1145/581199.581234 __In Proceedings of the ISS. Nagoya, Japan, 2002.https://doi.org/10.1145/581199.581234  .
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.”https://doi.org/10.1109/HICSS.2002.994469__In Proceedings of HICSS-35. Big Island, HI, USA , 2002.https://doi.org/10.1109/HICSS.2002.994469 .
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.”https://doi.org/10.1109/DATE.2001.915002__In Proceedings of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany : IEEE, 2001.https://doi.org/10.1109/DATE.2001.915002 .
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002