Instituttet for Anvendt Datateknik (Denmark)

Publications

1.4K

Citations

Authors

Odense

Denmark

Other names

IFAD

Instituttet for Anvendt Datateknik (Denmark) is a company institution in Odense, Denmark known for engineering, system software, and formal verification.

Homepage ROR

Top concepts

EngineeringComputer EngineeringFormal MethodsSystem SoftwareSoftware AnalysisFormal VerificationFormal SpecificationSystems EngineeringSoftware EngineeringHardware Security

Publications

The IFAD VDM-SL toolbox

René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen · ACM SIGPLAN Notices · 1994 · 92 citations · Full text

A Formal Semantics of Data Flow Diagrams

Peter Gorm Larsen, Nico Plat, Hans Toetenel · Formal Aspects of Computing · 1994 · 47 citations · Full text

Livelihood Diversification and Vulnerability to Poverty in Rural Malawi

Solomon Asfaw, Nancy McCarthy, Adriana Paolantonio et al. · SSRN Electronic Journal · 2015 · 42 citations · Full text

The formal semantics of ISO VDM-SL

Peter Gorm Larsen · Computer Standards & Interfaces · 1995 · 26 citations

Formal Semantics, Specification Language, Formal Specification +8

Estimating Poverty Over Time and Space: Construction of a Time-Variant Poverty Index for Costa Rica

Romina Cavatassi, Benjamin Davis, Leslie Lipper · SSRN Electronic Journal · 2004 · 22 citations · Full text

Rows per page

1–5 of 98

Authors

	Publications	Citations	H-Index
PB Poul Bøgh Lassen Instituttet for Anvendt Datateknik (Denmark)	4	155	4
RE René Elmstrøm Instituttet for Anvendt Datateknik (Denmark)	5	128	3
PL Pierre-Jean Lecoeur Instituttet for Anvendt Datateknik (Denmark)	1	12	1
PB Poul B�gh Lassen Instituttet for Anvendt Datateknik (Denmark)	1	21	1

Rows per page

1–4 of 4