Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2007English

Equality Between Functionals in the Presence of Coproducts

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2000English

Games and Full Abstraction for FPC

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2000English

Approximability Results for Stable Marriage Problems With Ties

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2003English

Finding the Intersection of Two Convex Polyhedra

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1978English

Efficient Corona Training Protocols for Sensor Networks

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2008English

Elimination of Parameters in the Polynomial Hierarchy

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1999English

A Complete Axiomatisation for Observational Congruence of Finite-State Behaviours

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1989English

Optimal Conclusive Sets for Comparator Networks

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2009English

Guaranteeing No Interaction Between Functional Dependencies and Tree-Like Inclusion Dependencies

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy