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...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Reducing the Depth of Quantum Circuits Using Additional Circuit Lines
Reversible Computation, p.221-233
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Mapping NCV Circuits to Optimized Clifford+T Circuits
Reversible Computation, p.163-175
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
RevKit: An Open Source Toolkit for the Design of Reversible Circuits
Reversible Computation, p.64-76
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
White Dots do Matter: Rewriting Reversible Logic Circuits
Reversible Computation, p.196-208
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Generation of Verification Artifacts from Natural Language Descriptions
Natural Language Processing for Electronic Design Automation, 2020, p.37-70
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Real-World Events Discovering with TWIST
Natural Language Processing for Electronic Design Automation, 2020, p.71-107
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
(Semi)automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications
Natural Language Processing for Electronic Design Automation, 2020, p.1-11
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Semi-Formalization of Requirements for Analogue/Mixed-Signal Products with Application in Automotive Domain
Natural Language Processing for Electronic Design Automation, 2020, p.13-35
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams
Reversible Computation, p.183-196
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Secure Implementation of Lattice-Based Encryption Schemes
Advanced Boolean Techniques, 2019, p.21-49
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Towards the Structure of a Class of Permutation Matrices Associated with Bent Functions
Advanced Boolean Techniques, 2019, p.83-105
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Derivative Operations for Classes CN\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal {C}_N$$ \end{document} of Boolean Functions
Advanced Boolean Techniques, 2019, p.51-82
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Exact Synthesis of ESOP Forms
Advanced Boolean Techniques, 2019, p.177-194
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Self-explaining Digital Systems: Technical View, Implementation Aspects, and Completeness
Advanced Boolean Techniques, 2019, p.1-20
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Efficient Hardware Operations for the Residue Number System by Boolean Minimization
Advanced Boolean Techniques, 2019, p.237-258
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Synthesis of Majority Expressions Through Primitive Function Manipulation
Advanced Boolean Techniques, 2019, p.135-158
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions
Advanced Boolean Techniques, 2019, p.195-215
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning
Advanced Boolean Techniques, 2019, p.107-133
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Literal Selection in Switching Lattice Design
Advanced Boolean Techniques, 2019, p.159-175
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
New Results on Reversible Boolean Functions Having Component Functions with Specified Properties
Advanced Boolean Techniques, 2019, p.217-236
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Behaviour Driven Development for Tests and Verification
Tests and Proofs, p.61-77
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Completeness-Driven Development
Graph Transformations, p.38-50
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Using πDDs in the Design of Reversible Circuits: Work-In-Progress
Reversible Computation, p.197-203
Link zum Volltext
Verfügbarkeit prüfen
1 – 23 von 23
Suche als RSS-Feed
Aktive Filter
ThemaScience & Technology
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen