yusuke1997/dblp-id-title huggingface dataset:
Solving Sparse Triangular Linear Systems on Parallel Computers
Big Data Semantics
Imaging Biomarker Ontology (IBO): A Biomedical Ontology to Annotate and Share Imaging Biomarker Data
Possible Keys and Functional Dependencies
Toward Automated Support of Complaint Handling Processes: An Application in the Medical Technology Industry
An Ontology for Sharing and Managing Information in Disaster Response: In Flood Response Usage Scenarios
On Modeling and Querying Concept Evolution
Product-Seeded and Basket-Seeded Recommendations for Small-Scale Retailers
Declarative and Hybrid Process Discovery: Recent Advances and Open Challenges
Special Issue on: Evolution and Versioning in Semantic Data Integration Systems
Query Extensions and Incremental Query Rewriting for OWL 2 QL Ontologies
On Link Discovery using a Hybrid Approach
Random Query Answering with the Crowd
DeepEx: A Robust Weak Supervision System for Knowledge Base Augmentation
HyKSS: Hybrid Keyword and Semantic Search
Dealing with Direct and Indirect Ontology Alignment
Online Reasoning for Semantic Error Detection in Text
Declarative Semantics for P2P Data Management System
A Framework for Alignment of Data and Processes Architectures Applied in a Government Institution
Content-Based Video Recommendation System Based on Stylistic Visual Features
Linked Open Piracy: A Story about e-Science, Linked Data, and Statistics
Instance-Based Ontology Matching by Instance Enrichment
Automatic Acquisition of Adjective Lexicalizations of Restriction Classes: a Machine Learning Approach
A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology
The Complexity of Lattice-Based Fuzzy Description Logics
Consistent Abstraction of Business Processes Based on Constraints
Efficient Analytical Queries on Semantic Web Data Cubes
Ontology Integration for Linked Data
Special Issue on: Model and Data Engineering
Ant-Colony Optimisation for Path Recommendation in Business Process Execution
AI-Empowered Process Mining for Complex Application Scenarios: Survey and Discussion
CSLAOnto: A Comprehensive Ontological SLA Model in Cloud Computing
Word-Sense Disambiguation for Ontology Mapping: Concept Disambiguation using Virtual Documents and Information Retrieval Techniques
A Semantic Model for Human Mobility in an Urban Region
Semantics Meets Big Data: Formal Models, Practical Issues, Novel Paradigms
A Core Ontology of Business Processes Based on DOLCE
Evaluating Geospatial RDF Stores Using the Benchmark Geographica 2
Semantics-Aware Approaches to Big Data Engineering
IQCPSoS: A Model-Based Approach for Modeling and Analyzing Information Quality Requirements for Cyber-Physical System-of-Systems
Measuring Clusters of Labels in an Embedding Space to Refine Relations in Ontology Alignment
Special Issue on: Twelfth International Conference on Ontologies, Databases, and Applications of Semantics
Preface to the Special Issue on Business Process Innovations with Artificial Intelligence
Using Implicit Preference Relations to Improve Recommender Systems
τ OWL: A Systematic Approach to Temporal Versioning of Semantic Web Ontologies
Providing Insight into Data Source Topics
Multi-Dimensional Event Data in Graph Databases
Modeling CrowdSourcing Scenarios in Socially-Enabled Human Computation Applications
Mapping between RDF and XML with XSPARQL
Integrating a Formal Development for DSLs into Meta-Modeling
Preface to the Special Issue on Artificial Intelligence for Business Process Management 2018
Sensor-based Human-Process Interaction in Discrete Manufacturing
Capturing Place Semantics on the GeoSocial Web
ROMULUS: The Repository of Ontologies for MULtiple USes Populated with Mediated Foundational Ontologies
Formal Framework for Checking Compliance of Data-Driven Case Management
The Role of Common-Sense Knowledge in Assessing Semantic Association
Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches
Specifying and Executing User Agents in an Environment of Reasoning and RESTful Systems Using the Guard-Stage-Milestone Approach
Producing Just Enough Documentation: An Optimization Approach Applied to the Software Architecture Domain
Data Semantics on the Web
SOWL QL: Querying Spatio-Temporal Ontologies in OWL
Special Issue on: Knowledge-intensive Business Processes
MongoDB-Based Modular Ontology Building for Big Data Integration
Preface to the Special Issue on Artificial Intelligence for Business Process Management 2019
Correction to: AI-Empowered Process Mining for Complex Application Scenarios: Survey and Discussion
User-Configurable Semantic Data Stream Reasoning Using SPARQL Update
Using Semantic Documentation to Support Software Project Management
Defining and Detecting Complex Changes on RDF(S) Knowledge Bases
Ontology for Semantic Data Integration in the Domain of IT Benchmarking
An Ontology for Privacy Requirements via a Systematic Literature Review
On Generating Benchmark Data for Entity Matching
Distributed RDFS Reasoning Over Structured Overlay Networks
Transaction Logic with Partially Defined Actions
A Framework for Ontology-Based Top-K Global Schema Generation
Schema Evolution Survival Guide for Tables: Avoid Rigid Childhood and You're En Route to a Quiet Life
Metrics for the Prediction of Evolution Impact in ETL Ecosystems: A Case Study
Preface to the Special Issue on Process Querying and Declarative, Decision and Hybrid Approaches to Processes 2019
Recommending Geo-semantically Related Classes for Link Discovery
Breaking the Deadlock: Simultaneously Discovering Attribute Matching and Cluster Matching with Multi-Objective Metaheuristics
The Short-term User Modeling for Predictive Applications
Ontology Modularization with OAPT
Design Life-Cycle-Driven Approach for Data Warehouse Systems Configurability
Linked Data for the International Aid Transparency Initiative
Preventing, Detecting, and Revising Flaws in Object Property Expressions
A Semantic Foundation for Provenance Management
Discovering Similarity and Dissimilarity Relations for Knowledge Propagation in Web Ontologies
A Prey-Predator Approach for Ontology Meta-matching
The datAcron Ontology for the Specification of Semantic Trajectories - Specification of Semantic Trajectories for Data Transformations Supporting Visual Analytics
Improving Business Process Model Quality Using Domain Ontologies
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
Exchange-Repairs - Managing Inconsistency in Data Exchange
A Social Semantic Web Access Control Model
Automated Planning for Business Process Management
Context-Based Matching: Design of a Flexible Framework and Experiment
Process Coordination with Business Artifacts and Multiagent Technologies
What is in the KGQA Benchmark Datasets? Survey on Challenges in Datasets for Question Answering on Knowledge Graphs
Scientific Workflow, Provenance, and Data Modeling Challenges and Approaches
SPARQL Query Generator (SQG)
Detecting User Profiles in Collaborative Ontology Engineering Using a User's Interactions
Topic Summary Views for Exploration of Large Scholarly Datasets
Entropy as a Measure of Log Variability
Grounding Ontologies with Social Processes and Natural Language
Preface of the Special Issue of the Sixth French-Speaking Conference on Ontologies
Integrating BPMN and DMN: Modeling and Analysis
Ontology Change Management and Identification of Change Patterns
Ontologies-Based Platform for Sociocultural Knowledge Management
Execution of Knowledge-Intensive Processes by Utilizing Ontology-Based Reasoning
Curating the Specificity of Ontological Descriptions under Ontology Evolution
DYNAMO-MAS: a Multi-Agent System for Ontology Evolution from Text
Impact Analysis and Policy-Conforming Rewriting of Evolving Data-Intensive Ecosystems
Ontology-Based Information Extraction: Identifying Eligible Patients for Clinical Trials in Neurology
Multi-Query Optimization on RSS Feeds
A Multi-criteria Evaluation Approach for Selecting a Sensitive Business Process Modeling Language for Knowledge Management
Strongly Possible Keys for SQL
A Categorical Approach to Networks of Aligned Ontologies
Diversicon: Pluggable Lexical Domain Knowledge
Model-Based Management of Strategic Initiatives
Preface to the Special Issue on Recommender Systems
Assessing and Improving the Quality of SKOS Vocabularies
SPARQL Query Containment Under Schema
A Higher Order Approach to Ontology Evolution in Physics
Evaluate, Reorganize and Share: An Approach to Dynamically Organize Digital Hierarchies
Semantic Enrichment of GSM-Based Artifact-Centric Models
Dynamic Discovery of Type Classes and Relations in Semantic Web Data
Resource Controllability of Business Processes Under Conditional Uncertainty
Approximating the Schema of a Set of Documents by Means of Resemblance
Preface to the Fifth French-Speaking Conference on Ontologies
Harnessing the Power of Unified Metadata in an Ontology Repository: The Case of AgroPortal
A Model for Digital Libraries and its Translation to RDF
Analysis and Prediction of User Editing Patterns in Ontology Development Projects
An Ontological Approach to Design Real-time Applications
Dynamic Access Control to Semantics-Aware Streamed Process Logs
CDI: Configurable Data Integration Using Property Precedence Relations
Undirected Graph Theory
Lyndon words
Bounded Natural Functors with Covariance and Contravariance
Aggregation Algebras
Extension of Stateful Intransitive Noninterference with Inputs, Outputs, and Nondeterminism in Language IMP
HOL-CSP Version 2.0
Completeness of Decreasing Diagrams for the Least Uncountable Cardinality
Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories
Fermat's Last Theorem for Exponents 3 and 4 and the Parametrisation of Pythagorean Triples
Imperative Insertion Sort
An Example of a Cofinitary Group in Isabelle/HOL
Dictionary Construction
A Formal Model of the Document Object Model with Shadow Roots
Verified QBF Solving
Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors
Verification of a Diffie-Hellman Password-based Authentication Protocol by Extending the Inductive Method
Pairing Heap
Generating linear orders for datatypes
Duality of Linear Programming
A Formalization of Assumptions and Guarantees for Compositional Noninterference
A Complete Proof of the Robbins Conjecture
Kleene Algebra with Tests and Demonic Refinement Algebras
Minsky Machines
The Group Law for Elliptic Curves
Kraus Maps
Ordinals and Cardinals
Cryptographic Standards
Impossibility of the Dissection of a Cube
A verified algorithm for computing the Smith normal form of a matrix
Galois Energy Games
Gauss-Jordan Algorithm and Its Applications
Formalizing Results on Directed Sets
Formalization of Knuth-Bendix Orders for Lambda-Free Higher-Order Terms
Strict Omega Categories
Soundness and Completeness of Implicational Logic
Combinatorial q-Analogues
Compositional BD Security
A Formalization of Declassification with WHAT-and-WHERE-Security
The Ipurge Unwinding Theorem for CSP Noninterference Security
Formalization of Generic Authenticated Data Structures
Linear Inequalities
Ordinal Partitions
Karatsuba Multiplication on Integers
Chomsky-Schützenberger Representation Theorem
Operations on Bounded Natural Functors
Theta Functions
Exploring Simplified Variants of Gödel's Ontological Argument in Isabelle/HOL
The Lévy-Prokhorov Metric
Syntax-Independent Logic Infrastructure
Examples of Restriction Spaces
Multidimensional Binary Search Trees
Conservation of CSP Noninterference Security under Concurrent Composition
Evaluate winding numbers through Cauchy indices
Proof Terms for Term Rewriting
Count the Number of Complex Roots
First-Order Rewriting
The independence of Tarski's Euclidean axiom
Abstract Hoare Logics
Solution to the xkcd Blue Eyes puzzle
The Lambert W Function on the Reals
The Königsberg Bridge Problem and the Friendship Theorem
Converting Linear-Time Temporal Logic to Generalized Büchi Automata
The Cartan Fixed Point Theorems
Minimal Static Single Assignment Form
The Oneway to Hiding Theorem
The Z Property
Formalization of Hyper Hoare Logic: A Logic to (Dis-)Prove Program Hyperproperties
Lightweight Java
Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)
Eudoxus Reals
Decomposition of totally ordered hoops
An Axiomatic Characterization of the Single-Source Shortest Path Problem
Deriving generic class instances for datatypes
Knight's Tour Revisited Revisited
A Formal Model of Extended Finite State Machines
Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph
Boolos's Curious Inference in Isabelle/HOL
Regression Test Selection
Laplace Transform
Graph Lemma
Bounded-Deducibility Security
Real-Valued Special Functions: Upper and Lower Bounds
Complex Bounded Operators
CoSMeDis: A confidentiality-verified distributed social media platform
Enriched Category Basics
The Hermite-Lindemann-Weierstraß Transcendence Theorem
Morley's Theorem
IMP2 - Simple Program Verification in Isabelle/HOL
(Extended) Interval Analysis
The Akra-Bazzi theorem and the Master theorem
Conditional Transfer Rule
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming
A Naive Prover for First-Order Logic
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover
S-Finite Measure Monad on Quasi-Borel Spaces
Constructing the Reals as Dedekind Cuts of Rationals
Strong Eventual Consistency of the Collaborative Editing Framework WOOT
Irrational numbers from THE BOOK
Representations of Finite Groups
Finite Machine Word Library
Gaussian Integers
Invertibility in Sequent Calculi
Undecidability Results on Orienting Single Rewrite Rules
A Formalization of Weighted Path Orders and Recursive Path Orders
Decreasing Diagrams II
Sigma Protocols and Commitment Schemes
Typed Ordered Resolution
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL
A Formalization of Safely Composable Web Components
Class-based Classical Propositional Logic
Risk-Free Lending
Effect polymorphism in higher-order logic
A simple proof that π is irrational
Stream Fusion in HOL with Code Generation
Discrete Summation
VerifyThis 2018 - Polished Isabelle Solutions
Reducing Rewrite Properties to Properties on Ground Terms
Wetzel's Problem and the Continuum Hypothesis
Monad normalisation
Lifting the Exponent
Recursion Theory I
Extension of Types-To-Sets
Skip Lists
Bicategories
The Resolution Calculus for First-Order Logic
Complex Lattices, Elliptic Functions, and the Modular Group
Inline Caching and Unboxing Optimization for Interpreters
Category Theory for ZFC in HOL II: Elementary Theory of 1-Categories
CakeML
Computing Square Roots using the Babylonian Method
Broadcast Psi-calculi
Promela Formalization
The Sturm-Tarski Theorem
Inner Structure, Determinism and Modal Algebra of Multirelations
Extensions to the Comprehensive Framework for Saturation Theorem Proving
Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems
Quasi-Borel Spaces
The Riesz Representation Theorem
The Incompatibility of Strategy-Proofness and Representation in Party-Approval Multi-Winner Elections
Stateful Protocol Composition and Typing
Gauss Sums and the Pólya-Vinogradov Inequality
Gale-Stewart Games
Stalnaker's Epistemic Logic
The Factorization Algorithm of Berlekamp and Zassenhaus
More Operations on Lazy Lists
Microeconomics and the First Welfare Theorem
Source Coding Theorem
Universal Pairs for Diophantine Equations
Countable Sums and Discrete (Sub)Distributions
Finite Map Extras
Constructive Cryptography in HOL
Verification of the CVM algorithm with a New Recursive Analysis Technique
The Irrationality of ζ(3)
Compactness Theorem for First-Order Logic
Given Clause Loops
Factorization of Polynomials with Algebraic Coefficients
Interval Arithmetic on 32-bit Words
IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols
Stirling's formula
Banach-Steinhaus Theorem
Distributed Distinct Elements
Rabin's Closest Pair of Points Algorithm
Allen's Interval Calculus
First-Order Terms
Formalization of Concurrent Revisions
The Budan-Fourier Theorem and Counting Real Roots with Multiplicity
Sums of Two and Four Squares
Instances of Schneider's generalized protocol of clock synchronization
Quantifier Elimination for Linear Arithmetic
Nano JSON: Working with JSON formatted data in Isabelle/HOL and Isabelle/ML
Concurrent IMP
Dynamic Pushdown Networks
Wooley's Discrete Inequality
LL(1) Parser Generator
Universal Hash Families
SpecCheck - Specification-Based Testing for Isabelle/ML
Stone-Kleene Relation Algebras
Ultrametric Structure for Restriction Spaces
Schönhage-Strassen Multiplication
The Transcendence of e
First-Order Query Evaluation
Combinatorial Design Theory
Standard Borel Spaces
JinjaDCI: a Java semantics with dynamic class initialization
X86 instruction semantics and basic block symbolic execution
Farkas' Lemma and Motzkin's Transposition Theorem
Irrational Rapidly Convergent Series
Partial Order Reduction
The HOL-CSP Refinement Toolkit
Mersenne primes and the Lucas-Lehmer test
Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic
Real-Time Double-Ended Queue
CoCon: A Confidentiality-Verified Conference Management System
Lower bound on comparison-based sorting algorithms
Hypergraph Colouring Bounds
A General Theory of Syntax with Bindings
From Abstract to Concrete Gödel's Incompleteness Theorems - Part II
The Mason-Stother's Theorem
Lucas's Theorem
Public Announcement Logic
The Correctness of Launchbury's Natural Semantics for Lazy Evaluation
DCR Syntax and Execution Equivalent Markings
Set Reconciliation
Combinatorial Enumeration Algorithms
A Formal Proof of The Chandy-Lamport Distributed Snapshot Algorithm
Kneser's Theorem and the Cauchy-Davenport Theorem
Executable Transitive Closures
Negatively Associated Random Variables
The Localization of a Commutative Ring
Intersecting Chords Theorem
A Zoo of Probabilistic Systems
Soundness of the Q0 proof system for higher-order logic
A Reduction Theorem for Store Buffers
COMPLX: A Verification Framework for Concurrent Imperative Programs
Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra
The Theorem of Three Circles
Modal quantales, involutive quantales, Dedekind Quantales
Maximum Cardinality Matching
Coupled Similarity and Contrasimilarity, and How to Compute Them
Some classical results in Social Choice Theory
Higher Globular Catoids and Quantales
Complex Geometry
Mission-time Linear Temporal Logic Formula Progression
Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms
The Falling Factorial of a Sum
A Verified Translation of Multitape Turing Machines into Singletape Turing Machines
Power Operator for Lists
Verification of Selection and Heap Sort Using Locales
BDD Normalisation
Abstract Completeness
Two-Way Deterministic Finite Automata
Pseudo Hoops
Linear Temporal Logic
Abstract Substitution
The Twelvefold Way
A Restricted Definition of the Magic Wand to Soundly Combine Fractions of a Wand
Separata: Isabelle tactics for Separation Algebra
Verification of Query Optimization Algorithms
Chebyshev Polynomials
Ramsey Number Bounds
Conditional Simplification
Jinja with Threads
Sound and Complete Sort Encodings for First-Order Logic
Pricing in discrete financial models
CoreC++
Possibilistic Noninterference
Hoare Logics for Time Bounds
The Euler-MacLaurin Formula
The Incompatibility of SD-Efficiency and SD-Strategy-Proofness
Fixed-length vectors
Light-weight Containers
Local Lexing
The Plünnecke-Ruzsa Inequality
Gödel's God in Isabelle/HOL
Hermite Normal Form
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument
Two Theorems on Hermitian Matrices
Residuated Transition Systems II: Categorical Properties
An Algebra for Higher-Order Terms
Quantales
Recursion Theorem in ZF
Analysing and Comparing Encodability Criteria for Process Calculi
Secret-Directed Unwinding
Formal Network Models and Their Application to Firewall Policies
Executable Matrix Operations on Matrices of Arbitrary Dimensions
Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL
AI Planning Languages Semantics
Relation Algebra
OpSets: Sequential Specifications for Replicated Datatypes
Native Word
Root-Balanced Tree
Concrete bounds for Chebyshev's prime counting functions
CCS in nominal logic
Roth's Theorem on Arithmetic Progressions
Pell's Equation
Myhill-Nerode Theorem for Nominal G-Automata
Fresh identifiers
Lifting Definition Option
Transitive Union-Closed Families
Category Theory for ZFC in HOL III: Universal Constructions
Generating Cases from Labeled Subgoals
Cardinality of Number Partitions
Shivers' Control Flow Analysis
Substitutions for Lambda-Free Higher-Order Terms
Abortable Linearizable Modules
The Rogers-Ramanujan Identities
Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows
A Sound Type System for Physical Quantities, Units, and Measurements
Renaming-Enriched Sets (Rensets) and Renaming-Based Recursion
Minimal, Maximal, Least, and Greatest Elements w.r.t. Restricted Ordering
Differential Privacy using Quasi-Borel Spaces
Relational Disjoint-Set Forests
Formalizing Statecharts using Hierarchical Automata
Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL
Context-Free Grammars and Languages
Information Flow Control via Stateful Intransitive Noninterference in Language IMP
A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic
Clean - An Abstract Imperative Programming Language and its Theory
Category Theory to Yoneda's Lemma
Descartes' Rule of Signs
Logical Relations for PCF
SCL Simulates Nonredundant Ground Resolution
No-free-lunch theorem for machine learning
Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions
CoSMed: A confidentiality-verified social media platform
Positional Determinacy of Parity Games
Probabilistic Timed Automata
Unbounded Separation Logic
Furstenberg's topology and his proof of the infinitude of primes
Uncertainty Principle
Sturm's Theorem
A Reuse-Based Multi-Stage Compiler Verification for Language IMP
Hotel Key Card System
Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL
Matrices for ODEs
The Divergence of the Prime Harmonic Series
Von-Neumann-Morgenstern Utility Theorem
The Stern-Brocot Tree
Cubical Categories
Gauss-Jordan Elimination for Matrices Represented as Functions
Grothendieck's Schemes in Algebraic Geometry
Discrete Upper Confidence Bound Algorithm in HOL
Belief Revision Theory
Van der Waerden's Theorem
Notes on Gödel's and Scott's Variants of the Ontological Argument (Isabelle/HOL dataset)
Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics
The Cook-Levin theorem
Tarski's Parallel Postulate implies the 5th Postulate of Euclid, the Postulate of Playfair and the original Parallel Postulate of Euclid
Stream Fusion
The Generic Unwinding Theorem for CSP Noninterference Security
The Transcendence of Certain Infinite Series
Sophie Germain's Theorem
Fun With Tilings
Hensel's Lemma for the p-adic Integers
Dirichlet L-Functions and Dirichlet's Theorem
Stuttering Equivalence
A Formalization of Web Components
Formalization of Timely Dataflow's Progress Tracking Protocol
Refinement for Monadic Programs
Code Generation for Functions as Data
Formalization of a Generalized Protocol for Clock Synchronization
Kleene Algebras with Domain
Isabelle/DOF
The Prime Number Theorem
Pre*: The Predecessors of a Regular Language w.r.t. a Context-Free Grammar, with Applications
The Kolmogorov-Chentsov theorem
The BKR Decision Procedure for Univariate Real Arithmetic
A Verified Proof Checker for Metric First-Order Temporal Logic
Deriving class instances for datatypes
A Sequent Calculus Prover for First-Order Logic with Functions
Residuated Lattices
Practical Algebraic Calculus Checker
Signature-Based Gröbner Basis Algorithms
An Under-Approximate Relational Logic
Derandomization with Conditional Expectations
Diophantine Equations and the DPRM Theorem
Robinson Arithmetic
Properties of Random Graphs - Subgraph Containment
Game-based cryptography in HOL
Formalisation and Analysis of Component Dependencies
The Error Function
Coproduct Measure
Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information
Expander Graphs