Publications

Filter by type:

Category Theoretic Formulation of the Model Based Systems Architecting Congitive-Computational Cycle

Details PDF

Compositional Scientific Computing with Catlab and SemanticModels

Details PDF Slides Code Project

Unsupervised Construction of Knowledge Graphs From Text and Code

Details Code Project

A Categorical Framework for Scientific Model Augmentation

Details PDF Slides Code Project

Semantic Program Analysis for Scientific Model Augmentation

Details PDF Slides Video Code Project

Remote Method for Volunteering\Digital Evidence on Mobile Devices

Details PDF Slides Code Project

Performance Effects of Datastructures in Community Detection Algorithms

Details PDF Slides Code Project

Credibility in the News: Do we need to read?

Details PDF Slides Code

Integrating Productivity-Oriented Programming Languages with High-Performance Data Structures

Details PDF Slides

New stopping criteria for spectral partitioning

Details PDF

Graph Ranking Guarantees for Numerical Approximations to Katz Centrality

Details PDF

A local measure of community change in dynamic graphs

Details

Using Big Data to Predict and Analyze Cooperation and Conflict

Details

Deriving Streaming Graph Algorithms from Static Definitions

Details Slides Code Dataset

Graph Partitioning with Spectral Blends

Details PDF

Novel Stopping Criteria for Spectral Partitioning

Details PDF Slides

Discovering Block Structure with Approximate Eigenvectors

Details PDF Slides

Behavioral Clusters in Dynamic Graphs

Details PDF

A Statistical Framework for Analyzing Streaming Graphs

Details PDF

Poster: A Ramsey Theorem for Indecomposable Matchings

Details

A Ramsey Theorem for Indecomposable Matchings

Details PDF