Henning S. Mortveit

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Block Invariance in a Family of Elementary Cellular Automata.
J. Cellular Automata, 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.
Natural Computing, 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. Cellular Automata, 2015

Block Invariance in Elementary Cellular Automata.
J. Cellular Automata, 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


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

Sensitivity of Diffusion Dynamics to Network Uncertainty.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

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

2011
Posets from Admissible Coxeter Sequences.
Electr. 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. Cellular Automata, 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.
Advances in Complex Systems, 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.
Advances in Complex Systems, 2004

Reduction of Discrete Dynamical Systems over Graphs.
Advances in Complex Systems, 2004

2003
ETS IV: Sequential dynamical systems: fixed points, invertibility and equivalence.
Applied Mathematics and Computation, 2003

2001
Discrete, sequential dynamical systems.
Discrete Mathematics, 2001

Elements of a theory of simulation III: equivalence of SDS.
Applied Mathematics and Computation, 2001

2000
Elements of a theory of simulation II: sequential dynamical systems.
Applied Mathematics and Computation, 2000

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


  Loading...