Madhav V. Marathe
Orcid: 0000-0003-1653-0658Affiliations:
- Virginia Tech, Blacksburg, VA, USA
According to our database1,
Madhav V. Marathe
authored at least 353 papers
between 1977 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2013, "For contributions to high performance computing algorithms and software environments for simulating and analyzing socio-technical systems.".
IEEE Fellow
IEEE Fellow 2013, "For contributions to development of formal models and software tools for understanding socio-technical networks".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on linkedin.com
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
ACM Trans. Comput. Theory, 2024
Impact of waning immunity against SARS-CoV-2 severity exacerbated by vaccine hesitancy.
PLoS Comput. Biol., 2024
PLoS Comput. Biol., 2024
Novel multi-cluster workflow system to support real-time HPC-enabled epidemic science: Investigating the impact of vaccine acceptance on COVID-19 spread.
J. Parallel Distributed Comput., 2024
A High-Resolution, US-scale Digital Similar of Interacting Livestock, Wild Birds, and Human Ecosystems with Applications to Multi-host Epidemic Spread.
CoRR, 2024
A Generative AI Technique for Synthesizing a Digital Twin for U.S. Residential Solar Adoption and Generation.
CoRR, 2024
CoRR, 2024
Proceedings of the Forty-first International Conference on Machine Learning, 2024
IrrNet: Advancing Irrigation Mapping with Incremental Patch Size Training on Remote Sensing Imagery.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024
Assessing Fairness of Residential Dynamic Pricing for Electricity using Active Learning with Agent-based Simulation.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Value-based Resource Matching with Fairness Criteria: Application to Agricultural Water Trading.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 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
Deploying vaccine distribution sites for improved accessibility and equity to support pandemic response.
Auton. Agents Multi Agent Syst., October, 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 Machine Learning Framework to Explain Complex Geospatial Simulations: A Climate Change Case Study.
Proceedings of the Winter Simulation Conference, 2023
A Network-based Analytics Framework for High-Resolution Agent-based Epidemic Simulation Ensembles.
Proceedings of the Winter Simulation Conference, 2023
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
Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023
Accurate and Efficient Distributed COVID-19 Spread Prediction based on a Large-Scale Time-Varying People Mobility Graph.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 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
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
OptICS-EV: A Data-Driven Model for Optimal Installation of Charging Stations for Electric Vehicles.
Proceedings of the Computational Science - ICCS 2023, 2023
Budget-constrained optimal and equitable retrofitting problems for achieving energy efficiency.
Proceedings of the 14th ACM International Conference on Future Energy Systems, 2023
A Network Synthesis and Analytics Pipeline with Applications to Sustainable Energy in Smart Grid.
Proceedings of the 19th IEEE International Conference on e-Science, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 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
Networked Anti-coordination Games Meet Graphical Dynamical Systems: Equilibria and Convergence.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Evaluating the Utility of High-Resolution Proximity Metrics in Predicting the Spread of COVID-19.
ACM Trans. Spatial Algorithms Syst., 2022
Fundamental limitations on efficiently forecasting certain epidemic measures in network models.
Proc. Natl. Acad. Sci. USA, 2022
Techniques for blocking the propagation of two simultaneous contagions over networks using a graph dynamical systems framework.
Netw. Sci., 2022
J. Mach. Learn. Res., 2022
CoRR, 2022
A Scalable Data-Driven Technique for Joint Evacuation Routing and Scheduling Problems.
CoRR, 2022
Modular and Extensible Pipelines for Residential Energy Demand Modeling and Simulation.
Proceedings of the Winter Simulation Conference, 2022
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
Efficiently Learning the Topology and Behavior of a Networked Dynamical System Via Active Queries.
Proceedings of the International Conference on Machine Learning, 2022
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
Enhancing COVID-19 Ensemble Forecasting Model Performance Using Auxiliary Data Sources.
Proceedings of the IEEE International Conference on Big Data, 2022
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 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
Finding Nontrivial Minimum Fixed Points in Discrete Dynamical Systems: Complexity, Special Case Algorithms and Heuristics.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
CausalGNN: Causal-Based Graph Neural Networks for Spatio-Temporal Epidemic Forecasting.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Proceedings of the Massive Graph Analytics, 2022
2021
A Markov Decision Process Framework for Efficient and Implementable Contact Tracing and Isolation.
CoRR, 2021
Crowdsourcing County-Level Data on Early COVID-19 Policy Interventions in the United States: Technical Report.
CoRR, 2021
Proceedings of the Winter Simulation Conference, 2021
Proceedings of the Winter Simulation Conference, 2021
Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021
All Models Are Useful: Bayesian Ensembling for Robust High Resolution COVID-19 Forecasting.
Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021
Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021
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
Cohorting to Isolate Asymptomatic Spreaders: An Agent-Based Simulation Study on the Mumbai Suburban Railway.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
2020
TDEFSI: Theory-guided Deep Learning-based Epidemic Forecasting with Synthetic Information.
ACM Trans. Spatial Algorithms Syst., 2020
Generating Massive Scale-free Networks: Novel Parallel Algorithms using the Preferential Attachment Model.
ACM Trans. Parallel Comput., 2020
ACM Trans. Knowl. Discov. Data, 2020
Networked experiments and modeling for producing collective identity in a group of human subjects using an iterative abduction framework.
Soc. Netw. Anal. Min., 2020
Creating Realistic Synthetic Power Distribution Networks based on Interdependent Road Infrastructure.
CoRR, 2020
Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the Complex Networks & Their Applications IX, 2020
Proceedings of the Complex Networks & Their Applications IX, 2020
From 5Vs to 6Cs: Operationalizing Epidemic Data Management with COVID-19 Surveillance.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020
Creating Realistic Power Distribution Networks using Interdependent Road Infrastructure.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020
Bounds and Complexity Results for Learning Coalition-Based Interaction Functions in Networked Social Systems.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Optimizing spatial allocation of seasonal influenza vaccine under temporal constraints.
PLoS Comput. Biol., 2019
Forecasting dengue and influenza incidences using a sparse representation of Google trends, electronic health records, and time series data.
PLoS Comput. Biol., 2019
Discret. Math. Theor. Comput. Sci., 2019
Proceedings of the 2019 Winter Simulation Conference, 2019
Proceedings of the 2019 Winter Simulation Conference, 2019
Learning Everywhere: Pervasive Machine Learning for Effective High-Performance Computation.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2019
Proceedings of the 36th International Conference on Machine Learning, 2019
Proceedings of the Complex Networks and Their Applications VIII, 2019
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019
Mechanistic and data-driven agent-based models to explain human behavior in online networked group anagram games.
Proceedings of the ASONAM '19: International Conference on Advances in Social Networks Analysis and Mining, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
High Performance Synthetic Information Environments An integrating architecture in the age of pervasive data and computing: Big Data (Ubiquity symposium).
Ubiquity, 2018
IEEE Trans. Multi Scale Comput. Syst., 2018
SIAM/ASA J. Uncertain. Quantification, 2018
Discret. Appl. Math., 2018
BMC Bioinform., 2018
Proceedings of the 2018 Winter Simulation Conference, 2018
Pipelines and their Compositions for Modeling and Analysis of controlled Online Networked Social Science Experiments.
Proceedings of the 2018 Winter Simulation Conference, 2018
Proceedings of the Complex Networks and Their Applications VII, 2018
Proceedings of the Complex Networks and Their Applications VII, 2018
Computational Aspects of Fault Location and Resilience Problems for Interdependent Infrastructure Networks.
Proceedings of the Complex Networks and Their Applications VII, 2018
Proceedings of the Complex Networks and Their Applications VII, 2018
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Testing Phase Space Properties of Synchronous Dynamical Systems with Nested Canalyzing Local Functions.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Generative Modeling of Human Behavior and Social Interactions Using Abductive Analysis.
Proceedings of the IEEE/ACM 2018 International Conference on Advances in Social Networks Analysis and Mining, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Inferring local transition functions of discrete dynamical systems from observations of system behavior.
Theor. Comput. Sci., 2017
J. Parallel Distributed Comput., 2017
EpiK: A Knowledge Base for Epidemiological Modeling and Analytics of Infectious Diseases.
J. Heal. Informatics Res., 2017
Guided Deep List: Automating the Generation of Epidemiological Line Lists from Open Sources.
CoRR, 2017
Distributed-Memory Parallel Algorithms for Counting and Listing Triangles in Big Graphs.
CoRR, 2017
Proceedings of the 2017 Winter Simulation Conference, 2017
High-Performance Massive Subgraph Counting Using Pipelined Adaptive-Group Communication.
Proceedings of the Big Data and HPC: Ecosystem and Convergence, TopHPC 2017, 2017
Proceedings of the 25th High Performance Computing Symposium, Virginia Beach, VA, USA, April 23, 2017
Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13, 2017
Spatio-Temporal Optimization of Seasonal Vaccination Using a Metapopulation Model of Influenza.
Proceedings of the 2017 IEEE International Conference on Healthcare Informatics, 2017
Epidemic Forecasting Framework Combining Agent-Based Models and Smart Beam Particle Filtering.
Proceedings of the 2017 IEEE International Conference on Data Mining, 2017
Massively Parallel Simulations of Spread of Infectious Diseases over Realistic Social Networks.
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017
Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017
A parallel algorithm for generating a random graph with a prescribed degree sequence.
Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
2016
ACM Trans. Algorithms, 2016
A comparison of multiple behavior models in a simulation of the aftermath of an improvised nuclear detonation.
Auton. Agents Multi Agent Syst., 2016
An efficient and scalable algorithmic method for generating large: scale random graphs.
Proceedings of the International Conference for High Performance Computing, 2016
Proceedings of the Multi-Agent Based Simulation XVII - International Workshop, 2016
Proceedings of the International Conference on Computational Science 2016, 2016
Proceedings of the 8th International Conference on Communication Systems and Networks, 2016
Interactive exploration and understanding of contagion dynamics in networked populations.
Proceedings of the 2016 International Conference on Behavioral, 2016
Proceedings of the Agent Based Modelling of Urban Systems - First International Workshop, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
2015
Inhibiting diffusion of complex contagions in social networks: theoretical and experimental results.
Data Min. Knowl. Discov., 2015
Synthesis of a high resolution social contact network for Delhi with application to pandemic planning.
Artif. Intell. Medicine, 2015
Proceedings of the Implementation and Application of Automata, 2015
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015
Assisting H1N1 and Ebola Outbreak Response through High Performance Networked Epidemiology.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015
Flu Caster: A Pervasive Web Application for High Resolution Situation Assessment and Forecasting of Flu Outbreaks.
Proceedings of the 2015 International Conference on Healthcare Informatics, 2015
A Space-Efficient Parallel Algorithm for Counting Exact Triangles in Massive Networks.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
Resilient Cities and Urban Analytics: The Role of Big Data and High Performance Pervasive Computing.
Proceedings of the Companion Volume to the Proceedings of the 2nd IKDD Conference on Data Sciences, 2015
A fast parallel algorithm for counting triangles in graphs using dynamic load balancing.
Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015
EpiCaster: an integrated web application for situation assessment and forecasting of global epidemics.
Proceedings of the 6th ACM Conference on Bioinformatics, 2015
Proceedings of the 6th ACM Conference on Bioinformatics, 2015
Analysis Problems for Graphical Dynamical Systems: A Unified Approach Through Graph Predicates.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
2014
Indemics: An interactive high-performance computing framework for data-intensive epidemic modeling.
ACM Trans. Model. Comput. Simul., 2014
An Interactive, Web-Based High Performance Modeling Environment for Computational Epidemiology.
ACM Trans. Manag. Inf. Syst., 2014
CoRR, 2014
Reasoning about mobile malware using high performance computing based population scale models.
Proceedings of the 2014 Winter Simulation Conference, 2014
Bayesian Inference in Treewidth-Bounded Graphical Models Without Indegree Constraints.
Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, 2014
Proceedings of the 2014 SIAM International Conference on Data Mining, 2014
ISIS: a networked-epidemiology based pervasive web app for infectious disease pandemic planning and response.
Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014
Data mapping framework in a digital library with computational epidemiology datasets.
Proceedings of the IEEE/ACM Joint Conference on Digital Libraries, 2014
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014
Fast Parallel Algorithms for Edge-Switching to Achieve a Target Visit Rate in Heterogeneous Graphs.
Proceedings of the 43rd International Conference on Parallel Processing, 2014
Proceedings of the 10th IEEE International Conference on e-Science, 2014
Proceedings of the Critical Information Infrastructures Security, 2014
Proceedings of the Sixth International Conference on Communication Systems and Networks, 2014
Load analysis and cost estimation of parallel constrained producer-consumer algorithms.
Proceedings of the 2014 IEEE International Conference on Cluster Computing, 2014
Comparison and validation of synthetic social contact networks for epidemic modeling.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
2013
Systems Modeling of Molecular Mechanisms Controlling Cytokine-driven CD4+ T Cell Differentiation and Phenotype Plasticity.
PLoS Comput. Biol., 2013
IEEE J. Sel. Areas Commun., 2013
Editorial for Computer Networks special issue on ''Towards a Science of Cyber Security''.
Comput. Networks, 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
Distributed-memory parallel algorithms for generating massive scale-free networks using preferential attachment model.
Proceedings of the International Conference for High Performance Computing, 2013
Modeling the Interaction between Emergency Communications and Behavior in the Aftermath of a Disaster.
Proceedings of the Social Computing, Behavioral-Cultural Modeling and Prediction, 2013
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2013
Evaluating Strategies for Pandemic Response in Delhi Using Realistic Social Networks.
Proceedings of the IEEE International Conference on Healthcare Informatics, 2013
Proceedings of the 2013 IEEE 13th International Conference on Data Mining, 2013
Proceedings of the International Conference on Computational Science, 2013
Proceedings of the 22nd International Symposium on High-Performance Parallel and Distributed Computing, 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
Computational Methods for Testing Adequacy and Quality of Massive Synthetic Proximity Social Networks.
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013
Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013
Simfrastructure: A Flexible and Adaptable Middleware Platform for Modeling and Analysis of Socially Coupled Systems.
Proceedings of the 13th IEEE/ACM International Symposium on Cluster, 2013
Interactions among human behavior, social networks, and societal infrastructures: A Case Study in Computational Epidemiology.
Proceedings of the Fundamental Problems in Computing, 2013
Modeling human behavior in the aftermath of a hypothetical improvised nuclear detonation.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
Contagion Diffusion with EpiSimdemics.
Proceedings of the Parallel Science and Engineering Applications - The Charm++ Approach., 2013
2012
Mobile Data Offloading through Opportunistic Communications and Social Participation.
IEEE Trans. Mob. Comput., 2012
Math. Struct. Comput. Sci., 2012
Proceedings of the Winter Simulation Conference, 2012
Poster: Parallel Algorithms for Counting Triangles and Computing Clustering Coefficients.
Proceedings of the 2012 SC Companion: High Performance Computing, 2012
Abstract: Parallel Algorithms for Counting Triangles and Computing Clustering Coefficients.
Proceedings of the 2012 SC Companion: High Performance Computing, 2012
Proceedings of the Social Computing, Behavioral - Cultural Modeling and Prediction, 2012
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012
Simulating the Spread of Infectious Disease over Large Realistic Social Networks Using Charm++.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012
High-Performance Interaction-Based Simulation of Gut Immunopathologies with ENteric Immunity Simulator (ENISI).
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012
Enhancing user-productivity and capability through integration of distinct software in epidemiological systems.
Proceedings of the ACM International Health Informatics Symposium, 2012
Proceedings of the ACM International Health Informatics Symposium, 2012
Proceedings of the 8th IEEE International Conference on E-Science, 2012
Proceedings of the 2012 IEEE International Conference on Bioinformatics and Biomedicine, 2012
2011
Wirel. Networks, 2011
Modeling and analyzing social network dynamics using stochastic discrete graphical dynamical systems.
Theor. Comput. Sci., 2011
From biological and social network metaphors to coupled bio-social wireless networks.
Int. J. Auton. Adapt. Commun. Syst., 2011
Efficient implementation of complex interventions in large scale epidemic simulations.
Proceedings of the Winter Simulation Conference 2011, 2011
Proceedings of the Winter Simulation Conference 2011, 2011
Interaction-based HPC modeling of social, biological, and economic contagions over large networks.
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
Effects of Opposition on the Diffusion of Complex Contagions in Social Networks: An Empirical Study.
Proceedings of the Social Computing, Behavioral-Cultural Modeling and Prediction, 2011
Proceedings of the 2011 Joint International Conference on Digital Libraries, 2011
Proceedings of the 2011 Joint International Conference on Digital Libraries, 2011
High Performance Scalable and Expressive Modeling Environment to Study Mobile Malware in Large Dynamic Networks.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011
High-performance biocomputing for simulating the spread of contagion over large contact networks.
Proceedings of the IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, 2011
Formal Specification and Experimental Analysis of an Interactive Epidemic Simulation Framework.
Proceedings of the 13th IEEE International Conference on High Performance Computing & Communication, 2011
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2011
Inhibiting the Diffusion of Contagions in Bi-Threshold Systems: Analytical and Experimental Results.
Proceedings of the Complex Adaptive Systems: Energy, 2011
2010
Proceedings of the Algorithms for Next Generation Networks, 2010
An Integrated Modeling Environment to Study the Co-evolution of Networks, Individual Behavior and Epidemics.
AI Mag., 2010
Proceedings of the Advances in Social Computing, 2010
Proceedings of the Advances in Social Computing, 2010
Finding Critical Nodes for Inhibiting Diffusion of Complex Contagions in Social Networks.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2010
Proceedings of the 5th ACM workshop on Challenged networks, 2010
Indemics: an interactive data intensive framework for high performance epidemic simulation.
Proceedings of the 24th International Conference on Supercomputing, 2010
Subgraph Enumeration in Large Social Contact Networks Using Parallel Color Coding and Streaming.
Proceedings of the 39th International Conference on Parallel Processing, 2010
2009
Algorithmica, 2009
Modeling Interaction between Individuals, Social Networks and Public Policy to Support Public Health Epidemiology.
Proceedings of the 2009 Winter Simulation Conference, 2009
Proceedings of the 2009 Winter Simulation Conference, 2009
Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009
Bi-Criteria Approximation Algorithms for Power-Efficient and Low-Interference Topology Control in Unreliable Ad Hoc Networks.
Proceedings of the INFOCOM 2009. 28th IEEE International Conference on Computer Communications, 2009
Distributed Strategies for Channel Allocation and Scheduling in Software-Defined Radio Networks.
Proceedings of the INFOCOM 2009. 28th IEEE International Conference on Computer Communications, 2009
EpiFast: a fast algorithm for large scale realistic epidemic simulations on distributed memory systems.
Proceedings of the 23rd international conference on Supercomputing, 2009
Estimating the Impact of Public and Private Strategies for Controlling an Epidemic: A Multi-Agent Approach.
Proceedings of the Twenty-First Conference on Innovative Applications of Artificial Intelligence, 2009
2008
Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008
Errata for the paper "Predecessor existence problems for finite discrete dynamical systems" [TCS 386 (1-2) (2007) 3-37].
Theor. Comput. Sci., 2008
EpiSimdemics: an efficient algorithm for simulating the spread of infectious disease over large realistic social networks.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008
Proceedings of the INFOCOM 2008. 27th IEEE International Conference on Computer Communications, 2008
Approximation Algorithms for Computing Capacity of Wireless Networks with SINR Constraints.
Proceedings of the INFOCOM 2008. 27th IEEE International Conference on Computer Communications, 2008
Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008
Proceedings of the Logic and Theory of Algorithms, 2008
Proceedings of the Algorithmic Aspects in Information and Management, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Theor. Comput. Sci., 2007
Proceedings of the 8th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of IEEE International Conference on Communications, 2007
A Scalable Data Management Tool to Support Epidemiological Modeling of Large Urban Regions.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2007
Proceedings of the Bio-Inspired Computing and Communication, 2007
2006
J. Parallel Distributed Comput., 2006
J. Comput. Syst. Sci., 2006
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006
Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006
Towards a Predictive Computational Complexity Theory.
Proceedings of the Computational Complexity and Statistical Physics., 2006
2005
Mob. Networks Appl., 2005
Understanding protocol performance and robustness of ad hoc networks through structural analysis.
Proceedings of the 2005 IEEE International Conference on Wireless And Mobile Computing, 2005
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2005
Probabilistic multi-path vs. deterministic single-path protocols for dynamic ad-hoc network scenarios.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), 2005
2004
A mobility and traffic generation framework for modeling and simulating ad hoc communication networks.
Sci. Program., 2004
Approximating the connectivity between nodes when simulating large-scale mobile ad hoc radio networks.
J. Syst. Softw., 2004
The distance-2 matching problem and its relationship to the MAC-Layer capacity of ad hoc wireless networks.
IEEE J. Sel. Areas Commun., 2004
ACM J. Exp. Algorithmics, 2004
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2004
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2004
Proceedings of the Discrete Methods in Epidemiology, 2004
A Spatial Analysis of Mobility Models: Application to Wireless Ad Hoc Network Simulation.
Proceedings of the Proceedings 37th Annual Simulation Symposium (ANSS-37 2004), 2004
2003
Theor. Comput. Sci., 2003
Statistical Analysis of Algorithms: A Case Study of Market-Clearing Mechanisms in the Power Industry.
J. Graph Algorithms Appl., 2003
Proceedings of the Second ACM International Conference on Wireless Sensor Networks and Applications, 2003
Analyzing interaction between network protocols, topology and traffic in wireless radio networks.
Proceedings of the 2003 IEEE Wireless Communications and Networking, 2003
Proceedings of the Discrete Models for Complex Systems, 2003
Proceedings of the Proceedings 36th Annual Simulation Symposium (ANSS-36 2003), Orlando, Florida, USA, March 30, 2003
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, Second International Conference, 2003
2002
Parallel Approximation Schemes for a Class of Planar and Near Planar Combinatorial Optimization Problems.
Inf. Comput., 2002
Routing in Very Large Multi-Modal Time Dependent Networks: Theory and Practice (Invited Talk).
Proceedings of the Algorithmic Methods and Models for Optimization of Railways, 2002
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2002
A comparative experimental study of media access protocols for wireless radio networks.
Proceedings of the 2002 IEEE Wireless Communications and Networking Conference Record, 2002
A mobility and traffic generation framework for modeling and simulating ad hoc communication networks.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
Proceedings of the 3rd ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2002
Analyzing the Short-Term Fairness of IEEE 802.11 in Wireless Multi-Hop Radio Networks.
Proceedings of the 10th International Workshop on Modeling, 2002
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002
Classical and Contemporary Shortest Path Problems in Road Networks: Implementation and Experimental Analysis of the TRANSIMS Router.
Proceedings of the Algorithms, 2002
2001
Wirel. Networks, 2001
Theor. Comput. Sci., 2001
Complexity and Approximability of Quantified and Stochastic Constraint Satisfaction Problems.
Electron. Notes Discret. Math., 2001
Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design Problems.
Algorithmica, 2001
Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry.
Proceedings of the Algorithm Engineering, 2001
Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, 2001
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001
Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures.
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001
Proceedings of the Discrete Models: Combinatorics, Computation, and Geometry, 2001
2000
Approximation Algorithms for Clustering to Minimize the Sum of Diameters.
Nord. J. Comput., 2000
Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000
Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000
Scalability of ELISIMS: comprehensive detailed simulation of the electric power industry.
Proceedings of the IEEE International Conference on Systems, 2000
1999
ACM J. Exp. Algorithmics, 1999
Proceedings of the Computing in Object-Oriented Parallel Environments, 1999
1998
Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems.
SIAM J. Comput., 1998
J. Comb. Optim., 1998
J. Algorithms, 1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
Proceedings of the 13th Annual IEEE Conference on Computational Complexity, 1998
1997
Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 1997
Proceedings of the Network Design: Connectivity and Facilities Location, 1997
Proceedings of the Network Design: Connectivity and Facilities Location, 1997
1996
Service-Constrained Network Design Problems.
Nord. J. Comput., 1996
Inf. Process. Lett., 1996
Efficient Approximation Algorithms for Domatic Partition and on-line Coloring of Circular Arc Graphs.
Discret. Appl. Math., 1996
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1996
Complexity of hierarchically and 1-dimensional periodically specified problems I: Hardness results.
Proceedings of the Satisfiability Problem: Theory and Applications, 1996
1995
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1995
Proceedings of the Computing and Combinatorics, First Annual International Conference, 1995
1994
The Complexity of Approximation PSPACE-Complete Problems for Hierarchical Specifications.
Nord. J. Comput., 1994
The complexity of approximating PSPACE-Complete problems for hierarchical specifications.
CoRR, 1994
Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version).
Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing, 1994
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994
A Unified Approach to Approximation Schemes for NP- and PSPACE-Hard Problems for Geometric Graphs.
Proceedings of the Algorithms, 1994
Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28, 1994
1993
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1993
Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, 1993
The Complexity of Approximating PSPACE-Complete Problems for Hierarchical Specifications (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993
1992
Networks, 1992
1988
1981
Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1981
1977
Proceedings of the Third International Computer Measurement Group Conference, Washington, DC, USA, November 29, 1977