Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Combining Semantic Web Search With the Power of Inductive Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Conducting Ethical Research With a Game-Based Intervention for Groups at Risk of Social Exclusion

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Artificial Neural Networks and Machine Learning – ICANN 2016

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Formative Evaluation for Complex Interactive Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Image Foresting Transform: On-The-Fly Computation of Segmentation Boundaries

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Getting Rid of Store-Buffers in TSO Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Keynote Speech: Underexplored Research Topics From the Commercial World

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Integrative Hypothesis Test and A5 Formulation: Sample Pairing Delta, Case Control Study, and Boundary Based Statistics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

MetAcsl: Specification and Verification of High-Level Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Towards Automatic Analysis of Election Verifiability Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy