Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("WILKE, Thomas")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 80

  • Page / 4
Export

Selection :

  • and

Ancient Egypt : an economist's view = Egypte ancienne : Point de vue d'un économisteWILKE, Thomas.Göttinger Miszellen. 2000, Num 178, pp 81-95, issn 0344-385XArticle

Ancient Lake Ohrid : biodiversity and evolutionALBRECHT, Christian; WILKE, Thomas.Hydrobiologia (The Hague). 2008, Vol 615, pp 103-140, issn 0018-8158, 38 p.Conference Paper

Life cycle, population dynamics and productivity of Ventrosia maritima in the Evros Delta (northern Aegean Sea)KEVREKIDIS, Theodoros; WILKE, Thomas.Journal of the Marine Biological Association of the United Kingdom. 2005, Vol 85, Num 2, pp 375-382, issn 0025-3154, 8 p.Article

Temporal logic and semidirect products: an effective characterization of the until hierarchyTHERIEN, Denis; WILKE, Thomas.SIAM journal on computing (Print). 2002, Vol 31, Num 3, pp 777-798, issn 0097-5397Article

Lack of phylogeographic structure in three widespread Australian birds reinforces emerging challenges in Australian historical biogeographyJOSEPH, Leo; WILKE, Thomas.Journal of biogeography. 2007, Vol 34, Num 4, pp 612-624, issn 0305-0270, 13 p.Article

Transducer-based analysis of cryptographic protocolsKÜSTERS, Ralf; WILKE, Thomas.Information and computation (Print). 2007, Vol 205, Num 12, pp 1741-1776, issn 0890-5401, 36 p.Article

Simulation relations for alternating Büchi automataFRITZ, Carsten; WILKE, Thomas.Theoretical computer science. 2005, Vol 338, Num 1-3, pp 275-314, issn 0304-3975, 40 p.Article

Concurrent evolution of ancient sister lakes and sister species : the freshwater gastropod genus Radix in lakes Ohrid and PrespaALBRECHT, Christian; WOLFF, Christian; GLÖER, Peter et al.Hydrobiologia (The Hague). 2008, Vol 615, pp 157-167, issn 0018-8158, 11 p.Conference Paper

Testing two contrasting evolutionary patterns in ancient lakes : species flock versus species scatter in valvatid gastropods of Lake OhridHAUSWALD, Anne-Kathrin; ALBRECHT, Christian; WILKE, Thomas et al.Hydrobiologia (The Hague). 2008, Vol 615, pp 169-179, issn 0018-8158, 11 p.Conference Paper

The neglected side of speciation in ancient lakes : phylogeography of an inconspicuous mollusc taxon in lakes Ohrid and PrespaSCHULTHEISS, Roland; ALBRECHT, Christian; BÖSSNECK, Ulrich et al.Hydrobiologia (The Hague). 2008, Vol 615, pp 141-156, issn 0018-8158, 16 p.Conference Paper

When DNA puts ecological works back on the right track : Genetic assessment and distribution patterns of mudsnail populations in the Evros Delta lagoonsKEVREKIDIS, Theodoros; WILKE, Thomas; MOGIAS, Athanassios et al.Archiv für Hydrobiologie. 2005, Vol 162, Num 1, pp 19-35, issn 0003-9136, 17 p.Article

Independent evolution of migration on the South American landscape in a long-distance temperate-tropical migratory bird, Swainson's flycatcher (Myiarchus swainsoni)JOSEPH, Leo; WILKE, Thomas; ALPERS, Deryn et al.Journal of biogeography. 2003, Vol 30, Num 6, pp 925-937, issn 0305-0270, 13 p.Article

Nesting until and since in linear temporal logicTHERIEN, Denis; WILKE, Thomas.Lecture notes in computer science. 2002, pp 455-464, issn 0302-9743, isbn 3-540-43283-3Conference Paper

The birth of an endemic species flock: demographic history of the Bellamya group (Gastropoda, Viviparidae) in Lake MalawiSCHULTHEISS, Roland; WILKE, Thomas; JØRGENSEN, Aslak et al.Biological Journal of the Linnean Society. 2011, Vol 102, Num 1, pp 130-143, issn 0024-4066, 14 p.Article

The Great Lakes in East Africa : biological conservation considerations for species flocksSTURMBAUER, Christian.Hydrobiologia (The Hague). 2008, Vol 615, pp 95-101, issn 0018-8158, 7 p.Conference Paper

Automata-based analysis of recursive cryptographic protocolsKÜSTERS, Ralf; WILKE, Thomas.Lecture notes in computer science. 2004, pp 382-393, issn 0302-9743, isbn 3-540-21236-1, 12 p.Conference Paper

Deciding the first level of the μ-calculus alternation hierarchyKÜSTERS, Ralf; WILKE, Thomas.Lecture notes in computer science. 2002, pp 241-252, issn 0302-9743, isbn 3-540-00225-1, 12 p.Conference Paper

Linear temporal logic and finite semigroupsWILKE, Thomas.Lecture notes in computer science. 2001, pp 96-110, issn 0302-9743, isbn 3-540-42496-2Conference Paper

A Dolev-Yao-Based Definition of Abuse-Free ProtocolsKÄHLER, Detlef; KUSTERS, Ralf; WILKE, Thomas et al.Lecture notes in computer science. 2006, pp 95-106, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

State space reductions for alternating Büchi automata: quotienting by simulation equivalencesFRITZ, Carsten; WILKE, Thomas.Lecture notes in computer science. 2002, pp 157-168, issn 0302-9743, isbn 3-540-00225-1, 12 p.Conference Paper

Minimizing automata on infinite wordsWILKE, Thomas.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-20101-7, p. 289Conference Paper

Patterns of freshwater biodiversity in Europe: lessons from the spring snail genus BythinellaBENKE, Mandy; BRÄNDLE, Martin; ALBRECHT, Christian et al.Journal of biogeography. 2011, Vol 38, Num 10, pp 2021-2032, issn 0305-0270, 12 p.Article

Patterns and Processes of Speciationn in Ancient LakesWILKE, Thomas; VÄNÖLÄ, Risto; RIEDEL, Frank et al.Hydrobiologia (The Hague). 2008, Vol 615, issn 0018-8158, 237 p.Conference Proceedings

Fair simulation relations, parity games, and state space reduction for büchi automataETESSAMI, Kousha; WILKE, Thomas; SCHULLER, Rebecca A et al.SIAM journal on computing (Print). 2005, Vol 34, Num 5, pp 1159-1175, issn 0097-5397, 17 p.Article

Memoryless determinacy of parity gamesKÜSTERS, Half.Lecture notes in computer science. 2002, pp 95-106, issn 0302-9743, isbn 3-540-00388-6, 12 p.Conference Paper

  • Page / 4