Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Heuristics for Estimating Contact Area of Supports in Layered Manufacturing

Journal of Experimental Algorithmics
Theoretical Computer Science
2007English

Checking Extended CTL Properties Using Guarded Quotient Structures

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2007English

Sensitivity of Wardrop Equilibria

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2009English

Lessons Learned From Model Checking a NASA Robot Controller

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2004English

Puzzles, Art, and Magic With Algorithms

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2006English

Hairpin Structures Defined by DNA Trajectories

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2007English

Exact Algorithms for Graph Homomorphisms

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2007English

NP-Completeness of Minimal Width Unordered Tree Layout

Journal of Graph Algorithms and Applications
GeometryComputer Science ApplicationsComputer ScienceMathematicsComputational TheoryTheoretical Computer ScienceTopology
2004English

A Broadcasting Algorithm With Time and Message Optimum on Arrangement Graphs

Journal of Graph Algorithms and Applications
GeometryComputer Science ApplicationsComputer ScienceMathematicsComputational TheoryTheoretical Computer ScienceTopology
1998English

Guest Editor's Foreword

Journal of Graph Algorithms and Applications
GeometryComputer Science ApplicationsComputer ScienceMathematicsComputational TheoryTheoretical Computer ScienceTopology
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy