Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Juan Chen

A Provably Sound TAL for Back-End Optimization

2003English

Related publications

Optimization Among Provably Equivalent Programs

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
1977English

Innovative Systems for Front-End and Back-End Automation

JALA: Journal of the Association for Laboratory Automation
2002English

Statistically Sound Verification and Optimization for Complex Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Comparison of Back-End Frameworks for Web Application Development

Zbornik Veleučilišta u Rijeci
2019English

A Portable and Optimizing Back End for the SML/NJ Compiler

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

On Workflow Scheduling for End-To-End Performance Optimization in Distributed Network Environments

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

End-To-End Optimization of Source Models for Speech and Audio Coding Using a Machine Learning Framework

2019English

Provably Correct Compiler Generation

DAIMI Report Series
1992English

Auditory Neuroanatomy: A Sound Foundation for Sound Processing

Frontiers in Neuroanatomy
AnatomyNeuroscienceCellularMolecular Neuroscience
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy