Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@techreport{acar:hal-01089125, title = {{Data Structures and Algorithms for Robust and Fast Parallel Graph Search}}, author = {Umut A. Acar and Arthur Chargu{\'e}raud and Mike Rainey}, url = {https://hal.inria.fr/hal-01089125}, type = {Technical Report}, institution = {Inria}, year = 2014, month = dec, hal_id = {hal-01089125}, hal_version = {v1}, }