Skip to content

Conference on Theory and Applications of Models of Computation

TAMC

C

CORE rank

CORE rank (raw)

C

Fields of research

Theory of Computation

Papers indexed

716

2006–2025

Papers per year

200675 peak2025

TAMC papers

716 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2008Generalized Domination in Degenerate Graphs: A Complete Dichotomy of Computational Complexity.Petr A. Golovach, Jan Kratochvl
2008A Moderately Exponential Time Algorithm for Full Degree Spanning Tree.Serge Gaspers, Saket Saurabh, Alexey A. Stepanov
2008Efficient Algorithms for Model-Based Motif Discovery from Multiple Sequences.Bin Fu, Ming-Yang Kao, Lusheng Wang
2008Distance Constrained Labelings of Trees.Jir Fiala, Petr A. Golovach, Jan Kratochvl
2008On the Complexity of the Hidden Subgroup Problem.Stephen A. Fenner, Yong Zhang
2008Differential Privacy: A Survey of Results.Cynthia Dwork
2008Balancing Traffic Load Using One-Turn Rectilinear Routing.Stephane Durocher, Evangelos Kranakis, Danny Krizanc, Lata Narayanan
2008Weak Bisimulations for the Giry Monad (Extended Abstract).Ernst-Erich Doberkat
2008Minimum Maximal Matching Is NP-Hard in Regular Bipartite Graphs.Marc Demange, Tnaz Ekim
2008Local 7-Coloring for Planar Subgraphs of Unit Disk Graphs.Jurek Czyzowicz, Stefan Dobrev, Hernn Gonzlez-Aguilar, Rastislav Kralovic, Evangelos Kranakis, Jaroslav Opatrny, Ladislav Stacho, Jorge Urrutia
2008The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees.S. Barry Cooper, Matthew C. Salts, Guohua Wu
2008More on Weak Bisimilarity of Normed Basic Parallel Processes.Haiyan Chen
2008A Logic for Distributed Higher Order pi-Calculus.Zining Cao
2008On the OBDD Complexity of the Most Significant Bit of Integer Multiplication.Beate Bollig
2008Logical Closure Properties of Propositional Proof Systems.Olaf Beyersdorff
2008On the Complexity of Measurement in Classical Physics.Edwin J. Beggs, Jos Flix Costa, Bruno Loff, John V. Tucker
2008A Characterisation of the Relations Definable in Presburger Arithmetic.Mathias Barra
2008Total Degrees and Nonsplitting Properties of Enumeration Degrees.Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin, Mariya Ivanova Soskova
2008A Denotational Semantics for Total Correctness of Sequential Exact Real Programs.Thomas Anberre
2008On a Question of Frank Stephan.Klaus Ambos-Spies, Serikzhan A. Badaev, Sergey Goncharov
2008A Well-Mixed Function with Circuit Complexity 5n±o(n): Tightness of the Lachish-Raz-Type Bounds.Kazuyuki Amano, Jun Tarui
2008Search Space Reductions for Nearest-Neighbor Queries.Micah Adler, Brent Heeringa
2007QBF-Based Symbolic Model Checking for Knowledge and Time.Conghua Zhou, Zhenyu Chen, Zhihong Tao
2007Approximation to the Minimum Rooted Star Cover Problem.Wenbo Zhao, Peng Zhang
2007Combinatorial and Spectral Aspects of Nearest Neighbor Graphs in Doubling Dimensional and Nearly-Euclidean Spaces.Yingchao Zhao, Shang-Hua Teng
551575 of 716← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.