Henning S. Mortveit

99 papers A* 7A 11B 3C 4Misc 10Journal 38Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Divide and Predict: An Architecture for Input Space Partitioning and Enhanced Accuracy. CoRR Fenix W. D. Huang, Henning S. Mortveit, Christian M. Reidys
2026	A*	`conf`	Towards High Resolution Probabilistic Coastal Inundation Forecasting from Sparse Observations. AAAI Kazi Ashik Islam, Zakaria Mehrab, Mahantesh M. Halappanavar, Henning S. Mortveit, Sridhar Katragadda, Jon Derek Loftis, Stefan Hoops, Madhav V. Marathe
2025	C	`conf`	Adjustable Attribute Matching in Digital Similars of Populations. MABS Kazi Ashik Islam, S. S. Ravi, Henning S. Mortveit, Samarth Swarup
2025	A	`conf`	DIMPLES: Distributed Influence Maximization for Pandemic pLanning on Exascale Systems. ICS Marco Minutoli, Reece Neff, Naw Safrin Sattar, Hao Lu, John Feo, Henning S. Mortveit, Anil Vullikanti, Dawen Xie, Mandy L. Wilson, Gregor von Laszewski, Parantapa Bhattacharya, S. M. Ferdous, Ananth Kalyanaraman, Michela Becchi, Madhav V. Marathe, Mahantesh Halappanavar
2025	—	`conf`	Denoising Diffusion Probabilistic Models for Coastal Inundation Forecasting. SIGSPATIAL/GIS Kazi Ashik Islam, Zakaria Mehrab, Mahantesh Halappanavar, Henning S. Mortveit, Sridhar Katragadda, Jon Derek Loftis, Madhav V. Marathe
2025	J	`jnl`	Denoising Diffusion Probabilistic Models for Coastal Inundation Forecasting. CoRR Kazi Ashik Islam, Zakaria Mehrab, Mahantesh Halappanavar, Henning S. Mortveit, Sridhar Katragadda, Jon Derek Loftis, Madhav V. Marathe
2025	A*	`conf`	Hazard Function Guided Agent-Based Models: A Case Study of Return Migration from Poland to Ukraine. IJCAI Zakaria Mehrab, S. S. Ravi, Logan Stundal, Samarth Swarup, Srinivasan Venkatramanan, Bryan L. Lewis, Henning S. Mortveit, David Leblang, Madhav V. Marathe
2025	A	`conf`	Pandemics in Silico: Scaling Agent-Based Simulations on Realistic Social Contact Networks. IPDPS Joy Kitson, Ian J. Costello, Jiangzhuo Chen, Diego Jiménez, Stefan Hoops, Henning S. Mortveit, Esteban Meneses, Jae-Seung Yeom, Madhav V. Marathe, Abhinav Bhatele
2024	A*	`conf`	A Generalizable Theory-Driven Agent-Based Framework to Study Conflict-Induced Forced Migration. AAAI Zakaria Mehrab, Logan Stundal, Srinivasan Venkatramanan, Samarth Swarup, Bryan Leroy Lewis, Henning S. Mortveit, Christopher L. Barrett, Abhishek Pandey, Chad R. Wells, Alison P. Galvani, Burton H. Singer, Seyed M. Moghadas, David Leblang, Rita R. Colwell, Madhav V. Marathe
2024	J	`jnl`	A Large-Scale Epidemic Simulation Framework for Realistic Social Contact Networks. CoRR Joy Kitson, Ian J. Costello, Jiangzhuo Chen, Diego Jiménez, Stefan Hoops, Henning S. Mortveit, Esteban Meneses, Jae-Seung Yeom, Madhav V. Marathe, Abhinav Bhatele
2024	B	`conf`	A Scalable Game-theoretic Approach to Urban Evacuation Routing and Scheduling. IEEE Big Data Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
2024	A	`conf`	Assessing Fairness of Residential Dynamic Pricing for Electricity using Active Learning with Agent-based Simulation. AAMAS Swapna Thorve, Henning S. Mortveit, Anil Vullikanti, Madhav V. Marathe, Samarth Swarup
2024	A	`conf`	Network Agency: An Agent-based Model of Forced Migration from Ukraine. AAMAS Zakaria Mehrab, Logan Stundal, Samarth Swarup, Srinivasan Venkatramanan, Bryan Lewis, Henning S. Mortveit, Christopher L. Barrett, Abhishek Pandey, Chad R. Wells, Alison P. Galvani, Burton H. Singer, David Leblang, Rita R. Colwell, Madhav V. Marathe
2024	J	`jnl`	Novel multi-cluster workflow system to support real-time HPC-enabled epidemic science: Investigating the impact of vaccine acceptance on COVID-19 spread. J. Parallel Distributed Comput. Parantapa Bhattacharya, Dustin Machi, Jiangzhuo Chen, Stefan Hoops, Bryan Lewis, Henning S. Mortveit, Srinivasan Venkatramanan, Mandy L. Wilson, Achla Marathe, Przemyslaw J. Porebski, Brian Klahn, Joseph Outten, Anil Vullikanti, Dawen Xie, Abhijin Adiga, Shawn Brown, Christopher L. Barrett, Madhav V. Marathe
2024	A	`conf`	Strategic Routing and Scheduling for Evacuations. AAMAS Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
2024	J	`jnl`	Strategic Routing and Scheduling for Evacuations. CoRR Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
2023	Misc	`conf`	A Network-based Analytics Framework for High-Resolution Agent-based Epidemic Simulation Ensembles. WSC Amro Alabsi Aljundi, Galen Harrison, Jiangzhuo Chen, Madhav V. Marathe, Henning S. Mortveit, Anil Vullikanti, Abhijin Adiga
2023	C	`conf`	Active Sensing for Epidemic State Estimation Using ABM-Guided Machine Learning. MABS Sami Saliba, Faraz Dadgostari, Stefan Hoops, Henning S. Mortveit, Samarth Swarup
2023	J	`jnl`	Asynchronous, finite dynamical systems. Nat. Comput. Henning S. Mortveit
2023	J	`jnl`	Augmenting the Social Vulnerability Index using an agent-based simulation of Hurricane Harvey. Comput. Environ. Urban Syst. Anna E. Brower, Balaji Ramesh, Kazi Ashik Islam, Henning S. Mortveit, Stefan Hoops, Anil Vullikanti, Madhav V. Marathe, Benjamin F. Zaitchik, Julia M. Gohlke, Samarth Swarup
2023	J	`jnl`	Data-driven scalable pipeline using national agent-based models for real-time pandemic response and decision support. Int. J. High Perform. Comput. Appl. Parantapa Bhattacharya, Jiangzhuo Chen, Stefan Hoops, Dustin Machi, Bryan L. Lewis, Srinivasan Venkatramanan, Mandy L. Wilson, Brian Klahn, Aniruddha Adiga, Benjamin Hurt, Joseph Outten, Abhijin Adiga, Andrew S. Warren, Young Yun Baek, Przemyslaw J. Porebski, Achla Marathe, Dawen Xie, Samarth Swarup, Anil Vullikanti, Henning S. Mortveit, Stephen G. Eubank, Christopher L. Barrett, Madhav Vinayak Marathe
2023	A*	`conf`	Simulation-Assisted Optimization for Large-Scale Evacuation Planning with Congestion-Dependent Delays. IJCAI Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
2023	—	`conf`	Synthetic Information and Digital Twins for Pandemic Science: Challenges and Opportunities. TPS-ISA Galen Harrison, Przemyslaw J. Porebski, Jiangzhuo Chen, Mandy L. Wilson, Henning S. Mortveit, Parantapa Bhattacharya, Dawen Xie, Stefan Hoops, Anil Vullikanti, Li Xiong, James Joshi, Madhav V. Marathe
2023	A	`conf`	Towards Optimal and Scalable Evacuation Planning Using Data-driven Agent Based Models. AAMAS Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
2022	A*	`conf`	A Reliability-aware Distributed Framework to Schedule Residential Charging of Electric Vehicles. IJCAI Rounak Meyur, Swapna Thorve, Madhav V. Marathe, Anil Vullikanti, Samarth Swarup, Henning S. Mortveit
2022	J	`jnl`	A Reliability-aware Distributed Framework to Schedule Residential Charging of Electric Vehicles. CoRR Rounak Meyur, Swapna Thorve, Madhav V. Marathe, Anil Vullikanti, Samarth Swarup, Henning S. Mortveit
2022	J	`jnl`	A Scalable Data-Driven Technique for Joint Evacuation Routing and Scheduling Problems. CoRR Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
2022	J	`jnl`	Attractor Stability in Finite Asynchronous Biological System Models. CoRR Henning S. Mortveit, Ryan Pederson
2022	J	`jnl`	BESSIE: A Behavior and Epidemic Simulator for Use With Synthetic Populations. CoRR Henning S. Mortveit, Stephen C. Adams, Faraz Dadgostari, Samarth Swarup, Peter A. Beling
2022	A	`conf`	Data-driven Agent-based Models for Optimal Evacuation of Large Metropolitan Areas for Improved Disaster Planning. AAMAS Kazi Ashik Islam, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
2022	A*	`conf`	Effective Social Network-Based Allocation of COVID-19 Vaccines. KDD Jiangzhuo Chen, Stefan Hoops, Achla Marathe, Henning S. Mortveit, Bryan L. Lewis, Srinivasan Venkatramanan, Arash Haddadan, Parantapa Bhattacharya, Abhijin Adiga, Anil Vullikanti, Aravind Srinivasan, Mandy L. Wilson, Gal Ehrlich, Maier Fenster, Stephen G. Eubank, Christopher L. Barrett, Madhav V. Marathe
2022	J	`jnl`	Ensembles of Realistic Power Distribution Networks. CoRR Rounak Meyur, Anil Vullikanti, Samarth Swarup, Henning S. Mortveit, Virgilio Centeno, Arun G. Phadke, H. Vincent Poor, Madhav V. Marathe
2022	B	`conf`	Fidelity and diversity metrics for validating hierarchical synthetic data: Application to residential energy demand. IEEE Big Data Swapna Thorve, Anil Vullikanti, Henning S. Mortveit, Samarth Swarup, Madhav V. Marathe
2022	J	`jnl`	High-resolution synthetic residential energy use profiles for the United States. CoRR Swapna Thorve, Young Yun Baek, Samarth Swarup, Henning S. Mortveit, Achla Marathe, Anil Vullikanti, Madhav V. Marathe
2022	Misc	`conf`	Identifying Correlates of Emergent Behaviors in Agent-Based Simulation Models Using Inverse Reinforcement Learning. WSC Faraz Dadgostari, Samarth Swarup, Stephen C. Adams, Peter A. Beling, Henning S. Mortveit
2022	A	`conf`	Incorporating Fairness in Large-scale Evacuation Planning. CIKM Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
2022	Misc	`conf`	Modular and Extensible Pipelines for Residential Energy Demand Modeling and Simulation. WSC Swapna Thorve, Anil Vullikanti, Samarth Swarup, Henning S. Mortveit, Madhav V. Marathe
2022	J	`jnl`	Network Models and Simulation Analytics for Multi-scale Dynamics of Biological Invasions. Frontiers Big Data Abhijin Adiga, Nicholas Palmer, Young Yun Baek, Henning S. Mortveit, S. S. Ravi
2021	—	`conf`	AI-Driven Agent-Based Models to Study the Role of Vaccine Acceptance in Controlling COVID-19 Spread in the US. IEEE BigData Parantapa Bhattacharya, Dustin Machi, Jiangzhuo Chen, Stefan Hoops, Bryan L. Lewis, Henning S. Mortveit, Srinivasan Venkatramanan, Mandy L. Wilson, Achla Marathe, Przemyslaw J. Porebski, Brian Klahn, Joseph Outten, Anil Vullikanti, Dawen Xie, Abhijin Adiga, Shawn Brown, Christopher L. Barrett, Madhav V. Marathe
2021	Misc	`conf`	High Performance Agent-Based Modeling to Study Realistic Contact Tracing Protocols. WSC Stefan Hoops, Jiangzhuo Chen, Abhijin Adiga, Bryan L. Lewis, Henning S. Mortveit, Hannah Baek, Mandy L. Wilson, Dawen Xie, Samarth Swarup, Srinivasan Venkatramanan, Justin Crow, Elena Diskin, Seth Levine, Helen Tazelaar, Brooke Rossheim, Chris Ghaemmaghami, Rebecca Early, Chris Barrett, Madhav V. Marathe, Carter Price
2021	—	`conf`	Realistic Commodity Flow Networks to Assess Vulnerability of Food Systems. COMPLEX NETWORKS Abhijin Adiga, Nicholas Palmer, Sanchit Sinha, Penina Waghalter, Aniruddha Dave, Daniel Perez Lazarte, Thierry Brévault, Andrea Apolloni, Henning S. Mortveit, Young Yun Baek, Madhav V. Marathe
2021	A	`conf`	Scalable Epidemiological Workflows to Support COVID-19 Planning and Response. IPDPS Dustin Machi, Parantapa Bhattacharya, Stefan Hoops, Jiangzhuo Chen, Henning S. Mortveit, Srinivasan Venkatramanan, Bryan L. Lewis, Mandy L. Wilson, Arindam Fadikar, Tom Maiden, Christopher L. Barrett, Madhav V. Marathe
2020	—	`conf`	A Simulation-based Approach for Large-scale Evacuation Planning. IEEE BigData Kazi Ashik Islam, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
2020	J	`jnl`	Boolean Networks and Their Applications in Science and Engineering. Complex. José C. Valverde, Henning S. Mortveit, Carlos Gershenson, Yongtang Shi
2020	—	`conf`	Creating Realistic Power Distribution Networks using Interdependent Road Infrastructure. IEEE BigData Rounak Meyur, Madhav V. Marathe, Anil Vullikanti, Henning S. Mortveit, Samarth Swarup, Virgilio Centeno, Arun G. Phadke
2020	J	`jnl`	Creating Realistic Synthetic Power Distribution Networks based on Interdependent Road Infrastructure. CoRR Rounak Meyur, Madhav V. Marathe, Anil Vullikanti, Henning S. Mortveit, Virgilio Centeno, Arun G. Phadke
2020	C	`conf`	Improved Travel Demand Modeling with Synthetic Populations. MABS Kaidi Wang, Wenwen Zhang, Henning S. Mortveit, Samarth Swarup
2020	A	`conf`	Live Simulations. AAMAS Samarth Swarup, Henning S. Mortveit
2019	—	`conf`	Modeling Urban Mobility Networks Using Constrained Labeled Sequences. COMPLEX NETWORKS (2) Stephen G. Eubank, Madhav V. Marathe, Henning S. Mortveit, Anil Vullikanti
2019	J	`jnl`	Optimizing spatial allocation of seasonal influenza vaccine under temporal constraints. PLoS Comput. Biol. Srinivasan Venkatramanan, Jiangzhuo Chen, Arindam Fadikar, Sandeep Gupta, Dave Higdon, Bryan L. Lewis, Madhav V. Marathe, Henning S. Mortveit, Anil Vullikanti
2019	Misc	`conf`	Validating Agent-Based Models of Large Networked Systems. WSC Abhijin Adiga, Samarth Swarup, Anil Vullikanti, Christopher L. Barrett, Stephen G. Eubank, Chris J. Kuhlman, Madhav V. Marathe, Henning S. Mortveit, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2018	J	`jnl`	Block Invariance in a Family of Elementary Cellular Automata. J. Cell. Autom. Eric Goles, Marco Montalva-Medel, Stephanie Maclean, Henning S. Mortveit
2018	Misc	`conf`	Pipelines and their Compositions for Modeling and Analysis of controlled Online Networked Social Science Experiments. WSC Vanessa Cedeno-Mieles, Yihui Ren, Saliya Ekanayake, Brian J. Goode, Chris J. Kuhlman, Dustin Machi, Madhav V. Marathe, Henning S. Mortveit, Zhihao Hu, Xinwei Deng, Naren Ramakrishnan, Parang Saraf, Nathan Self, Noshir Contractor, Joshua M. Epstein, Michael W. Macy
2017	—	`conf`	A Framework for Validation of Network-based Simulation Models: an Application to Modeling Interventions of Pandemics. SIGSIM-PADS Sichao Wu, Henning S. Mortveit, Sandeep Gupta
2017	J	`jnl`	Activity in Boolean networks. Nat. Comput. Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit, Sichao Wu
2017	—	`conf`	Spatio-Temporal Optimization of Seasonal Vaccination Using a Metapopulation Model of Influenza. ICHI Srinivasan Venkatramanan, Jiangzhuo Chen, Sandeep Gupta, Bryan L. Lewis, Madhav V. Marathe, Henning S. Mortveit, Anil Vullikanti
2015	Misc	`conf`	A general framework for experimental design, uncertainty quantification and sensitivity analysis of computer simulation models. WSC Sichao Wu, Henning S. Mortveit
2015	J	`jnl`	Block Invariance in Elementary Cellular Automata. J. Cell. Autom. Eric Goles Ch., Marco Montalva-Medel, Henning S. Mortveit, Salvador Ramírez-Flandes
2015	—	`conf`	Effect of Graph Structure on the Limit Sets of Threshold Dynamical Systems. Automata Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit, Sichao Wu
2015	J	`jnl`	Limit Sets of Generalized, Multi-Threshold Networks. J. Cell. Autom. Chris J. Kuhlman, Henning S. Mortveit
2015	—	`conf`	Network Structure and Activity in Boolean Networks. Automata Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit, Sichao Wu
2014	J	`jnl`	Attractor stability in nonuniform Boolean networks. Theor. Comput. Sci. Chris J. Kuhlman, Henning S. Mortveit
2014	—	`conf`	CINET 2.0: A CyberInfrastructure for Network Science. eScience Sherif Hanie El Meligy Abdelhamid, Md. Maksudul Alam, Richard A. Aló, Shaikh Arifuzzaman, Peter H. Beckman, Tirtha Bhattacharjee, Md Hasanuzzaman Bhuiyan, Keith R. Bisset, Stephen G. Eubank, Albert C. Esterline, Edward A. Fox, Geoffrey C. Fox, S. M. Shamimul Hasan, Harshal Hayatnagarkar, Maleq Khan, Chris J. Kuhlman, Madhav V. Marathe, Natarajan Meghanathan, Henning S. Mortveit, Judy Qiu, S. S. Ravi, Zalia Shams, Ongard Sirisaengtaksin, Samarth Swarup, Anil Kumar S. Vullikanti, Tak-Lon Wu
2014	—	`conf`	Cycle Equivalence of Finite Dynamical Systems Containing Symmetries. Automata Matthew Macauley, Henning S. Mortveit
2014	C	`conf`	Impact of a Surface Nuclear Blast on the Transient Stability of the Power System. CRITIS Christopher L. Barrett, Virgilio Centeno, Stephen G. Eubank, C. Yaman Evrenosoglu, Achla Marathe, Madhav V. Marathe, Chetan Mishra, Henning S. Mortveit, Anamitra Pal, Arun G. Phadke, James S. Thorp, Anil Vullikanti, Mina Youssef
2014	J	`jnl`	Limit cycle structure for dynamic bi-threshold systems. Theor. Comput. Sci. Sichao Wu, Abhijin Adiga, Henning S. Mortveit
2014	J	`jnl`	Sensitivity of Diffusion Dynamics to Network Uncertainty. J. Artif. Intell. Res. Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit, Anil Vullikanti
2013	J	`jnl`	An atlas of limit set dynamics for asynchronous elementary cellular automata. Theor. Comput. Sci. Matthew Macauley, Henning S. Mortveit
2013	—	`conf`	Interactions among human behavior, social networks, and societal infrastructures: A Case Study in Computational Epidemiology. Fundamental Problems in Computing Christopher L. Barrett, Keith R. Bisset, Jiangzhuo Chen, Stephen G. Eubank, Bryan L. Lewis, V. S. Anil Kumar, Madhav V. Marathe, Henning S. Mortveit
2013	Misc	`conf`	Planning and response in the aftermath of a large crisis: An agent-based informatics framework. WSC Christopher L. Barrett, Keith R. Bisset, Shridhar Chandan, Jiangzhuo Chen, Youngyun Chungbaek, Stephen G. Eubank, C. Yaman Evrenosoglu, Bryan L. Lewis, Kristian Lum, Achla Marathe, Madhav V. Marathe, Henning S. Mortveit, Nidhi Parikh, Arun G. Phadke, Jeffrey H. Reed, Caitlin M. Rivers, Sudip Saha, Paula Elaine Stretz, Samarth Swarup, James S. Thorp, Anil Vullikanti, Dawen Xie
2013	A*	`conf`	Sensitivity of Diffusion Dynamics to Network Uncertainty. AAAI Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit, Anil Kumar S. Vullikanti
2013	—	`conf`	Synthesizing Social Proximity Networks by Combining Subjective Surveys with Digital Traces. CSE Huadong Xia, Jiangzhuo Chen, Madhav V. Marathe, Henning S. Mortveit, Marcel Salathé
2012	—	`conf`	CINET: A cyberinfrastructure for network science. eScience Sherif Elmeligy Abdelhamid, Richard A. Aló, S. M. Arifuzzaman, Peter H. Beckman, Md Hasanuzzaman Bhuiyan, Keith R. Bisset, Edward A. Fox, Geoffrey Charles Fox, Kevin Hall, S. M. Shamimul Hasan, Anurodh Joshi, Maleq Khan, Chris J. Kuhlman, Spencer J. Lee, Jonathan Leidig, Hemanth Makkapati, Madhav V. Marathe, Henning S. Mortveit, Judy Qiu, S. S. Ravi, Zalia Shams, Ongard Sirisaengtaksin, Rajesh Subbiah, Samarth Swarup, Nick Trebon, Anil Vullikanti, Zhao Zhao
2012	—	`conf`	Limit Cycle Structure for Block-Sequential Threshold Systems. ACRI Henning S. Mortveit
2011	Misc	`conf`	A general-purpose graph dynamical system modeling framework. WSC Chris J. Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Gaurav Tuli, S. S. Ravi, Daniel J. Rosenkrantz
2011	—	`conf`	Bifurcations in Boolean Networks. Automata Chris J. Kuhlman, Henning S. Mortveit, David Murrugarra, V. S. Anil Kumar
2011	—	`conf`	Improving simulation management systems through ontology generation and utilization. JCDL Jonathan Leidig, Edward A. Fox, Kevin Hall, Madhav V. Marathe, Henning S. Mortveit
2011	J	`jnl`	Posets from Admissible Coxeter Sequences. Electron. J. Comb. Matthew Macauley, Henning S. Mortveit
2011	—	`conf`	SimDL: a model ontology driven digital library for simulation systems. JCDL Jonathan Leidig, Edward A. Fox, Kevin Hall, Madhav V. Marathe, Henning S. Mortveit
2011	—	`conf`	Synthesis and Refinement of Detailed Subnetworks in a Social Contact Network for Epidemic Simulations. SBP Huadong Xia, Jiangzhuo Chen, Madhav V. Marathe, Henning S. Mortveit
2010	J	`jnl`	Coxeter Groups and Asynchronous Cellular Automata CoRR Matthew Macauley, Henning S. Mortveit
2010	—	`conf`	Coxeter Groups and Asynchronous Cellular Automata. ACRI Matthew Macauley, Henning S. Mortveit
2009	—	`ch.`	Agent Based Modeling, Mathematical Formalism for. Encyclopedia of Complexity and Systems Science Reinhard C. Laubenbacher, Abdul Salam Jarrah, Henning S. Mortveit, S. S. Ravi
2009	—	`conf`	Limit Set Reachability in Asynchronous Graph Dynamical Systems. RP V. S. Anil Kumar, Matthew Macauley, Henning S. Mortveit
2008	J	`jnl`	A mathematical formalism for agent-based modeling CoRR Reinhard C. Laubenbacher, Abdul Salam Jarrah, Henning S. Mortveit, S. S. Ravi
2008	—	`book`	An Introduction to Sequential Dynamical Systems. Henning S. Mortveit, Christian M. Reidys
2008	J	`jnl`	Order Independence in Asynchronous Cellular Automata. J. Cell. Autom. Matthew Macauley, Jon McCammond, Henning S. Mortveit
2007	B	`conf`	Formal Modeling of Process Migration. FPL Aric D. Blumer, Henning S. Mortveit, Cameron D. Patterson
2005	Misc	`conf`	Metropolitan Road Traffic Simulation on FPGAs. FCCM Justin L. Tripp, Henning S. Mortveit, Anders A. Hansson, Maya B. Gokhale
2005	J	`jnl`	On Asynchronous Cellular Automata. Adv. Complex Syst. Anders Å. Hansson, Henning S. Mortveit, Christian M. Reidys
2005	A	`conf`	Partitioning Hardware and Software for Reconfigurable Supercomputing Applications: A Case Study. SC Justin L. Tripp, Anders A. Hansson, Maya B. Gokhale, Henning S. Mortveit
2004	J	`jnl`	Neutral Evolution and Mutation Rates of Sequential Dynamical Systems. Adv. Complex Syst. Henning S. Mortveit, Christian M. Reidys
2004	J	`jnl`	Reduction of Discrete Dynamical Systems over Graphs. Adv. Complex Syst. Henning S. Mortveit, Christian M. Reidys
2003	J	`jnl`	ETS IV: Sequential dynamical systems: fixed points, invertibility and equivalence. Appl. Math. Comput. Christopher L. Barrett, Henning S. Mortveit, Christian M. Reidys
2002	J	`jnl`	Sequential dynamical systems. Artif. Life Robotics Christopher L. Barrett, Henning S. Mortveit, Christian M. Reidys
2001	J	`jnl`	Discrete, sequential dynamical systems. Discret. Math. Henning S. Mortveit, Christian M. Reidys
2001	J	`jnl`	Elements of a theory of simulation III: equivalence of SDS. Appl. Math. Comput. Christopher L. Barrett, Henning S. Mortveit, Christian M. Reidys
2000	J	`jnl`	Elements of a theory of simulation II: sequential dynamical systems. Appl. Math. Comput. Christopher L. Barrett, Henning S. Mortveit, Christian M. Reidys
2000	—	`conf`	Sequential Dynamical Systems and Applications to Simulations. Annual Simulation Symposium Christopher L. Barrett, B. W. Bush, Stephan Kopp, Henning S. Mortveit, Christian M. Reidys