Pascal Schweitzer

126 papers A* 18A 14B 11Misc 1Journal 77Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Exploration of graphs with excluded minors. J. Comput. Syst. Sci. Júlia Baligács, Yann Disser, Irene Heinrich, Pascal Schweitzer
2025	A*	`conf`	An Upper Bound on the Weisfeiler-Leman Dimension. ICALP Thomas Schneider, Pascal Schweitzer
2025	J	`jnl`	Classification of Finite Highly Regular Vertex-Colored Graphs. SIAM J. Discret. Math. Irene Heinrich, Thomas Schneider, Pascal Schweitzer
2025	J	`jnl`	Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements. J. ACM Martin Grohe, Moritz Lichter, Daniel Neuen, Pascal Schweitzer
2025	B	`conf`	Computational Complexity of the Weisfeiler-Leman Dimension. CSL Moritz Lichter, Simon Raßmann, Pascal Schweitzer
2025	B	`conf`	Finite Variable Counting Logics with Restricted Requantification. CSL Simon Raßmann, Georg Schindling, Pascal Schweitzer
2025	J	`jnl`	Interval Graphs are Reconstructible. CoRR Irene Heinrich, Masashi Kiyomi, Yota Otachi, Pascal Schweitzer
2024	J	`jnl`	An Upper Bound on the Weisfeiler-Leman Dimension. CoRR Thomas Schneider, Pascal Schweitzer
2024	J	`jnl`	Choiceless Polynomial Time with Witnessed Symmetric Choice. J. ACM Moritz Lichter, Pascal Schweitzer
2024	J	`jnl`	Computational complexity of the Weisfeiler-Leman dimension. CoRR Moritz Lichter, Simon Raßmann, Pascal Schweitzer
2024	J	`jnl`	Finite Variable Counting Logics with Restricted Requantification. CoRR Simon Raßmann, Georg Schindling, Pascal Schweitzer
2024	B	`conf`	Finite Vertex-Colored Ultrahomogeneous Oriented Graphs. WG Irene Heinrich, Eda Kaja, Pascal Schweitzer
2024	J	`jnl`	Finite Vertex-colored Ultrahomogeneous Oriented Graphs. CoRR Irene Heinrich, Eda Kaja, Pascal Schweitzer
2023	J	`jnl`	A Faster Isomorphism Test for Graphs of Small Degree. SIAM J. Comput. Martin Grohe, Daniel Neuen, Pascal Schweitzer
2023	J	`jnl`	A Systematic Approach to Universal Random Features in Graph Neural Networks. Trans. Mach. Learn. Res. Billy Joe Franks, Markus Anders, Marius Kloft, Pascal Schweitzer
2023	A	`conf`	Algorithms Transcending the SAT-Symmetry Interface. SAT Markus Anders, Pascal Schweitzer, Mate Soos
2023	J	`jnl`	Algorithms Transcending the SAT-Symmetry Interface. CoRR Markus Anders, Pascal Schweitzer, Mate Soos
2023	A*	`conf`	Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements. FOCS Martin Grohe, Moritz Lichter, Daniel Neuen, Pascal Schweitzer
2023	J	`jnl`	Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements. CoRR Martin Grohe, Moritz Lichter, Daniel Neuen, Pascal Schweitzer
2023	B	`conf`	Engineering a Preprocessor for Symmetry Detection. SEA Markus Anders, Pascal Schweitzer, Julian Stieß
2023	J	`jnl`	Engineering a Preprocessor for Symmetry Detection. CoRR Markus Anders, Pascal Schweitzer, Julian Stieß
2023	A	`conf`	Exploration of Graphs with Excluded Minors. ESA Júlia Baligács, Yann Disser, Irene Heinrich, Pascal Schweitzer
2023	J	`jnl`	Exploration of graphs with excluded minors. CoRR Júlia Baligács, Yann Disser, Irene Heinrich, Pascal Schweitzer
2022	A	`conf`	A Systematic Study of Isomorphism Invariants of Finite Groups via the Weisfeiler-Leman Dimension. ESA Jendrik Brachter, Pascal Schweitzer
2022	A*	`conf`	Choiceless Polynomial Time with Witnessed Symmetric Choice. LICS Moritz Lichter, Pascal Schweitzer
2022	J	`jnl`	Choiceless Polynomial Time with Witnessed Symmetric Choice. CoRR Moritz Lichter, Pascal Schweitzer
2022	J	`jnl`	Graphs Identified by Logics with Counting. ACM Trans. Comput. Log. Sandra Kiefer, Pascal Schweitzer, Erkal Selman
2021	B	`conf`	A Characterization of Individualization-Refinement Trees. ISAAC Markus Anders, Jendrik Brachter, Pascal Schweitzer
2021	J	`jnl`	A Characterization of Individualization-Refinement Trees. CoRR Markus Anders, Jendrik Brachter, Pascal Schweitzer
2021	B	`conf`	Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time. CSL Moritz Lichter, Pascal Schweitzer
2021	A*	`conf`	Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case. ICALP Markus Anders, Pascal Schweitzer, Florian Wetzels
2021	J	`jnl`	Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case. CoRR Markus Anders, Pascal Schweitzer, Florian Wetzels
2021	A*	`conf`	Deep Weisfeiler Leman. SODA Martin Grohe, Pascal Schweitzer, Daniel Wiebking
2021	A	`conf`	Engineering a Fast Probabilistic Isomorphism Test. ALENEX Markus Anders, Pascal Schweitzer
2021	A	`conf`	Parallel Computation of Combinatorial Symmetries. ESA Markus Anders, Pascal Schweitzer
2021	J	`jnl`	Parallel Computation of Combinatorial Symmetries. CoRR Markus Anders, Pascal Schweitzer
2021	A	`conf`	Resolution with Symmetry Rule Applied to Linear Equations. STACS Pascal Schweitzer, Constantin Seebach
2021	J	`jnl`	Resolution with Symmetry Rule applied to Linear Equations. CoRR Pascal Schweitzer, Constantin Seebach
2021	A*	`conf`	Search Problems in Trees with Symmetries: Near Optimal Traversal Strategies for Individualization-Refinement Algorithms. ICALP Markus Anders, Pascal Schweitzer
2021	J	`jnl`	Technical perspective: A logical step toward the graph isomorphism problem. Commun. ACM Pascal Schweitzer
2021	J	`jnl`	Trainability for Universal GNNs Through Surgical Randomness. CoRR Billy Joe Franks, Markus Anders, Marius Kloft, Pascal Schweitzer
2020	J	`jnl`	An Improved Isomorphism Test for Bounded-tree-width Graphs. ACM Trans. Algorithms Martin Grohe, Daniel Neuen, Pascal Schweitzer, Daniel Wiebking
2020	J	`jnl`	Automorphism groups of graphs of bounded Hadwiger number. CoRR Martin Grohe, Pascal Schweitzer, Daniel Wiebking
2020	J	`jnl`	Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time. CoRR Moritz Lichter, Pascal Schweitzer
2020	J	`jnl`	Deep Weisfeiler Leman. CoRR Martin Grohe, Pascal Schweitzer, Daniel Wiebking
2020	J	`jnl`	Engineering a Fast Probabilistic Isomorphism Test. CoRR Markus Anders, Pascal Schweitzer
2020	A*	`conf`	On the Weisfeiler-Leman Dimension of Finite Groups. LICS Jendrik Brachter, Pascal Schweitzer
2020	J	`jnl`	On the Weisfeiler-Leman Dimension of Finite Groups. CoRR Jendrik Brachter, Pascal Schweitzer
2020	J	`jnl`	Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms. CoRR Markus Anders, Pascal Schweitzer
2020	J	`jnl`	Space-Efficient Algorithms for Longest Increasing Subsequence. Theory Comput. Syst. Masashi Kiyomi, Hirotaka Ono, Yota Otachi, Pascal Schweitzer, Jun Tarui
2020	J	`jnl`	Stochastic Dominance and the Bijective Ratio of Online Algorithms. Algorithmica Spyros Angelopoulos, Marc P. Renault, Pascal Schweitzer
2020	J	`jnl`	The graph isomorphism problem. Commun. ACM Martin Grohe, Pascal Schweitzer
2019	A*	`conf`	A unifying method for the design of algorithms canonizing combinatorial objects. STOC Pascal Schweitzer, Daniel Wiebking
2019	J	`jnl`	The Weisfeiler-Leman Dimension of Planar Graphs Is at Most 3. J. ACM Sandra Kiefer, Ilia Ponomarenko, Pascal Schweitzer
2019	J	`jnl`	Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic. Log. Methods Comput. Sci. Sandra Kiefer, Pascal Schweitzer
2019	A*	`conf`	Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm. LICS Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer
2019	J	`jnl`	Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm. CoRR Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer
2018	A*	`conf`	A Faster Isomorphism Test for Graphs of Small Degree. FOCS Martin Grohe, Daniel Neuen, Pascal Schweitzer
2018	J	`jnl`	A unifying method for the design of algorithms canonizing combinatorial objects. CoRR Pascal Schweitzer, Daniel Wiebking
2018	A*	`conf`	An Improved Isomorphism Test for Bounded-Tree-Width Graphs. ICALP Martin Grohe, Daniel Neuen, Pascal Schweitzer, Daniel Wiebking
2018	A*	`conf`	An exponential lower bound for individualization-refinement algorithms for graph isomorphism. STOC Daniel Neuen, Pascal Schweitzer
2018	J	`jnl`	An improved isomorphism test for bounded-tree-width graphs. CoRR Martin Grohe, Daniel Neuen, Pascal Schweitzer, Daniel Wiebking
2018	J	`jnl`	Induced Minor Free Graphs: Isomorphism and Clique-Width. Algorithmica Rémy Belmonte, Yota Otachi, Pascal Schweitzer
2018	A	`conf`	Space-Efficient Algorithms for Longest Increasing Subsequence. STACS Masashi Kiyomi, Hirotaka Ono, Yota Otachi, Pascal Schweitzer, Jun Tarui
2018	J	`jnl`	Towards faster isomorphism tests for bounded-degree graphs. CoRR Martin Grohe, Daniel Neuen, Pascal Schweitzer
2017	A*	`conf`	A Polynomial-Time Randomized Reduction from Tournament Isomorphism to Tournament Asymmetry. ICALP Pascal Schweitzer
2017	J	`jnl`	A polynomial-time randomized reduction from tournament isomorphism to tournament asymmetry. CoRR Pascal Schweitzer
2017	J	`jnl`	An exponential lower bound for Individualization-Refinement algorithms for Graph Isomorphism. CoRR Daniel Neuen, Pascal Schweitzer
2017	A	`conf`	Benchmark Graphs for Practical Graph Isomorphism. ESA Daniel Neuen, Pascal Schweitzer
2017	J	`jnl`	Benchmark Graphs for Practical Graph Isomorphism. CoRR Daniel Neuen, Pascal Schweitzer
2017	J	`jnl`	Canonizing Graphs of Bounded Tree Width in Logspace. ACM Trans. Comput. Theory Michael Elberfeld, Pascal Schweitzer
2017	J	`jnl`	Graph isomorphism for graph classes characterized by two forbidden induced subgraphs. Discret. Appl. Math. Stefan Kratsch, Pascal Schweitzer
2017	J	`jnl`	Minimal asymmetric graphs. J. Comb. Theory B Pascal Schweitzer, Patrick Schweitzer
2017	J	`jnl`	Space-Efficient Algorithms for Longest Increasing Subsequence. CoRR Masashi Kiyomi, Hirotaka Ono, Yota Otachi, Pascal Schweitzer, Jun Tarui
2017	J	`jnl`	The Weisfeiler-Leman Dimension of Planar Graphs is at most 3. CoRR Sandra Kiefer, Ilia Ponomarenko, Pascal Schweitzer
2017	A*	`conf`	The Weisfeiler-Leman dimension of planar graphs is at most 3. LICS Sandra Kiefer, Ilia Ponomarenko, Pascal Schweitzer
2017	J	`jnl`	Towards an Isomorphism Dichotomy for Hereditary Graph Classes. Theory Comput. Syst. Pascal Schweitzer
2016	A	`conf`	Canonizing Graphs of Bounded Tree Width in Logspace. STACS Michael Elberfeld, Pascal Schweitzer
2016	J	`jnl`	Computing with Tangles. SIAM J. Discret. Math. Martin Grohe, Pascal Schweitzer
2016	B	`conf`	Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. ICSR Wenchao Li, Hossein Saidi, Huascar Sanchez, Martin Schäf, Pascal Schweitzer
2016	J	`jnl`	Induced Minor Free Graphs: Isomorphism and Clique-width. CoRR Rémy Belmonte, Yota Otachi, Pascal Schweitzer
2016	J	`jnl`	Stochastic dominance and the bijective ratio of online algorithms. CoRR Spyros Angelopoulos, Marc P. Renault, Pascal Schweitzer
2016	A*	`conf`	Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic. LICS Sandra Kiefer, Pascal Schweitzer
2016	J	`jnl`	Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic. CoRR Sandra Kiefer, Pascal Schweitzer
2015	J	`jnl`	A Linear-Time Algorithm for Testing Outer-1-Planarity. Algorithmica Seok-Hee Hong, Peter Eades, Naoki Katoh, Giuseppe Liotta, Pascal Schweitzer, Yusuke Suzuki
2015	J	`jnl`	Canonizing Graphs of Bounded Tree Width in Logspace. CoRR Michael Elberfeld, Pascal Schweitzer
2015	A*	`conf`	Computing with Tangles. STOC Martin Grohe, Pascal Schweitzer
2015	J	`jnl`	Computing with Tangles. CoRR Martin Grohe, Pascal Schweitzer
2015	—	`conf`	Graphs Identified by Logics with Counting. MFCS (1) Sandra Kiefer, Pascal Schweitzer, Erkal Selman
2015	J	`jnl`	Graphs Identified by Logics with Counting. CoRR Sandra Kiefer, Pascal Schweitzer, Erkal Selman
2015	B	`conf`	Induced Minor Free Graphs: Isomorphism and Clique-width. WG Rémy Belmonte, Yota Otachi, Pascal Schweitzer
2015	A*	`conf`	Isomorphism Testing for Graphs of Bounded Rank Width. FOCS Martin Grohe, Pascal Schweitzer
2015	J	`jnl`	Isomorphism Testing for Graphs of Bounded Rank Width. CoRR Martin Grohe, Pascal Schweitzer
2015	J	`jnl`	The Graph Isomorphism Problem (Dagstuhl Seminar 15511). Dagstuhl Reports László Babai, Anuj Dawar, Pascal Schweitzer, Jacobo Torán
2015	A	`conf`	Towards an Isomorphism Dichotomy for Hereditary Graph Classes. STACS Pascal Schweitzer
2014	J	`jnl`	Competition Numbers, Quasi-line Graphs, and Holes. SIAM J. Discret. Math. Brendan D. McKay, Pascal Schweitzer, Patrick Schweitzer
2014	B	`conf`	Depth-First Search Using O(n) Bits. ISAAC Tetsuo Asano, Taisuke Izumi, Masashi Kiyomi, Matsuo Konagaya, Hirotaka Ono, Yota Otachi, Pascal Schweitzer, Jun Tarui, Ryuhei Uehara
2014	—	`conf`	Reduction Techniques for Graph Isomorphism in the Context of Width Parameters. SWAT Yota Otachi, Pascal Schweitzer
2014	J	`jnl`	Reduction Techniques for Graph Isomorphism in the Context of Width Parameters. CoRR Yota Otachi, Pascal Schweitzer
2014	J	`jnl`	Switching Reconstruction of Digraphs. J. Graph Theory Brendan D. McKay, Pascal Schweitzer
2014	J	`jnl`	Towards an Isomorphism Dichotomy for Hereditary Graph Classes. CoRR Pascal Schweitzer
2013	A	`conf`	A Linear-Time Algorithm for Testing Outer-1-Planarity. GD Seok-Hee Hong, Peter Eades, Naoki Katoh, Giuseppe Liotta, Pascal Schweitzer, Yusuke Suzuki
2013	J	`jnl`	A linear time algorithm for testing maximal 1-planarity of graphs with a rotation system. Theor. Comput. Sci. Peter Eades, Seok-Hee Hong, Naoki Katoh, Giuseppe Liotta, Pascal Schweitzer, Yusuke Suzuki
2013	J	`jnl`	Approximation Algorithms for Capacitated Minimum Forest Problems in Wireless Sensor Networks with a Mobile Sink. IEEE Trans. Computers Weifa Liang, Pascal Schweitzer, Zichuan Xu
2013	B	`conf`	Isomorphism on Subgraph-Closed Graph Classes: A Complexity Dichotomy and Intermediate Graph Classes. ISAAC Yota Otachi, Pascal Schweitzer
2013	J	`jnl`	Iterated open neighborhood graphs and generalizations. Discret. Appl. Math. Pascal Schweitzer
2013	J	`jnl`	Paging and list update under bijective analysis. J. ACM Spyros Angelopoulos, Pascal Schweitzer
2012	B	`conf`	Graph Isomorphism for Graph Classes Characterized by Two Forbidden Induced Subgraphs. WG Stefan Kratsch, Pascal Schweitzer
2012	J	`jnl`	Graph Isomorphism for Graph Classes Characterized by two Forbidden Induced Subgraphs CoRR Stefan Kratsch, Pascal Schweitzer
2012	—	`conf`	Infeasible Code Detection. VSTTE Cristiano Bertolini, Martin Schäf, Pascal Schweitzer
2012	J	`jnl`	On Zero Divisors with Small Support in Group Rings of Torsion-Free Groups CoRR Pascal Schweitzer
2012	J	`jnl`	Online graph exploration: New results on old and new algorithms. Theor. Comput. Sci. Nicole Megow, Kurt Mehlhorn, Pascal Schweitzer
2012	A	`conf`	Testing Maximal 1-Planarity of Graphs with a Rotation System in Linear Time - (Extended Abstract). GD Peter Eades, Seok-Hee Hong, Naoki Katoh, Giuseppe Liotta, Pascal Schweitzer, Yusuke Suzuki
2011	J	`jnl`	An Introduction to Certifying Algorithms. it Inf. Technol. Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah, Pascal Schweitzer
2011	J	`jnl`	Certifying algorithms. Comput. Sci. Rev. Ross M. McConnell, Kurt Mehlhorn, Stefan Näher, Pascal Schweitzer
2011	A	`conf`	Isomorphism of (mis)Labeled Graphs. ESA Pascal Schweitzer
2011	—	`conf`	Online Graph Exploration: New Results on Old and New Algorithms. ICALP (2) Nicole Megow, Kurt Mehlhorn, Pascal Schweitzer
2011	J	`jnl`	Weisfeiler-Lehman Graph Kernels. J. Mach. Learn. Res. Nino Shervashidze, Pascal Schweitzer, Erik Jan van Leeuwen, Kurt Mehlhorn, Karsten M. Borgwardt
2010	J	`jnl`	Connecting face hitting sets in planar graphs. Inf. Process. Lett. Pascal Schweitzer, Patrick Schweitzer
2010	J	`jnl`	Homomorphism-homogeneous graphs. J. Graph Theory Momchil Rusinov, Pascal Schweitzer
2010	—	`conf`	Isomorphism for Graphs of Bounded Feedback Vertex Set Number. SWAT Stefan Kratsch, Pascal Schweitzer
2010	Misc	`conf`	Progress on Certifying Algorithms. FAW Kurt Mehlhorn, Pascal Schweitzer
2009	A*	`conf`	Paging and list update under bijective analysis. SODA Spyros Angelopoulos, Pascal Schweitzer
2009	J	`jnl`	Using the incompressibility method to obtain local lemma results for Ramsey-type problems. Inf. Process. Lett. Pascal Schweitzer
2008	J	`jnl`	Counting Defective Parking Functions. Electron. J. Comb. Peter J. Cameron, Daniel Johannsen, Thomas Prellberg, Pascal Schweitzer
2007	A	`conf`	ScrewBox: a Randomized Certifying Graph-Non-Isomorphism Algorithm. ALENEX Martin Kutz, Pascal Schweitzer