Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Pebble Games, Proof Complexity, and Time-Space Trade-Offs

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Probabilistic Modal μ-Calculus With Independent Product

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Dependent Nominal Type Theory

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Linearizability With Ownership Transfer

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Collective Mode Mining From Molecular Dynamics Simulations: A Comparative Approach

International Journal of Computational Methods
Computational MathematicsComputer Science
2018English

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

User Adaptive Text Predictor for Mentally Disabled Huntington’s Patients

Computational Intelligence and Neuroscience
MedicineMathematicsComputer ScienceNeuroscience
2016English

Development of a Prediction Model Based on RBF Neural Network for Sheet Metal Fixture Locating Layout Design and Optimization

Computational Intelligence and Neuroscience
MedicineMathematicsComputer ScienceNeuroscience
2016English

Investigating Shareable Feedback Tags for Programming Assignments

Computer Science Education
EducationComputer Science
2011English

Formalization of Abstract State Transition Systems for SAT

Logical Methods 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