Theo M. V. Janssen

6 papers and 172 indexed citations i.

Theo M. V. Janssen has authored 6 papers that have received a total of 172 indexed citations. This includes 3 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 1 paper in Electrical and Electronic Engineering. The topics of these papers are Logic, Reasoning, and Knowledge (3 papers), Logic, programming, and type systems (2 papers) and Optical Wireless Communication Technologies (1 paper). Theo M. V. Janssen is often cited by papers focused on Logic, Reasoning, and Knowledge (3 papers), Logic, programming, and type systems (2 papers) and Optical Wireless Communication Technologies (1 paper) and collaborates with scholars based in The Netherlands and United States. Theo M. V. Janssen's co-authors include Tomislav Prokopec, S. P. Miao, Jeroen Groenendijk, R. P. Woodard and Martin Stokhof and has published in prestigious journals such as Classical and Quantum Gravity, Theoretical Computer Science and Synthese