Discover open access scientific publications

Search, annotate, share and cite publications

Publications by B.C. Isaksen

Inferno: Streamlining Verification With Inferred Semantics

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
2009English

Related publications

Formal Semantics and Verification for Feature Modeling

English

Semantics of a Verification-Oriented Subset of VHDL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Streamlining in 2008

Acta Crystallographica Section F Structural Biology and Crystallization Communications
2008English

Streamlining Synthesis

Chem
BiochemistryEnvironmental ChemistryMaterials ChemistryChemistryChemical Engineering
2019English

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Tracking Africa’s Inferno

Mechanical Engineering
Mechanical Engineering
2000English

Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Streamlining Ethical Review

Annals of Internal Medicine
Internal MedicineMedicine
2010English

Streamlining Hospital Techniques

American Journal of Public Health and the Nations Health
1945English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy