Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by David SEAMAN

The Library in Flux: Motion, Modularization, and Malleability

Journal of Information Processing and Management
2006English

Related publications

Controlling the Motion of Magnetic Flux Quanta

Physical Review Letters
AstronomyPhysics
2004English

Suppressed Flux Motion in Magnesium Diboride Films

Physical Review B
2005English

Concurrent Security and Non-Malleability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Lean, Automation and Modularization in Construction

2019English

Modularization and Abstraction in Logic Programming

New Generation Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceSoftware
1983English

An Algebraic Approach to Non-Malleability

2014English

Using Modularization in Embedded OS

Proceedings of the Institute for System Programming of the RAS
2017English

Interpolation in Computing Science: The Semantics of Modularization

Synthese
PhilosophySocial Sciences
2008English

Motion of Flux Transfer Events: A Test of the Cooling Model

Annales Geophysicae
Planetary SciencesGeologySpaceAtmospheric SciencePlanetary ScienceAstrophysicsEarthAstronomy
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy