Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Pieter H. Hartel

Statistics on Graph Reduction of SASL Programs

Software - Practice and Experience
Software
1988English

Transacted Memory for Smart Cards

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Related publications

Hoare-Style Verification of Graph Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

Anonymous SASL Mechanism

1997English

Review on Graph Learning for Dimensionality Reduction of Hyperspectral Image

Geo-Spatial Information Science
DevelopmentPlanningComputers in Earth SciencesGeography
2020English

Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Dependence Flow Graph for Analysis of Aspect- Oriented Programs

International Journal of Software Engineering & Applications
2014English

Economic Efficiency of CO2 Reduction Programs

Climate Research
Environmental ChemistryAtmospheric ScienceEnvironmental Science
1994English

The SecurID(r) SASL Mechanism

2000English

Reducing Memory Requirements of Stream Programs by Graph Transformations

2010English

Orca Reduction and ContrAction Graph Clustering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy