Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Denys Duchier, Jérôme Durand-Lose, Maxime Senot |
Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wei Li 0022 |
R-Calculus: A Logical Inference System for Scientific Discovery. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Popa 0001, Prudence W. H. Wong, Fencol C. C. Yung |
Hardness and Approximation of the Asynchronous Border Minimization Problem - (Extended Abstract). |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kun-Mao Chao, An-Chiang Chu, Jesper Jansson 0001, Richard S. Lemence, Alban Mancheron |
Asymptotic Limits of a New Type of Maximization Recurrence with an Application to Bioinformatics. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Taisuke Izumi, Tomoko Izumi, Hirotaka Ono 0001, Koichi Wada 0001 |
Minimum Certificate Dispersal with Tree Structures. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guizhen Zhu, Daqing Wan |
Computing Error Distance of Reed-Solomon Codes. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pan Peng 0001 |
The Small Community Phenomenon in Networks: Models, Algorithms and Applications. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Butler W. Lampson |
What Computers Do: Model, Connect, Engage. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu |
Finite Automata over Structures - (Extended Abstract). |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Badillo, Charles M. Harris |
An Application of 1-Genericity in the $\Pi^0_2$ Enumeration Degrees. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michal Cerný, Miroslav Rada |
Polynomial Time Construction of Ellipsoidal Approximations of Zonotopes Given by Generator Descriptions. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrew C. Yao, Yunlei Zhao |
Computationally-Fair Group and Identity-Based Key-Exchange. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lin Wang 0015, Antonio Fernández Anta, Fa Zhang 0001, Chenying Hou, Zhiyong Liu 0002 |
Energy-Efficient Network Routing with Discrete Cost Functions. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mingyu Xiao 0001, Hiroshi Nagamochi |
A Refined Exact Algorithm for Edge Dominating Set. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jingguo Bi, Qi Cheng 0001 |
Lower Bounds of Shortest Vector Lengths in Random NTRU Lattices. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Teng Long, Wenhui Zhang |
Proving Liveness Property under Strengthened Compassion Requirements. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zipeng Zhang, Xinyu Feng 0001, Ming Fu, Zhong Shao, Yong Li |
A Structural Approach to Prophecy Variables. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Arjona Aroca, Antonio Fernández Anta |
Bisection (Band)Width of Product Networks with Application to Data Centers. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mordechai Shalom, Ariella Voloshin, Prudence W. H. Wong, Fencol C. C. Yung, Shmuel Zaks |
Online Optimization of Busy Time on Parallel Machines - (Extended Abstract). |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eugen Jiresch, Bernhard Gramlich |
Realizing Monads in Interaction Nets via Generic Typed Rules. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rusins Freivalds |
Multiple Usage of Random Bits in Finite Automata. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima |
Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sanjay Jain 0001, Frank Stephan 0001, Thomas Zeugmann |
On the Amount of Nonconstructivity in Learning Formal Languages from Positive Data. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jun Yan |
A Surprisingly Simple Way of Reversing Trace Distance via Entanglement. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Rüdiger Olderog |
Automatic Verification of Real-Time Systems with Rich Data: An Overview. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Nehéz, Daniel Olejár, Michal Demetrian |
A Detailed Study of the Dominating Cliques Phase Transition in Random Graphs. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Deyi Li, Liwei Huang |
Interaction and Collective Intelligence on the Internet. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Kapur |
Program Analysis Using Quantifier-Elimination Heuristics - (Extended Abstract). |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Bonato, Dieter Mitsche, Pawel Pralat |
Vertex-Pursuit in Hierarchical Social Networks. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ying Zheng, Jianxin Wang 0001, Qilong Feng, Jianer Chen |
FPT Results for Signed Domination. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Nagamochi |
Submodular Minimization via Pathwidth. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shaoquan Jiang |
Timed Encryption with Application to Deniable Key Exchange. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Samir Datta, Rameshwar Pratap |
Computing Bits of Algebraic Numbers. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Richard M. Karp |
Theory of Computation as an Enabling Tool for the Sciences. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jun Zhang 0031, Fang-Wei Fu 0001 |
Constructions for Binary Codes Correcting Asymmetric Errors from Function Fields. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hervé Baumann, Pierre Fraigniaud, Hovhannes A. Harutyunyan, Rémi de Joannis de Verclos |
The Worst Case Behavior of Randomized Gossip. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Chi-Chih Yao |
Quantum Computing: A Great Science in the Making. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Weiwei Wu 0001, Minming Li, He Huang 0001, Enhong Chen |
Speed Scaling Problems with Memory/Cache Consideration. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jin Li 0007, Weiyi Liu, Kun Yue |
A Game-Theoretic Approach for Balancing the Tradeoffs between Data Availability and Query Delay in Multi-hop Cellular Networks. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hiro Ito, Susumu Kiyoshima, Yuichi Yoshida |
Constant-Time Approximation Algorithms for the Knapsack Problem. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Albert F. Lawrence, Sebastien Phan, Mark H. Ellisman |
Electron Tomography and Multiscale Biology. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Yu 0003, Jude-Thaddeus Ojiaku, Prudence W. H. Wong, Yinfeng Xu |
Online Makespan Scheduling of Linear Deteriorating Jobs on Parallel Machines. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Beate Bollig, Marc Gillé, Tobias Pröger |
Implicit Computation of Maximum Bipartite Matchings by Sublinear Functional Operations. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jon M. Kleinberg |
The Convergence of Social and Technological Networks. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jun Zhang 0031, Fang-Wei Fu 0001, Daqing Wan |
Stopping Set Distributions of Algebraic Geometry Codes from Elliptic Curves. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John E. Hopcroft |
On the Impact of Turing Machines. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zhiguo Fu, Jin-Yi Cai |
Holographic Algorithms on Domain Size k > 2. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Manindra Agrawal, S. Barry Cooper, Angsheng Li (eds.) |
Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | S. Barry Cooper |
From Turing Machine to Morphogenesis: Forming and Informing Computation. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Yang, Florian Sikora, Guillaume Blin, Sylvie Hamel, Romeo Rizzi, Srinivas Aluru |
An Algorithmic View on Multi-Related-Segments: A Unifying Model for Approximate Common Interval. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nathaniel Hobbs, Yuexuan Wang, Qiang-Sheng Hua, Dongxiao Yu, Francis C. M. Lau 0001 |
Deterministic Distributed Data Aggregation under the SINR Model. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich |
Towards an Axiomatization of Simple Analog Algorithms. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yicheng Pan 0003 |
Principles of Network Computing. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shuling Wang, Naijun Zhan, Dimitar P. Guelev |
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Brunsch, Heiko Röglin |
A Bad Instance for k-Means++. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Hellouin de Menibus, Takeaki Uno |
Maximal Matching and Path Matching Counting in Polynomial Time for Graphs of Bounded Clique Width. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yoshio Okamoto, Yota Otachi, Ryuhei Uehara, Takeaki Uno |
Hardness Results and an Exact Exponential Algorithm for the Spanning Tree Congestion Problem. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Takuro Fukunaga |
Approximating Minimum Cost Source Location Problems with Local Vertex-Connectivity Demands. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ruben van der Zwaan, André Berger, Alexander Grigoriev |
How to Cut a Graph into Many Pieces. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mitsunori Ogihara, Jun Tarui (eds.) |
Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xue Chen 0001, Guangda Hu, Xiaoming Sun 0001 |
A Better Upper Bound on Weights of Exact Threshold Functions. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Akiyoshi Shioura, Shunya Suzuki |
Optimal Allocation in Combinatorial Auctions with Quadratic Utility Functions. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gerth Stølting Brodal, Mark Greve, Vineet Pandey, Srinivasa Rao Satti |
Integer Representations towards Efficient Counting in the Bit Probe Model. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rusins Freivalds, Thomas Zeugmann |
On the Amount of Nonconstructivity in Learning Recursive Functions. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kozue Iwata, Shiro Ishiwata, Shin-Ichi Nakano |
A Compact Encoding of Unordered Binary Trees. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Takehiro Ito, Erik D. Demaine |
Approximability of the Subset Sum Reconfiguration Problem. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Angsheng Li, Linqing Tang |
The Complexity and Approximability of Minimum Contamination Problems. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Asano |
Designing Algorithms with Limited Work Space. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Althaus, Joschka Kupilas, Rouven Naujoks |
On the Low-Dimensional Steiner Minimum Tree Problem in Hamming Metric. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Langer, Peter Rossmanith, Somnath Sikdar |
Linear-Time Algorithms for Graphs of Bounded Rankwidth: A Fresh Look Using Game Theory - (Extended Abstract). |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Samir Datta, Nagarajan Krishnamurthy |
Some Tractable Win-Lose Games. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Brody, Kevin Matulef, Chenggang Wu |
Lower Bounds for Testing Computability by Small Width OBDDs. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Karolina Soltys |
The Hardness of Median in the Synchronized Bit Communication Model. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Pospelov 0001 |
Group-Theoretic Lower Bounds for the Complexity of Matrix Multiplication. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sanjay Jain 0001, Frank Stephan 0001, Jason Teutsch |
Closed Left-R.E. Sets. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Serafino Cicerone |
Using Split Composition to Extend Distance-Hereditary Graphs in a Generative Way - (Extended Abstract). |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jie Fu, Jeffrey Heinz, Herbert G. Tanner |
An Algebraic Characterization of Strictly Piecewise Languages. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Konstanty Junosza-Szaniawski, Jan Kratochvíl, Mathieu Liedloff, Peter Rossmanith, Pawel Rzazewski |
Fast Exact Algorithm for L(2, 1)-Labeling of Graphs. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Moser |
On the Polynomial Depth of Various Sets of Random Strings. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Takehiro Ito, Kazuto Kawamura, Xiao Zhou 0001 |
An Improved Sufficient Condition for Reconfiguration of List Edge-Colorings in a Tree. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chee Yap |
A Real Elementary Approach to the Master Recurrence and Generalizations. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pooya Davoodi, S. Srinivasa Rao 0001 |
Succinct Dynamic Cardinal Trees with Constant Time Operations for Small Alphabet. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Lingas, Cui Di |
Near Approximation of Maximum Weight Matching through Efficient Weight Reduction. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bodo Manthey |
Deterministic Algorithms for Multi-criteria TSP. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | András Faragó |
Low Distortion Metric Embedding into Constant Dimension. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kazuo Iwama, Shuichi Miyazaki, Hiroki Yanagisawa |
Improved Approximation Bounds for the Student-Project Allocation Problem with Preferences over Projects. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Eva Jelínková |
Switching to Hedgehog-Free Graphs Is NP-Complete. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Bílka, Bernard Lidický, Marek Tesar 0001 |
Locally Injective Homomorphism to the Simple Weight Graphs. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Belmonte, Pinar Heggernes, Pim van 't Hof |
Edge Contractions in Subclasses of Chordal Graphs. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Atlas F. Cook, Chenglin Fan, Jun Luo 0008 |
Hide-and-Seek: Algorithms for Polygon Walk Problems. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ming Lam Leung, Yang Li, Shengyu Zhang 0002 |
Tight Bounds on Communication Complexity of Symmetric XOR Functions in One-Way and SMP Models. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Arne Meier, Thomas Schneider 0002 |
Generalized Satisfiability for the Description Logic ALC - (Extended Abstract). |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Klavík, Jan Kratochvíl, Tomás Vyskocil |
Extending Partial Representations of Interval Graphs. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Liskiewicz, Rüdiger Reischuk, Ulrich Wölfel |
Grey-Box Steganography. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Akira Suzuki, Kei Uchizawa, Xiao Zhou 0001 |
Energy and Fan-In of Threshold Circuits Computing Mod Functions. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Jeandel, Pascal Vanier |
P01\it \Pi^0_1 Sets and Tilings. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Weizhong Luo, Jianxin Wang 0001, Qilong Feng, Jiong Guo, Jianer Chen |
An Improved Kernel for Planar Connected Dominating Set. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fengming Wang |
NEXP Does Not Have Non-uniform Quasipolynomial-Size ACC Circuits of o(loglogn) Depth. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Brunsch, Heiko Röglin |
Lower Bounds for the Smoothed Number of Pareto Optimal Solutions. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chunlai Zhou |
Intuitive Probability Logic. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|