Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mads Ohm Larsen
Algebraic Transformation of Descriptive Vector Byte-Code Sequences
Related publications
Effective Identification of Source Code Authors Using Byte-Level Information
Développement Formel d'Un Vérifieur Embarqué De Byte-Code Java
Techniques et sciences informatiques
Algebraic Shift Register Sequences
Choice Reviews Online
Algebraic Shift Register Sequences
Byte Code Verification for Java Smart Cards Based on Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stable Vector Bundles on Algebraic Surfaces
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Algebraic Specification of a Model Transformation Engine
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On a Lie Algebraic Characterization of Vector Bundles
Symmetry, Integrability and Geometry: Methods and Applications (SIGMA)
Geometry
Mathematical Physics
Analysis
Topology
Extrapolation Methods for Vector Sequences
SIAM Review
Computational Mathematics
Applied Mathematics
Theoretical Computer Science
