BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
I.Goral S.A.Reveliotis S.Reveliotis J.Y.Choi
Talks about:
correct (2) vehicl (2) system (2) multi (2) transport (1) distribut (1) construct (1) paradigm (1) mathemat (1) deadlock (1)

Person: Elzbieta Roszkowska

DBLP DBLP: Roszkowska:Elzbieta

Contributed to:

CASE 20132013
CASE 20082008
CASE 20072007

Wrote 3 papers:

CASE-2013-RoszkowskaG #distributed #multi
Correct-by-construction distributed control for multi-vehicle transport systems (ER, IG), pp. 156–161.
CASE-2008-ReveliotisR #multi #paradigm #resource management
Conflict resolution in multi-vehicle systems: A resource allocation paradigm (SAR, ER), pp. 115–121.
CASE-2007-ReveliotisR0 #algebra #concurrent #correctness #policy #programming #verification
Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming (SR, ER, JYC), pp. 200–206.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.