Sasha Rubin

Available identifiers

zbMath Open rubin.sashaWikidataQ102283775 ScholiaQ102283775MaRDI QIDQ389946

List of research outcomes

Publication	Date of Publication	Type
Verification of agent navigation in partially-known environments	2022-06-01	Paper
Quantifying Bounds in Strategy Logic	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5021006	2022-01-11	Paper
Equilibria for games with combined qualitative and quantitative objectives	2021-12-15	Paper
Automatic structures	2021-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q4994894	2021-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4986519	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q5144683	2021-01-19	Paper
Verification of multi-agent systems with public actions against strategy logic	2020-08-06	Paper
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction	2020-07-07	Paper
Model-checking graded computation-tree logic with finite path semantics	2020-01-16	Paper
CTL\(^\ast\) with graded path modalities	2018-09-27	Paper
Graded modalities in strategy logic	2018-06-14	Paper
Parameterized model checking of rendezvous systems	2018-06-01	Paper
Automatic linear orders and trees	2017-07-12	Paper
Interpretations in Trees with Countably Many Branches	2017-05-16	Paper
First-cycle games	2017-05-12	Paper
Model Checking Parameterised Multi-token Systems via the Composition Method	2016-09-05	Paper
On the Expressive Power of Communication Primitives in Parameterised Systems	2016-01-12	Paper
On CTL* with Graded Path Modalities	2016-01-12	Paper
Liveness of Parameterized Timed Networks	2015-11-04	Paper
Parameterized Model Checking of Token-Passing Systems	2015-01-13	Paper
Parameterized Model Checking of Rendezvous Systems	2014-09-15	Paper
Alternating traps in Muller and parity games	2014-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4910735	2013-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4910729	2013-03-19	Paper
How to Travel between Languages	2013-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q3172381	2011-10-05	Paper
Automata Presenting Structures: A Survey of the Finite String Case	2008-06-09	Paper
Automatic Structures: Richness and Limitations	2007-10-11	Paper
STACS 2004	2007-10-01	Paper
Computer Science Logic	2006-11-01	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4449538	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4531374	2002-05-29	Paper

Research outcomes over time

This page was built for person: Sasha Rubin