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
2020On Pure Space vs Catalytic Space.Sagar Bisoyi, Krishnamoorthy Dinesh, Jayalal Sarma
2020Partial Sums on the Ultra-Wide Word RAM.Philip Bille, Inge Li Grtz, Frederik Rye Skjoldjensen
2020Semilattices of Punctual Numberings.Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
2020Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective.Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft
2020Characterizations and Approximability of Hard Counting Classes Below \(\#\mathsf {P}\).Eleni Bakali, Aggeliki Chalki, Aris Pagourtzis
2020Tractabilities for Tree Assembly Problems.Feng Shi, Jie You, Zhen Zhang, Jingyi Liu
2020Polynomial Kernels for Paw-Free Edge Modification Problems.Yixin Cao, Yuping Ke, Hanchun Yuan
2019First-Order vs. Second-Order Encodings for LTLShufang Zhu, Geguang Pu, Moshe Y. Vardi
2019Dynamic Average Value-at-Risk Allocation on Worst Scenarios in Asset Management.Yuji Yoshida, Satoru Kumamoto
2019Supportive Oracles for Parameterized Polynomial-Time Sub-Linear-Space Computations in Relation to L, NL, and P.Tomoyuki Yamakami
2019Bounded Jump and the High/Low Hierarchy.Guohua Wu, Huishan Wu
2019Space Lower Bounds for Graph Stream Problems.Paritosh Verma
2019The Complexity of Synthesis for 43 Boolean Petri Net Types.Ronny Tredup, Christian Rosenke
2019Generalizations of Weighted Matroid Congestion Games: Pure Nash Equilibrium, Sensitivity Analysis, and Discrete Convex Function.Kenjiro Takazawa
2019Read-Once Certification of Linear Infeasibility in UTVPI Constraints.K. Subramani, Piotr Wojciechowski
2019Card-Based Cryptography with Invisible Ink.Kazumasa Shinagawa
2019Introducing Fluctuation into Increasing Order of Symmetric Uncertainty for Consistency-Based Feature Selection.Sho Shimamura, Kouichi Hirata
2019An Output-Sensitive Algorithm for the Minimization of 2-Dimensional String Covers.Alexandru Popa, Andrei Tanasescu
2019Building Resource Auto-scaler with Functional-Link Neural Network and Adaptive Bacterial Foraging Optimization.Thieu Nguyen, Binh Minh Nguyen, Giang Nguyen
2019On the Enumeration of Bicriteria Temporal Paths.Petra Mutzel, Lutz Oettershagen
2019Dispersion of Mobile Robots: The Power of Randomness.Anisur Rahaman Molla, William K. Moses Jr.
2019Watson-Crick Jumping Finite Automata.Kalpana Mahalingam, Rama Raghavan, Ujjwal Kumar Mishra
2019Robot Computing for Music Visualization.Pei-Chun Lin, David Mettrick, Patrick C. K. Hung, Farkhund Iqbal
2019GPU Based Horn-Schunck Method to Estimate Optical Flow and Occlusion.Vanel A. Lazcano, Francisco Rivera
2019Deterministic Coresets for Stochastic Matrices with Applications to Scalable Sparse PageRank.Harry Lang, Cenk Baykal, Najib Abu Samra, Tony Tannous, Dan Feldman, Daniela Rus
126150 of 716← PreviousNext →

Comparable venues

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