A Logic for Analyzing Abstractions of Graph Transformation Systems. - Paolo Baldan; Barbara König 001; Bernhard König (SAS, 2003)

Local coherence. - Bernhard König (Ann. Pure Appl. Log., 2003)

Verifying a Behavioural Logic for Graph Transformation Systems. - Paolo Baldan; Andrea Corradini 001; Barbara König 001; Bernhard König (COMETA, 2003)

Generic compactness reformulated. - Bernhard König (Arch. Math. Log., 2004)

Fragments of Martin's Maximum in generic extensions. - Bernhard König; Yasuo Yoshinobu (Math. Log. Q., 2004)

Dense subtrees in complete Boolean algebras. - Bernhard König (Math. Log. Q., 2006)

Forcing indestructibility of set-theoretic axioms. - Bernhard König (J. Symb. Log., 2007)

Winning strategies in club games and their applications. - Bernhard König (Math. Log. Q., 2011)

Kurepa trees and Namba forcing. - Bernhard König; Yasuo Yoshinobu (J. Symb. Log., 2012)