Natasha Alechina

Identifiers

• name variant Natasha Alechina 0.60 · backfill

Papers (7)

1. Temporal Causal Models as a Model of Computation cs.FL · 2026 · author #2
2. Coalition and Group Announcement Logic cs.LO · 2018 · author #2
3. Resource Logics with a Diminishing Resource cs.LO · 2018 · author #1
4. Expressibility of norms in temporal logic cs.AI · 2016 · author #1
5. Decentralised Norm Monitoring in Open Multi-Agent Systems cs.MA · 2016 · author #1
6. Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources cs.MA · 2015 · author #1
7. Completeness of Epistemic Coalition Logic with Group Knowledge cs.LO · 2011 · author #2

Mentions

• 1107.0278 #2 · backfill · confidence 0.70 Natasha Alechina

Frequent Coauthors

• Brian Logan 5 shared papers
• Franco Raimondi 1 shared papers
• Hoang Nga Nguyen 1 shared papers
• Ian A. Kash 1 shared papers
• Joseph Y. Halpern 1 shared papers
• Maksim Gladyshev 1 shared papers
• Mehdi Dastani 1 shared papers
• Rustam Galimullin 1 shared papers
• Thomas {\AA}gotnes 1 shared papers