Discover open access scientific publications

Search, annotate, share and cite publications

Publications by JENS PALSBERG

CPS Transformation of Flow Information

Journal of Functional Programming
Software
2003English

Related publications

CPS Transformation of Beta-Redexes

BRICS Report Series
2000English

Fine-Grained Control-Flow Integrity Based on Points-To Analysis for CPS

Security and Communication Networks
Computer NetworksInformation SystemsCommunications
2018English

Absolute Calibration of a Displacement Detector From 10 CPS to 30 000 Cps.

Journal of the Acoustical Society of America
AcousticsUltrasonicsArtsHumanities
1957English

Cooperative Processes Software (CPS)

AIP Conference Proceedings
AstronomyPhysics
1990English

SMT-Based CPS Parameter Synthesis

English

Rapid Integration of CPS Security and Safety

IEEE Embedded Systems Letters
ControlSystems EngineeringComputer Science
2019English

Global Information Flow

BMJ
2000English

On Proving Syntactic Properties of CPS Programs

BRICS Report Series
1999English

Transformation of the Common Information Model to OWL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy