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...
Advances in Agronomy, 2010, Vol.105, p.47-82
2010
Link zum Volltext



Automata, Languages and Programming, 2005, p.481-494
2005
Link zum Volltext


Open Access
Loop checking and negation
Logics in AI, 2005, p.121-138
2005
Link zum Volltext

2012 12th International Conference on ITS Telecommunications, 2012, p.694-699
2012

Open Access
A real time process logic
Temporal Logic, 2005, p.30-47
2005
Link zum Volltext

Book reviews
The Journal of Agricultural Science, 2010, Vol.148 (6), p.735-736
2010
Link zum Volltext



Design and Implementation of Symbolic Computation Systems, 2005, p.131-140
2005
Link zum Volltext


2008 IEEE International Conference on Computer Design, 2008, p.294-300
2008

2008 IEEE International SOI Conference, 2008, p.57-58
2008


2018 43rd International Conference on Infrared, Millimeter, and Terahertz Waves (IRMMW-THz), 2018, p.1-2
2018



2008 IEEE Computer Society Annual Symposium on VLSI, 2008, p.179-184
2008

2007 14th IEEE International Conference on Electronics, Circuits and Systems, 2007, p.1404-1407
2007




Proceedings of 1994 IEEE/SEMI Advanced Semiconductor Manufacturing Conference and Workshop (ASMC), 1994, p.185
1994
Aktive Filter
PublikationsformArtikel