yusuke1997/dblp-id-title huggingface dataset:
Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures
Design and Fabrication of CSWAP Gate Based on Nano-Electromechanical Systems
Event Structure Semantics of (controlled) Reversible CCS
Reversible Computation - 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics
Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams
Application of Functional Decomposition in Synthesis of Reversible Circuits
Using π DDs in the Design of Reversible Circuits
Formal Translation from Reversing Petri Nets to Coloured Petri Nets
Search-Based Transformation Synthesis for 3-Valued Reversible Circuits
Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
From Reversible Semantics to Reversible Debugging
Quantum Circuits for Floating-Point Arithmetic
Reversible Computation vs. Reversibility in Petri Nets
Synthesizing Loops for Program Inversion
Implementation of an Optimally Bounded Algorithm for Quantum State Preparation
Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms
Changing the Gate Order for Optimal LNN Conversion
Sized Types for Low-Level Quantum Metaprogramming
Concurrencies in Reversible Concurrent Calculi
Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions
Reversibility with Holes - (Work in Progress)
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper
Connecting Reversible and Classical Computing Through Hybrid SSA
Implementing Reversible Neural Networks
Test Pattern Generation Effort Evaluation of Reversible Circuits
Design of p-Valued Deutsch Quantum Gates with Multiple Control Signals and Mixed Polarity
Event Structures for the Reversible Early Internal π-Calculus
Tools for Quantum and Reversible Circuit Compilation
Reversible Computing Using Adiabatic Superconductor Logic
A Hierarchy of Fast Reversible Turing Machines
Properties of Quantum Templates
Reducing the Depth of Quantum Circuits Using Additional Circuit Lines
Mapping NCV Circuits to Optimized Clifford+T Circuits
On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure
Design and Fabrication of a Microprocessor Using Adiabatic CMOS and Bennett Clocking
Compiling Janus to RSSA
Algeo: An Algebraic Approach to Reversibility
RevVis: Visualization of Structures and Properties in Reversible Circuits
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report
Checking Reversibility of Boolean Functions
Optimizing Reversible Programs
Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures
A Reversible Runtime Environment for Parallel Programs
Cross-Level Validation of Topological Quantum Circuits
On the Expressivity of Total Reversible Programming Languages
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1
Enumeration of Reversible Functions and Its Application to Circuit Complexity
Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
Tail Recursion Transformation for Invertible Functions
Reversibility of Executable Interval Temporal Logic Specifications
White Dots do Matter: Rewriting Reversible Logic Circuits
Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Equivalence Checking in Multi-level Quantum Systems
Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures
Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits
Reversible Occurrence Nets and Causal Reversible Prime Event Structures
Generating Reversible Circuits from Higher-Order Functional Programs
Maximality of Reversible Gate Sets
Reversible Causal Graph Dynamics
Time Complexity of Tape Reduction for Reversible Turing Machines
Strongly Universal Reversible Gate Sets
Towards the Limits of Cascaded Reversible (Quantum-Inspired) Circuits
Towards a Taxonomy for Reversible Computation Approaches
Algorithmically Expressive, Always-Terminating Model for Reversible Computation
A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis
Forward-Reverse Observational Equivalences in CCSK
Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical Problems
Implementing NChooseK on IBM Q Quantum Computer Systems
Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits
OR-Toffoli and OR-Peres Reversible Gates
Reverse Code Generation for Parallel Discrete Event Simulation
Hybrid GF(2) - Boolean Expressions ..for Quantum Computing Circuits
Reversible Computation - Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure
Reversible In-Place Carry-Lookahead Addition with Few Ancillae
QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report)
Implementing Reversible Object-Oriented Language Features on Reversible Machines
Design of Efficient Quantum Circuits Using Nearest Neighbor Constraint in 2D Architecture
Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits
Reversible Computation in Petri Nets
On Reversibility and Broadcast
Constructing All Qutrit Controlled Clifford+T gates in Clifford+T
Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings
A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads
Independence and Causality in the Reversible Concurrent Setting
Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier
Isomorphic Interpreters from Logically Reversible Abstract Machines
Concurrency and Reversibility
Minimal Designs of Reversible Sequential Elements
Replications in Reversible Concurrent Calculi
On Exact Sizes of Minimal CNOT Circuits
2D Qubit Layout Optimization for Topological Quantum Computation
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware
Reversible and Quantum Circuit Optimization: A Functional Approach
Equational Reasoning About Quantum Protocols
A Reversible Processor Architecture and Its Reversible Logic Design
Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots
Reversible Functional Array Programming
Reversibility and Predictions
Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions
The ℵ-Calculus - A Declarative Model of Reversible Programming
Towards a Domain-Specific Language for Reversible Assembly Sequences
Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language
Foundations of Generalized Reversible Computing
Optimizing the Reversible Circuits Using Complementary Control Line Transformation
Reversibility in Space, Time, and Computation: The Case of Underwater Acoustic Communications - Work in Progress Report
How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton?
Controlled Reversibility and Compensations
Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs
Designing a Reversible Stack Machine
Reference Counting for Reversible Languages
Variational Quantum Eigensolver and Its Applications
Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress
Reversible Representation and Manipulation of Constructor Terms in the Heap
Proceedings of the Workshop on Reversible Computation, RC@ETAPS 2009, York, UK, March 22, 2009
Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits
Splitting Recursion Schemes into Reversible and Classical Interacting Threads
Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation
RevKit: An Open Source Toolkit for the Design of Reversible Circuits
Causal Debugging for Concurrent Systems
An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid
Transforming MCT Circuits to NCVW Circuits
ZX-Rules for 2-Qubit Clifford+T Quantum Circuits
Approximate Optimisation of Quantum Circuits Using the ZX Calculus with Phase Squashing
Hermes: A Language for Light-Weight Encryption
Garbage-Free Reversible Multiplication and Division
Computational Complexity of Reversible Reaction Systems
Towards Modelling of Local Reversibility
Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine
Optimizing Quantum Space Using Spooky Pebble Games
Trace Complexity of Chaotic Reversible Cellular Automata
Designing Parity Preserving Reversible Circuits
Involutory Turing Machines
Saving Memory Space in Deep Neural Networks by Recomputing: A Survey
Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits
Controlled and Uncontrolled SWAP Gates in Reversible Logic Synthesis
Reversible Computation - 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Energy Recovery and Logical Reversibility in Adiabatic CMOS Multiplier
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
Quantum Circuit Optimization by Hadamard Gate Reduction
Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A ^* ∗
Static VS Dynamic Reversibility in CCS
Explicit Identifiers and Contexts in Reversible Concurrent Calculus
Frugal Encoding in Reversible MOQA: A Case Study for Quicksort
A Finite Alternation Result for Reversible Boolean Circuits
RevMiGo: Reversible Channel-Based Communication in Go Language
A Method to Reduce Resources for Quantum Error Correction
Reversible Programming Languages Capturing Complexity Classes
Towards VHDL-Based Design of Reversible Circuits - Work in Progress Report
Towards Quantum Programs Verification: From Quipper Circuits to QPMC
Reversible Computation in Integrated Photonics
Garbageless Reversible Implementation of Integer Linear Transformations
Capacitive-Based Adiabatic Logic
Universal Graph Theory Operations for Graph State Preparation
Degrees of Reversibility for DFA and DPDA
Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Improved Decomposition of Multiple-Control Ternary Toffoli Gates Using Muthukrishnan-Stroud Quantum Gates
Towards Causal-Consistent Reversibility of Imperative Concurrent Programs
Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient CNOT Gate Using Fluxons
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean
Reversible Object-Oriented Programming with Region-Based Memory Management - Work-in-progress Report
Comparing CMOS-Based and NEMS-Based Adiabatic Logic Circuits
Two Small Quantum Building-Blocks Suffice
Real-Time Methods in Reversible Computation
LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper
Multi-objective Synthesis of Quantum Circuits Using Genetic Programming
Efficient Construction of Functional Representations for Quantum Algorithms
Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits?
A Small-Step Semantics for Janus
Ancilla-Free Quantum Adder with Sublinear Depth
Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip
A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis
Compositional Reversible Computation
Universal Gates in Other Universes
A Fully Fault-Tolerant Representation of Quantum Circuits
A Library of Reversible Circuit Transformations (Work in Progress)
Inversion, Iteration, and the Art of Dual Wielding
Finding Optimal Implementations of Non-native CNOT Gates Using SAT
Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
A Reversible Debugger for Imperative Parallel Programs with Contracts
Fractional Types - Expressive and Safe Space Management for Ancilla Bits
Characterizing Compatible View Updates in Syntactic Bidirectionalization
2nd Workshop on the Theory and Practice of Provenance, TaPP'10, San Jose, CA, USA, February 22, 2010
Efficient Query Computing for Uncertain Possibilistic Databases with Provenance
Start Smart and Finish Wise: The Kiel Marine Science Provenance-Aware Data Management Approach
Panda: A System for Provenance and Data
Applying Provenance in APT Monitoring and Analysis: Practical Challenges for Scalable, Efficient and Trustworthy Distributed Provenance
Provenance-integrated parameter selection and optimization in numerical simulations
Runtime provenance refinement for notebooks
Integrating Approximate Summarization with Provenance Capture
Toward Provenance-Based Security for Configuration Languages
A Conceptual Model and Predicate Language for Data Selection and Projection Based on Provenance
Recent Advances in Computer Architecture: The Opportunities and Challenges for Provenance
Proceedings of the 14th International Workshop on the Theory and Practice of Provenance, TaPP 2022, Philadelphia, Pennsylvania, 17 June 2022
13th International Workshop on Theory and Practice of Provenance, TaPP 2021, July 19-20, 2021
Experiment Explorer: Lightweight Provenance Search over Metadata
Getting It Together: Enabling Multi-organization Provenance Exchange
On the Use of Abstract Workflows to Capture Scientific Process Provenance
PROV-CRT: Provenance Support for Container Runtimes
Provenance Management in Databases Under Schema Evolution
Toward Provenance Capturing as Cross-Cutting Concern
OPUS: A Lightweight System for Observational Provenance in User Space
How "How" Explains What "What" Computes - How-Provenance for SQL and Query Compilers
Bringing Provenance to Its Full Potential Using Causal Reasoning
Provenance for Data Mining
GitLab2PROV - Provenance of Software Projects hosted on GitLab
Provenance-aware Versioned Dataworkspaces
Towards Secure User-space Provenance Capture
A Fine-Grained Workflow Model with Provenance-Aware Security Views
Refining SQL Queries based on Why-Not Polynomials
IPAPI: Designing an Improved Provenance API
5th Workshop on the Theory and Practice of Provenance, TaPP'13, Lombard, IL, USA, April 2-3, 2013
Provenance Meets Bidirectional Transformations
Observed vs. Possible Provenance (Research Track)
ReproZip: Using Provenance to Support Computational Reproducibility
Integrity Checking and Abnormality Detection of Provenance Records
Provenance Integration Requires Reconciliation
One of These Records Is Not Like the Others
Retrospective Provenance Without a Runtime Provenance Recorder
Composition and Substitution in Provenance and Workflows
HadoopProv: Towards Provenance as a First Class Citizen in MapReduce
Using Provenance for Generating Automatic Citations
Practical Provenance Privacy Protection
Data provenance for recursive SQL queries
A Graph Model of Data and Workflow Provenance
Provenance in DISC Systems: Reducing Space Overhead at Runtime
ACCESSPROV: Tracking the Provenance of Access Control Decisions
Aggregating unsupervised provenance anomaly detectors
Provenance Capture Disparities Highlighted through Datasets
D-PROV: Extending the PROV Provenance Model with Workflow Structure
Universal provenance for regular path queries
Default-all is dangerous!
Provenance-based Belief
Efficient approximate search for sets of lineage vectors
Answering Historical What-if Queries with Provenance, Reenactment, and Symbolic Execution
Provenance Map Orbiter: Interactive Exploration of Large Provenance Graphs
Provenance Needs Incentives for Everyone
Declaratively Processing Provenance Metadata
Provenance Query Patterns for Many-Task Scientific Computing
Challenges in Managing Implicit and Abstract Provenance Data: Experiences with ProvManager
It's About the Data: Provenance as a Tool for Assessing Data Fitness
Using Provenance for Repeatability
An Event-based Data Model for Granular Information Flow Tracking
Visualizing Provenance using Comics
Provenance of Publications: A PROV Style for LaTeX
A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining
Dynamic Provenance for SPARQL Updates Using Named Graphs
Dependency Path Patterns as the Foundation of Access Control in Provenance-aware Systems
Cell-based Causality for Data Repairs
TAP: Time-aware Provenance for Distributed Systems
Reorganizing Workflow Evolution Provenance
Approximated Provenance for Complex Applications
DCM explorer: a tool to support transparent data cleaning through provenance exploration
Dataflow Notebooks: Encoding and Tracking Dependencies of Cells
12th International Workshop on Theory and Practice of Provenance, TaPP 2020, June 22, 2020
Datalog as a Lingua Franca for Provenance Querying and Reasoning
8th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2016, Washington, D.C., USA, June 8-9, 2016
Wrattler: Reproducible, live and polyglot notebooks
Corroboration via Provenance Patterns
Provenance, End-User Trust and Reuse: An Empirical Investigation
10th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2018, London, UK, July 11-12, 2018
A First-Principles Algebraic Approach to Data Transformations in Data Cleaning: Understanding Provenance from the Ground Up
Provenance-based Recommendations for Visual Data Exploration
BURRITO: Wrapping Your Lab Notebook in Computational Infrastructure
Mining Data Provenance to Detect Advanced Persistent Threats
Provenance in Dynamic Data Systems
Provenance Integration
Query-based Why-not Explanations for Nested Data
Provenance-based explanations: are they useful?
Using Provenance to Evaluate Risk and Benefit of Data Sharing
3rd Workshop on the Theory and Practice of Provenance, TaPP'11, Heraklion, Crete, Greece, June 20-21, 2011
Model-based Abstraction of Data Provenance
Modeling Provenance and Understanding Reproducibility for OpenRefine Data Cleaning Workflows
Interoperability for Provenance-aware Databases using PROV and JSON
Tag-based Information Flow Analysis for Document Classification in Provenance
11th International Workshop on Theory and Practice of Provenance, TaPP 2019, Philadelphia, PA, USA, June 3, 2019
6th Workshop on the Theory and Practice of Provenance, TaPP'14, Cologne, Germany, June 12-13, 2014
Curator: Provenance Management for Modern Distributed Systems
A Generic Explainability Framework for Function Circuits
Automatic Versus Manual Provenance Abstractions: Mind the Gap
Compressing Provenance Graphs
Querying Provenance for Ranking and Recommending
From Scientific Workflow Patterns to 5-star Linked Open Data
Astronomical Pipeline Provenance: A Use Case Evaluation
Provenance-based Intrusion Detection: Opportunities and Challenges
BioLite, a Lightweight Bioinformatics Framework with Automated Tracking of Diagnostics and Provenance
Using Provenance to Extract Semantic File Attributes
Linking Prospective and Retrospective Provenance in Scripts
Take Only What You Need: Leveraging Mandatory Access Control Policy to Reduce Provenance Storage Costs
CRMdig: A Generic Digital Provenance Model for Scientific Observation
A Framework for Policies over Provenance
Provenance Artifact Identification in the Atmospheric Composition Processing System (ACPS)
Fine-grained Provenance for Linear Algebra Operators
A Generic Provenance Middleware for Queries, Updates, and Transactions
Collecting Provenance via the Xen Hypervisor
RDataTracker: Collecting Provenance in an Interactive Scripting Environment
Towards a Unified Query Language for Provenance and Versioning
Provenance Tipping Point
Automated Provenance Analytics: A Regular Grammar Based Approach with Applications in Security
Measuring information gain using provenance
Provenance as a Security Control
Quantifying Causal Effects on Query Answering in Databases
Towards Query Interoperability: PASSing PLUS
Towards Automated Collection of Application-Level Data Provenance
Towards Practical Incremental Recomputation for Scientists: An Implementation for the Python Language
Influence Factor: Extending the PROV Model With a Quantitative Measure of Influence
Towards Constraint-based Explanations for Answers and Non-Answers
Tracking Emigrant Data via Transient Provenance
A Declarative Query Language for Data Provenance (Research Track)
Fine Grain Provenance Using Temporal Databases
Language-integrated Provenance in Links
Expressiveness Benchmarking for System-Level Provenance
Towards Constraint Provenance Games
Supporting Undo and Redo in Scientific Data Analysis
Provenance Segmentation
Semiring Provenance over Graph Databases
9th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2017, Seattle, WA, USA, June 23, 2017
On the Limitations of Provenance for Queries with Difference
Collecting and Analyzing Provenance on Interactive Notebooks: When IPython Meets noWorkflow
Efficient Provenance Alignment in Reproduced Executions
Reexamining Some Holy Grails of Data Provenance
Android Provenance: Diagnosing Device Disorders
UP & DOWN: Improving Provenance Precision by Combining Workflow- and Trace-Level Information
Decoupling Provenance Capture and Analysis from Execution
Hierarchical Models of Provenance
Towards a Secure and Efficient System for End-to-End Provenance
On Factorisation of Provenance Polynomials
Bias analysis and mitigation in data-driven tools using provenance
Trusted Computing and Provenance: Better Together
Provenance Support for Rework
A Provenance Model for Key-value Systems
7th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2015, Edinburgh, Scotland, UK, July 8-9, 2015
Provenance expressiveness benchmarking on non-deterministic executions
A General-Purpose Provenance Library
Immutably Answering Why-Not Questions for Equivalent Conjunctive Queries
Data Provenance for Attributes: Attribute Lineage
Challenges for Provenance in Cloud Computing
Scaling SPADE to "Big Provenance"
Towards practical approximate lineage
Structural summaries for visual provenance analysis
Publishing Provenance-rich Scientific Papers
Regular Expressions for Provenance
Worst-case analysis for interactive evaluation of Boolean provenance
Incremental Workflow Improvement Through Analysis of Its Data Provenance
How Much Domain Data Should Be in Provenance Databases?
Provenance-Based Interpretation of Multi-Agent Information Analysis
Detailed Provenance Metadata from Statistical Analysis Software: TaPP Applications Track
Discrepancy Detection in Whole Network Provenance
Provenance Analyzer: Exploring Provenance Semantics with Logic Rules
GitHub2PROV: Provenance for Supporting Software Project Management
4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston, MA, USA, June 14-15, 2012
Pointer Provenance in a Capability Architecture
Report From the CoalFace: Lessons Learnt Building A General-Purpose Always-On Provenance System
The Data, They Are A-Changin'
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications
Comparing the Performance of GPT-3 with BERT for Decision Requirements Modeling
A Conceptual Markup Language That Supports Interoperability between Business Rule Modeling Systems
Proceedings of the Third International Conference on Cooperative Information Systems (CoopIS-95), May 9-12, 1995, Schloss Wilhelminenburg Hotel, Vienna, Austria
An Open-Source Modeling Editor for Declarative Process Models
Correctness of Asynchronous Distributed Cooperation
Querying Articulated Sources
Poster on Accept Heterogeneity: An Event Monitoring Service for CORBA-based Heterogeneous Information Systems
Collision of Constrained Work Spaces: A Unifying Concept for Design Interactions
TeaPie: A Tool for Efficient Annotation of Process Information Extraction Data
A Java Framework for Mobile Data Synchronization
An InfoSpace Paradigm for Local and ad hoc Peer-to-Peer Communication