Search for persons
X
?
Proceedings of the 2018 Winter Simulation Conference ,
3
Systematic analysis of micro dynamics in agent based simula..:
, In:
?
Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation ,
4
Formula Simplification for Real Quantifier Elimination Usin..:
, In:
?
Proceedings of the 2016 Winter Simulation Conference ,
7
Agent-based simulation analysis for security planning based..:
, In:
?
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems ,
8
Simplifying Urban Network Security Games with Cut-Based Gra..:
, In:
?
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems ,
9
Parametric Mechanism Design via Quantifier Elimination:
, In:
?
Proceedings of the 2015 Winter Simulation Conference ,
10
Agent-based analysis for design of signage systems in large..:
, In:
?
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation ,
11
Mathematics by machine:
, In:
?
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation ,
12
Effective quantifier elimination for industrial application:
, In:
?
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation ,
14