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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
IEEE transactions on quantum engineering, 2021, Vol.2, p.1-12
2021
Volltextzugriff (PDF)

Open Access
Path-Based Program Repair
Electronic proceedings in theoretical computer science, 2015-03, Vol.178 (Proc. FESCA 2015), p.22-32
2015
Volltextzugriff (PDF)

IEEE transactions on computer-aided design of integrated circuits and systems, 2024-07, p.1-1
2024
Volltextzugriff (PDF)

IEEE transactions on computer-aided design of integrated circuits and systems, 2023-03, Vol.42 (3), p.914-927
2023
Volltextzugriff (PDF)

Open Access
Three-Input Gates for Logic Synthesis
IEEE transactions on computer-aided design of integrated circuits and systems, 2021-10, Vol.40 (10), p.2184-2188
2021
Volltextzugriff (PDF)

2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2016, p.1-8
2016
Volltextzugriff (PDF)

Exact DAG-Aware Rewriting
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, p.732-737
2020
Volltextzugriff (PDF)

Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2020-02, Vol.378 (2164), p.20190161-20190161
2020
Volltextzugriff (PDF)

Exact DAG-aware rewriting
Proceedings of the 23rd Conference on Design, Automation and Test in Europe, 2020, p.732-737
2020
Volltextzugriff (PDF)

IEEE transactions on computer-aided design of integrated circuits and systems, 2022-08, Vol.41 (8), p.2573-2586
2022
Volltextzugriff (PDF)

2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019, p.1649-1654
2019
Volltextzugriff (PDF)

Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2020-02, Vol.378 (2164), p.1-16
2020
Volltextzugriff (PDF)

2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), 2020, p.170-175
2020
Volltextzugriff (PDF)

2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, p.354-359
2021
Volltextzugriff (PDF)

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, p.568-573
2020
Volltextzugriff (PDF)

Proceedings of the 23rd Conference on Design, Automation and Test in Europe, 2020, p.568-573
2020
Volltextzugriff (PDF)


International journal on software tools for technology transfer, 2017-10, Vol.19 (5), p.605-621
2017
Volltextzugriff (PDF)

2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, p.1044-1049
2021
Volltextzugriff (PDF)

2019 Forum for Specification and Design Languages (FDL), 2019, p.1-6
2019
Volltextzugriff (PDF)

2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL), 2018, p.68-73
2018
Volltextzugriff (PDF)

2019 56th ACM/IEEE Design Automation Conference (DAC), 2019, p.1-6
2019
Volltextzugriff (PDF)

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, p.738-743
2020
Volltextzugriff (PDF)


Proceedings of the 59th ACM/IEEE Design Automation Conference, 2022, p.445-450
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt