×

zbMATH — the first resource for mathematics

Koskinen, Eric

Compute Distance To:
Author ID: koskinen.eric Recent zbMATH articles by "Koskinen, Eric"
Published as: Koskinen, Eric
Documents Indexed: 12 Publications since 2010

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 13 times in 9 Documents Cited by Year
Coarse-grained transactions. Zbl 1312.68143
Koskinen, Eric; Parkinson, Matthew; Herlihy, Maurice
4
2010
Making prophecies with decision predicates. Zbl 1284.68389
Cook, Byron; Koskinen, Eric
4
2011
Temporal property verification as a program analysis task. Zbl 1284.68171
Cook, Byron; Koskinen, Eric; Vardi, Moshe
2
2012
Automatic generation of precise and useful commutativity conditions. Zbl 1423.68115
Bansal, Kshitij; Koskinen, Eric; Tripp, Omer
1
2018
Adding concurrency to smart contracts. Zbl 1445.68083
Dickerson, Thomas; Gazzillo, Paul; Herlihy, Maurice; Koskinen, Eric
1
2020
Structural counter abstraction. Zbl 1381.68194
Bansal, Kshitij; Koskinen, Eric; Wies, Thomas; Zufferey, Damien
1
2013
Adding concurrency to smart contracts. Zbl 1445.68083
Dickerson, Thomas; Gazzillo, Paul; Herlihy, Maurice; Koskinen, Eric
1
2020
Automatic generation of precise and useful commutativity conditions. Zbl 1423.68115
Bansal, Kshitij; Koskinen, Eric; Tripp, Omer
1
2018
Structural counter abstraction. Zbl 1381.68194
Bansal, Kshitij; Koskinen, Eric; Wies, Thomas; Zufferey, Damien
1
2013
Temporal property verification as a program analysis task. Zbl 1284.68171
Cook, Byron; Koskinen, Eric; Vardi, Moshe
2
2012
Making prophecies with decision predicates. Zbl 1284.68389
Cook, Byron; Koskinen, Eric
4
2011
Coarse-grained transactions. Zbl 1312.68143
Koskinen, Eric; Parkinson, Matthew; Herlihy, Maurice
4
2010

Citations by Year