Gutsfeld, Jens Oliver; Müller-Olm, Markus; Nordhoff, Benedikt A branching time variant of CaRet. (English) Zbl 1508.68219 del Mar Gallardo, María (ed.) et al., Model checking software. 25th international symposium, SPIN 2018, Malaga, Spain, June 20–22, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10869, 153-170 (2018). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{J. O. Gutsfeld} et al., Lect. Notes Comput. Sci. 10869, 153--170 (2018; Zbl 1508.68219) Full Text: DOI
Müller-Olm, Markus; Rüthing, Oliver; Seidl, Helmut Checking Herbrand equalities and beyond. (English) Zbl 1112.68094 Cousot, Radhia (ed.), Verfication, model checking, and abstract interpretation. 6th international conference, VMCAI 2005, Paris, France, January 17–19, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24297-X/pbk). Lecture Notes in Computer Science 3385, 79-96 (2005). MSC: 68Q60 03B25 68Q17 PDFBibTeX XMLCite \textit{M. Müller-Olm} et al., Lect. Notes Comput. Sci. 3385, 79--96 (2005; Zbl 1112.68094) Full Text: DOI
Müller-Olm, Markus; Seidl, Helmut On optimal slicing of parallel programs. (English) Zbl 1323.68316 Proceedings of the thirty-third annual ACM symposium on theory of computing, STOC 2001. Hersonissos, Crete, Greece, July 6–8, 2001. New York, NY: ACM Press (ISBN 1-581-13349-9). 647-656 (2001). MSC: 68Q25 03B70 68N30 68Q17 PDFBibTeX XMLCite \textit{M. Müller-Olm} and \textit{H. Seidl}, in: Proceedings of the thirty-third annual ACM symposium on theory of computing, STOC 2001. Hersonissos, Crete, Greece, July 6--8, 2001. New York, NY: ACM Press. 647--656 (2001; Zbl 1323.68316) Full Text: DOI
Müller-Olm, Markus A modal fixpoint logic with chop. (English) Zbl 0924.03046 Meinel, Christoph (ed.) et al., STACS 99. 16th annual symposium on Theoretical aspects of computer science, Trier, Germany, March 4–6, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1563, 510-520 (1999). MSC: 03B70 03B45 03B25 PDFBibTeX XMLCite \textit{M. Müller-Olm}, Lect. Notes Comput. Sci. 1563, 510--520 (1999; Zbl 0924.03046)