Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Software Architecture for Language Engineering

Natural Language Engineering
LinguisticsArtificial IntelligenceLanguageSoftware
2004English

A Note on Transformed Density Rejection

Computing (Vienna/New York)
Numerical AnalysisComputational TheoryComputer Science ApplicationsComputational MathematicsMathematicsTheoretical Computer ScienceSoftware
2000English

Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination

Journal of Functional Programming
Software
2000English

Simultaneous Shield and Buffer Insertion for Crosstalk Noise Reduction in Global Routing

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
HardwareElectronic EngineeringElectricalArchitectureSoftware
2007English

THEORETICAL PEARL: A Simple Proof of a Folklore Theorem About Delimited Control

Journal of Functional Programming
Software
2005English

Vector Generation for Power Supply Noise Estimation and Verification of Deep Submicron Designs

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
HardwareElectronic EngineeringElectricalArchitectureSoftware
2001English

A Critique of Standard ML

Journal of Functional Programming
Software
1993English

An Algorithm for the Unsupervised Learning of Morphology

Natural Language Engineering
LinguisticsArtificial IntelligenceLanguageSoftware
2006English

Recognizing Posture in Pictures With Successive Convexification and Linear Programming

IEEE Multimedia
Media TechnologySignal ProcessingHardwareComputer Science ApplicationsArchitectureSoftware
2007English

Generating Basic Skills Reports for Low-Skilled Readers

Natural Language Engineering
LinguisticsArtificial IntelligenceLanguageSoftware
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy