search result

Cover von Algorithms and Hardness for Diameter in Dynamic Graphs

Algorithms and Hardness for Diameter in Dynamic Graphs

Year: 2019
Media group: LIPIcs
Cover von The Dynamic Practice and Static Theory of Gradual Typing

The Dynamic Practice and Static Theory of Gradual Typing

Year: 2019
Media group: LIPIcs
Cover von End-To-End Deadlines over Dynamic Topologies

End-To-End Deadlines over Dynamic Topologies

Year: 2019
Media group: LIPIcs
Cover von Dominating Sets and Connected Dominating Sets in Dynamic Graphs

Dominating Sets and Connected Dominating Sets in Dynamic Graphs

Year: 2019
Media group: LIPIcs
Cover von Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty

Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty

Year: 2018
Media group: LIPIcs
Cover von Game Description Language and Dynamic Epistemic Logic Compared
article in Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2018)
Search for this author
Year: 2018
Publisher: IJCAI
Media group: ARTICLE
Cover von Scalable Katz Ranking Computation in Large Static and Dynamic Graphs

Scalable Katz Ranking Computation in Large Static and Dynamic Graphs

Year: 2018
Media group: LIPIcs
Cover von Dynamic Effective Resistances and Approximate Schur Complement on Separable Graphs

Dynamic Effective Resistances and Approximate Schur Complement on Separable Graphs

Year: 2018
Media group: LIPIcs
Cover von Dynamic Trees with Almost-Optimal Access Cost

Dynamic Trees with Almost-Optimal Access Cost

Year: 2018
Media group: LIPIcs
Cover von Improved Time and Space Bounds for Dynamic Range Mode

Improved Time and Space Bounds for Dynamic Range Mode

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0