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...
Open Access
Open Source Prover in the Attic
Electronic proceedings in theoretical computer science, 2024, Vol.398, p.53-61
2024
Link zum Volltext

2021 19th IEEE International New Circuits and Systems Conference (NEWCAS), 2021, p.1-4
2021
Link zum Volltext


2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2016, p.709-713
2016

2010 43rd Hawaii International Conference on System Sciences, 2010, p.1-10
2010

2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2015, Vol.2015, p.6544-6547
2015


2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2015, Vol.2015, p.1001-1004
2015

2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2015, Vol.2015, p.6405-6408
2015

2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2015, Vol.2015, p.4009-4012
2015

2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2015, Vol.2015, p.4435-4438
2015

2016 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP), 2016, p.1-4
2016
Link zum Volltext

2016 IEEE 20th Jubilee International Conference on Intelligent Engineering Systems (INES), 2016, p.171-176
2016
Link zum Volltext

2016 IEEE 11th International Symposium on Applied Computational Intelligence and Informatics (SACI), 2016, p.105-110
2016
Link zum Volltext

2016 IEEE 29th International Conference on Micro Electro Mechanical Systems (MEMS), 2016, p.185-188
2016
Link zum Volltext

2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015, p.39-44
2015

Distributed Memory Computing, 2005, p.213-223
2005
Link zum Volltext

2013 IEEE International Geoscience and Remote Sensing Symposium - IGARSS, 2013, p.2305-2308
2013

1999 IEEE MTT-S International Microwave Symposium Digest (Cat. No.99CH36282), 1999, Vol.4, p.1501-1504 vol.4
1999





2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.789-799
2018

The 13th International Conference on Solid-State Sensors, Actuators and Microsystems, 2005. Digest of Technical Papers. TRANSDUCERS '05, 2005, Vol.1, p.283-286 Vol. 1
2005
Aktive Filter
PublikationsformTagungsberichte