Full Text
Peer Reviewed
See detailAlgorithms for the Sequential Reprogramming of Boolean Networks
Mandon, Hugues; Su, Cui; Pang, Jun et al

in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2019), 16(5), 1610-1619

Full Text
Peer Reviewed
See detailA KLM Perspective on Defeasible Reasoning for Description Logics
Britz, Katarina; Casini, Giovanni; Meyer, Thomas et al

in Turhan, Anni-Yasmin; Wolter, Frank; Lutz, Carsten (Eds.) et al Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (2019)

Full Text
Peer Reviewed
See detailEarly-stage topological and technological choices for TSN-based communication architectures
Navet, Nicolas; Villanueva, Josetxo; Migge, Jörn

Scientific Conference (2019, September 24)

Full Text
Peer Reviewed
See detailTowards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers
Libal, Tomer; Steen, Alexander

in Urban, Josef; Fontaine, Pascal; Schulz, Stephan (Eds.) Practical Aspects of Automated Reasoning (2016, July)

Full Text
Peer Reviewed
See detailAn efficient approach towards the source-target control of Boolean networks
Paul, Soumya; Su, Cui; Pang, Jun et al

in IEEE/ACM Transactions on Computational Biology and Bioinformatics (in press)