Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Mathematics

Robust QBF Encodings for Sequential Circuits With Applications to Verification, Debug, and Test

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2010English

A Data Throughput Prediction and Optimization Service for Widely Distributed Many-Task Computing

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2011English

Subalgebras of the $\Mathbb{Z}/2$-Equivariant Steenrod Algebra

Homology, Homotopy and Applications
Mathematics
2015English

Dynamic Simulation of Large-Scale Power Systems Using a Parallel Schur-Complement-Based Decomposition Method

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2014English

Mixing Categories

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
2011English

Four Equivalent Versions of Nonabelian Gerbes

Pacific Journal of Mathematics
Mathematics
2013English

A Class of Nonsofic Multidimensional Shift Spaces

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
2012English

Off-The-Hook: An Efficient and Usable Client-Side Phishing Prevention Application

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2017English

Twisted Homological Stability for Configuration Spaces

Homology, Homotopy and Applications
Mathematics
2018English

Securing Coding-Based Cloud Storage Against Pollution Attacks

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy