Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

PHD Symposium Preface

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

The Trade-Off Between Power Consumption and Latency in Computer Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Probabilistic Iterative Local Search Algorithm Applied to Full Model Selection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Lightweight Testing of Communication Networks With E-Motions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

REFlex: An Efficient Web Service Orchestrator for Declarative Business Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Perception of Expressivity in TTS: Linguistics, Phonetics or Prosody?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

How Many Makes a Crowd? On the Evolution of Learning as a Factor of Community Coverage

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Evaluation of an Accessible Home Control and Telecare System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Experts and Machines Against Bullies: A Hybrid Approach to Detect Cyberbullies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy