| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Katsuhisa Yamanaka, Shin-Ichi Nakano |
Floorplans with Walls.  |
TAMC  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshihiro Fujito, Tomoya Nakamura |
Eternal Connected Vertex Cover Problem. |
TAMC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Tredup, Evgeny Erofeev |
On the Parameterized Complexity of d-Restricted Boolean Net Synthesis. |
TAMC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Takayuki Kihara, Arno Pauly |
Finite Choice, Convex Choice and Sorting. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sho Shimamura, Kouichi Hirata |
Introducing Fluctuation into Increasing Order of Symmetric Uncertainty for Consistency-Based Feature Selection. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Fertin, Samuele Giraudo, Sylvie Hamel, Stéphane Vialette |
Unshuffling Permutations: Trivial Bijections and Compositions. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paritosh Verma |
Space Lower Bounds for Graph Stream Problems. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | T. V. Gopal, Junzo Watada (eds.) |
Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalpana Mahalingam, Rama Raghavan 0001, Ujjwal Kumar Mishra |
Watson-Crick Jumping Finite Automata. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Liviu P. Dinu, Bogdan Dumitru, Alexandru Popa 0001 |
Algorithms for Closest and Farthest String Problems via Rank Distance. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thieu Nguyen, Binh Minh Nguyen, Giang Nguyen 0001 |
Building Resource Auto-scaler with Functional-Link Neural Network and Adaptive Bacterial Foraging Optimization. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Akitoshi Kawamura, Florian Steinberg 0001, Holger Thies |
Second-Order Linear-Time Computability with Applications to Computable Analysis. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Peihuang Huang, Wenxing Zhu, Longkun Guo |
On the Complexity of and Algorithms for Min-Max Target Coverage On a Line Boundary. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Benkoczi, Binay Bhattacharya, Yuya Higashikawa, Tsunehiko Kameda, Naoki Katoh |
Minmax-Regret Evacuation Planning for Cycle Networks. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Bonato, Shahin Kamali |
Approximation Algorithms for Graph Burning. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinay A. Jawgal, V. N. Muralidhara, P. S. Srinivasan |
Online Travelling Salesman Problem on a Circle. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Kumar Dhar, Raghunath Reddy Madireddy, Supantha Pandit, Jagpreet Singh |
Maximum Independent and Disjoint Coverage. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoki Fukuba, Takayuki Shiina, Ken-ichi Tokoro |
Stochastic Programming for Energy Plant Operation. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ei Ando, Shoichi Tsuchiya |
The Volume of a Crosspolytope Truncated by a Halfspace. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Popa 0001, Andrei Tanasescu |
An Output-Sensitive Algorithm for the Minimization of 2-Dimensional String Covers. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shufang Zhu 0001, Geguang Pu, Moshe Y. Vardi |
First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenjiro Takazawa |
Generalizations of Weighted Matroid Congestion Games: Pure Nash Equilibrium, Sensitivity Analysis, and Discrete Convex Function. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thach V. Bui, Minoru Kuribayashi, Tetsuya Kojima, Isao Echizen |
Sublinear Decoding Schemes for Non-adaptive Group Testing with Inhibitors. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Åsa Hirvonen, Juha Kontinen, Arno Pauly |
Continuous Team Semantics. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Astrid Kiehn, Mohnish Pattathurajan |
Consistency as a Branching Time Notion. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Gavenciak, Jakub Tetek |
Compact I/O-Efficient Representation of Separable Graphs and Optimal Tree Layouts. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shantanu Das 0001, Giuseppe Antonio Di Luna, Linda Pagli, Giuseppe Prencipe |
Compacting and Grouping Mobile Agents on Dynamic Rings. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vanel A. Lazcano, Francisco Rivera |
GPU Based Horn-Schunck Method to Estimate Optical Flow and Occlusion. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Tredup, Christian Rosenke |
The Complexity of Synthesis for 43 Boolean Petri Net Types. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anisur Rahaman Molla, William K. Moses Jr. |
Dispersion of Mobile Robots: The Power of Randomness. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon Hoi, Sanjay Jain 0001, Sibylle Schwarz, Frank Stephan 0001 |
Exact Satisfiabitity with Jokers. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuji Yoshida, Satoru Kumamoto |
Dynamic Average Value-at-Risk Allocation on Worst Scenarios in Asset Management. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoyuki Yamakami |
Supportive Oracles for Parameterized Polynomial-Time Sub-Linear-Space Computations in Relation to L, NL, and P. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Read-Once Certification of Linear Infeasibility in UTVPI Constraints. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Farjudian |
Computable Analysis of Linear Rearrangement Optimization. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Szilárd Zsolt Fazekas, Kohei Maruyama, Reoto Morita, Shinnosuke Seki |
On the Power of Oritatami Cotranscriptional Folding with Unary Bead Sequence. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hora, Václav Koncický, Jakub Tetek |
Theoretical Model of Computation and Algorithms for FPGA-Based Hardware Accelerators. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Lang, Cenk Baykal, Najib Abu Samra, Tony Tannous, Dan Feldman, Daniela Rus |
Deterministic Coresets for Stochastic Matrices with Applications to Scalable Sparse PageRank. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei-Chun Lin, David Mettrick, Patrick C. K. Hung, Farkhund Iqbal |
Robot Computing for Music Visualization. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guohua Wu, Huishan Wu |
Bounded Jump and the High/Low Hierarchy. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjørn Kjos-Hanssen, Lei Liu |
The Number of Languages with Maximum State Complexity. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Manasi S. Kulkarni, Kalpana Mahalingam, Sivasankar Mohankumar |
Combinatorial Properties of Fibonacci Arrays. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001, Manat Mustafa, Mars M. Yamaleev |
Computable Isomorphisms of Distributive Lattices. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazumasa Shinagawa |
Card-Based Cryptography with Invisible Ink. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Mutzel, Lutz Oettershagen |
On the Enumeration of Bicriteria Temporal Paths. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aakash Agrawal, Krunal Shah, Amit Kumar 0001, Ranveer Chandra |
Battery Scheduling Problem. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Achilles A. Beros, Bjørn Kjos-Hanssen, Daylan Kaui Yogi |
Planar Digraphs for Automatic Complexity. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ning Ding 0001, Yanli Ren, Dawu Gu |
Learning AC0 Under k-Dependent Distributions. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mamadou Moustapha Kanté, Takeaki Uno |
Counting Minimal Dominating Sets. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tesshu Hanaka, Hans L. Bodlaender, Tom C. van der Zanden, Hirotaka Ono 0001 |
On the Maximum Weight Minimal Separator. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Bridoux, Pierre Guillon 0001, Kévin Perrot, Sylvain Sené, Guillaume Theyssier |
On the Cost of Simulating a Parallel Boolean Automata Network by a Block-Sequential One. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Kwiatkowska |
Cognitive Reasoning and Trust in Human-Robot Interactions. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh 0001 |
Sequentialization Using Timestamps. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Fertin, Julien Fradin, Géraldine Jean |
Algorithmic Aspects of the Maximum Colorful Arborescence Problem. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian-Horia Dediu, Joana M. Matos, Carlos Martín-Vide |
Natural Language Processing, Moving from Rules to Data. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Han 0002 |
The Complexity of Perfect Packings in Dense Graphs. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Skórski |
On the Complexity of Breaking Pseudoentropy. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001 |
A Note on Effective Categoricity for Linear Orderings. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheung-Hung Poon, Wei-Lin Wang |
On Complexity of Total Vertex Cover on Subcubic Graphs. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Frittaion, Silvia Steila, Keita Yokoyama |
The Strength of the SCT Criterion. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Röglin, Clemens Rösner |
The Smoothed Number of Pareto-Optimal Solutions in Non-integer Bicriteria Optimization. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mozhgan Pourmoradnasseri, Dirk Oliver Theis |
Nondeterministic Communication Complexity of Random Boolean Functions (Extended Abstract). |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Lingas |
Towards an Almost Quadratic Lower Bound on the Monotone Circuit Complexity of the Boolean Convolution. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon Kellerhals, Viatcheslav Korenwein, Philipp Zschoche, Robert Bredereck, Jiehua Chen 0001 |
On the Computational Complexity of Variants of Combinatorial Voter Control in Elections. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Finkel |
Incompleteness Theorems, Large Cardinals, and Automata over Finite Words. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sang-Ki Ko, Igor Potapov |
Vector Ambiguity and Freeness Problems in SL (2, ℤ). |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Kleine Büning, Piotr Wojciechowski 0002, K. Subramani 0001 |
On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Lingas, Mia Persson, Dzmitry Sledneu |
Bounds for Semi-disjoint Bilinear Forms in a Unit-Cost Computational Model. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Milchior |
Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Iosif Petrakis |
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Minming Li, Frances F. Yao, Hao Yuan |
An O(n2) Algorithm for Computing Optimal Continuous Voltage Schedules. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yangguang Shi, Fa Zhang 0001, Zhiyong Liu 0002 |
Hardness of Routing for Minimizing Superlinear Polynomial Cost in Directed Graphs. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Lutz, Donald M. Stull |
Bounding the Dimension of Points on a Line. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wolf 0001 |
An All-or-Nothing Flavor to the Church-Turing Hypothesis. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | T. V. Gopal, Gerhard Jäger, Silvia Steila (eds.) |
Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuehou Tan, Bo Jiang 0004 |
Efficient Algorithms for Touring a Sequence of Convex Polygons and Related Problems. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Skórski |
A Cryptographic View of Regularity Lemmas: Simpler Unified Proofs and Refined Bounds. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Emilia Maietti |
On Choice Rules in Dependent Type Theory. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Faisal N. Abu-Khzam, Shaowei Cai 0001, Judith Egan, Peter Shaw 0001, Kai Wang |
Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Photchchara Pisantechakool, Xuehou Tan |
On the Conjecture of the Smallest 3-Cop-Win Planar Graph. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Chau, Minming Li, Kai Wang 0018 |
Scheduling Fully Parallel Jobs with Integer Parallel Units. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Xue, Boting Yang |
Fast Searching on Cartesian Products of Graphs. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Glück |
Covering Polygons with Rectangles. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuguo He |
Pebble Games over Ordered Structural Abstractions. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Paolini, Margherita Zorzi |
qPCF: A Language for Quantum Circuit Computations. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xujin Chen, Xiaodong Hu 0001, Changjun Wang, Ying Zhang |
Continuous Firefighting on Infinite Square Grids. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Lakshmanan Kuppusamy |
Parikh Images of Matrix Ins-Del Systems. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Masarík, Tomás Toufar |
Parameterized Complexity of Fair Deletion Problems. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shantanu Das 0001, Giuseppe Antonio Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta |
Mediated Population Protocols: Leader Election and Applications. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guohua Wu, Huishan Wu |
Degrees of Word Problem for Algebras Without Finitely Presented Expansions. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shareef Ahmed, Md. Saidur Rahman 0001 |
Multi-interval Pairwise Compatibility Graphs - (Extended Abstract). |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Diptarka Chakraborty, Satyadev Nandakumar, Himanshu Shukla |
On Resource-Bounded Versions of the van Lambalgen Theorem. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Sanders |
From Nonstandard Analysis to Various Flavours of Computability Theory. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan Braquelaire, Marie Gasparoux, Mathieu Raffinot, Raluca Uricaru |
On the Shortest Common Superstring of NGS Reads. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniël Paulusma, Christophe Picouleau, Bernard Ries |
Blocking Independent Sets for H-Free Graphs via Edge Contractions and Vertex Deletions. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingyu Xiao 0001, Shaowei Kou |
Kernelization and Parameterized Algorithms for 3-Path Vertex Cover. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken C. K. Fong, Minming Li, Yungao Li, Sheung-Hung Poon, Weiwei Wu 0001, Yingchao Zhao 0001 |
Scheduling Tasks to Minimize Active Time on a Processor with Unlimited Capacity. |
TAMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dayu He, Xin He |
A Linear Time Algorithm for Determining Almost Bipartite Graphs. |
TAMC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Bulteau, Vincent Froese, Nimrod Talmon |
Multi-player Diffusion Games on Graph Classes. |
TAMC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nans Lefebvre |
The First-Order Contiguity of Sparse Random Graphs with Prescribed Degrees. |
TAMC |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license