papers
Publications (14)
math.OA2000
Normal conditional expectations of finite index and sets of modular generators
Michael Frank
math.OA2008
Injective and projective Hilbert C*-modules, and C*-algebras of compact operators
Michael Frank, Vern I. Paulsen
hep-ph1996
Low-Energy QCD: Chiral Coefficients, UA(1)-Breaking and the Quark-Quark Interaction
Thomas Meissner, Michael Frank
cs.DM2014
Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten)
Michael Codish, LuÃs Cruz-Filipe, Michael Frank +1
nucl-th1997
Covariant equations for the three-body bound state
Alfred Stadler, Franz Gross, Michael Frank
funct-an1996
Hilbert C*-modules and related subjects - a guided reference overview I
Michael Frank
funct-an1993
Direct integrals and Hilbert W*-Modules
Michael Frank
cs.CC2015
When Six Gates are Not Enough
Michael Codish, LuÃs Cruz-Filipe, Michael Frank +1
funct-an1996
Hilbert H*-modules and Hilbert modules over (non-self-adjoint) operator algebras -- a reference overview II
Michael Frank
cs.AI2015
Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
Michael Codish, Michael Frank, Avraham Itzhakov +1
funct-an1993
Spectral and polar decomposition in AW*-algebras
Michael Frank
cs.OH2017
JetsonLEAP: a Framework to Measure Power on a Heterogeneous System-on-a-Chip Device
Tarsila Bessa, Christopher Gull, Pedro Quintão +3
cs.DS2016
Logic Programming with Graph Automorphism: Integrating naut with Prolog (Tool Description)
Michael Frank, Michael Codish
cs.AI2015
Solving Graph Coloring Problems with Abstraction and Symmetry
Michael Codish, Michael Frank, Avraham Itzhakov +1