Madhav V. Marathe

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

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 
Other 

Links

On csauthors.net:

Bibliography

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

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 Computing Systems, 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.
Discrete Applied Mathematics, 2018

EpiViewer: an epidemiological application for exploring time series data.
BMC Bioinformatics, 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 Distrib. Comput., 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, 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, 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

A comparison of multiple behavior models in a simulation of the aftermath of an improvised nuclear detonation.
Autonomous Agents and Multi-Agent Systems, 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

Summarizing Simulation Results Using Causally-Relevant States.
Proceedings of the Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, - Visionary Papers, 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 Intelligent Systems, 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.
Artificial Intelligence in 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, 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. Management Inf. Syst., 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

Computational epidemiology.
Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and 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 Computational Biology, 2013

Integrated Multi-Network Modeling Environment for Spectrum Management.
IEEE Journal on Selected Areas in Communications, 2013

Recent Advances in Computational Epidemiology.
IEEE Intelligent Systems, 2013

Editorial for Computer Networks special issue on ''Towards a Science of Cyber Security''.
Computer 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

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

Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design Problems.
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

2012
Mobile Data Offloading through Opportunistic Communications and Social Participation.
IEEE Trans. Mob. Comput., 2012

Adversarial scheduling in discrete models of social dynamics.
Mathematical Structures in Computer Science, 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.
Wireless 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.
IJAACS, 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 Magazine, 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.
IEEE Computer, 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

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 Explorations, 2006

Provable algorithms for parallel generalized sweep scheduling.
J. Parallel Distrib. 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

Engineering Label-Constrained Shortest-Path Algorithms.
Proceedings of the Shortest Path Problem, 2006

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

Scheduling on Unrelated Machines Under Tree-Like Precedence Constraints.
Proceedings of the Approximation, 2005

2004
A mobility and traffic generation framework for modeling and simulating ad hoc communication networks.
Scientific Programming, 2004

Approximating the connectivity between nodes when simulating large-scale mobile ad hoc radio networks.
Journal of Systems and Software, 2004

The distance-2 matching problem and its relationship to the MAC-Layer capacity of ad hoc wireless networks.
IEEE Journal on Selected Areas in Communications, 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
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).
Electr. Notes Theor. Comput. Sci., 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

Algorithmic aspects of topology control problems for ad hoc networks.
Proceedings of the 3rd ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 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.
Wireless Networks, 2001

Complexity and Approximability of Quantified and Stochastic Constraint Satisfaction Problems.
Electronic Notes in Discrete Mathematics, 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
Budget Constrained Minimum Cost Connected Medians.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2000

Approximation Algorithms for Clustering to Minimize the Sum of Diameters.
Proceedings of the Algorithm Theory, 2000

An experimental study of a simple, distributed edge coloring algorithm.
Proceedings of the Twelfth annual ACM Symposium on Parallel Algorithms and Architectures, 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

Point set labeling with specified positions.
Proceedings of the Sixteenth Annual Symposium on Computational Geometry, 2000

1999
Improving Spanning Trees by Upgrading Nodes.
Theor. Comput. Sci., 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

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

Upgrading Bottleneck Constrained Forests.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1998

A Computational Study of Routing Algorithms for Realistic Transportation Networks.
Proceedings of the Algorithm Engineering, 1998

Formal Language Constrained Path Problems.
Proceedings of the Algorithm Theory, 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

Improving Spanning Trees by Upgrading Nodes.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 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. Discrete Math., 1996

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

Modifying Networks to Obtain Low Cost Trees.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1996

Service-Constrained Network Design Problems.
Proceedings of the Algorithm Theory, 1996

Complexity of hierarchically and 1-dimensional periodically specified problems I: Hardness results.
Proceedings of the Satisfiability Problem: Theory and Applications, 1996

Approximation Algorithms for Maximum Two-Dimensional Pattern Matching.
Proceedings of the Combinatorial Pattern Matching, 7th Annual Symposium, 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

Bicriteria Network Design Problems.
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 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

Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version).
Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing, 1994

Spanning Trees Short or Small.
Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms. 23-25 January 1994, 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

Efficient Approximation Algorithms for Domatic Partition and On-Line Coloring of Circular Arc Graphs.
Proceedings of the Computing and Information, 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.
Discrete Applied Mathematics, 1992

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...