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, Juha, et al. “A Parameterized View on the Complexity of Dependence and Independence Logic.” Journal of Logic and Computation, vol. 32, no. 8, Oxford University Press (OUP), 2022, pp. 1624–44, doi:10.1093/logcom/exac070.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
Mahmood, Yasir, et al. “Parameterized Complexity of Abduction in Schaefer’s Framework.” Journal of Logic and Computation, vol. 31, no. 1, Oxford University Press (OUP), 2020, pp. 266–96, doi:10.1093/logcom/exaa079.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 35811
Biehler, Rolf, and Viviane Durand-Guerrier. “University Mathematics Didactic Research on Number Theory, Algebra, Discrete Mathematics, Logic.” 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 et al., University of Carthage and INDRUM, 2020.
LibreCat
| Files available
| Download (ext.)
2015 | Journal Article | LibreCat-ID: 3343
Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.” Artificial Intelligence, Elsevier, 2015, pp. 246–57, doi:10.1016/j.artint.2015.09.003.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10677
Ho, Nam, et al. “Towards Self-Adaptive Caches: A Run-Time Reconfigurable Multi-Core Infrastructure.” 2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES), 2014, pp. 31–37, doi:10.1109/ICES.2014.7008719.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 17663
Cohen, R., et al. “On the Admission of Dependent Flows in Powerful Sensor Networks.” Networking, IEEE/ACM Transactions On, vol. 21, no. 5, 2013, pp. 1461–71, doi:10.1109/TNET.2012.2227792.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 10620
Anwer, Jahanzeb, et al. “Dynamic Reliability Management: Reconfiguring Reliability-Levels of Hardware Designs at Runtime.” Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference On, 2013, pp. 1–6, doi:10.1109/ReConFig.2013.6732280.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 34447
Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, Springer-Verlag, 2002, pp. 150–71, doi:10.1007/3-540-45669-4_8.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” Proceedings of the ISSS02, 2002, doi:10.1145/581199.581234 .
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, 2001, doi:10.1109/DATE.2001.915002.
LibreCat
| DOI