PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Bernasconi, Anna"

Author of the publication

copydeleteadd this publication to your clipboard
Integrating Topological Proofs with Model Checking to Instrument Iterative Design.

, , and . CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anna Grabowski University of Stuttgart

Anna Fritzsche University of Stuttgart

Anna Logioti University of Stuttgart

Anna Harman University of Stuttgart

Anna Mack University of Stuttgart

 

Other publications of authors with the same name

Synthesis of Autosymmetric Functions in a New Three-Level Form., , , and . Theory Comput. Syst., 42 (4): 450-464 (2008)Minimization of EP-SOPs via Boolean relations., , , and . VLSI-SoC, page 112-117. IEEE, (2013)A Note on the Polynomial Representation of Boolean Functions over GF(2)., and . Int. J. Found. Comput. Sci., 10 (4): 535- (1999)Minimization of P-circuits using Boolean relations., , , and . DATE, page 996-1001. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Logic Minimization and Testability of 2SPP-P-Circuits., , , and . DSD, page 773-780. IEEE Computer Society, (2009)Circuit and Decision Tree Complexity of Some Number Theoretic Problems., , and . Inf. Comput., 168 (2): 113-124 (2001)Dimension-reducible Boolean functions based on affine spaces., and . ACM Trans. Design Autom. Electr. Syst., 16 (2): 13:1-13:21 (2011)Compact DSOP and partial DSOP Forms, , , and . CoRR, (2012)Testability of Switching Lattices in the Stuck at Fault Model., , and . VLSI-SoC, page 213-218. IEEE, (2018)Computing Preimages and Ancestors in Reaction Systems., , , and . TPNC, volume 11324 of Lecture Notes in Computer Science, page 23-35. Springer, (2018)