search result

Cover von Quantum-Inspired Classical Algorithms for Singular Value Transformation

Quantum-Inspired Classical Algorithms for Singular Value Transformation

Year: 2020
Media group: LIPIcs
Cover von Incremental Bidirectional Model Transformation with eMoflon
IBeX
Search for this author
Year: 2020
Publisher: Aachen, CEUR
Media group: ARTICLE
Cover von Semantic Patches for Java Program Transformation (Experience Report)

Semantic Patches for Java Program Transformation (Experience Report)

Author: Lo, David
Year: 2019
Media group: LIPIcs
Cover von A Proposal for Loop-Transformation Pragmas
Search for this author
Year: 2018
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von Learning to Accelerate Symbolic Execution via Code Transformation

Learning to Accelerate Symbolic Execution via Code Transformation

Author: Zhang, Lu
Year: 2018
Media group: LIPIcs
Cover von A Modular Analysis of the Fujisaki-Okamoto Transformation
article in TCC 2017 : Theory of Cryptography : pp 341-371
Search for this author
Year: 2017
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 10677 : article
Media group: ARTICLE
Cover von On the Transformation Capability of Feasible Mechanisms for Programmable Matter

On the Transformation Capability of Feasible Mechanisms for Programmable Matter

Year: 2017
Media group: LIPIcs
Cover von Transformation Between Regular Expressions and omega-Automata

Transformation Between Regular Expressions and omega-Automata

Year: 2016
Media group: LIPIcs
Cover von Formal Models of Graph Transformation in Natural Language Processing; 3
pp. 143-161
Search for this author
Year: 2015
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 3
Media group: DAGSTUHL REPORT
Cover von Visualization of CHR through Source-to-Source Transformation

Visualization of CHR through Source-to-Source Transformation

Year: 2012
Media group: ARTICLE
OPEN V 11.1.0.0