Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
14 Publications
2022 | Journal Article | LibreCat-ID: 45847
Kontinen, J., Meier, A., & Mahmood, Y. (2022). A parameterized view on the complexity of dependence and independence logic. Journal of Logic and Computation, 32(8), 1624–1644. https://doi.org/10.1093/logcom/exac070
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
Mahmood, Y., Meier, A., & Schmidt, J. (2020). Parameterized complexity of abduction in Schaefer’s framework. Journal of Logic and Computation, 31(1), 266–296. https://doi.org/10.1093/logcom/exaa079
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 35811
Biehler, R., & Durand-Guerrier, V. (2020). University Mathematics Didactic Research on Number Theory, Algebra, Discrete Mathematics, Logic. In T. Hausberger, M. Bosch, & F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020). University of Carthage and INDRUM.
LibreCat
| Files available
| Download (ext.)
2015 | Journal Article | LibreCat-ID: 3343
Bubeck, U., & Kleine Büning, H. (2015). Learning Boolean Specifications. Artificial Intelligence, 246–257. https://doi.org/10.1016/j.artint.2015.09.003
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10677
Ho, N., Kaufmann, P., & Platzner, M. (2014). Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure. In 2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES) (pp. 31–37). https://doi.org/10.1109/ICES.2014.7008719
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 17663
Cohen, R., Nudelman, I., & Polevoy, G. (2013). On the Admission of Dependent Flows in Powerful Sensor Networks. Networking, IEEE/ACM Transactions On, 21(5), 1461–1471. https://doi.org/10.1109/TNET.2012.2227792
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 10620
Anwer, J., Meisner, S., & Platzner, M. (2013). Dynamic reliability management: Reconfiguring reliability-levels of hardware designs at runtime. In Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference on (pp. 1–6). https://doi.org/10.1109/ReConFig.2013.6732280
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 34447
Flake, S., & Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark & J. Warmer (Eds.), Advances in Object Modelling with the OCL (pp. 150–171). Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_8
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
Müller, W., Dömer, R., & Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISSS02. https://doi.org/10.1145/581199.581234
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake, S., & Müller, W. (2002). Specification of Real-Time Properties for UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . https://doi.org/10.1109/HICSS.2002.994469
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., & Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design, Automation, and Test in Europe (DATE’01). Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002
LibreCat
| DOI