search result

Cover von Dynamic Membership for Regular Languages

Dynamic Membership for Regular Languages

Year: 2021
Media group: LIPIcs
Cover von Dynamic Enumeration of Similarity Joins

Dynamic Enumeration of Similarity Joins

Year: 2021
Media group: LIPIcs
Cover von Dynamic Matching Algorithms in Practice

Dynamic Matching Algorithms in Practice

Year: 2020
Media group: LIPIcs
Cover von Fully-Dynamic Coresets

Fully-Dynamic Coresets

Year: 2020
Media group: LIPIcs
Cover von Propositional Dynamic Logic for Hyperproperties

Propositional Dynamic Logic for Hyperproperties

Year: 2020
Media group: LIPIcs
Cover von Balanced Allocation on Dynamic Hypergraphs

Balanced Allocation on Dynamic Hypergraphs

Year: 2020
Media group: LIPIcs
Cover von Dynamic Complexity of Document Spanners

Dynamic Complexity of Document Spanners

Year: 2020
Media group: LIPIcs
Cover von Constraints in Dynamic Symbolic Execution
Bitvectors or Integers?
Search for this author
Year: 2019
Publisher: University
Media group: ARTICLE
Cover von Dynamic Complexity Meets Parameterised Algorithms

Dynamic Complexity Meets Parameterised Algorithms

Year: 2020
Media group: LIPIcs
Cover von Random Walks on Dynamic Graphs

Random Walks on Dynamic Graphs

Mixing Times, Hitting Times, and Return Probabilities
Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0