| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jianxin Wang 0001, Guohong Jiang |
A Fixed-Parameter Enumeration Algorithm for the Weighted FVS Problem.  |
TAMC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephane Durocher, Evangelos Kranakis, Danny Krizanc, Lata Narayanan |
Balancing Traffic Load Using One-Turn Rectilinear Routing. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin, Mariya Ivanova Soskova |
Total Degrees and Nonsplitting Properties of Enumeration Degrees. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jitai Zhao |
Extensions of Embeddings in the Computably Enumerable Degrees. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miklos Santha |
Quantum Walk Based Search Algorithms. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Gaspers, Saket Saurabh 0001, Alexey A. Stepanov |
A Moderately Exponential Time Algorithm for Full Degree Spanning Tree. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianxin Wang 0001, Qilong Feng |
An O*(3.523k) Parameterized Algorithm for 3-Set Packing. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andre Osterloh |
Deterministic Hot-Potato Permutation Routing on the Mesh and the Torus. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Lafitte, Michael Weiss |
A Topological Study of Tilings. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angsheng Li, Weilin Li, Yicheng Pan 0001, Linqing Tang |
Definable Filters in the Structure of Bounded Turing Reductions. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Skip Jordan, Thomas Zeugmann |
Indistinguishability and First-Order Logic. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
graph theory, logic, Property testing, descriptive complexity |
| 1 | Cindy Y. Li, Prudence W. H. Wong, Qin Xin 0001, Fencol C. C. Yung |
Approximating Border Length for DNA Microarray Synthesis. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Beyersdorff |
Logical Closure Properties of Propositional Proof Systems. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Barry Cooper, Matthew C. Salts, Guohua Wu |
The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Haibin Zhang, Zhenhua Duan |
Symbolic Algorithm Analysis of Rectangular Hybrid Systems. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, hybrid systems, reachability analysis |
| 1 | John Z. Zhang, Tsunehiko Kameda |
A Linear-Time Algorithm for Finding All Door Locations That Make a Room Searchable. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Kristiansen, Paul J. Voda |
The Structure of Detour Degrees. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker |
On the Complexity of Measurement in Classical Physics. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Anberrée |
A Denotational Semantics for Total Correctness of Sequential Exact Real Programs. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pok-Son Kim, Arne Kutzner |
Ratio Based Stable In-Place Merging. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyan Chen |
More on Weak Bisimilarity of Normed Basic Parallel Processes. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Ambos-Spies, Serikzhan A. Badaev, Sergey Goncharov 0002 |
On a Question of Frank Stephan. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
computable family of sets, TxtEX learning, equivalent numberings |
| 1 | Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes |
Unary Automatic Graphs: An Algorithmic Perspective. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Fenner, Yong Zhang 0053 |
On the Complexity of the Hidden Subgroup Problem. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Yves Marion, Romain Péchoux |
A Characterization of NCk. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oriana Ponta, Falk Hüffner, Rolf Niedermeier |
Speeding up Dynamic Programming for Some NP-Hard Graph Recoloring Problems. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Jain 0001, Ashwin Nayak 0001, Yi Su |
A Separation between Divergence and Holevo Information for Ensembles. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pinar Heggernes, Daniel Meister 0001, Charis Papadopoulos |
Graphs of Linear Clique-Width at Most 3. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianxin Wang 0001, Dan Ning, Qilong Feng, Jianer Chen |
An Improved Parameterized Algorithm for a Generalized Matching Problem. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Fu, Ming-Yang Kao, Lusheng Wang 0001 |
Efficient Algorithms for Model-Based Motif Discovery from Multiple Sequences. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowen Lou, Daming Zhu |
Genome Rearrangement Algorithms for Unsigned Permutations with O(logn) Singletons. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manindra Agrawal, Ding-Zhu Du, Zhenhua Duan, Angsheng Li (eds.) |
Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinsong Tan |
Inapproximability of Maximum Weighted Edge Biclique and Its Applications. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Minzhu Xie, Jianxin Wang 0001, Jianer Chen |
A Practical Parameterized Algorithm for the Individual Haplotyping Problem MLF. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
SNP (single-nucleotide polymorphism), MLF (Minimum Letter Flip), NP-hardness, haplotype, parameterized algorithm |
| 1 | Beate Bollig |
On the OBDD Complexity of the Most Significant Bit of Integer Multiplication. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
Computational complexity, lower bounds, ordered binary decision diagrams, integer multiplication |
| 1 | Mingyu Xiao 0001 |
Finding Minimum 3-Way Cuts in Hypergraphs. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuyuki Amano, Jun Tarui |
A Well-Mixed Function with Circuit Complexity 5n±o(n): Tightness of the Lachish-Raz-Type Bounds. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun-Yuan Hsieh, Chia-Wei Lee |
Hamiltonicity of Matching Composition Networks with Conditional Edge Faults. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
Algorithmica aspect of network problems, conditional edge faults, matching composition networks, restricted hypercube-like networks, fault-tolerance, graph theory, multiprocessor systems, Hamiltonian cycles, Hamiltonicity |
| 1 | Jiong Guo, Falk Hüffner, Christian Komusiewicz, Yong Zhang 0053 |
Improved Algorithms for Bicluster Editing. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Fiala 0001, Petr A. Golovach, Jan Kratochvíl |
Distance Constrained Labelings of Trees. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Angsheng Li, Linqing Tang |
Derandomizing Graph Tests for Homomorphism. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Demange, Tínaz Ekim |
Minimum Maximal Matching Is NP-Hard in Regular Bipartite Graphs. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
unmatched pairs, Minimum Maximal Matching, regular bipartite graphs, stable marriage |
| 1 | Ernst-Erich Doberkat |
Weak Bisimulations for the Giry Monad (Extended Abstract). |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Micah Adler, Brent Heeringa |
Search Space Reductions for Nearest-Neighbor Queries. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurek Czyzowicz, Stefan Dobrev, Hernán González-Aguilar, Rastislav Kralovic, Evangelos Kranakis, Jaroslav Opatrny, Ladislav Stacho, Jorge Urrutia |
Local 7-Coloring for Planar Subgraphs of Unit Disk Graphs. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr A. Golovach, Jan Kratochvíl |
Generalized Domination in Degenerate Graphs: A Complete Dichotomy of Computational Complexity. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
Subject Computational complexity, graph algorithms |
| 1 | Rupert Hölzl 0001, Wolfgang Merkle |
Generation Complexity Versus Distinction Complexity. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
Propositional Projection Temporal Logic, B chi automata, ?-regular expression, expressiveness |
| 1 | Cynthia Dwork |
Differential Privacy: A Survey of Results. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas F. Kent |
s-Degrees within e-Degrees. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zining Cao |
A Logic for Distributed Higher Order pi-Calculus. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Barra |
A Characterisation of the Relations Definable in Presburger Arithmetic. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Mia Minnes |
Model Theoretic Complexity of Automatic Structures (Extended Abstract). |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giordano Fusco, Eric Bach 0001 |
Phase Transition of Multivariate Polynomial Systems. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Ichi Nakano, Ryuhei Uehara, Takeaki Uno |
A New Approach to Graph Recognition and Applications to Distance-Hereditary Graphs. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
algorithmic graph theory, cograph, prefix tree, distance-hereditary graph, tree representation |
| 1 | Qi Cheng 0001, Elizabeth Murray |
On Deciding Deep Holes of Reed-Solomon Codes. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
deep hole, NP-complete, Reed-Solomon codes, algebraic surface |
| 1 | Markus Hinkelmann, Andreas Jakoby, Peer Stechert |
t -Private and Secure Auctions. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rongquan Feng, Hongfeng Wu |
Encapsulated Scalar Multiplications and Line Functions in the Computation of Tate Pairing. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
line function, Miller’s path, Elliptic curve, scalar multiplication, Tate pairing |
| 1 | Yunlong Liu 0001, Jianer Chen, Jianxin Wang 0001 |
Parameterized Algorithms for Weighted Matching and Packing Problems. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xingwu Liu, Zhiwei Xu 0002, Juhua Pu |
Revisiting the Impossibility for Boosting Service Resilience. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Thurley |
Kernelizations for Parameterized Counting Problems. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | He Sun 0001, Chung Keung Poon |
Two Improved Range-Efficient Algorithms for F 0 Estimation. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Iordanis Kerenidis |
Quantum Multiparty Communication Complexity and Circuit Lower Bounds. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Seo Ryoo, Kwangsoo Kim |
Separation of Data Via Concurrently Determined Discriminant Functions. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
mixed integer and linear programming, machine learning, data classification |
| 1 | Cristina Tîrnauca, Satoshi Kobayashi |
A Characterization of the Language Classes Learnable with Correction Queries. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
Gold-style learning, query learning, correction query |
| 1 | Yingchao Zhao 0001, Shang-Hua Teng |
Combinatorial and Spectral Aspects of Nearest Neighbor Graphs in Doubling Dimensional and Nearly-Euclidean Spaces. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
shallow minor, Fiedler value, metric embedding, Doubling dimension, neighborhood system |
| 1 | Feng Liu, Keqin Feng |
Efficient Computation of Algebraic Immunity of Symmetric Boolean Functions. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
cryptography, algebraic immunity, symmetric boolean function |
| 1 | Andreas Jakoby, Maciej Liskiewicz, Rüdiger Reischuk, Christian Schindelhauer |
Improving the Average Delay of Sorting. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyang Hou, Guochuan Zhang |
The Hardness of Selective Network Design for Bottleneck Routing Games. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart A. Kurtz, Janos Simon |
The Undecidability of the Generalized Collatz Problem. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Indranil Saha, Debapriyay Mukhopadhyay |
A Distributed Algorithm of Fault Recovery for Stateful Failover. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
stateful failover, verification of programs, distributed algorithm, SPIN model checker |
| 1 | Jianxin Wang 0001, Xiaoshuang Xu, Jianer Chen |
An Approximation Algorithm Based on Chain Implication for Constrained Minimum Vertex Covers in Bipartite Graphs. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroki Morizumi, Jun Tarui |
Linear-Size Log-Depth Negation-Limited Inverter for k -Tonic Binary Sequences. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
negation-limited circuit, k-tonic, circuit complexity, inverter |
| 1 | Yun Fan |
There is an Sw-Cuppable Strongly c.e. Real. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, S. Barry Cooper, Hong Zhu 0004 (eds.) |
Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehab Morsy, Hiroshi Nagamochi |
Approximating Capacitated Tree-Routings in Networks. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
Tree Cover, Approximation Algorithm, Graph Algorithm, Network Optimization, Routing Problems |
| 1 | Jun Tarui |
Finding a Duplicate and a Missing Item in a Stream. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
finding duplicate, finding missing item, communication complexity, proof complexity, Data stream algorithm, pigeonhole principle |
| 1 | Shin-Ichi Nakano, Ryuhei Uehara, Takeaki Uno |
Efficient Algorithms for Airline Problem. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
Airline problem, approximation algorithm, completeness, efficient algorithm |
| 1 | Jin Wang, Xi Bai 0002, Jia Yu 0005, Daxing Li |
Protecting Against Key Escrow and Key Exposure in Identity-Based Cryptosystem. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
key-insulated cryptosystem, bilinear pairings, Identity-based cryptography, key escrow, key exposure |
| 1 | M. V. Panduranga Rao |
Bounding Run-Times of Local Adiabatic Algorithms. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yatao Xu, Tanja Grubba |
Computability on Subsets of Locally Compact Spaces. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingshun Zhang, Daoyun Xu |
The Existence of Unsatisfiable Formulas in k-LCNF for k>=3. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bing Yang 0001, Jing Chen 0020, Enyue Lu, S. Q. Zheng 0001 |
A Comparative Study of Efficient Algorithms for Partitioning a Sequence into Monotone Subsequences. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
algorithm, complexity, approximation, NP-complete, permutation, monotone, subsequence |
| 1 | Li Pan, Weidong Zhao, Zhicheng Wang, Gang Wei, Shumei Wang |
On Computation Complexity of the Concurrently Enabled Transition Set Problem. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Wun-Tat Chan, Tak Wah Lam, Kin-Sum Mak, Prudence W. H. Wong |
Online Deadline Scheduling with Bounded Energy Efficiency. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuehou Tan |
Searching a Polygonal Region by Two Guards. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Conghua Zhou, Zhenyu Chen 0001, Zhihong Tao |
QBF-Based Symbolic Model Checking for Knowledge and Time. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Decheng Ding, Klaus Weihrauch, Yongcheng Wu |
Absolutely Non-effective Predicates and Functions in Computable Analysis. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
measure, computability, representation, set, undecidability |
| 1 | Xiaoming Hu, Shangteng Huang |
A Provably Secure Blind Signature Scheme. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
Polynomial reduction, Security arguments, Provably secure, Blind signature |
| 1 | Sushmita Gupta |
Feedback Arc Set Problem in Bipartite Tournaments. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
feedback arc set, bipartite tournaments, Approximation algorithms |
| 1 | Zhenhua Duan, Cong Tian |
Decidability of Propositional Projection Temporal Logic with Infinite Models. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
infinite model, model checking, satisfiability, decidability, interval temporal logic |
| 1 | Hitoshi Yamasaki, Takayoshi Shoudai |
A Polynomial Time Algorithm for Finding Linear Interval Graph Patterns. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Li, Jun-Hai Yong |
Efficient Exact Arithmetic over Constructive Reals. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Zhang 0008 |
An Approximation Algorithm to the k -Steiner Forest Problem. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiexun Wang, Liang Zhao 0013, Hiroshi Nagamochi, Tatsuya Akutsu |
An Efficient Algorithm for Generating Colored Outerplanar Graphs. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Lingas, Martin Wahlen |
On Exact Complexity of Subgraph Homeomorphism. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Minming Li, Ze Feng, Ronald L. Graham, Frances F. Yao |
Approximately Optimal Trees for Group Key Management with Batch Updates. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun-Yuan Hsieh, Huang-Ming Gao, Shih-Cheng Yang |
On the Internal Steiner Tree Problem. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yi, Wenhui Zhang |
Enhancing Simulation for Checking Language Containment. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Reid Andersen, Fan R. K. Chung |
Detecting Sharp Drops in PageRank and a Simplified Local Partitioning Algorithm. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license