I agree that this site is using cookies. You can find further informations here.
X
Calin, Georgel
8  results:
Search for persons X
?
1

CoLoSS: The Coalgebraic Logic Satisfiability Solver:

Calin, Georgel ; Myers, Rob ; Pattinson, Dirk.
Electronic Notes in Theoretical Computer Science.  231 (2009)  - p. 41-54 , 2009
Link: https://doi.org/10.1016/..
 
?
2

Verification Techniques for TSO-Relaxed Programs:

Calin, Georgel Ionut , 2016
Link: http://nbn-resolving.de/..
 
?
3

The learning organization challenges within the SMEs touris..:

Popescu, Dan ; Chivu, Iulia ; Ciocârlan-Chitucea, Alina..
Procedia - Social and Behavioral Sciences.  24 (2011)  - p. 1098-1106 , 2011
Link: https://doi.org/10.1016/..
 
?
4

Lazy TSO Reachability:

Bouajjani, Ahmed ; Calin, Georgel ; Derevenetc, Egor.
http://arxiv.org/abs/1501.02683.  , 2015
Link: http://arxiv.org/abs/150..
 
?
5

A Theory of Partitioned Global Address Spaces:

Calin, Georgel ; Derevenetc, Egor ; Majumdar, Rupak.
http://arxiv.org/abs/1307.6590.  , 2013
Link: http://arxiv.org/abs/130..
 
?
6

A Theory of Partitioned Global Address Spaces:

Calin, Georgel ; Derevenetc, Egor ; Majumdar, Rupak.
Is Part Of LIPIcs, Volume 24, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013).  , 2013
Link: https://doi.org/10.4230/..
 
?
7

CoLoSS: The Coalgebraic Logic Satisfiability Solver(System ..:

Calin, Georgel ; Myers, Rob ; Pattinson, Dirk.
1571-0661.  ,
Link: http://hdl.handle.net/18..
 
?
8

Verification Techniques for TSO-Relaxed Programs:

Calin, Georgel Ionut
https://kluedo.ub.rptu.de/frontdoor/index/index/docId/4472.  , 2016
Link: https://kluedo.ub.rptu.d..
 
1-8