Madhav V. Marathe

Orcid: 0000-0003-1653-0658

Affiliations:
  • Virginia Tech, Blacksburg, VA, USA


According to our database1, Madhav V. Marathe authored at least 353 papers between 1977 and 2024.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

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
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Synchronous Dynamical Systems on Directed Acyclic Graphs: Complexity and Algorithms.
ACM Trans. Comput. Theory, 2024

Impact of waning immunity against SARS-CoV-2 severity exacerbated by vaccine hesitancy.
PLoS Comput. Biol., 2024

Challenges of COVID-19 Case Forecasting in the US, 2020-2021.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
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

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

Efficient PAC Learnability of Dynamical Systems Over Multilayer Networks.
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

Network Agency: An Agent-based Model of Forced Migration from Ukraine.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Strategic Routing and Scheduling for Evacuations.
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

Learning the Topology and Behavior of Discrete Dynamical Systems.
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

Finding Nontrivial Minimum Fixed Points in Discrete Dynamical Systems.
CoRR, 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


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

Identifying Complicated Contagion Scenarios from Cascade Data.
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

Efficient and Equitable Deployment of Mobile Vaccine Distribution Centers.
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

Assigning Agents to Increase Network-Based Neighborhood Diversity.
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

Phase-Informed Bayesian Ensemble Models Improve Performance of COVID-19 Forecasts.
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

Using Active Queries to Infer Symmetric Node Functions of Graph Dynamical Systems.
J. Mach. Learn. Res., 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

Ensembles of Realistic Power Distribution Networks.
CoRR, 2022

Modular and Extensible Pipelines for Residential Energy Demand Modeling and Simulation.
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

Efficiently Learning the Topology and Behavior of a Networked Dynamical System Via Active Queries.
Proceedings of the International Conference on Machine Learning, 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

Enhancing COVID-19 Ensemble Forecasting Model Performance Using Auxiliary Data Sources.
Proceedings of the IEEE International Conference on Big Data, 2022

Theoretical Models and Preliminary Results for Contact Tracing and Isolation.
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

Data-Driven Real-Time Strategic Placement of Mobile Vaccine Distribution Sites.
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

Distributed Memory Parallel Algorithms for Massive Graphs.
Proceedings of the Massive Graph Analytics, 2022

2021
Privacy-first health research with federated learning.
npj Digit. Medicine, 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

Informing University Covid-19 Decisions Using Simple Compartmental Models.
Proceedings of the Winter Simulation Conference, 2021


Supporting COVID-19 Policy Response with Large-scale Mobility-based Modeling.
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

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

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

Fast Parallel Algorithms for Counting and Listing Triangles in Big Graphs.
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

Pandemic Informatics: Preparation, Robustness, and Resilience.
CoRR, 2020

SubGraph2Vec: Highly-Vectorized Tree-likeSubgraph Counting.
CoRR, 2020

Models for COVID-19 Pandemic: A Comparative Analysis.
CoRR, 2020

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

High Performance Simulations to Support Real-time COVID19 Response.
Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2020

Wisdom of the Ensemble: Improving Consistency of Deep Learning Models.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Evolution of Similar Configurations in Graph Dynamical Systems.
Proceedings of the Complex Networks & Their Applications IX, 2020

Blocking the Propagation of Two Simultaneous Contagions over Networks.
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

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

Examining Deep Learning Models with Multiple Data Sources for COVID-19 Forecasting.
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

Symmetry Properties of Nested Canalyzing Functions.
Discret. Math. Theor. Comput. Sci., 2019

A GraphBLAS Approach for Subgraph Counting.
CoRR, 2019

On the Modeling and Agent-Based Simulation of a Cooperative Group Anagram Game.
Proceedings of the 2019 Winter Simulation Conference, 2019

Validating Agent-Based Models of Large Networked Systems.
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

PAC Learnability of Node Functions in Networked Dynamical Systems.
Proceedings of the 36th International Conference on Machine Learning, 2019

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

SubGraph2Vec: Highly-Vectorized Tree-like Subgraph Counting.
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

DEFSI: Deep Learning Based Epidemic Forecasting with Synthetic Information.
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

Finding and Counting Tree-Like Subgraphs Using MapReduce.
IEEE Trans. Multi Scale Comput. Syst., 2018

What to know before forecasting the flu.
PLoS Comput. Biol., 2018

Calibrating a Stochastic, Agent-Based Model Using Quantile-Based Emulation.
SIAM/ASA J. Uncertain. Quantification, 2018

A characterization of nested canalyzing functions with maximum average sensitivity.
Discret. Appl. Math., 2018

EpiViewer: an epidemiological application for exploring time series data.
BMC Bioinform., 2018

Simulating residential Energy demand in Urban and Rural areas.
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

Using Network Reliability to Understand International Food Trade Dynamics.
Proceedings of the Complex Networks and Their Applications VII, 2018

Cascading Effects of Targeted Attacks on the Power Grid.
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

Using Active Queries to Learn Local Stochastic Behaviors in Social Networks.
Proceedings of the Complex Networks and Their Applications VII, 2018

Inferring Probabilistic Contagion Models Over Networks Using Active Queries.
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

Behavior Model Calibration for Epidemic Simulations.
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

Learning the Behavior of a Dynamical System Via a "20 Questions" Approach.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Pandemics, Detection and Management.
Proceedings of the Encyclopedia of GIS., 2017

Inferring local transition functions of discrete dynamical systems from observations of system behavior.
Theor. Comput. Sci., 2017

Parallel algorithms for switching edges in heterogeneous graphs.
J. Parallel Distributed Comput., 2017

EpiK: A Knowledge Base for Epidemiological Modeling and Analytics of Infectious Diseases.
J. Heal. Informatics Res., 2017

A Framework for Evaluating Epidemic Forecasts.
CoRR, 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

Computational challenges in modeling & simulation of complex systems.
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

Efficient algorithms for assortative edge switch in large labeled networks.
Proceedings of the 25th High Performance Computing Symposium, Virginia Beach, VA, USA, April 23, 2017

GELL: Automatic Extraction of Epidemiological Line Lists from Open Sources.
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

Towards robust models of food flows and their role in invasive species spread.
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

Contextual Ranking of Behaviors for Large-scale Multiagent Simulations.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
Minimum Weighted Completion Time.
Encyclopedia of Algorithms, 2016

Labeled cuts in graphs.
Theor. Comput. Sci., 2016

Distributed Algorithms for End-to-End Packet Scheduling in Wireless Ad Hoc Networks.
ACM Trans. Algorithms, 2016

Forecasting the Flu: Designing Social Network Sensors for Epidemics.
CoRR, 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

Summarizing Simulation Results Using Causally-Relevant States.
Proceedings of the Multi-Agent Based Simulation XVII - International Workshop, 2016

Network Services and their Compositions for Network Science Applications.
Proceedings of the International Conference on Computational Science 2016, 2016

A study of the structure and vulnerabilities of metropolitan area networks.
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

Integrating Behavior and Microsimulation Models.
Proceedings of the Agent Based Modelling of Urban Systems - First International Workshop, 2016

Simulation Summarization: (Extended Abstract).
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Model-Based Forecasting of Significant Societal Events.
IEEE Intell. Syst., 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

Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems.
Proceedings of the Implementation and Application of Automata, 2015

Cost Estimation of Parallel Constrained Producer-Consumer Algorithms.
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

EDISON: a web application for computational health informatics at scale.
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

Parallel Algorithms for Counting Triangles in Networks with Large Degrees.
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

Forecasting a Moving Target: Ensemble Models for ILI Case Count Predictions.
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

Overcoming the Scalability Challenges of Epidemic Simulations on Blue Waters.
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


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

Message from social networking workshop chairs.
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

Computational epidemiology as a challenge domain for multiagent systems.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Collective action through common knowledge using a facebook model.
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

Integrated Multi-Network Modeling Environment for Spectrum Management.
IEEE J. Sel. Areas Commun., 2013

Recent Advances in Computational Epidemiology.
IEEE Intell. Syst., 2013

Editorial for Computer Networks special issue on ''Towards a Science of Cyber Security''.
Comput. Networks, 2013

Computational epidemiology.
Commun. ACM, 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

Activity based energy demand modeling for residential buildings.
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

Blocking Simple and Complex Contagion by Edge Removal.
Proceedings of the 2013 IEEE 13th International Conference on Data Mining, 2013

An Extensible Digital Library Service to Support Network Science.
Proceedings of the International Conference on Computational Science, 2013

Load balancing in large-scale epidemiological simulations.
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

A Synthetic Information Approach to Urban-Scale Disaster Modeling.
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

PATRIC: a parallel algorithm for counting triangles in massive networks.
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

Adversarial scheduling in discrete models of social dynamics.
Math. Struct. Comput. Sci., 2012

High performance informatics for pandemic preparedness.
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

Addiction Dynamics May Explain the Slow Decline of Smoking Prevalence.
Proceedings of the Social Computing, Behavioral - Cultural Modeling and Prediction, 2012

SAHAD: Subgraph Analysis in Massive Networks Using Hadoop.
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

Optimizing epidemic protection for socially essential workers.
Proceedings of the ACM International Health Informatics Symposium, 2012


ENISI Visual, an agent-based simulator for modeling gut immunity.
Proceedings of the 2012 IEEE International Conference on Bioinformatics and Biomedicine, 2012

2011
Social Networks.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Capacity of wireless networks under SINR interference constraints.
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

A general-purpose graph dynamical system modeling framework.
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

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

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

ENteric Immunity SImulator: A Tool for in silico Study of Gut Immunopathologies.
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
Cross-Layer Capacity Estimation and Throughput Maximization in Wireless Networks.
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

Beyond Degree Distributions: Local to Global Structure of Social Contact Graphs.
Proceedings of the Advances in Social Computing, 2010

Coevolution of Epidemics, Social Networks, and Individual Behavior: A Case Study.
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

Cellular traffic offloading through opportunistic communications: a case study.
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
A unified approach to scheduling on unrelated parallel machines.
J. ACM, 2009

Computational Epidemiology in a Connected World.
Computer, 2009

Scheduling on Unrelated Machines under Tree-Like Precedence Constraints.
Algorithmica, 2009

Modeling Interaction between Individuals, Social Networks and Public Policy to Support Public Health Epidemiology.
Proceedings of the 2009 Winter Simulation Conference, 2009

Generation and Analysis of Large Synthetic Social Contact Networks.
Proceedings of the 2009 Winter Simulation Conference, 2009

EpiNet: a simulation framework to study the spread of malware in wireless networks.
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
Pandemics, Detection and Management.
Proceedings of the Encyclopedia of GIS., 2008

Minimum Weighted Completion Time.
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

Adversarial Scheduling in Evolutionary Game Dynamics
CoRR, 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

Capacity of Asynchronous Random-Access Scheduling in Wireless Networks.
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

Power Efficient Throughput Maximization in Multi-Hop Wireless Networks.
Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion.
Proceedings of the Logic and Theory of Algorithms, 2008

Engineering Label-Constrained Shortest-Path Algorithms.
Proceedings of the Algorithmic Aspects in Information and Management, 2008

An Interaction-Based Approach to Computational Epidemiology.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Predecessor existence problems for finite discrete dynamical systems.
Theor. Comput. Sci., 2007

Cross-layer latency minimization in wireless networks with SINR constraints.
Proceedings of the 8th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2007

Computational Aspects of Analyzing Social Network Dynamics.
Proceedings of the IJCAI 2007, 2007

Critical Design Decisions for Cognitive Networks.
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

Epidemiology and Wireless Communication: Tight Analogy or Loose Metaphor?.
Proceedings of the Bio-Inspired Computing and Communication, 2007

2006
Spatial data mining to support pandemic preparedness.
SIGKDD Explor., 2006

Provable algorithms for parallel generalized sweep scheduling.
J. Parallel Distributed Comput., 2006

Complexity of reachability problems for finite discrete dynamical systems.
J. Comput. Syst. Sci., 2006

Strong Edge Coloring for Channel Assignment in Wireless Radio Networks.
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

Semantic Compression of TCP Traces.
Proceedings of the NETWORKING 2006, 2006

The Confluent Capacity of the Internet: Congestion vs. Dilation.
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
Algorithmic Aspects of Topology Control Problems for Ad Hoc Networks.
Mob. Networks Appl., 2005

Parametric Probabilistic Routing in Sensor Networks.
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

Algorithmic aspects of capacity in wireless networks.
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

Provable Algorithms for Parallel Sweep Scheduling on Unstructured Meshes.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Approximation Algorithms for Scheduling on Multiple Machines.
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

An experimental study of a simple, distributed edge-coloring algorithm.
ACM J. Exp. Algorithmics, 2004

Budget constrained minimum cost connected medians.
J. Discrete Algorithms, 2004

End-to-end packet-scheduling in wireless ad-hoc networks.
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2004

Structural and algorithmic aspects of massive social networks.
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2004

Structure of Social Contact Networks and Their Impact on Epidemics.
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
Reachability problems for sequential dynamical systems with threshold functions.
Theor. Comput. Sci., 2003

Statistical Analysis of Algorithms: A Case Study of Market-Clearing Mechanisms in the Power Industry.
J. Graph Algorithms Appl., 2003

Parametric probabilistic sensor network routing.
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

Predecessor and Permutation Existence Problems for Sequential Dynamical Systems.
Proceedings of the Discrete Models for Complex Systems, 2003

Approximate Connectivity Graph Generation in Mobile Ad Hoc Radio Networks.
Proceedings of the Proceedings 36th Annual Simulation Symposium (ANSS-36 2003), Orlando, Florida, USA, March 30, 2003

Topology Control Problems under Symmetric and Asymmetric Power Thresholds.
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, Second International Conference, 2003

2002
Point Set Labeling with Specified Positions.
Int. J. Comput. Geom. Appl., 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

Budgeted Maximum Graph Coverage.
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

Characterizing the interaction between routing and MAC protocols in ad-hoc networks.
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

Towards a Predictive Computational Complexity Theory.
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Improved Results for Stackelberg Scheduling Strategies.
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
Models and Approximation Algorithms for Channel Assignment in Radio Networks.
Wirel. Networks, 2001

Approximation algorithms for maximum two-dimensional pattern matching.
Theor. Comput. Sci., 2001

Complexity and Approximability of Quantified and Stochastic Constraint Satisfaction Problems.
Electron. Notes Discret. Math., 2001

Upgrading bottleneck constrained forests.
Discret. Appl. 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

Adversarial models in evolutionary game dynamics.
Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, 2001

Analysis Problems for Sequential Dynamical Systems and Communicating State Machines.
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

Gardens of Eden and Fixed Points in Sequential Dynamical Systems.
Proceedings of the Discrete Models: Combinatorics, Computation, and Geometry, 2001

2000
Formal-Language-Constrained Path Problems.
SIAM J. Comput., 2000

Approximation Algorithms for Clustering to Minimize the Sum of Diameters.
Nord. J. Comput., 2000

Algorithms for optimizing production DNA sequencing.
Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000

On the red-blue set cover problem.
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
Improving Spanning Trees by Upgrading Nodes.
Theor. Comput. Sci., 1999

A Computational Study of Routing Algorithms for Realistic Transportation Networks.
ACM J. Exp. Algorithmics, 1999

Improving Minimum Cost Spanning Trees by Upgrading Nodes.
J. Algorithms, 1999

Improving Cache Utilization of Linear Relaxation Methods: Theory and Practice.
Proceedings of the Computing in Object-Oriented Parallel Environments, 1999

1998
Modifying Edges of a Network to Obtain Short Subgraphs.
Theor. Comput. Sci., 1998

Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems.
SIAM J. Comput., 1998

The Complexity of Planar Counting Problems.
SIAM J. Comput., 1998

Approximation Algorithms for Certain Network Improvement Problems.
J. Comb. Optim., 1998

Bicriteria Network Design Problems.
J. Algorithms, 1998

NC-Approximation Schemes for NP- and PSPACE-Hard Problems for Geometric Graphs.
J. Algorithms, 1998

Low-Bandwidth Routing and Electrical Power Networks.
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Theory of Periodically Specified Problems: Complexity and Approximability.
Proceedings of the 13th Annual IEEE Conference on Computational Complexity, 1998

1997
Hierarchically Specified Unit Disk Graphs.
Theor. Comput. Sci., 1997

Compact Location Problems.
Theor. Comput. Sci., 1997

Map Labeling and Its Generalizations.
Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 1997

Improved results on service-constrained network design problems.
Proceedings of the Network Design: Connectivity and Facilities Location, 1997

Network improvement problems.
Proceedings of the Network Design: Connectivity and Facilities Location, 1997

1996
Spanning Trees - Short or Small.
SIAM J. Discret. Math., 1996

Service-Constrained Network Design Problems.
Nord. J. Comput., 1996

On Approximation Algorithms for the Minimum Satisfiability Problem.
Inf. Process. Lett., 1996

Efficient Approximation Algorithms for Domatic Partition and on-line Coloring of Circular Arc Graphs.
Discret. Appl. Math., 1996

Modifying Networks to Obtain Low Cost Trees.
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
Simple heuristics for unit disk graphs.
Networks, 1995

Complexity and Approximability of Certain Bicriteria Location Problems.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1995

Compact Location Problems with Budget and Communication Constraints.
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

Geometry based heuristics for unit disk graphs.
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

Approximation Schemes Using L-Reductions.
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

Generalized CNF Satisfiability Problems and Non-Efficient.
Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28, 1994

1993
Hierarchical Specified Unit Disk Graphs (Extended Abstract).
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1993

Many birds with one stone: multi-objective approximation algorithms.
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

Compact Location Problems.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

1992
An optimal algorithm to solve the all-pair shortest path problem on interval graphs.
Networks, 1992

Generalized Vertex Covering in Interval Graphs.
Discret. Appl. Math., 1992

1988
Performance of a MAP network adapter.
IEEE Netw., 1988

1981
Analytical Models for an Ethernet-Like Local Area Network Link.
Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1981

1977
A Study of Multiprocessor Contention for Shared Data in C.MMP.
Proceedings of the Third International Computer Measurement Group Conference, Washington, DC, USA, November 29, 1977


  Loading...