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 CTL* with Graded Path Modalities	2016-01-12	Paper
On the Expressive Power of Communication Primitives in Parameterised Systems	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/Q4910729	2013-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4910735	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sasha Rubin