Thomas Wilke

Researcher Next ID · RN-000459

Professor · Computer Science

Giessen, Germany

Not currently recruitingFunding unknown

About

452 publications and 10,160 citations recorded on OpenAlex.

Computer Science

Aquatic Invertebrate Ecology and Behavior

Marine and environmental studies

semigroups and automata theory

Logic, programming, and type systems

Formal Methods in Verification

Responses of reef building corals to microplastic exposure
Environmental Pollution · 2017 · 10.1016/j.envpol.2017.11.006
As Time Goes by: A Simple Fool's Guide to Molecular Clock Approaches in Invertebrates *
American Malacological Bulletin · 2009 · 10.4003/006.027.0203
Ancient Lake Ohrid: biodiversity and evolution
Hydrobiologia · 2008 · 10.1007/s10750-008-9558-y
The solute carrier family SLC10: more than a family of bile acid transporters regarding function and phylogenetic relationships
Naunyn-Schmiedeberg s Archives of Pharmacology · 2006 · 10.1007/s00210-006-0043-8
Automata logics, and infinite games: a guide to current research
Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)) · 2002 · 10.1007/3-540-36387-4

No projects listed.