Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Partial Weighted MaxSAT for Optimal Planning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

CLAM: Cross-Layer Adaptation Management in Service-Based Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Selecting Optimal Background Knowledge Sources for the Ontology Matching Task

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

The Performances Study of EDCF With Block_Ack in WLANs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Framework for Combining Problem Frames and Goal Models to Support Context Analysis During Requirements Engineering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Possibilistic Conditional Preference Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Checking Experiments for Finite State Machines With Symbolic Inputs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Memory Leaks Detection in Java by Bi-Abductive Inference

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

An Expressive Semantics of Mocking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Editorial: Special Issue on Parallel Nature-Inspired Optimization

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy