Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Information processing letters, 2004-05, Vol.90 (4), p.195-204
2004
Link zum Volltext

Open Access
Synthesis of Succinct Systems
Automated Technology for Verification and Analysis, p.208-222
Link zum Volltext


One Bit of Advice
Lecture notes in computer science, 2003, p.547-558
2003
Link zum Volltext

STACS 93, 2005, p.28-37
2005
Link zum Volltext


Theory and Applications of Satisfiability Testing - SAT 2009, p.65-72
Link zum Volltext

Lecture notes in computer science, 2002, p.287-299
2002
Link zum Volltext

Mathematical Foundations of Computer Science 1994, 2005, p.27-37
2005
Link zum Volltext

Automata, Languages and Programming, 1995, p.196-207
1995
Link zum Volltext




Communications in partial differential equations, 2020-07, Vol.45 (7), p.714-757
2020
Link zum Volltext


International journal of clinical practice (Esher), 2021-07, Vol.75 (7), p.e14010-n/a
2021
Link zum Volltext


IET intelligent transport systems, 2016-05, Vol.10 (4), p.219-226
2016
Link zum Volltext



Journal of pragmatics, 2018-05, Vol.129, p.1-12
2018
Link zum Volltext

Journal of human nutrition and dietetics, 2022-06, Vol.35 (3), p.554-565
2022
Link zum Volltext


IEEE transactions on intelligent transportation systems, 2020-03, Vol.21 (3), p.1180-1190
2020

Journal of communications technology & electronics, 2023-12, Vol.68 (Suppl 2), p.S239-S253
2023
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt