default search action
Henning S. Mortveit
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c52]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: 23027-23033 - [c51]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: 1372-1380 - [c50]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: 1827-1836 - [c49]Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti:
Strategic Routing and Scheduling for Evacuations. AAMAS 2024: 2312-2314 - [i11]Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti:
Strategic Routing and Scheduling for Evacuations. CoRR abs/2401.04371 (2024) - [i10]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 abs/2401.08124 (2024) - 2023
- [j24]Parantapa Bhattacharya
, Jiangzhuo Chen, Stefan Hoops, Dustin Machi, Bryan L. Lewis, Srinivasan Venkatramanan
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): 4-27 (2023) - [j23]Henning S. Mortveit
Asynchronous, finite dynamical systems. Nat. Comput. 22(2): 357-377 (2023) - [j22]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: 102020 (2023) - [c48]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: 2397-2399 - [c47]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: 5359-5367 - [c46]Sami Saliba, Faraz Dadgostari, Stefan Hoops, Henning S. Mortveit, Samarth Swarup:
Active Sensing for Epidemic State Estimation Using ABM-Guided Machine Learning. MABS 2023: 30-45 - [c45]Galen Harrison, Przemyslaw J. Porebski, Jiangzhuo Chen, Mandy L. Wilson, Henning S. Mortveit, Parantapa Bhattacharya, Dawen Xie, Stefan Hoops, Anil Vullikanti
Synthetic Information and Digital Twins for Pandemic Science: Challenges and Opportunities. TPS-ISA 2023: 23-33 - [c44]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: 3741-3752 - 2022
- [j21]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: 796897 (2022) - [c43]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: 1639-1641 - [c42]Swapna Thorve, Anil Vullikanti, Henning S. Mortveit
Fidelity and diversity metrics for validating hierarchical synthetic data: Application to residential energy demand. IEEE Big Data 2022: 1377-1382 - [c41]Kazi Ashik Islam, Da Qi Chen, Madhav V. Marathe, Henning S. Mortveit
Incorporating Fairness in Large-scale Evacuation Planning. CIKM 2022: 3192-3201 - [c40]Rounak Meyur
A Reliability-aware Distributed Framework to Schedule Residential Charging of Electric Vehicles. IJCAI 2022: 5115-5121 - [c39]Jiangzhuo Chen, Stefan Hoops, Achla Marathe, Henning S. Mortveit
Effective Social Network-Based Allocation of COVID-19 Vaccines. KDD 2022: 4675-4683 - [c38]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: 322-333 - [c37]Swapna Thorve, Anil Vullikanti, Samarth Swarup, Henning S. Mortveit
Modular and Extensible Pipelines for Residential Energy Demand Modeling and Simulation. WSC 2022: 855-866 - [i9]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. CoRR abs/2202.07092 (2022) - [i8]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 abs/2203.11414 (2022) - [i7]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 abs/2208.06384 (2022) - [i6]Henning S. Mortveit, Ryan Pederson:
Attractor Stability in Finite Asynchronous Biological System Models. CoRR abs/2208.11732 (2022) - [i5]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 abs/2209.01535 (2022) - [i4]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 abs/2210.08103 (2022) - 2021
- [c36]Parantapa Bhattacharya, Dustin Machi, Jiangzhuo Chen, Stefan Hoops, Bryan L. Lewis
AI-Driven Agent-Based Models to Study the Role of Vaccine Acceptance in Controlling COVID-19 Spread in the US. IEEE BigData 2021: 1566-1574 - [c35]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: 168-179 - [c34]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: 639-650 - [c33]Stefan Hoops, Jiangzhuo Chen, Abhijin Adiga, Bryan L. Lewis
High Performance Agent-Based Modeling to Study Realistic Contact Tracing Protocols. WSC 2021: 1-12 - 2020
- [j20]José C. Valverde
Boolean Networks and Their Applications in Science and Engineering. Complex. 2020: 6183798:1-6183798:3 (2020) - [c32]Samarth Swarup, Henning S. Mortveit:
Live Simulations. AAMAS 2020: 1721-1725 - [c31]Rounak Meyur
Creating Realistic Power Distribution Networks using Interdependent Road Infrastructure. IEEE BigData 2020: 1226-1235 - [c30]Kazi Ashik Islam, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Anil Vullikanti:
A Simulation-based Approach for Large-scale Evacuation Planning. IEEE BigData 2020: 1338-1345 - [c29]Kaidi Wang
Improved Travel Demand Modeling with Synthetic Populations. MABS 2020: 94-105 - [i3]Rounak Meyur, Madhav V. Marathe, Anil Vullikanti, Henning S. Mortveit, Virgilio Centeno, Arun G. Phadke:
Creating Realistic Synthetic Power Distribution Networks based on Interdependent Road Infrastructure. CoRR abs/2001.09130 (2020)
2010 – 2019
- 2019
- [j19]Srinivasan Venkatramanan
Optimizing spatial allocation of seasonal influenza vaccine under temporal constraints. PLoS Comput. Biol. 15(9) (2019) - [c28]Stephen G. Eubank, Madhav V. Marathe, Henning S. Mortveit, Anil Vullikanti:
Modeling Urban Mobility Networks Using Constrained Labeled Sequences. COMPLEX NETWORKS (2) 2019: 955-966 - [c27]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: 2807-2818 - 2018
- [j18]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): 15-32 (2018) - [c26]Vanessa Cedeno-Mieles
Pipelines and their Compositions for Modeling and Analysis of controlled Online Networked Social Science Experiments. WSC 2018: 774-785 - 2017
- [j17]Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit
Activity in Boolean networks. Nat. Comput. 16(3): 427-439 (2017) - [c25]Srinivasan Venkatramanan, Jiangzhuo Chen, Sandeep Gupta, Bryan L. Lewis, Madhav V. Marathe, Henning S. Mortveit
Spatio-Temporal Optimization of Seasonal Vaccination Using a Metapopulation Model of Influenza. ICHI 2017: 134-143 - [c24]Sichao Wu, Henning S. Mortveit
A Framework for Validation of Network-based Simulation Models: an Application to Modeling Interventions of Pandemics. SIGSIM-PADS 2017: 197-207 - 2015
- [j16]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): 119-135 (2015) - [j15]Chris J. Kuhlman, Henning S. Mortveit:
Limit Sets of Generalized, Multi-Threshold Networks. J. Cell. Autom. 10(3-4): 161-193 (2015) - [c23]Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit
Effect of Graph Structure on the Limit Sets of Threshold Dynamical Systems. Automata 2015: 59-70 - [c22]Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit
Network Structure and Activity in Boolean Networks. Automata 2015: 210-223 - [c21]Sichao Wu, Henning S. Mortveit
A general framework for experimental design, uncertainty quantification and sensitivity analysis of computer simulation models. WSC 2015: 1139-1150 - 2014
- [j14]Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit, Anil Vullikanti:
Sensitivity of Diffusion Dynamics to Network Uncertainty. J. Artif. Intell. Res. 51: 207-226 (2014) - [j13]Chris J. Kuhlman, Henning S. Mortveit
Attractor stability in nonuniform Boolean networks. Theor. Comput. Sci. 559: 20-33 (2014) - [j12]Sichao Wu, Abhijin Adiga, Henning S. Mortveit
Limit cycle structure for dynamic bi-threshold systems. Theor. Comput. Sci. 559: 34-41 (2014) - [c20]Matthew Macauley, Henning S. Mortveit
Cycle Equivalence of Finite Dynamical Systems Containing Symmetries. Automata 2014: 70-82 - [c19]Christopher L. Barrett, Virgilio Centeno, Stephen G. Eubank
Impact of a Surface Nuclear Blast on the Transient Stability of the Power System. CRITIS 2014: 153-158 - [c18]Sherif Hanie El Meligy Abdelhamid, Md. Maksudul Alam
CINET 2.0: A CyberInfrastructure for Network Science. eScience 2014: 324-331 - 2013
- [j11]Matthew Macauley, Henning S. Mortveit
An atlas of limit set dynamics for asynchronous elementary cellular automata. Theor. Comput. Sci. 504: 26-37 (2013) - [c17]Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit, Anil Kumar S. Vullikanti:
Sensitivity of Diffusion Dynamics to Network Uncertainty. AAAI 2013: 2-8 - [c16]Christopher L. Barrett, Keith R. Bisset, Jiangzhuo Chen, Stephen G. Eubank
Interactions among human behavior, social networks, and societal infrastructures: A Case Study in Computational Epidemiology. Fundamental Problems in Computing 2013: 477-507 - [c15]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: 188-195 - [c14]Christopher L. Barrett, Keith R. Bisset, Shridhar Chandan, Jiangzhuo Chen, Youngyun Chungbaek, Stephen G. Eubank
Planning and response in the aftermath of a large crisis: An agent-based informatics framework. WSC 2013: 1515-1526 - 2012
- [c13]Henning S. Mortveit
Limit Cycle Structure for Block-Sequential Threshold Systems. ACRI 2012: 672-678 - [c12]Sherif Elmeligy Abdelhamid, Richard A. Aló, S. M. Arifuzzaman, Peter H. Beckman, Md Hasanuzzaman Bhuiyan, Keith R. Bisset, Edward A. Fox
CINET: A cyberinfrastructure for network science. eScience 2012: 1-8 - 2011
- [j10]Matthew Macauley, Henning S. Mortveit:
Posets from Admissible Coxeter Sequences. Electron. J. Comb. 18(1) (2011) - [c11]Chris J. Kuhlman, Henning S. Mortveit, David Murrugarra, V. S. Anil Kumar:
Bifurcations in Boolean Networks. Automata 2011: 29-46 - [c10]Jonathan Leidig, Edward A. Fox
SimDL: a model ontology driven digital library for simulation systems. JCDL 2011: 81-84 - [c9]Jonathan Leidig, Edward A. Fox
Improving simulation management systems through ontology generation and utilization. JCDL 2011: 435-436 - [c8]Huadong Xia, Jiangzhuo Chen
Synthesis and Refinement of Detailed Subnetworks in a Social Contact Network for Epidemic Simulations. SBP 2011: 366-373 - [c7]Chris J. Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, Henning S. Mortveit
A general-purpose graph dynamical system modeling framework. WSC 2011: 296-308 - 2010
- [c6]Matthew Macauley, Henning S. Mortveit
Coxeter Groups and Asynchronous Cellular Automata. ACRI 2010: 409-418 - [i2]Matthew Macauley, Henning S. Mortveit:
Coxeter Groups and Asynchronous Cellular Automata. CoRR abs/1010.1955 (2010)
2000 – 2009
- 2009
- [c5]V. S. Anil Kumar, Matthew Macauley, Henning S. Mortveit
Limit Set Reachability in Asynchronous Graph Dynamical Systems. RP 2009: 217-232 - [r1]Reinhard C. Laubenbacher, Abdul Salam Jarrah, Henning S. Mortveit
Agent Based Modeling, Mathematical Formalism for. Encyclopedia of Complexity and Systems Science 2009: 160-176 - 2008
- [b1]Henning S. Mortveit
An Introduction to Sequential Dynamical Systems. Universitext, Springer 2008, ISBN 978-0-387-30654-4, pp. I-XII, 1-248 - [j9]Matthew Macauley, Jon McCammond, Henning S. Mortveit:
Order Independence in Asynchronous Cellular Automata. J. Cell. Autom. 3(1): 37-56 (2008) - [i1]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
- [c4]Aric D. Blumer, Henning S. Mortveit
Formal Modeling of Process Migration. FPL 2007: 104-110 - 2005
- [j8]Anders Å. Hansson, Henning S. Mortveit
On Asynchronous Cellular Automata. Adv. Complex Syst. 8(4): 521-538 (2005) - [c3]Justin L. Tripp, Henning S. Mortveit
Metropolitan Road Traffic Simulation on FPGAs. FCCM 2005: 117-126 - [c2]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: 27 - 2004
- [j7]Henning S. Mortveit
Reduction of Discrete Dynamical Systems over Graphs. Adv. Complex Syst. 7(1): 1-20 (2004) - [j6]Henning S. Mortveit
Neutral Evolution and Mutation Rates of Sequential Dynamical Systems. Adv. Complex Syst. 7(3-4): 395-418 (2004) - 2003
- [j5]Christopher L. Barrett, Henning S. Mortveit
ETS IV: Sequential dynamical systems: fixed points, invertibility and equivalence. Appl. Math. Comput. 134(1): 153-171 (2003) - 2002
- [j4]Christopher L. Barrett, Henning S. Mortveit, Christian M. Reidys:
Sequential dynamical systems. Artif. Life Robotics 6(4): 167-169 (2002) - 2001
- [j3]Christopher L. Barrett, Henning S. Mortveit
Elements of a theory of simulation III: equivalence of SDS. Appl. Math. Comput. 122(3): 325-340 (2001) - [j2]Henning S. Mortveit
Discrete, sequential dynamical systems. Discret. Math. 226(1-3): 281-295 (2001) - 2000
- [j1]Christopher L. Barrett, Henning S. Mortveit
Elements of a theory of simulation II: sequential dynamical systems. Appl. Math. Comput. 107(2-3): 121-136 (2000) - [c1]Christopher L. Barrett, B. W. Bush, Stephan Kopp, Henning S. Mortveit
Sequential Dynamical Systems and Applications to Simulations. Annual Simulation Symposium 2000: 245-252
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-24 21:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: