Benito van der Zander

27 papers A* 9A 4B 1Journal 10Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy. ICLR Julian Dörfler, Benito van der Zander, Markus Bläser, Maciej Liskiewicz
2025	A*	`conf`	Probabilistic and Causal Satisfiability: Constraining the Model. ICALP Markus Bläser, Julian Dörfler, Maciej Liskiewicz, Benito van der Zander
2025	J	`jnl`	Probabilistic and Causal Satisfiability: Constraining the Model. CoRR Markus Bläser, Julian Dörfler, Maciej Liskiewicz, Benito van der Zander
2024	A*	`conf`	Linear-Time Algorithms for Front-Door Adjustment in Causal Graphs. AAAI Marcel Wienöbst, Benito van der Zander, Maciej Liskiewicz
2024	A*	`conf`	On the Complexity of Identification in Linear Structural Causal Models. NeurIPS Julian Dörfler, Benito van der Zander, Markus Bläser, Maciej Liskiewicz
2024	J	`jnl`	On the Complexity of Identification in Linear Structural Causal Models. CoRR Julian Dörfler, Benito van der Zander, Markus Bläser, Maciej Liskiewicz
2024	J	`jnl`	Probabilistic and Causal Satisfiability: the Impact of Marginalization. CoRR Julian Dörfler, Benito van der Zander, Markus Bläser, Maciej Liskiewicz
2024	B	`conf`	The Existential Theory of the Reals with Summation Operators. ISAAC Markus Bläser, Julian Dörfler, Maciej Liskiewicz, Benito van der Zander
2024	J	`jnl`	The Existential Theory of the Reals with Summation Operators. CoRR Markus Bläser, Julian Dörfler, Maciej Liskiewicz, Benito van der Zander
2023	J	`jnl`	Corrigendum to "Separators and adjustment sets in causal graphs: Complete criteria and an algorithmic framework" [Artif. Intell. 270 (2019) 1-40]. Artif. Intell. Benito van der Zander, Maciej Liskiewicz, Johannes Textor
2023	A*	`conf`	The Hardness of Reasoning about Probabilities and Causality. IJCAI Benito van der Zander, Markus Bläser, Maciej Liskiewicz
2023	J	`jnl`	The Hardness of Reasoning about Probabilities and Causality. CoRR Benito van der Zander, Markus Bläser, Maciej Liskiewicz
2022	J	`jnl`	Finding Front-Door Adjustment Sets in Linear Time. CoRR Marcel Wienöbst, Benito van der Zander, Maciej Liskiewicz
2022	A	`conf`	Identification in Tree-shaped Linear Structural Causal Models. AISTATS Benito van der Zander, Marcel Wienöbst, Markus Bläser, Maciej Liskiewicz
2022	J	`jnl`	Identification in Tree-shaped Linear Structural Causal Models. CoRR Benito van der Zander, Marcel Wienöbst, Markus Bläser, Maciej Liskiewicz
2020	—	`ch.`	Identifikation von Kausalen Effekten in Graphischen Modellen. Ausgezeichnete Informatikdissertationen Benito van der Zander
2019	A	`conf`	Finding Minimal d-separators in Linear Time and Applications. UAI Benito van der Zander, Maciej Liskiewicz
2019	J	`jnl`	Separators and adjustment sets in causal graphs: Complete criteria and an algorithmic framework. Artif. Intell. Benito van der Zander, Maciej Liskiewicz, Johannes Textor
2018	J	`jnl`	Separators and Adjustment Sets in Causal Graphs: Complete Criteria and an Algorithmic Framework. CoRR Benito van der Zander, Maciej Liskiewicz, Johannes Textor
2016	A	`conf`	On Searching for Generalized Instrumental Variables. AISTATS Benito van der Zander, Maciej Liskiewicz
2016	A*	`conf`	Separators and Adjustment Sets in Markov Equivalent DAGs. AAAI Benito van der Zander, Maciej Liskiewicz
2015	A*	`conf`	Efficiently Finding Conditional Instruments for Causal Inference. IJCAI Benito van der Zander, Johannes Textor, Maciej Liskiewicz
2014	—	`conf`	Constructing Separators and Adjustment Sets in Ancestral Graphs. CI@UAI Benito van der Zander, Maciej Liskiewicz, Johannes Textor
2014	A	`conf`	Constructing Separators and Adjustment Sets in Ancestral Graphs. UAI Benito van der Zander, Maciej Liskiewicz, Johannes Textor
2013	A*	`conf`	OpenStreetSLAM: Global vehicle localization using OpenStreetMaps. ICRA Georgios Floros, Benito van der Zander, Bastian Leibe
2011	—	`conf`	Real Time Vision Based Multi-person Tracking for Mobile Robotics and Intelligent Vehicles. ICIRA (2) Dennis Mitzel, Georgios Floros, Patrick Sudowe, Benito van der Zander, Bastian Leibe
2010	A*	`conf`	Brief announcement: complexity and solution of the send-receive correlation problem. PODC Benito van der Zander, Egon Wanke, Wolfgang Kiess, Björn Scheuermann