Sasha Rubin
Orcid: 0000-0002-3948-129XAffiliations:
- University of Sydney, School of Computer Science, NSW, Australia
- University of Naples "Federico II", Italy (former)
- Vienna University of Technology, Faculty of Informatics (former)
According to our database1,
Sasha Rubin
authored at least 88 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
2023
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems.
CoRR, 2023
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties.
CoRR, 2023
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
sc ltl<sub>f</sub> Synthesis Under Environment Specifications for Reachability and Safety Properties.
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Artif. Intell., 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
CoRR, 2021
Acta Informatica, 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
2020
Theor. Comput. Sci., 2020
Proceedings of the Proceedings 11th International Symposium on Games, 2020
Artif. Intell., 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020
2019
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
2018
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
2016
Proceedings of the 4th International Workshop on Strategic Reasoning, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
2015
Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02011-7, 2015
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015
Parameterised Verification of Autonomous Mobile-Agents in Static but Unknown Environments.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
2014
Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014
2013
Proceedings of the Language and Automata Theory and Applications, 2013
2012
Proceedings of the Proceedings Third International Symposium on Games, 2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
2011
Automata-based presentations of infinite structures.
Proceedings of the Finite and Algorithmic Model Theory., 2011
2008
Bull. Symb. Log., 2008
Proceedings of the STACS 2008, 2008
Proceedings of the STACS 2008, 2008
2007
2005
Proceedings of the Computer Science Logic, 19th International Workshop, 2005
2004
Proceedings of the STACS 2004, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
2003
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003
2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
2001
J. Autom. Lang. Comb., 2001
1999
Finite Automata and Well Ordered Sets.
Proceedings of the Third New Zealand Computer Science Research Students' Conference, 1999