Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S. D. Swierstra
Facilitating the Verification of Diffusing Computations and Their Applications
CLEI Electronic Journal
Related publications
PriMan: Facilitating the Development of Secure and Privacy-Preserving Applications
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Car Noise Verification and Applications
International Journal of Speech Technology
Linguistics
Pattern Recognition
Human-Computer Interaction
Language
Computer Vision
Software
Automatic Result Verification by Complete Run-Time Checking of Computations
International Journal of Foundations of Computer Science
Computer Science
Synchrophasor Applications Facilitating Interactions in Transmission and Distribution Operations
Structured Matrix Computations in Non-Euclidean Geometries: Algorithms and Applications
BIT Numerical Mathematics
Computer Networks
Applied Mathematics
Software
Computational Mathematics
Communications
Facilitating the Creation of IoT Applications Through Conditional Observations in CoAP
Eurasip Journal on Wireless Communications and Networking
Computer Networks
Computer Science Applications
Signal Processing
Communications
Simulation for the Reverse Extrapolation of Radar Threats and Their Verification
International Journal of Intelligent Systems and Applications
Control
Signal Processing
Human-Computer Interaction
Optimization
Computer Networks
Simulation
Communications
Computer Science Applications
Modeling
Artificial Intelligence
Studies on Diffusing Factors. Active Preparations From Mammalian Testicle and Their Biological Assay
Biochemical Journal
MNE-BIDS: Organizing Electrophysiological Data Into the BIDS Format and Facilitating Their Analysis
Journal of Open Source Software
