Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Applying Atomicity and Model Decomposition to a Space Craft System in Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Risk Assessment in a Parallel Production System With the Use of FMEA Method and Linguistic Variables

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Exercise Support System for Elderly: Multi-Sensor Physiological State Detection and Usability Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Building an Online Environment for Usefulness Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Does Adding More Agents Make a Difference? A Case Study of Cover Time for the Rotor-Router

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

CBEAM: Efficient Authenticated Encryption From Feebly One-Way Φ Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Software Engineering and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Optimal Stochastic Excitation for Linear Flaw Detection in a Solid Material

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Predicting Battery Depletion of Neighboring Wireless Sensor Nodes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Mapping Between Classical Risk Management and Game Theoretical Approaches

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy