Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Requirements Engineering for People With Cognitive Disabilities – Exploring New Ways for Peer-Researchers and Developers to Cooperate

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Quantified CTL: Expressiveness and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Personalized Parsimonious Language Models for User Modeling in Social Bookmaking Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

HANASUI: Multi-View Observable and Movable Fogscreen

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Towards the Automated Verification of Weibull Distributions for System Failure Rates

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

A Communication Framework for Fault-Tolerant Parallel Execution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Advances in Big Data Programming, System Software and HPC Convergence

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2019English

A Correlation Based Imputation Method for Incomplete Traffic Accident Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Optima on Hierarchies of Partitions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Adaptive Background Defogging With Foreground Decremental Preconditioned Conjugate Gradient

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy