Jens Otten - Concepedia

Author

Jens Otten

Also Known As

J. Otten, Jens Otten, Otten Jens, Otten, Jens

Publications

783

Citations

H-Index

Concepts

All Affiliations

Jens Otten is an author at University of Potsdam specializing in formal methods, automated reasoning, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	214
2	Computer Science	4	4	214
3	Automated Reasoning	4	4	214
4	Systems Engineering	1	1	14
5	Computational Complexity	1	1	53

Jens Otten

Publications

269

Citations

H-Index

Page 1

	Year	Citations
leanCoP: lean connection-based theorem proving Jens Otten, Wolfgang Bibel Journal of Symbolic Computation EngineeringAutomated ReasoningProof ComplexityVerificationFormal Methods	2003	86
The ILTP Problem Library for Intuitionistic Logic Thomas Raths, Jens Otten, Christoph Kreitz Journal of Automated Reasoning EngineeringAutomated ReasoningIltp Problem LibraryConstructive LogicFormal Methods	2007	61
Restricting backtracking in connection calculi Jens Otten AI Communications Goal-oriented Proof SearchEngineeringAutomated ReasoningProof ComplexityVerification	2010	53
Connection-Based Theorem Proving in Classical and Non-Classical Logics Christoph Kreitz, Jens Otten TUbilio (Technical University of Darmstadt)	2020	45
Implementing Connection Calculi for First-order Modal Logics Jens Otten EPiC series in computing EngineeringAutomated ReasoningPropositional LogicModal LogicVerification	2018	14
randoCoP: Randomizing the Proof Search Order in the Connection Calculus. Thomas Raths, Jens Otten Behaviour Research and Therapy	2008	10

Page 1