TW

Thomas Wiben Jensen

University of Southern Denmark 0000-0003-1428-4414

223

Publications

2,832

Citations

29

h-index

63

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (150)
Book Chapter (39)
Preprint (23)
Book (6)
Dataset (4)

Filter by Open Access Type

Open Access (102)
Closed Access (121)

Filter by Authors

Thomas Wiben Jensen (223)
Frédéric Besson (22)
David Pichardie (17)
David Cachera (11)
Benoît Montagu (6)

Filter by Topics

Logic, programming, and type systems (62)
Formal Methods in Verification (42)
Security and Verification in Computing (34)
Language, Metaphor, and Cognition (31)
Social and Educational Sciences (20)