Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science Applications

An Operational Domain-Theoretic Treatment of Recursive Types

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2013English

Experiencing EVA Park, a Multi-User Virtual World for People With Aphasia

ACM Transactions on Accessible Computing
Computer Science ApplicationsHuman-Computer Interaction
2017English

PGcloser: Fast Parallel Gap-Closing Tool Using Long-Reads or Contigs to Fill Gaps in Genomes

Evolutionary Bioinformatics
EvolutionEcologyGeneticsSystematicsComputer Science ApplicationsBehavior
2020English

New Developments in Pervasive and Ambient Information Systems

Personal and Ubiquitous Computing
HardwareManagement ScienceComputer Science ApplicationsArchitectureOperations Research
2012English

Synthesizing Data-Centric Models From Business Process Models

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

Error Estimates for Semi-Discrete and Fully Discrete Galerkin Finite Element Approximations of the General Linear Second-Order Hyperbolic Equation

Numerical Functional Analysis and Optimization
ControlComputer Science ApplicationsSignal ProcessingAnalysisOptimization
2017English

Time-Domain Optimal Experimental Design in Human Seated Postural Control Testing

Journal of Dynamic Systems, Measurement and Control, Transactions of the ASME
ControlSystems EngineeringInformation SystemsMechanical EngineeringInstrumentationComputer Science Applications
2015English

A Modified Mean Gray Wolf Optimization Approach for Benchmark and Biomedical Problems

Evolutionary Bioinformatics
EvolutionEcologyGeneticsSystematicsComputer Science ApplicationsBehavior
2017English

Formal Proofs for Theoretical Properties of Newton's Method

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2011English

Equilibrium and Termination II: The Case of Petri Nets

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy