Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Certifying Data in Multiparty Session Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

A Novel Approach to Gasoline Price Forecasting Based on Karhunen-Loève Transform and Network for Vector Quantization With Voronoid Polyhedral

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Analyzing Interactions of Asynchronously Communicating Software Components

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

On the Analysis of Simple Genetic Programming for Evolving Boolean Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

A Game Characterisation of Tree-Like Q-Resolution Size

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Evolutionary Inference of Attribute-Based Access Control Policies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

How to Reconstruct the System’s Dynamics by Differentiating Interval-Valued and Set-Valued Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

On the Power of Fault Sensitivity Analysis and Collision Side-Channel Attacks in a Combined Setting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Mental Workload Assessment for UAV Traffic Control Using Consumer-Grade BCI Equipment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy