Research Output per year

## Research Output

## A space-efficient parameterized algorithm for the hamiltonian cycle problem by dynamic algebraization

Belbasi, M. & Fürer, M., Jan 1 2019,*Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings.*van Bevern, R. & Kucherov, G. (eds.). Springer Verlag, p. 38-49 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11532 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Eigenvalue location in graphs of small clique-width

Fürer, M., Hoppen, C., Jacobs, D. P. & Trevisan, V., Jan 1 2019, In : Linear Algebra and Its Applications. 560, p. 56-85 30 p.Research output: Contribution to journal › Article

## Locating the eigenvalues for graphs of small clique-width

Fürer, M., Hoppen, C., Jacobs, D. P. & Trevisan, V., Jan 1 2018,*LATIN 2018: Theoretical Informatics - 13th Latin American Symposium, Proceedings.*Mosteiro, M. A., Bender, M. A. & Farach-Colton, M. (eds.). Springer Verlag, p. 475-489 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10807 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Efficient computation of the characteristic polynomial of a threshold graph

Fürer, M., Jan 2 2017, In : Theoretical Computer Science. 657, p. 3-10 8 p.Research output: Contribution to journal › Article

## Space Saving by Dynamic Algebraization Based on Tree-Depth

Fürer, M. & Yu, H., Aug 1 2017, In : Theory of Computing Systems. 61, 2, p. 283-304 22 p.Research output: Contribution to journal › Article

## Stathis zachos at 70!

Bakali, E., Cheilaris, P., Fotakis, D., Fürer, M., Koutras, C. D., Markou, E., Nomikos, C., Pagourtzis, A., Papadimitriou, C. H., Papaspyrou, N. S. & Potika, K., Jan 1 2017,*Algorithms and Complexity - 10th International Conference, CIAC 2017, Proceedings.*Fotakis, D., Pagourtzis, A. & Paschos, V. T. (eds.). Springer Verlag, p. 469-484 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10236 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Faster computation of path-width

Fürer, M., Jan 1 2016,*Combinatorial Algorithms - 27th International Workshop, IWOCA 2016, Proceedings.*Mäkinen, V., Puglisi, S. J. & Salmela, L. (eds.). Springer Verlag, p. 385-396 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9843 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Efficient computation of the characteristic polynomial of a threshold graph

Fürer, M., Jan 1 2015,*Frontiers in Algorithmics - 9th International Workshop, FAW 2015, Proceedings.*Yap, C. & Wang, J. (eds.). Springer Verlag, p. 45-51 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9130).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## A natural generalization of bounded tree-width and bounded clique-width

Fürer, M., Jan 1 2014,*LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Proceedings.*Springer Verlag, p. 72-83 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8392 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Approximately counting embeddings into random graphs

Fürer, M. & Kasiviswanathan, S. P., Nov 2 2014, In : Combinatorics Probability and Computing. 23, 6, p. 1028-1056 29 p.Research output: Contribution to journal › Article

## Approximating the k-Set Packing problem by local improvements

Fürer, M. & Yu, H., Jan 1 2014,*Combinatorial Optimization - Third International Symposium, ISCO 2014, Revised Selected Papers.*Springer Verlag, p. 408-420 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8596 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Efficient computation of the characteristic polynomial of a tree and related tasks

Furer, M., Jan 1 2014, In : Algorithmica. 68, 3, p. 626-642 17 p.Research output: Contribution to journal › Article

## How fast can we multiply large integers on an actual computer?

Fürer, M., Jan 1 2014,*LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Proceedings.*Springer Verlag, p. 660-670 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8392 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Space saving by dynamic algebraization

Fürer, M. & Yu, H., Jan 1 2014,*Computer Science Theory and Applications - 9th International Computer Science Symposium in Russia, CSR 2014, Proceedings.*Springer Verlag, p. 375-388 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8476 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## An exponential time 2-approximation algorithm for bandwidth

Fürer, M., Gaspers, S. & Kasiviswanathan, S. P., Nov 4 2013, In : Theoretical Computer Science. 511, p. 23-31 9 p.Research output: Contribution to journal › Article

## Counting perfect matchings in graphs of degree 3

Furer, M., Jun 13 2012,*Fun with Algorithms - 6th International Conference, FUN 2012, Proceedings.*p. 189-197 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7288 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Efficient arbitrary and resolution proofs of unsatisfiability for restricted tree-width

Furer, M., May 15 2012,*LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Proceedings.*p. 387-398 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7256 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Packing-based approximation algorithm for the k-set cover problem

Fürer, M. & Yu, H., Dec 26 2011,*Algorithms and Computation - 22nd International Symposium, ISAAC 2011, Proceedings.*p. 484-493 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7074 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Almost linear time computation of the chromatic polynomial of a graph of bounded tree-width

Furer, M., Jun 18 2010,*LATIN 2010: Theoretical Informatics - 9th Latin American Symposium, Proceedings.*p. 49-59 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6034 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## On the power of combinatorial and spectral invariants

Fürer, M., Apr 15 2010, In : Linear Algebra and Its Applications. 432, 9, p. 2373-2380 8 p.Research output: Contribution to journal › Article

## An exponential time 2-approximation algorithm for bandwidth

Fürer, M., Gaspers, S. & Kasiviswanathan, S. P., Dec 24 2009,*Parameterized and Exact Computation - 4th International Workshop, IWPEC 2009, Revised Selected Papers.*p. 173-184 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5917 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Deterministic autopoietic automata

Fürer, M., Nov 15 2009, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 9, p. 49-53 5 p.Research output: Contribution to journal › Conference article

## Efficient computation of the characteristic polynomial of a tree and related tasks

Fürer, M., Nov 2 2009,*Algorithms - ESA 2009 - 17th Annual European Symposium, Proceedings.*p. 11-22 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5757 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Approximately counting embeddings into random graphs

Fürer, M. & Kasiviswanathan, S. P., Sep 22 2008,*Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques - 11th International Workshop, APPROX 2008 and 12th International Workshop, RANDOM 2008, Proceedings.*p. 416-429 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5171 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Solving NP-complete problems with quantum search

Fürer, M., May 12 2008,*LATIN 2008: Theoretical Informatics - 8th Latin American Symposium, Proceedings.*p. 784-792 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4957 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Algorithms for counting 2-SAT solutions and colorings with applications

Furer, M. & Kasiviswanathan, S. P., Dec 1 2007,*Algorithmic Aspects in Information and Management - Third International Conference, AAIM 2007, Proceedings.*p. 47-57 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4508 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Approximate distance queries in disk graphs

Furer, M. & Kasiviswanathan, S. P., Dec 1 2007,*Approximation and Online Algorithms - 4th International Workshop, WAOA 2006, Revised Papers.*p. 174-187 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4368 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Exact MAX 2-SAT: Easier and faster

Fürer, M. & Kasiviswanathan, S. P., Dec 1 2007,*SOFSEM 2007: Theory and Practice of Computer Science - 33rd Conference on Current Trends in Theory and Practice of Computer Science, Proceedings.*p. 272-283 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4362 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Faster integer multiplication

Furer, M., Oct 30 2007,*STOC'07: Proceedings of the 39th Annual ACM Symposium on Theory of Computing.*p. 57-66 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Spanners for geometric intersection graphs

Furer, M. & Kasiviswanathan, S. P., Dec 1 2007,*Algorithms and Data Structures - 10th International Workshop, WADS 2007, Proceedings.*p. 312-324 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4619 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## A faster algorithm for finding maximum independent sets in sparse graphs

Furer, M., 2006,*LATIN 2006: Theoretical Informatics - 7th Latin American Symposium, Proceedings.*Vol. 3887 LNCS. p. 491-501 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3887 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Applications of the linear matroid parity algorithm to approximating Steiner trees

Berman, P., Fürer, M. & Zelikovsky, A., Jan 1 2006, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3967 LNCS, p. 70-79 10 p.Research output: Contribution to journal › Conference article

## Approximately counting perfect matchings in general graphs

Fürer, M. & Kasiviswanathan, S. P., Dec 1 2005,*Proceedings of the Seventh Workshop on Algorithm Engineering and Experiments and the Second Workshop on Analytic Algorithms and Combinatorics.*Demetrescu, C., Sedgewick, R. & Tamassia, R. (eds.). p. 263-272 10 p. (Proceedings of the Seventh Workshop on Algorithm Engineering and Experiments and the Second Workshop on Analytic Algorithms and Combinatorics).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## An almost linear time approximation algorithm for the permanent of a random (0-1) matrix

Fürer, M. & Kasiviswanathan, S. P., Dec 1 2004, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3328, p. 263-274 12 p.Research output: Contribution to journal › Article

## An improved communication-randomness tradeoff

Furer, M., Dec 1 2004, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2976, p. 444-454 11 p.Research output: Contribution to journal › Article

## Quadratic convergence for scaling of matrices

Furer, M., 2004,*Proceedings of the Sixth Workshop on Algorithm Engineering and Experiments and the First Workshop on Analytic Algoritms and Combinatorics.*Arge, L., Italiano, G. F. & Sedgewick, R. (eds.). p. 216-223 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Weisfeiler-lehman refinement requires at least a linear number of iterations

Furer, M., Dec 1 2001,*Automata, Languages and Programming - 28th International Colloquium, ICALP 2001, Proceedings.*p. 322-333 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2076 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Approximating permanents of complex matrices

Furer, M., Dec 1 2000,*Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, STOC 2000.*p. 667-669 3 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Characterizations of bipartite Steinhaus graphs

Chang, G. J., DasGupta, B., Dymàček, W. M., Fürer, M., Koerlin, M., Lee, Y. S. & Whaley, T., Mar 28 1999, In : Discrete Mathematics. 199, 1-3, p. 11-25 15 p.Research output: Contribution to journal › Article

## Algorithms for coloring semi-random graphs

Subramanian, C. R., Furer, M. & Veni Madhavan, C. E., Jan 1 1998, In : Random Structures and Algorithms. 13, 2, p. 125-158 34 p.Research output: Contribution to journal › Article

## Approximation of k-Set Cover by semi-local optimization

Duh, R. C. & Furer, M., Jan 1 1997, In : Conference Proceedings of the Annual ACM Symposium on Theory of Computing. p. 256-264 9 p.Research output: Contribution to journal › Conference article

## Parallel edge coloring approximation

Fürer, M., Jan 1 1996, In : Parallel Processing Letters. 6, 3, p. 321-329 9 p.Research output: Contribution to journal › Article

## An efficient parallel algorithm for finding hamiltonian cycles in dense directed graphs

Furer, M. & Raghavachari, B., Jan 1 1995, In : Journal of Algorithms. 18, 2, p. 203-220 18 p.Research output: Contribution to journal › Article

## Graph isomorphism testing without numerics for graphs of bounded eigenvalue multiplicity

Fürer, M., Jan 22 1995,*Proceedings of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1995.*Association for Computing Machinery, p. 624-631 8 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Improved hardness results for approximating the chromatic number

Furer, M., Dec 1 1995, In : Annual Symposium on Foundations of Computer Science - Proceedings. p. 414-421 8 p.Research output: Contribution to journal › Conference article

## Approximating maximum independent set in bounded degree graphs

Berman, P. & Furer, M., 1994,*Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms.*Publ by ACM, p. 365-371 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Approximating the minimum-degree steiner tree to within one of optimal

Furer, M. & Raghavachari, B., Jan 1 1994, In : Journal of Algorithms. 17, 3, p. 409-423 15 p.Research output: Contribution to journal › Article

## Coloring random graphs in polynomial expected time

Furer, M., Subramanian, C. R. & Madhavan, C. E. V., Jan 1 1993,*Algorithms and Computation - 4th International Symposium, ISAAC 1993, Proceedings.*Chin, F. Y. L., Raghavan, P., Balasubramanian, N. V. & Ng, K. W. (eds.). Springer Verlag, p. 31-37 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 762 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## An optimal lower bound on the number of variables for graph identification

Cai, J. Y., Fürer, M. & Immerman, N., Dec 1 1992, In : Combinatorica. 12, 4, p. 389-410 22 p.Research output: Contribution to journal › Article