A Note on the Characterization of Weak Bisimulation Congruence in CCS - Jan Ekman (Inf. Comput., 1992)

Propositions in Prepositional Logic Provable Only by Indirect Proofs. - Jan Ekman (Math. Log. Q., 1998)

Incremental Stream Clustering for Anomaly Detection and Classification. - Anders Holst; Jan Ekman (SCAI, 2011)

A Joint Statistical and Symbolic Anomaly Detection System: Increasing performance in maritime surveillance. - Anders Holst; Björn Bjurling; Jan Ekman; Åsa Rudström; Klas Wallenius; Mattias Bjorkman; Farzad Fooladvandi; Rikard Laxhammar; Johan Tronninger (FUSION, 2012)

Statistical Anomaly Detection for Train Fleets. - Anders Holst; Markus Bohlin; Jan Ekman; Ola Sellin; Björn Lindström; Stefan Larsen (AI Mag., 2013)

Service Provider DevOps network capabilities and tools. - Rebecca Steinert; Wolfgang John; Pontus Sköldström; Bertrand Pechenot; András Gulyás; István Pelle; Tamás Lévai; Felicián Németh; Juhoon Kim; Catalin Meirosu; Xuejun Cai; Chunyan Fu; et al. (CoRR, 2015)

Self-contradictory Reasoning. - Jan Ekman (Advances in Proof-Theoretic Semantics, 2016)

Final Service Provider DevOps concept and evaluation. - Guido Marchetto; Riccardo Sisto; Wolfgang John; Pontus Sköldström; Bertrand Pechenot; Felicián Németh; István Pelle; Juhoon Kim; Xuejun Cai; Chunyan Fu; Catalin Meirosu; Kostas Pentikousis; et al. (CoRR, 2016)