Henning S. Mortveit

Orcid: 0000-0003-3363-2947

According to our database1, Henning S. Mortveit authored at least 82 papers between 2000 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Large-Scale Epidemic Simulation Framework for Realistic Social Contact Networks.
CoRR, 2024

Strategic Routing and Scheduling for Evacuations.
CoRR, 2024

A Generalizable Theory-Driven Agent-Based Framework to Study Conflict-Induced Forced Migration.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Augmenting the Social Vulnerability Index using an agent-based simulation of Hurricane Harvey.
Comput. Environ. Urban Syst., October, 2023

Asynchronous, finite dynamical systems.
Nat. Comput., June, 2023

Data-driven scalable pipeline using national agent-based models for real-time pandemic response and decision support.
Int. J. High Perform. Comput. Appl., 2023

A Network-based Analytics Framework for High-Resolution Agent-based Epidemic Simulation Ensembles.
Proceedings of the Winter Simulation Conference, 2023

Synthetic Information and Digital Twins for Pandemic Science: Challenges and Opportunities.
Proceedings of the 5th IEEE International Conference on Trust, 2023

Simulation-Assisted Optimization for Large-Scale Evacuation Planning with Congestion-Dependent Delays.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Towards Optimal and Scalable Evacuation Planning Using Data-driven Agent Based Models.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022
Network Models and Simulation Analytics for Multi-scale Dynamics of Biological Invasions.
Frontiers Big Data, 2022

High-resolution synthetic residential energy use profiles for the United States.
CoRR, 2022

A Scalable Data-Driven Technique for Joint Evacuation Routing and Scheduling Problems.
CoRR, 2022

Attractor Stability in Finite Asynchronous Biological System Models.
CoRR, 2022

Ensembles of Realistic Power Distribution Networks.
CoRR, 2022

BESSIE: A Behavior and Epidemic Simulator for Use With Synthetic Populations.
CoRR, 2022

Modular and Extensible Pipelines for Residential Energy Demand Modeling and Simulation.
Proceedings of the Winter Simulation Conference, 2022

Identifying Correlates of Emergent Behaviors in Agent-Based Simulation Models Using Inverse Reinforcement Learning.
Proceedings of the Winter Simulation Conference, 2022

Effective Social Network-Based Allocation of COVID-19 Vaccines.
Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

A Reliability-aware Distributed Framework to Schedule Residential Charging of Electric Vehicles.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Incorporating Fairness in Large-scale Evacuation Planning.
Proceedings of the 31st ACM International Conference on Information & Knowledge Management, 2022

Fidelity and diversity metrics for validating hierarchical synthetic data: Application to residential energy demand.
Proceedings of the IEEE International Conference on Big Data, 2022

Data-driven Agent-based Models for Optimal Evacuation of Large Metropolitan Areas for Improved Disaster Planning.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Scalable Epidemiological Workflows to Support COVID-19 Planning and Response.
Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021

Realistic Commodity Flow Networks to Assess Vulnerability of Food Systems.
Proceedings of the Complex Networks & Their Applications X - Volume 1, Proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021, Madrid, Spain, November 30, 2021

AI-Driven Agent-Based Models to Study the Role of Vaccine Acceptance in Controlling COVID-19 Spread in the US.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

2020
Creating Realistic Synthetic Power Distribution Networks based on Interdependent Road Infrastructure.
CoRR, 2020

Boolean Networks and Their Applications in Science and Engineering.
Complex., 2020

Improved Travel Demand Modeling with Synthetic Populations.
Proceedings of the Multi-Agent-Based Simulation XXI - 21st International Workshop, 2020

Creating Realistic Power Distribution Networks using Interdependent Road Infrastructure.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

A Simulation-based Approach for Large-scale Evacuation Planning.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

Live Simulations.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
Optimizing spatial allocation of seasonal influenza vaccine under temporal constraints.
PLoS Comput. Biol., 2019

Validating Agent-Based Models of Large Networked Systems.
Proceedings of the 2019 Winter Simulation Conference, 2019

Modeling Urban Mobility Networks Using Constrained Labeled Sequences.
Proceedings of the Complex Networks and Their Applications VIII, 2019

2018
Block Invariance in a Family of Elementary Cellular Automata.
J. Cell. Autom., 2018

Pipelines and their Compositions for Modeling and Analysis of controlled Online Networked Social Science Experiments.
Proceedings of the 2018 Winter Simulation Conference, 2018

2017
Activity in Boolean networks.
Nat. Comput., 2017

A Framework for Validation of Network-based Simulation Models: an Application to Modeling Interventions of Pandemics.
Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2017

Spatio-Temporal Optimization of Seasonal Vaccination Using a Metapopulation Model of Influenza.
Proceedings of the 2017 IEEE International Conference on Healthcare Informatics, 2017

2015
Limit Sets of Generalized, Multi-Threshold Networks.
J. Cell. Autom., 2015

Block Invariance in Elementary Cellular Automata.
J. Cell. Autom., 2015

A general framework for experimental design, uncertainty quantification and sensitivity analysis of computer simulation models.
Proceedings of the 2015 Winter Simulation Conference, 2015

Effect of Graph Structure on the Limit Sets of Threshold Dynamical Systems.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2015

Network Structure and Activity in Boolean Networks.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2015

2014
Limit cycle structure for dynamic bi-threshold systems.
Theor. Comput. Sci., 2014

Attractor stability in nonuniform Boolean networks.
Theor. Comput. Sci., 2014

Sensitivity of Diffusion Dynamics to Network Uncertainty.
J. Artif. Intell. Res., 2014


Impact of a Surface Nuclear Blast on the Transient Stability of the Power System.
Proceedings of the Critical Information Infrastructures Security, 2014

Cycle Equivalence of Finite Dynamical Systems Containing Symmetries.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2014

2013
An atlas of limit set dynamics for asynchronous elementary cellular automata.
Theor. Comput. Sci., 2013

Planning and response in the aftermath of a large crisis: An agent-based informatics framework.
Proceedings of the Winter Simulations Conference: Simulation Making Decisions in a Complex World, 2013

Synthesizing Social Proximity Networks by Combining Subjective Surveys with Digital Traces.
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

Interactions among human behavior, social networks, and societal infrastructures: A Case Study in Computational Epidemiology.
Proceedings of the Fundamental Problems in Computing, 2013

2012

Limit Cycle Structure for Block-Sequential Threshold Systems.
Proceedings of the Cellular Automata, 2012

2011
Posets from Admissible Coxeter Sequences.
Electron. J. Comb., 2011

A general-purpose graph dynamical system modeling framework.
Proceedings of the Winter Simulation Conference 2011, 2011

Synthesis and Refinement of Detailed Subnetworks in a Social Contact Network for Epidemic Simulations.
Proceedings of the Social Computing, Behavioral-Cultural Modeling and Prediction, 2011

Improving simulation management systems through ontology generation and utilization.
Proceedings of the 2011 Joint International Conference on Digital Libraries, 2011

SimDL: a model ontology driven digital library for simulation systems.
Proceedings of the 2011 Joint International Conference on Digital Libraries, 2011

Bifurcations in Boolean Networks.
Proceedings of the 17th International Workshop on Cellular Automata and Discrete Complex Systems, 2011

2010
Coxeter Groups and Asynchronous Cellular Automata.
Proceedings of the Cellular Automata, 2010

2009
Agent Based Modeling, Mathematical Formalism for.
Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Limit Set Reachability in Asynchronous Graph Dynamical Systems.
Proceedings of the Reachability Problems, 3rd International Workshop, 2009

2008
Order Independence in Asynchronous Cellular Automata.
J. Cell. Autom., 2008

A mathematical formalism for agent-based modeling
CoRR, 2008

An Introduction to Sequential Dynamical Systems.
Universitext, Springer, ISBN: 978-0-387-30654-4, 2008

2007
Formal Modeling of Process Migration.
Proceedings of the FPL 2007, 2007

2005
On Asynchronous Cellular Automata.
Adv. Complex Syst., 2005

Partitioning Hardware and Software for Reconfigurable Supercomputing Applications: A Case Study.
Proceedings of the ACM/IEEE SC2005 Conference on High Performance Networking and Computing, 2005

Metropolitan Road Traffic Simulation on FPGAs.
Proceedings of the 13th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2005), 2005

2004
Neutral Evolution and Mutation Rates of Sequential Dynamical Systems.
Adv. Complex Syst., 2004

Reduction of Discrete Dynamical Systems over Graphs.
Adv. Complex Syst., 2004

2003
ETS IV: Sequential dynamical systems: fixed points, invertibility and equivalence.
Appl. Math. Comput., 2003

2002
Sequential dynamical systems.
Artif. Life Robotics, 2002

2001
Discrete, sequential dynamical systems.
Discret. Math., 2001

Elements of a theory of simulation III: equivalence of SDS.
Appl. Math. Comput., 2001

2000
Elements of a theory of simulation II: sequential dynamical systems.
Appl. Math. Comput., 2000

Sequential Dynamical Systems and Applications to Simulations.
Proceedings of the Proceedings 33th Annual Simulation Symposium (SS 2000), 2000


  Loading...