Sylvain Hall\'e

Identifiers

• name variant Sylvain Hall\'e 0.60 · backfill

Papers (6)

1. Improving Hyperconnected Logistics with Blockchains and Smart Contracts cs.DC · 2019 · author #3
2. Event Stream Processing with Multiple Threads cs.DC · 2017 · author #1
3. From Complex Event Processing to Simple Event Processing cs.DB · 2017 · author #1
4. An Alternating Automaton for First-Order Linear Temporal Logic--Tech Report cs.FL · 2016 · author #3
5. Runtime Enforcement With Partial Control cs.CR · 2015 · author #2
6. Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software cs.SE · 2010 · author #3

Mentions

• 1009.3306 #3 · backfill · confidence 0.70 Sylvain Hall\'e

Frequent Coauthors

• Rapha\"el Khoury 4 shared papers
• Beno\^it Montreuil 1 shared papers
• Gwen Sala\"un 1 shared papers
• Quentin Betti 1 shared papers
• S\'ebastien Gaboury 1 shared papers
• Xiang Fu 1 shared papers
• Yannick Lebrun 1 shared papers