Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

VyPR2: A Framework for Runtime Verification of Python Web Services

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Formalization of the Coach Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Synthesizing Quantum Circuits via Numerical Optimization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Practical Neurophysiological Analysis of Readability as a Usability Dimension

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Analysis of the IBM CCA Security API Protocols in Maude-Npa

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Towards Standardization of Retinal Vascular Measurements: On the Effect of Image Centering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Semisimple Synchronizing Automata and the Wedderburn-Artin Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

On the Power of Public-Key Encryption in Secure Computation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Algorithmic Decision Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Implementing SOS With Active Objects: A Case Study of a Multicore Memory System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy