7
Publications
215
Citations
7
H-Index
2010
Active since
Affiliations
Bas Lijnse is an author at Radboud University Nijmegen specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceManagementFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSystems EngineeringSoftware EngineeringAutomation
Publications per year
2010–2014
7
7
An autonomous mobile system for the management of COPD
Maarten van der Heijden, Peter Lucas, Bas Lijnse et al. · Journal of Biomedical Informatics · 2013 · 100 citations
Task-oriented programming in a pure functional language
Rinus Plasmeijer, Bas Lijnse, Steffen Michels et al. · 2012 · 44 citations
Engineering, Distributed Programming, Concurrency (Computer Science) +20
Rinus Plasmeijer, Peter Achten, Pieter Koopman et al. · 2011 · 15 citations · Full text
László Domoszlai, Bas Lijnse, Rinus Plasmeijer · 2014 · 14 citations
Rows per page
1–5 of 7