Porschen, S. ; Speckenmeyer, E. : On linear CNF formulas. In: Proceedings SAT 2006, S. 212-225, Springer Verlag, Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo, 2006, ISBN 978-3-540-37206-7, ISSN 0302-9743

Porschen, Stefan: Joining CNF-Formulas And Base-Hypergraphs, S. 1282-1293, 2025, ISSN 1819-9224 (online), 1819-656X (print)

Wotzlaw, A., Speckenmeyer, E., Porschen, Stefan : Probabilistic Analysis of Random Mixed Horn Formulas. In: Accepted Papers ISAIM 2014, S. 1-5, Chucago, USA, 2014

Porschen, S. ; Schmidt, T. ; Speckenmeyer, E. : On some aspects of mixed-Horn formulas. In: Proceedings SAT 2009, S. 86-100, Springer Verlag, Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo, 2009, ISBN 978-3-642-02776-5, ISSN 0302-9743

Porschen, Stefan : Structural and computational aspects of restricted Boolean formulas, Fachgruppe Mathematik/Informatik, Universität zu Köln, 2007

Porschen, S. ; Speckenmeyer, E.: Satisfiability problems for mixed-Horn formulas. In: Proceedings Guangzhou symposium on SAT-based modeling, S. 106-113, Guangzhou, China, 2004

Porschen, S. ; Speckenmeyer, E. : NP-completeness of some restricted linear formula classes. In: Proceedings Guangzhou Symposium on Satisfiability in Logic-Based Modeling, S. 113-123, Guangzhou, China, 2006

Students conducted a market analysis for the MICE comapny Fiylo.

Porschen, Stefan : A CNF formula hierarchy over the hypercube. In: Proceedings AI 2007, S. 234-243, Springer Verlag, Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo, 2007, ISBN 978-3-540-76926-2, ISSN 0302-9743

Porschen, Stefan : Base Hypergraphs and Orbits of CNF Formulas. In: Lecture Notes in Engineering and Computer Science, Proceedings IMECS 2018, S. 106-111, Newswood, Hong Kong, 2018, ISBN 978-988-14047-8-7, ISSN 2078-0958