BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Argentina
1 × Ireland
1 × Italy
1 × Portugal
3 × USA
Collaborated with:
A.Russell C.Georgiou S.Davtyan A.Kiayias B.S.Chlebus D.R.Kowalski L.D.Michel R.D.Prisco M.C.Bastarrica R.E.Caballero S.A.Demurjian I.Keidar R.Khazan N.A.Lynch R.J.Jancewicz L.Michel S.Kentros N.C.Nicolaou A.See N.Shashidhar
Talks about:
vote (5) system (4) techniqu (2) termin (2) cooper (2) optic (2) work (2) scan (2) base (2) use (2)

Person: Alexander A. Shvartsman

DBLP DBLP: Shvartsman:Alexander_A=

Contributed to:

PDP 20142014
SAC 20132013
SAC 20122012
SAC 20092009
STOC 20042004
STOC 20032003
SEKE 20012001
ICSE 20002000

Wrote 8 papers:

PDP-2014-DavtyanPGS #coordination #using
Coordinated Cooperative Work Using Undependable Processors with Unreliable Broadcast (SD, RDP, CG, AAS), pp. 17–26.
SAC-2013-JancewiczKMRS #execution
Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals (RJJ, AK, LDM, AR, AAS), pp. 1816–1823.
SAC-2012-DavtyanKMRS #encryption #using
Integrity of electronic voting systems: fallacious use of cryptography (SD, AK, LM, AR, AAS), pp. 1486–1493.
Taking total control of voting systems: firmware manipulations on an optical scan voting terminal (SD, SK, AK, LDM, NCN, AR, AS, NS, AAS), pp. 2049–2053.
STOC-2004-ChlebusKS #worst-case
Collective asynchronous reading with polylogarithmic worst-case overhead (BSC, DRK, AAS), pp. 321–330.
STOC-2003-GeorgiouRS #scheduling
Work-competitive scheduling for cooperative computing with dynamic groups (CG, AR, AAS), pp. 251–258.
SEKE-2001-BastarrioaCDS #component #deployment #optimisation
Two Optimization Techniques for Component-Based Systems Deployment (MCB, REC, SAD, AAS), pp. 153–162.
ICSE-2000-KeidarKLS #incremental #proving #simulation
An inheritance-based technique for building simulation proofs incrementally (IK, RK, NAL, AAS), pp. 478–487.

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.