 | 2009 |
|---|
| 9 |       | V. S. Anil Kumar,
Matt Macauley,
Henning S. Mortveit:
Limit Set Reachability in Asynchronous Graph Dynamical Systems.
RP 2009: 217-232 |
| 8 | | Reinhard C. Laubenbacher,
Abdul Salam Jarrah,
Henning S. Mortveit,
S. S. Ravi:
Agent Based Modeling, Mathematical Formalism for.
Encyclopedia of Complexity and Systems Science 2009: 160-176 |
| 2008 |
|---|
| 7 | | Reinhard C. Laubenbacher,
Abdul Salam Jarrah,
Henning S. Mortveit,
S. S. Ravi:
A mathematical formalism for agent-based modeling
CoRR abs/0801.0249: (2008) |
| 2007 |
|---|
| 6 | | Aric D. Blumer,
Henning S. Mortveit,
Cameron D. Patterson:
Formal Modeling of Process Migration.
FPL 2007: 104-110 |
| 2005 |
|---|
| 5 | | Justin L. Tripp,
Henning S. Mortveit,
Anders A. Hansson,
Maya Gokhale:
Metropolitan Road Traffic Simulation on FPGAs.
FCCM 2005: 117-126 |
| 4 | | Justin L. Tripp,
Anders A. Hansson,
Maya Gokhale,
Henning S. Mortveit:
Partitioning Hardware and Software for Reconfigurable Supercomputing Applications: A Case Study.
SC 2005: 27 |
| 2001 |
|---|
| 3 | | Henning S. Mortveit,
Christian M. Reidys:
Discrete, sequential dynamical systems.
Discrete Mathematics 226(1-3): 281-295 (2001) |
| 2000 |
|---|
| 2 | | Christopher L. Barrett,
B. W. Bush,
S. Kopp,
Henning S. Mortveit,
Christian M. Reidys:
Sequential Dynamical Systems and Applications to Simulations.
Annual Simulation Symposium 2000: 245-252 |
| 1 | | Christopher L. Barrett,
Henning S. Mortveit,
Christian M. Reidys:
Elements of a theory of simulation II: sequential dynamical systems.
Applied Mathematics and Computation 107(2-3): 121-136 (2000) |
