Henning S. Mortveit

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 51

Top Topics

Power Distribution Networks

Boolean Networks

Sensitivity Analysis

Dynamical Systems

Top Venues

J. Cell. Autom.

Publications

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
A Generalizable Theory-Driven Agent-Based Framework to Study Conflict-Induced Forced Migration. AAAI (2024)
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
A Large-Scale Epidemic Simulation Framework for Realistic Social Contact Networks. CoRR (2024)
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
Network Agency: An Agent-based Model of Forced Migration from Ukraine. AAMAS (2024)
Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
Strategic Routing and Scheduling for Evacuations. CoRR (2024)
Swapna Thorve, Henning S. Mortveit, Anil Vullikanti, Madhav V. Marathe, Samarth Swarup
Assessing Fairness of Residential Dynamic Pricing for Electricity using Active Learning with Agent-based Simulation. AAMAS (2024)
Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
Strategic Routing and Scheduling for Evacuations. AAMAS (2024)
Amro Alabsi Aljundi, Galen Harrison, Jiangzhuo Chen, Madhav V. Marathe, Henning S. Mortveit, Anil Vullikanti, Abhijin Adiga
A Network-based Analytics Framework for High-Resolution Agent-based Epidemic Simulation Ensembles. WSC (2023)
Sami Saliba, Faraz Dadgostari, Stefan Hoops, Henning S. Mortveit, Samarth Swarup
Active Sensing for Epidemic State Estimation Using ABM-Guided Machine Learning. MABS (2023)
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
Data-driven scalable pipeline using national agent-based models for real-time pandemic response and decision support. Int. J. High Perform. Comput. Appl. 37 (1) (2023)
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
Synthetic Information and Digital Twins for Pandemic Science: Challenges and Opportunities. TPS-ISA (2023)
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
Augmenting the Social Vulnerability Index using an agent-based simulation of Hurricane Harvey. Comput. Environ. Urban Syst. 105 (2023)
Henning S. Mortveit
Asynchronous, finite dynamical systems. Nat. Comput. 22 (2) (2023)
Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
Simulation-Assisted Optimization for Large-Scale Evacuation Planning with Congestion-Dependent Delays. IJCAI (2023)
Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
Towards Optimal and Scalable Evacuation Planning Using Data-driven Agent Based Models. AAMAS (2023)
Rounak Meyur, Swapna Thorve, Madhav Marathe, Anil Vullikanti, Samarth Swarup, Henning S. Mortveit
A Reliability-aware Distributed Framework to Schedule Residential Charging of Electric Vehicles. CoRR (2022)
Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
Incorporating Fairness in Large-scale Evacuation Planning. CIKM (2022)
Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
A Scalable Data-Driven Technique for Joint Evacuation Routing and Scheduling Problems. CoRR (2022)
Henning S. Mortveit, Ryan Pederson
Attractor Stability in Finite Asynchronous Biological System Models. CoRR (2022)
Faraz Dadgostari, Samarth Swarup, Stephen C. Adams, Peter A. Beling, Henning S. Mortveit
Identifying Correlates of Emergent Behaviors in Agent-Based Simulation Models Using Inverse Reinforcement Learning. WSC (2022)
Kazi Ashik Islam, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
Data-driven Agent-based Models for Optimal Evacuation of Large Metropolitan Areas for Improved Disaster Planning. AAMAS (2022)
Henning S. Mortveit, Stephen C. Adams, Faraz Dadgostari, Samarth Swarup, Peter A. Beling
BESSIE: A Behavior and Epidemic Simulator for Use With Synthetic Populations. CoRR (2022)
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
Effective Social Network-Based Allocation of COVID-19 Vaccines. KDD (2022)
Rounak Meyur, Anil Vullikanti, Samarth Swarup, Henning S. Mortveit, Virgilio Centeno, Arun G. Phadke, H. Vincent Poor, Madhav V. Marathe
Ensembles of Realistic Power Distribution Networks. CoRR (2022)
Swapna Thorve, Anil Vullikanti, Samarth Swarup, Henning S. Mortveit, Madhav V. Marathe
Modular and Extensible Pipelines for Residential Energy Demand Modeling and Simulation. WSC (2022)
Swapna Thorve, Anil Vullikanti, Henning S. Mortveit, Samarth Swarup, Madhav V. Marathe
Fidelity and diversity metrics for validating hierarchical synthetic data: Application to residential energy demand. Big Data (2022)
Abhijin Adiga, Nicholas Palmer, Young Yun Baek, Henning S. Mortveit, S. S. Ravi
Network Models and Simulation Analytics for Multi-scale Dynamics of Biological Invasions. Frontiers Big Data 5 (2022)
Rounak Meyur, Swapna Thorve, Madhav V. Marathe, Anil Vullikanti, Samarth Swarup, Henning S. Mortveit
A Reliability-aware Distributed Framework to Schedule Residential Charging of Electric Vehicles. IJCAI (2022)
Swapna Thorve, Young Yun Baek, Samarth Swarup, Henning S. Mortveit, Achla Marathe, Anil Vullikanti, Madhav V. Marathe
High-resolution synthetic residential energy use profiles for the United States. CoRR (2022)
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
High Performance Agent-Based Modeling to Study Realistic Contact Tracing Protocols. WSC (2021)
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
Scalable Epidemiological Workflows to Support COVID-19 Planning and Response. IPDPS (2021)
Parantapa Bhattacharya, Dustin Machi, Jiangzhuo Chen, Stefan Hoops, Bryan L. Lewis, Henning S. Mortveit, Srinivasan Venkatramanan, Mandy L. Wilson, Achla Marathe, Przemyslaw Porebski, Brian Klahn, Joseph Outten, Anil Vullikanti, Dawen Xie, Abhijin Adiga, Shawn Brown, Christopher L. Barrett, Madhav Marathe
AI-Driven Agent-Based Models to Study the Role of Vaccine Acceptance in Controlling COVID-19 Spread in the US. IEEE BigData (2021)
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
Realistic Commodity Flow Networks to Assess Vulnerability of Food Systems. COMPLEX NETWORKS (2021)
Rounak Meyur, Madhav Marathe, Anil Vullikanti, Henning S. Mortveit, Samarth Swarup, Virgilio Centeno, Arun G. Phadke
Creating Realistic Power Distribution Networks using Interdependent Road Infrastructure. IEEE BigData (2020)
Rounak Meyur, Madhav Marathe, Anil Vullikanti, Henning S. Mortveit, Virgilio Centeno, Arun G. Phadke
Creating Realistic Synthetic Power Distribution Networks based on Interdependent Road Infrastructure. CoRR (2020)
José C. Valverde, Henning S. Mortveit, Carlos Gershenson, Yongtang Shi
Boolean Networks and Their Applications in Science and Engineering. Complex. 2020 (2020)
Samarth Swarup, Henning S. Mortveit
Live Simulations. AAMAS (2020)
Kazi Ashik Islam, Madhav Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti
A Simulation-based Approach for Large-scale Evacuation Planning. IEEE BigData (2020)
Kaidi Wang, Wenwen Zhang, Henning S. Mortveit, Samarth Swarup
Improved Travel Demand Modeling with Synthetic Populations. MABS (2020)
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
Validating Agent-Based Models of Large Networked Systems. WSC (2019)
Srinivasan Venkatramanan, Jiangzhuo Chen, Arindam Fadikar, Sandeep Gupta, Dave Higdon, Bryan L. Lewis, Madhav Marathe, Henning S. Mortveit, Anil Vullikanti
Optimizing spatial allocation of seasonal influenza vaccine under temporal constraints. PLoS Comput. Biol. 15 (9) (2019)
Stephen G. Eubank, Madhav Marathe, Henning S. Mortveit, Anil Vullikanti
Modeling Urban Mobility Networks Using Constrained Labeled Sequences. COMPLEX NETWORKS (2) (2019)
Eric Goles, Marco Montalva-Medel, Stephanie Maclean, Henning S. Mortveit
Block Invariance in a Family of Elementary Cellular Automata. J. Cell. Autom. 13 (1-2) (2018)
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
Pipelines and their Compositions for Modeling and Analysis of controlled Online Networked Social Science Experiments. WSC (2018)
Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit, Sichao Wu
Activity in Boolean networks. Nat. Comput. 16 (3) (2017)
Srinivasan Venkatramanan, Jiangzhuo Chen, Sandeep Gupta, Bryan L. Lewis, Madhav Marathe, Henning S. Mortveit, Anil Vullikanti
Spatio-Temporal Optimization of Seasonal Vaccination Using a Metapopulation Model of Influenza. ICHI (2017)
Sichao Wu, Henning S. Mortveit, Sandeep Gupta
A Framework for Validation of Network-based Simulation Models: an Application to Modeling Interventions of Pandemics. SIGSIM-PADS (2017)
Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit, Sichao Wu
Network Structure and Activity in Boolean Networks. Automata (2015)
Sichao Wu, Henning S. Mortveit
A general framework for experimental design, uncertainty quantification and sensitivity analysis of computer simulation models. WSC (2015)
Chris J. Kuhlman, Henning S. Mortveit
Limit Sets of Generalized, Multi-Threshold Networks. J. Cell. Autom. 10 (3-4) (2015)
Eric Goles Ch., Marco Montalva-Medel, Henning S. Mortveit, Salvador Ramírez-Flandes
Block Invariance in Elementary Cellular Automata. J. Cell. Autom. 10 (1-2) (2015)
Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit, Sichao Wu
Effect of Graph Structure on the Limit Sets of Threshold Dynamical Systems. Automata (2015)
Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit, Anil Vullikanti
Sensitivity of Diffusion Dynamics to Network Uncertainty. J. Artif. Intell. Res. 51 (2014)
Matthew Macauley, Henning S. Mortveit
Cycle Equivalence of Finite Dynamical Systems Containing Symmetries. Automata (2014)
Chris J. Kuhlman, Henning S. Mortveit
Attractor stability in nonuniform Boolean networks. Theor. Comput. Sci. 559 (2014)
Sichao Wu, Abhijin Adiga, Henning S. Mortveit
Limit cycle structure for dynamic bi-threshold systems. Theor. Comput. Sci. 559 (2014)
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
CINET 2.0: A CyberInfrastructure for Network Science. eScience (2014)
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
Impact of a Surface Nuclear Blast on the Transient Stability of the Power System. CRITIS (2014)
Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit, Anil Kumar S. Vullikanti
Sensitivity of Diffusion Dynamics to Network Uncertainty. AAAI (2013)
Christopher L. Barrett, Keith R. Bisset, Jiangzhuo Chen, Stephen G. Eubank, Bryan L. Lewis, V. S. Anil Kumar, Madhav V. Marathe, Henning S. Mortveit
Interactions among human behavior, social networks, and societal infrastructures: A Case Study in Computational Epidemiology. Fundamental Problems in Computing (2013)
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 Kiranbhai Parikh, Arun G. Phadke, Jeffrey H. Reed, Caitlin M. Rivers, Sudip Saha, Paula Elaine Stretz, Samarth Swarup, James S. Thorp, Anil Vullikanti, Dawen Xie
Planning and response in the aftermath of a large crisis: An agent-based informatics framework. WSC (2013)
Matthew Macauley, Henning S. Mortveit
An atlas of limit set dynamics for asynchronous elementary cellular automata. Theor. Comput. Sci. 504 (2013)
Huadong Xia, Jiangzhuo Chen, Madhav V. Marathe, Henning S. Mortveit, Marcel Salathé
Synthesizing Social Proximity Networks by Combining Subjective Surveys with Digital Traces. CSE (2013)
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
CINET: A cyberinfrastructure for network science. eScience (2012)
Henning S. Mortveit
Limit Cycle Structure for Block-Sequential Threshold Systems. ACRI (2012)
Huadong Xia, Jiangzhuo Chen, Madhav V. Marathe, Henning S. Mortveit
Synthesis and Refinement of Detailed Subnetworks in a Social Contact Network for Epidemic Simulations. SBP (2011)
Jonathan Leidig, Edward A. Fox, Kevin Hall, Madhav V. Marathe, Henning S. Mortveit
SimDL: a model ontology driven digital library for simulation systems. JCDL (2011)
Matthew Macauley, Henning S. Mortveit
Posets from Admissible Coxeter Sequences. Electron. J. Comb. 18 (1) (2011)
Chris J. Kuhlman, Henning S. Mortveit, David Murrugarra, V. S. Anil Kumar
Bifurcations in Boolean Networks. Automata (2011)
Chris J. Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Gaurav Tuli, S. S. Ravi, Daniel J. Rosenkrantz
A general-purpose graph dynamical system modeling framework. WSC (2011)
Jonathan Leidig, Edward A. Fox, Kevin Hall, Madhav V. Marathe, Henning S. Mortveit
Improving simulation management systems through ontology generation and utilization. JCDL (2011)
Matthew Macauley, Henning S. Mortveit
Coxeter Groups and Asynchronous Cellular Automata. ACRI (2010)
Matthew Macauley, Henning S. Mortveit
Coxeter Groups and Asynchronous Cellular Automata CoRR (2010)
V. S. Anil Kumar, Matthew Macauley, Henning S. Mortveit
Limit Set Reachability in Asynchronous Graph Dynamical Systems. RP (2009)
Matthew Macauley, Jon McCammond, Henning S. Mortveit
Order Independence in Asynchronous Cellular Automata. J. Cell. Autom. 3 (1) (2008)
Reinhard C. Laubenbacher, Abdul Salam Jarrah, Henning S. Mortveit, S. S. Ravi
A mathematical formalism for agent-based modeling CoRR (2008)
Aric D. Blumer, Henning S. Mortveit, Cameron D. Patterson
Formal Modeling of Process Migration. FPL (2007)
Justin L. Tripp, Henning S. Mortveit, Anders A. Hansson, Maya B. Gokhale
Metropolitan Road Traffic Simulation on FPGAs. FCCM (2005)
Justin L. Tripp, Anders A. Hansson, Maya B. Gokhale, Henning S. Mortveit
Partitioning Hardware and Software for Reconfigurable Supercomputing Applications: A Case Study. SC (2005)
Anders Å. Hansson, Henning S. Mortveit, Christian M. Reidys
On Asynchronous Cellular Automata. Adv. Complex Syst. 8 (4) (2005)
Henning S. Mortveit, Christian M. Reidys
Neutral Evolution and Mutation Rates of Sequential Dynamical Systems. Adv. Complex Syst. 7 (3-4) (2004)
Henning S. Mortveit, Christian M. Reidys
Reduction of Discrete Dynamical Systems over Graphs. Adv. Complex Syst. 7 (1) (2004)
Christopher L. Barrett, Henning S. Mortveit, Christian M. Reidys
ETS IV: Sequential dynamical systems: fixed points, invertibility and equivalence. Appl. Math. Comput. 134 (1) (2003)
Christopher L. Barrett, Henning S. Mortveit, Christian M. Reidys
Sequential dynamical systems. Artif. Life Robotics 6 (4) (2002)
Christopher L. Barrett, Henning S. Mortveit, Christian M. Reidys
Elements of a theory of simulation III: equivalence of SDS. Appl. Math. Comput. 122 (3) (2001)
Henning S. Mortveit, Christian M. Reidys
Discrete, sequential dynamical systems. Discret. Math. 226 (1-3) (2001)
Christopher L. Barrett, B. W. Bush, Stephan Kopp, Henning S. Mortveit, Christian M. Reidys
Sequential Dynamical Systems and Applications to Simulations. Annual Simulation Symposium (2000)
Christopher L. Barrett, Henning S. Mortveit, Christian M. Reidys
Elements of a theory of simulation II: sequential dynamical systems. Appl. Math. Comput. 107 (2-3) (2000)