Frances A. Rosamond
Orcid: 0000-0002-5097-9929Affiliations:
- Charles Darwin University, Darwin, Australia
- University of Bergen, Norway
- University of Newcastle, Australia (former)
According to our database1,
Frances A. Rosamond
authored at least 92 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on uib.no
-
on orcid.org
-
on id.loc.gov
-
on isni.org
On csauthors.net:
Bibliography
2024
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024
Games That Cannot Go on Forever! Active Participation in Research Is the Main Issue for Kids.
Proceedings of the Creative Mathematical Sciences Communication: 7th International Conference, 2024
2023
Dagstuhl Reports, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
On the Parameterized Complexity of the Structure of Lineal Topologies (Depth-First Spanning Trees) of Finite Graphs: The Number of Leaves.
Proceedings of the Algorithms and Complexity - 13th International Conference, 2023
2022
Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory.
Artif. Intell., 2022
2021
2020
Special Issue "New Frontiers in Parameterized Complexity and Algorithms": Foreward by the Guest Editors.
Algorithms, 2020
Proceedings of the Treewidth, Kernels, and Algorithms, 2020
2019
2018
J. Comput. Syst. Sci., 2018
J. Comput. Syst. Sci., 2018
Algorithms, kernels and lower bounds for the Flood-It game parameterized by the vertex cover number.
Discret. Appl. Math., 2018
Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018
Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018
2016
ACM Trans. Comput. Theory, 2016
Proceedings of the 11th International Symposium on Parameterized and Exact Computation, 2016
2015
Electron. Notes Discret. Math., 2015
2014
Satisfying more than half of a system of linear equations over GF(2): A multivariate approach.
J. Comput. Syst. Sci., 2014
Proceedings of the Combinatorial Optimization and Applications, 2014
2013
Constraint satisfaction problems: Convexity makes AllDifferent constraints tractable.
Theor. Comput. Sci., 2013
Towards fully multivariate algorithmics: Parameter ecology and the deconstruction of computational complexity.
Eur. J. Comb., 2013
Proceedings of the Algorithms and Computation - 24th International Symposium, 2013
2012
How applying Myhill-Nerode methods to hypergraphs helps mastering the Art of Trellis Decoding
CoRR, 2012
Well Quasi Orders in Subclasses of Bounded Treewidth Graphs and Their Algorithmic Applications.
Algorithmica, 2012
Proceedings of the Fun with Algorithms - 6th International Conference, 2012
Proceedings of the Multivariate Algorithmic Revolution and Beyond, 2012
Computer Science Unplugged and Related Projects in Math and Computer Science Popularization.
Proceedings of the Multivariate Algorithmic Revolution and Beyond, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
IEEE ACM Trans. Comput. Biol. Bioinform., 2011
Inf. Comput., 2011
Simultaneously Satisfying Linear Equations Over F_2: MaxLin2 and Max-r-Lin2 Parameterized Above Average.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011
Proceedings of the Computer Science, The Hardware, Software and Heart of It, 2011
Proceedings of the Computer Science, The Hardware, Software and Heart of It, 2011
2010
Proceedings of the Graph Theoretic Concepts in Computer Science, 2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
2009
Theor. Comput. Sci., 2009
Theory Comput. Syst., 2009
Proceedings of the WALCOM: Algorithms and Computation, Third International Workshop, 2009
Proceedings of the Parameterized and Exact Computation, 4th International Workshop, 2009
Proceedings of the Parameterized and Exact Computation, 4th International Workshop, 2009
Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009
2008
Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008
CoRR, 2008
Algorithmica, 2008
Proceedings of the Parameterized and Exact Computation, Third International Workshop, 2008
Proceedings of the Algorithms and Computation, 19th International Symposium, 2008
Proceedings of the Algorithms and Computation, 19th International Symposium, 2008
Proceedings of the Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), 2008
Proceedings of the Algorithmic Aspects in Information and Management, 2008
2007
An O(2<sup>O(k)</sup>n<sup>3</sup>) FPT Algorithm for the Undirected Feedback Vertex Set Problem.
Theory Comput. Syst., 2007
Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007
Proceedings of the Computing and Combinatorics, 13th Annual International Conference, 2007
Proceedings of the Computation and Logic in the Real World, 2007
2006
Proceedings of the 38th Annual ACM Symposium on Theory of Computing, 2006
Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006
Proceedings of the Parameterized and Exact Computation, Second International Workshop, 2006
Kernelization for Convex Recoloring.
Proceedings of the Algorithms and Complexity in Durham 2006, 2006
2005
J. Comput. Syst. Sci., 2005
Electron. Colloquium Comput. Complex., 2005
Proving NP-hardness for clique-width I: non-approximability of sequential clique-width
Electron. Colloquium Comput. Complex., 2005
FPT is P-Time Extremal Structure I.
Proceedings of the Algorithms and Complexity in Durham 2005, 2005
2004
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2004
Greedy Localization, Iterative Compression, Modeled Crown Reductions: New FPT Techniques, an Improved Algorithm for Set Splitting, and a Novel 2k Kernelization for Vertex Cover.
Proceedings of the Parameterized and Exact Computation, First International Workshop, 2004
2003
Cutting Up is Hard to Do: the Parameterized Complexity of k-Cut and Related Problems.
Proceedings of the Computing: the Australasian Theory Symposiumm, 2003
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2003
2001
Proceedings of the Graph Drawing, 9th International Symposium, 2001
Proceedings of the Algorithms, 2001
2000
Coordinatized Kernels and Catalytic Reductions: An Improved FPT Algorithm for Max Leaf Spanning Tree and Other Problems.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000