@articleKontinen_Meier_Mahmood_2022, title=A parameterized view on the complexity of dependence and independence logic, volume=32, DOI=10.1093/logcom/exac070, number=8, journal=Journal of Logic and Computation, publisher=Oxford University Press (OUP), author=Kontinen, Juha and Meier, Arne and Mahmood, Yasir, year=2022, pages=1624–1644 
LibreCat: /record/45847
DOI: 10.1093/logcom/exac070

@articleMahmood_Meier_Schmidt_2020, title=Parameterized complexity of abduction in Schaefer’s framework, volume=31, DOI=10.1093/logcom/exaa079, number=1, journal=Journal of Logic and Computation, publisher=Oxford University Press (OUP), author=Mahmood, Yasir and Meier, Arne and Schmidt, Johannes, year=2020, pages=266–296 
LibreCat: /record/45845
DOI: 10.1093/logcom/exaa079

@inbookBiehler_Durand-Guerrier_2020, place=Bizerte, Tunisia, title=University Mathematics Didactic Research on Number Theory, Algebra, Discrete Mathematics, Logic, booktitle=Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), publisher=University of Carthage and INDRUM, author=Biehler, Rolf and Durand-Guerrier, Viviane, editor=Hausberger, T. and Bosch, M. and Chelloughi, F., year=2020 
LibreCat: /record/35811

@articleMahmood_Meier_Schmidt_2020, title=Parameterized complexity of abduction in Schaefer’s framework, volume=31, DOI=10.1093/logcom/exaa079, number=1, journal=Journal of Logic and Computation, publisher=Oxford University Press (OUP), author=Mahmood, Yasir and Meier, Arne and Schmidt, Johannes, year=2020, pages=266–296 
LibreCat: /record/45844
DOI: 10.1093/logcom/exaa079

@articleMahmood_Meier_Schmidt_2020, title=Parameterized complexity of abduction in Schaefer’s framework, volume=31, DOI=10.1093/logcom/exaa079, number=1, journal=Journal of Logic and Computation, publisher=Oxford University Press (OUP), author=Mahmood, Yasir and Meier, Arne and Schmidt, Johannes, year=2020, pages=266–296 
LibreCat: /record/45842
DOI: 10.1093/logcom/exaa079

@articleBubeck_Kleine Büning_2015, title=Learning Boolean Specifications, DOI=10.1016/j.artint.2015.09.003, journal=Artificial Intelligence, publisher=Elsevier, author=Bubeck, Uwe and Kleine Büning, Hans, year=2015, pages=246–257 
LibreCat: /record/3343
DOI: 10.1016/j.artint.2015.09.003

@inproceedingsHo_Kaufmann_Platzner_2014, title=Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure, DOI=10.1109/ICES.2014.7008719, booktitle=2014 IEEE Intl. Conf. on Evolvable Systems (ICES), author=Ho, Nam and Kaufmann, Paul and Platzner, Marco, year=2014, pages=31–37 
LibreCat: /record/10677
DOI: 10.1109/ICES.2014.7008719

@articleCohen_Nudelman_Polevoy_2013, title=On the Admission of Dependent Flows in Powerful Sensor Networks, volume=21, DOI=10.1109/TNET.2012.2227792, number=5, journal=Networking, IEEE/ACM Transactions on, author=Cohen, R. and Nudelman, I. and Polevoy, Gleb, year=2013, pages=1461–1471 
LibreCat: /record/17663
DOI: 10.1109/TNET.2012.2227792

@inproceedingsAnwer_Meisner_Platzner_2013, title=Dynamic reliability management: Reconfiguring reliability-levels of hardware designs at runtime, DOI=10.1109/ReConFig.2013.6732280, booktitle=Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference on, author=Anwer, Jahanzeb and Meisner, Sebastian and Platzner, Marco, year=2013, pages=1–6 
LibreCat: /record/10620
DOI: 10.1109/ReConFig.2013.6732280

@inbookFlake_Müller_Pape_Ruf_2004, place=Berlin, Heidelberg, series=Lecture Notes in Computer Science, title=Specification and Formal Verification of Temporal Properties of Production Automation Systems, volume=3147, DOI=10.1007/978-3-540-27863-4_13, booktitle=Integration of Software Specification Techniques for Applications in Engineering, publisher=Springer-Verlag, author=Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen, editor=Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert, year=2004, pages=206–226, collection=Lecture Notes in Computer Science 
LibreCat: /record/33825
DOI: 10.1007/978-3-540-27863-4_13

@inproceedingsKrupp_Müller_Oliver_2004, place=Paris, title=Formal Refinement and Model Checking of An Echo Cancellation Unit, DOI=10.1109/DATE.2004.1269214, booktitle=Proceedings of DATE’04 Designers’ Forum, author=Krupp, Alexander and Müller, Wolfgang and Oliver, Ian, year=2004 
LibreCat: /record/39061
DOI: 10.1109/DATE.2004.1269214

@inproceedingsFlake_Müller_2004, place=Beijing, China, title=Past- and Future-Oriented Time-Bound Temporal Properties with OCL, DOI=10.1109/SEFM.2004.1347516, booktitle=Proceedings of SEFM´04, publisher=IEEE, author=Flake, Stephan and Müller, Wolfgang, year=2004 
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

@inbookFlake_Müller_2002, place=Berlin, Heidelberg, title=An OCL Extension for Real-Time Constraints, DOI=10.1007/3-540-45669-4_8, booktitle=Advances in Object Modelling with the OCL, publisher=Springer-Verlag, author=Flake, Stephan and Müller, Wolfgang, editor=Clark, T. and Warmer, J., year=2002, pages=150–171 
LibreCat: /record/34447
DOI: 10.1007/3-540-45669-4_8

@inproceedingsMüller_Dömer_Gerstlauer_2002, place=Nagoya, Japan, title=The Formal Execution Semantics of SpecC, DOI=10.1145/581199.581234 , booktitle=Proceedings of the ISS, author=Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas, year=2002 
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

@inproceedingsFlake_Müller_2002, place=Big Island, HI, USA , title=Specification of Real-Time Properties for UML Models, DOI=10.1109/HICSS.2002.994469, booktitle=Proceedings of HICSS-35, author=Flake, Stephan and Müller, Wolfgang, year=2002 
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

@inproceedingsMüller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place=Munich, Germany , title=The Simulation Semantics of SystemC, DOI=10.1109/DATE.2001.915002, booktitle=Proceedings of the Design, Automation, and Test in Europe (DATE’01), publisher=IEEE, author=Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W., year=2001 
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002