Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Designing AC Power Grids Using Integer Linear Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Facilitating Adaptation in Virtual Environments Using a Context-Aware Model-Based Design Process

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Extending DIVINE With Symbolic Verification Using SMT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Multiple Classifier Systems for the Classification of Audio-Visual Emotional States

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Social Media and Counter-Democracy: The Contingences of Participation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Modeling User’s Non-Functional Preferences for Personalized Service Ranking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Formalization of Polytime Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Presentation of the 9th Edition of the Model Checking Contest

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy