H. Mortveit

发表

Synthesizing Social Proximity Networks by Combining Subjective Surveys with Digital Traces

Madhav V. Marathe, Henning S. Mortveit, Jiangzhuo Chen, 2013, 2013 IEEE 16th International Conference on Computational Science and Engineering.

Graphical dynamical systems and their applications to bio-social systems

Madhav V. Marathe, S. S. Ravi, Abhijin Adiga, 2018, International Journal of Advances in Engineering Sciences and Applied Mathematics.

Cycle equivalence of graph dynamical systems

H. Mortveit, M. Macauley, 2008, 0802.4412.

On enumeration of conjugacy classes of Coxeter elements

H. Mortveit, M. Macauley, 2007, 0711.1140.

APPROXIMATION ALGORITHMS FOR CLUSTERING TO MINIMIZE THE SUM OF DIAMETERS

H. Mortveit, S. Kopp, S. M. Reidys, 2000 .

An Introduction to Sequential Dynamical Systems

Christian M. Reidys, Henning S. Mortveit, C. Reidys, 2007, Universitext.

Garden-of-Eden states and fixed points of monotone dynamical systems

Ricky X. F. Chen, C. Reidys, H. Mortveit, 2018, 1805.03163.

Effect of Public Policies and Individual Behavior on the Co-evolution of Social Networks and Infectious Disease Dynamics

Madhav V. Marathe, V. S. Anil Kumar, Christopher L. Barrett, 2007 .

Assessing the multi-pathway threat from an invasive agricultural pest: Tuta absoluta in Asia

M. Marathe, H. Mortveit, Abhijin Adiga, 2019, Proceedings of the Royal Society B.

Epidemiological and Economic Impact of COVID-19 in the US

A. Marathe, A. Vullikanti, H. Mortveit, 2020, medRxiv.

Combinatorial Characterizations of Admissible Coxeter Sequences and Their Applications

H. Mortveit, M. Macauley, 2009, 0910.4376.

STABILITY OF BIOLOGICAL SYSTEMS MODELS

H. Mortveit, Ryan Pederson, 2016 .

Medical costs of keeping the US economy open during COVID-19

A. Marathe, A. Vullikanti, Jiangzhuo Chen, 2020, Scientific reports.

Medical Costs of Keeping the US Economy Open During COVID-19

A. Marathe, A. Vullikanti, H. Mortveit, 2020, medRxiv.

Estimating Shared Autonomous Vehicle Fleet Size to Meet Urban Daily Travel Demand

S. Swarup, H. Mortveit, Wenwen Zhang, 2018 .

Agent Based Modeling, Mathematical Formalism for

S. Ravi, R. Laubenbacher, H. Mortveit, 2009, Encyclopedia of Complexity and Systems Science.

Ensembles of Realistic Power Distribution Networks

S. Swarup, A. Vullikanti, H. Mortveit, 2022, ArXiv.

Equivalences on Acyclic Orientations

H. Mortveit, M. Macauley, 2007, 0709.0291.

High-resolution synthetic residential energy use profiles for the United States

Young Yun Baek, S. Swarup, A. Marathe, 2022, ArXiv.

Block Invariance in a Family of Elementary Cellular Automata

Eric Goles Ch., Henning S. Mortveit, Marco Montalva-Medel, 2018, J. Cell. Autom..

Data-driven scalable pipeline using national agent-based models for real-time pandemic response and decision support

Young Yun Baek, S. Swarup, A. Marathe, 2022, Int. J. High Perform. Comput. Appl..

Impact of SARS-CoV-2 vaccination of children ages 5–11 years on COVID-19 disease burden and resilience to new variants in the United States, November 2021–March 2022: A multi-model study

Elizabeth C. Lee, A. Vespignani, M. C. Runge, 2022, Lancet regional health. Americas.

High-resolution synthetic residential energy use profiles for the United States

Young Yun Baek, S. Swarup, A. Marathe, 2022, ArXiv.

Graphical dynamical systems and their applications to bio-social systems

M. Marathe, C. Kuhlman, A. Vullikanti, 2018, International Journal of Advances in Engineering Sciences and Applied Mathematics.

High Performance Agent-Based Modeling to Study Realistic Contact Tracing Protocols

S. Swarup, Jiangzhuo Chen, H. Mortveit, 2021, 2021 Winter Simulation Conference (WSC).

Scalable Epidemiological Workflows to Support COVID-19 Planning and Response

H. Mortveit, C. Barrett, S. Hoops, 2021, 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS).

Computational Models: From ODEs to Multi-scale Networks

S. Levin, A. Vullikanti, H. Mortveit, 2021 .

Epidemiological and economic impact of COVID-19 in the US

A. Marathe, A. Vullikanti, Jiangzhuo Chen, 2021, Scientific Reports.

Attractor stability in nonuniform Boolean networks

Henning S. Mortveit, Chris J. Kuhlman, C. Kuhlman, 2014, Theor. Comput. Sci..

Evaluating the impact of international airline suspensions on the early global spread of COVID-19

Aniruddha Adiga, Jiangzhuo Chen, Madhav Marathe, 2020, medRxiv.

EVOLUTION AND MUTATION RATES OF SEQUENTIAL DYNAMICAL SYSTEMS

Christian M. Reidys, Henning S. Mortveit, C. Reidys, 2004 .

Network Models and Simulation Analytics for Multi-scale Dynamics of Biological Invasions

Young Yun Baek, H. Mortveit, Abhijin Adiga, 2022, Frontiers in Big Data.

Impact of SARS-CoV-2 vaccination of children ages 5–11 years on COVID-19 disease burden and resilience to new variants in the United States, November 2021–March 2022: a multi-model study

Elizabeth C. Lee, A. Vespignani, M. C. Runge, 2022, Lancet regional health. Americas.

Impact of SARS-CoV-2 vaccination of children ages 5–11 years on COVID-19 disease burden and resilience to new variants in the United States, November 2021-March 2022: a multi-model study

Elizabeth C. Lee, S. Moore, A. Vespignani, 2022, The Lancet Regional Health - Americas.

Data-driven modeling for different stages of pandemic response

Anil Vullikanti, Jiangzhuo Chen, Aniruddha Adiga, 2020, Journal of the Indian Institute of Science.

Route Stability in Large-Scale Transportation Models

Abhijin Adiga, Henning S. Mortveit, Sichao Wu, 2013 .

A mathematical formalism for agent-based modeling pdf

S. S. Ravi, Henning S. Mortveit, Abdul Salam Jarrah, 2007, ArXiv.

Partitioning Hardware and Software for Reconfigurable Supercomputing Applications: A Case Study

Maya Gokhale, Henning S. Mortveit, Anders A. Hansson, 2005, ACM/IEEE SC 2005 Conference (SC'05).

Metropolitan road traffic simulation on FPGAs

Maya Gokhale, Henning S. Mortveit, Anders A. Hansson, 2005, 13th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'05).

Discrete, sequential dynamical systems

Christian M. Reidys, Henning S. Mortveit, C. Reidys, 2001, Discret. Math..

Realistic Commodity Flow Networks to Assess Vulnerability of Food Systems

Young Yun Baek, H. Mortveit, Abhijin Adiga, 2021, COMPLEX NETWORKS.

Planning and response in the aftermath of a large crisis: An agent-based informatics framework

Samarth Swarup, Kristian Lum, Madhav V. Marathe, 2013, 2013 Winter Simulations Conference (WSC).

Modeling Urban Transportation in the Aftermath of a Nuclear Disaster: The Role of Human Behavioral Responses

Samarth Swarup, Madhav V. Marathe, Abhijin Adiga, 2013 .

Limit Set Reachability in Asynchronous Graph Dynamical Systems

Henning S. Mortveit, V. S. Anil Kumar, Matthew Macauley, 2009, RP.

Sequential dynamical systems

Christian M. Reidys, Henning S. Mortveit, Chris L. Barrett, 2007, Artificial Life and Robotics.

Elements of a theory of simulation III: equivalence of SDS

Christian M. Reidys, Christopher L. Barrett, Henning S. Mortveit, 2001, Appl. Math. Comput..

Elements of a theory of simulation II: sequential dynamical systems

Christian M. Reidys, Christopher L. Barrett, Henning S. Mortveit, 2000, Appl. Math. Comput..

Impact of a Surface Nuclear Blast on the Transient Stability of the Power System

Madhav V. Marathe, James S. Thorp, Achla Marathe, 2014, CRITIS.

Science and engineering of large scale socio-technical simulations.

Madhav V. Marathe, Christian M. Reidys, Christopher L. Barrett, 2001 .

Interactions among human behavior, social networks, and societal infrastructures: A Case Study in Computational Epidemiology

Madhav V. Marathe, Keith R. Bisset, V. S. Anil Kumar, 2013, Fundamental Problems in Computing.

An Interaction Based Composable Architecture for Building Scalable Models of Large Social, Biological, Information and Technical Systems.

Xizhou Feng, Achla Marathe, Richard Beckman, 2008, CTWatch quarterly : cyberinfrastructure technology watch.

Title: Synthesis and Embedding of Subnetworks for Individual-based Epidemic Models

Henning S. Mortveit, Jiangzhuo Chen, Madhav Marathe, 2011 .

GDSCalc: A Web-Based Application for Evaluating Discrete Graph Dynamical Systems

Madhav V. Marathe, S. S. Ravi, Henning S. Mortveit, 2015, PloS one.

CINET 2.0: A CyberInfrastructure for Network Science

Samarth Swarup, Geoffrey C. Fox, Edward A. Fox, 2014, 2014 IEEE 10th International Conference on e-Science.

CINET: A cyberinfrastructure for network science

Samarth Swarup, Edward A. Fox, Madhav V. Marathe, 2012, 2012 IEEE 8th International Conference on E-Science.

Live Simulations

Samarth Swarup, Henning S. Mortveit, S. Swarup, 2020, AAMAS.

Effective Social Network-Based Allocation of COVID-19 Vaccines

A. Srinivasan, A. Marathe, A. Vullikanti, 2022, KDD.

Effect of modelling slum populations on influenza spread in Delhi

Achla Marathe, Anil Vullikanti, Jiangzhuo Chen, 2016, BMJ Open.

Sensitivity of Diffusion Dynamics to Network Uncertainty

Abhijin Adiga, Anil Vullikanti, Henning S. Mortveit, 2013, AAAI.

Prioritizing allocation of COVID-19 vaccines based on social contacts increases vaccination effectiveness

A. Marathe, A. Vullikanti, H. Mortveit, 2021, medRxiv.

Optimizing spatial allocation of seasonal influenza vaccine under temporal constraints

Anil Vullikanti, Jiangzhuo Chen, Srinivasan Venkatramanan, 2019, PLoS Comput. Biol..

Informing pandemic response in the face of uncertainty. An evaluation of the U.S. COVID-19 Scenario Modeling Hub

Thomas J. Hladish, Elizabeth C. Lee, A. Vespignani, 2023, medRxiv.

Active Sensing for Epidemic State Estimation Using ABM-guided Machine Learning

S. Swarup, H. Mortveit, Faraz Dadgostari, 2023 .

Preface Conference Organization Conference Chairs Program Chairs Program Committee Invited Speakers Tutorial Speakers Local Organization External Reviewers Structural Alignments of Rna Sequences

Robert H. Lewis, B. Buchberger, D. Tominaga, 2008 .

Validating Agent-Based Models of Large Networked Systems

Samarth Swarup, Madhav V. Marathe, S. S. Ravi, 2019, 2019 Winter Simulation Conference (WSC).

A Framework for Validation of Network-based Simulation Models: an Application to Modeling Interventions of Pandemics

Henning S. Mortveit, Sandeep Gupta, Sichao Wu, 2017, SIGSIM-PADS.

A general framework for experimental design, uncertainty quantification and sensitivity analysis of computer simulation models

Henning S. Mortveit, Sichao Wu, H. Mortveit, 2015, 2015 Winter Simulation Conference (WSC).

AI-Driven Agent-Based Models to Study the Role of Vaccine Acceptance in Controlling COVID-19 Spread in the US

Achla Marathe, Abhijin Adiga, Anil Vullikanti, 2021, 2021 IEEE International Conference on Big Data (Big Data).

Prescriptive Analytics Using Synthetic Information

Samarth Swarup, Madhav V. Marathe, Henning S. Mortveit, 2014 .

SYNTHETIC DATA TO SUPPORT US-UK PRIZE CHALLENGE FOR DEVELOPING PRIVACY ENHANCING METHODS: PREDICTING INDIVIDUAL INFECTION RISK DURING A PANDEMIC

A. Vullikanti, Jiangzhuo Chen, H. Mortveit, 2023 .

Neutral Evolution and Mutation Rates of Sequential Dynamical Systems

C. Reidys, H. Mortveit, 2004, Adv. Complex Syst..

Towards Optimal and Scalable Evacuation Planning Using Data-driven Agent Based Models

Kazi Ashik Islam, S. Swarup, A. Vullikanti, 2023, Adaptive Agents and Multi-Agent Systems.

A Scalable Data-Driven Technique for Joint Evacuation Routing and Scheduling Problems

Kazi Ashik Islam, S. Swarup, A. Vullikanti, 2022, arXiv.org.

PIPELINES AND THEIR COMPOSITIONS FOR MODELING AND ANALYSIS OF CONTROLLED ONLINE NETWORKED SOCIAL SCIENCE EXPERIMENTS

Brian J. Goode, A. Skoogh, N. Contractor, 2018, 2018 Winter Simulation Conference (WSC).

Activity in Boolean networks

Abhijin Adiga, Henning S. Mortveit, Chris J. Kuhlman, 2016, Natural Computing.

A Simulation-based Approach for Large-scale Evacuation Planning

Kazi Ashik Islam, S. Swarup, M. Marathe, 2020, 2020 IEEE International Conference on Big Data (Big Data).

Data-driven Agent-based Models for Optimal Evacuation of Large Metropolitan Areas for Improved Disaster Planning

Kazi Ashik Islam, S. Swarup, A. Vullikanti, 2022, AAMAS.

Generating a synthetic population of the United States∗

Samarth Swarup, Madhav V. Marathe, Achla Marathe, 2015 .

Incorporating Fairness in Large-scale Evacuation Planning

Kazi Ashik Islam, S. Swarup, A. Vullikanti, 2022, CIKM.

Potential impact of annual vaccination with reformulated COVID-19 vaccines: lessons from the U.S. COVID-19 Scenario Modeling Hub

Shraddha Ramdas Bandekar, Majd Al Aawar, A. Vespignani, 2023, medRxiv.

Simulation-Assisted Optimization for Large-Scale Evacuation Planning with Congestion-Dependent Delays

Kazi Ashik Islam, S. Swarup, A. Vullikanti, 2022, IJCAI.

SimDL: a model ontology driven digital library for simulation systems

Edward A. Fox, Madhav V. Marathe, Jonathan Leidig, 2011, JCDL '11.

Evaluation of the US COVID-19 Scenario Modeling Hub for informing pandemic response under uncertainty

Elizabeth C. Lee, A. Vespignani, Shi Chen, 2023, Nature communications.

Modular and Extensible Pipelines for Residential Energy Demand Modeling and Simulation

S. Swarup, A. Vullikanti, H. Mortveit, 2022, 2022 Winter Simulation Conference (WSC).

Block Invariance in Elementary Cellular Automata

Eric Goles Ch., Henning S. Mortveit, Marco Montalva-Medel, 2015, Journal of Cellular Automata.

Asynchronous, finite dynamical systems

H. Mortveit, 2023, Natural Computing.

A general-purpose graph dynamical system modeling framework

Samarth Swarup, Madhav V. Marathe, S. S. Ravi, 2011, Proceedings of the 2011 Winter Simulation Conference (WSC).

Assessing Fairness of Residential Dynamic Pricing for Electricity using Active Learning with Agent-based Simulation

S. Swarup, M. Marathe, H. Mortveit, 2024, AAMAS.

Identifying Correlates of Emergent Behaviors in Agent-Based Simulation Models Using Inverse Reinforcement Learning

S. Swarup, H. Mortveit, P. Beling, 2022, 2022 Winter Simulation Conference (WSC).

Boolean Networks and Their Applications in Science and Engineering

Henning S. Mortveit, Carlos Gershenson, Jose C. Valverde, 2020, Complex..

An agent-based framework to study forced migration: A case study of Ukraine

B. Singer, S. Swarup, M. Marathe, 2024, PNAS nexus.

Acceleration of Traffic Simulation on Reconfigurable Hardware

Maya Gokhale, Henning S. Mortveit, Justin L. Tripp, 2004 .