Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Katsuhisa Yamanaka, Shin-Ichi Nakano |
Floorplans with Walls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings., pp. 50-59, 2020, Springer, 978-3-030-59266-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Toshihiro Fujito, Tomoya Nakamura |
Eternal Connected Vertex Cover Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings., pp. 181-192, 2020, Springer, 978-3-030-59266-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ronny Tredup, Evgeny Erofeev |
On the Parameterized Complexity of d-Restricted Boolean Net Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings., pp. 226-238, 2020, Springer, 978-3-030-59266-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Takayuki Kihara, Arno Pauly |
Finite Choice, Convex Choice and Sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 378-393, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sho Shimamura, Kouichi Hirata |
Introducing Fluctuation into Increasing Order of Symmetric Uncertainty for Consistency-Based Feature Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 550-565, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Fertin, Samuele Giraudo, Sylvie Hamel, Stéphane Vialette |
Unshuffling Permutations: Trivial Bijections and Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 242-261, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paritosh Verma |
Space Lower Bounds for Graph Stream Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 635-646, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![Springer, 978-3-030-14811-9 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kalpana Mahalingam, Rama Raghavan 0001, Ujjwal Kumar Mishra |
Watson-Crick Jumping Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 467-480, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Liviu P. Dinu, Bogdan Dumitru, Alexandru Popa 0001 |
Algorithms for Closest and Farthest String Problems via Rank Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 154-171, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 501-517, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Akitoshi Kawamura, Florian Steinberg 0001, Holger Thies |
Second-Order Linear-Time Computability with Applications to Computable Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 337-358, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 313-324, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Benkoczi, Binay Bhattacharya, Yuya Higashikawa, Tsunehiko Kameda, Naoki Katoh |
Minmax-Regret Evacuation Planning for Cycle Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 42-58, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Bonato, Shahin Kamali |
Approximation Algorithms for Graph Burning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 74-92, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vinay A. Jawgal, V. N. Muralidhara, P. S. Srinivasan |
Online Travelling Salesman Problem on a Circle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 325-336, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amit Kumar Dhar, Raghunath Reddy Madireddy, Supantha Pandit, Jagpreet Singh |
Maximum Independent and Disjoint Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 134-153, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tomoki Fukuba, Takayuki Shiina, Ken-ichi Tokoro |
Stochastic Programming for Energy Plant Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 208-221, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ei Ando, Shoichi Tsuchiya |
The Volume of a Crosspolytope Truncated by a Halfspace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 13-27, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Popa 0001, Andrei Tanasescu |
An Output-Sensitive Algorithm for the Minimization of 2-Dimensional String Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 536-549, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 684-705, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kenjiro Takazawa |
Generalizations of Weighted Matroid Congestion Games: Pure Nash Equilibrium, Sensitivity Analysis, and Discrete Convex Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 594-614, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 93-113, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Åsa Hirvonen, Juha Kontinen, Arno Pauly |
Continuous Team Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 262-278, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Astrid Kiehn, Mohnish Pattathurajan |
Consistency as a Branching Time Notion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 359-377, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Gavenciak, Jakub Tetek |
Compact I/O-Efficient Representation of Separable Graphs and Optimal Tree Layouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 222-241, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 114-133, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vanel A. Lazcano, Francisco Rivera |
GPU Based Horn-Schunck Method to Estimate Optical Flow and Occlusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 424-437, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ronny Tredup, Christian Rosenke |
The Complexity of Synthesis for 43 Boolean Petri Net Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 615-634, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anisur Rahaman Molla, William K. Moses Jr. |
Dispersion of Mobile Robots: The Power of Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 481-500, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Hoi, Sanjay Jain 0001, Sibylle Schwarz, Frank Stephan 0001 |
Exact Satisfiabitity with Jokers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 279-294, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuji Yoshida, Satoru Kumamoto |
Dynamic Average Value-at-Risk Allocation on Worst Scenarios in Asset Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 674-683, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 659-673, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Read-Once Certification of Linear Infeasibility in UTVPI Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 578-593, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amin Farjudian |
Computable Analysis of Linear Rearrangement Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 172-187, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 188-207, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hora, Václav Koncický, Jakub Tetek |
Theoretical Model of Computation and Algorithms for FPGA-Based Hardware Accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 295-312, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 410-423, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pei-Chun Lin, David Mettrick, Patrick C. K. Hung, Farkhund Iqbal |
Robot Computing for Music Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 438-447, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Guohua Wu, Huishan Wu |
Bounded Jump and the High/Low Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 647-658, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Kjos-Hanssen, Lei Liu |
The Number of Languages with Maximum State Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 394-409, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manasi S. Kulkarni, Kalpana Mahalingam, Sivasankar Mohankumar |
Combinatorial Properties of Fibonacci Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 448-466, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Bazhenov 0001, Manat Mustafa, Mars M. Yamaleev |
Computable Isomorphisms of Distributive Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 28-41, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kazumasa Shinagawa |
Card-Based Cryptography with Invisible Ink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 566-577, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Petra Mutzel, Lutz Oettershagen |
On the Enumeration of Bicriteria Temporal Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 518-535, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aakash Agrawal, Krunal Shah, Amit Kumar 0001, Ranveer Chandra |
Battery Scheduling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 1-12, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Achilles A. Beros, Bjørn Kjos-Hanssen, Daylan Kaui Yogi |
Planar Digraphs for Automatic Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings, pp. 59-73, 2019, Springer, 978-3-030-14811-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ning Ding 0001, Yanli Ren, Dawu Gu |
Learning AC0 Under k-Dependent Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 187-200, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mamadou Moustapha Kanté, Takeaki Uno |
Counting Minimal Dominating Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 333-347, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 304-318, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 112-128, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marta Kwiatkowska |
Cognitive Reasoning and Trust in Human-Robot Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 3-11, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh 0001 |
Sequentialization Using Timestamps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 684-696, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Fertin, Julien Fradin, Géraldine Jean |
Algorithmic Aspects of the Maximum Colorful Arborescence Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 216-230, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrian-Horia Dediu, Joana M. Matos, Carlos Martín-Vide |
Natural Language Processing, Moving from Rules to Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 24-38, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jie Han 0002 |
The Complexity of Perfect Packings in Dense Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 289-303, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Skórski |
On the Complexity of Breaking Pseudoentropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 600-613, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Bazhenov 0001 |
A Note on Effective Categoricity for Linear Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 85-96, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sheung-Hung Poon, Wei-Lin Wang |
On Complexity of Total Vertex Cover on Subcubic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 515-528, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele Frittaion, Silvia Steila, Keita Yokoyama |
The Strength of the SCT Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 260-273, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Röglin, Clemens Rösner |
The Smoothed Number of Pareto-Optimal Solutions in Non-integer Bicriteria Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 543-555, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mozhgan Pourmoradnasseri, Dirk Oliver Theis |
Nondeterministic Communication Complexity of Random Boolean Functions (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 529-542, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Lingas |
Towards an Almost Quadratic Lower Bound on the Monotone Circuit Complexity of the Boolean Convolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 401-411, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 348-361, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Finkel |
Incompleteness Theorems, Large Cardinals, and Automata over Finite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 231-246, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sang-Ki Ko, Igor Potapov |
Vector Ambiguity and Freeness Problems in SL (2, ℤ). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 373-388, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 362-372, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Lingas, Mia Persson, Dzmitry Sledneu |
Bounds for Semi-disjoint Bilinear Forms in a Unit-Cost Computational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 412-424, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Milchior |
Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 440-454, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Iosif Petrakis |
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 484-498, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Minming Li, Frances F. Yao, Hao Yuan |
An O(n2) Algorithm for Computing Optimal Continuous Voltage Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 389-400, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 571-585, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Neil Lutz, Donald M. Stull |
Bounding the Dimension of Points on a Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 425-439, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Wolf 0001 |
An All-or-Nothing Flavor to the Church-Turing Hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 39-56, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![, 978-3-319-55910-0 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Xuehou Tan, Bo Jiang 0004 |
Efficient Algorithms for Touring a Sequence of Convex Polygons and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 614-627, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Skórski |
A Cryptographic View of Regularity Lemmas: Simpler Unified Proofs and Refined Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 586-599, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maria Emilia Maietti |
On Choice Rules in Dependent Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 12-23, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 59-70, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Photchchara Pisantechakool, Xuehou Tan |
On the Conjecture of the Smallest 3-Cop-Win Planar Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 499-514, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Chau, Minming Li, Kai Wang 0018 |
Scheduling Fully Parallel Jobs with Integer Parallel Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 144-157, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Xue, Boting Yang |
Fast Searching on Cartesian Products of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 669-683, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück |
Covering Polygons with Rectangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 274-288, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yuguo He |
Pebble Games over Ordered Structural Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 319-332, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luca Paolini, Margherita Zorzi |
qPCF: A Language for Quantum Circuit Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 455-469, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Xujin Chen, Xiaodong Hu 0001, Changjun Wang, Ying Zhang |
Continuous Firefighting on Infinite Square Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 158-171, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Lakshmanan Kuppusamy |
Parikh Images of Matrix Ins-Del Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 201-215, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Masarík, Tomás Toufar |
Parameterized Complexity of Fair Deletion Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 628-642, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 172-186, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guohua Wu, Huishan Wu |
Degrees of Word Problem for Algebras Without Finitely Presented Expansions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 643-653, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shareef Ahmed, Md. Saidur Rahman 0001 |
Multi-interval Pairwise Compatibility Graphs - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 71-84, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Diptarka Chakraborty, Satyadev Nandakumar, Himanshu Shukla |
On Resource-Bounded Versions of the van Lambalgen Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 129-143, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sam Sanders |
From Nonstandard Analysis to Various Flavours of Computability Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 556-570, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tristan Braquelaire, Marie Gasparoux, Mathieu Raffinot, Raluca Uricaru |
On the Shortest Common Superstring of NGS Reads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 97-111, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 470-483, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mingyu Xiao 0001, Shaowei Kou |
Kernelization and Parameterized Algorithms for 3-Path Vertex Cover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 654-668, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 247-259, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dayu He, Xin He |
A Linear Time Algorithm for Determining Almost Bipartite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings, pp. 164-176, 2015, Springer, 978-3-319-17141-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Bulteau, Vincent Froese, Nimrod Talmon |
Multi-player Diffusion Games on Graph Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings, pp. 200-211, 2015, Springer, 978-3-319-17141-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nans Lefebvre |
The First-Order Contiguity of Sparse Random Graphs with Prescribed Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings, pp. 177-188, 2015, Springer, 978-3-319-17141-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|