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
@article{Kontinen_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
| DOI
2020 | Journal Article | LibreCat-ID: 45845
@article{Mahmood_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
| DOI
2020 | Book Chapter | LibreCat-ID: 35811
@inbook{Biehler_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
| Files available
| Download (ext.)
2015 | Journal Article | LibreCat-ID: 3343
@article{Bubeck_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
| DOI
2014 | Conference Paper | LibreCat-ID: 10677
@inproceedings{Ho_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
| DOI
2013 | Journal Article | LibreCat-ID: 17663
@article{Cohen_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
| DOI
2013 | Conference Paper | LibreCat-ID: 10620
@inproceedings{Anwer_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
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
@inbook{Flake_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
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
@inproceedings{Krupp_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
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
@inproceedings{Flake_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
| DOI
2002 | Book Chapter | LibreCat-ID: 34447
@inbook{Flake_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
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The Formal Execution Semantics of SpecC}, DOI={10.1145/581199.581234 }, booktitle={Proceedings of the ISSS02}, author={Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
@inproceedings{Flake_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
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
@inproceedings{Mü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
| DOI