pith. sign in

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