Henrik Forssell

Vitenskapelige publikasjoner

Briseid, Eyvind Martol ; Forssell, Henrik ; Smestad, Bjørn (2025). Triangle and parallelogram area formulas: a critique of teacher education textbooks in Norway. NOMAD – Nordisk matematikkdidaktikk. Vol. 30.
https://doi.org/10.7146/nomad.v30i2.162158

Mathisen, Steinar ; Sundtjønn, Trude ; Forssell, Jon Henrik (2023). BlueBots and irrational numbers: Contingency moments in teaching mathematics and computational thinking in teacher education. Drijvers, Paul; Csapodi, Csaba; Palmer, Hanna; Gosztonyi, Katalin; Kónya, Eszter (Red.). Proceedings of the thirteenth Congress of the European Society for Research in Mathematics Education (CERME13). s. 2736-2743. European Society for Research in Mathematics Education.
https://hdl.handle.net/11250/5109456

Forssell, Henrik ; Kharlamov, Evgeny; Thorstensen, Evgenij (2020). On equivalence and cores for incomplete databases in open and closed worlds. Leibniz International Proceedings in Informatics. Vol. 155.
https://doi.org/10.4230/LIPIcs.ICDT.2020.10

Forssell, Jon Henrik ; Gylterud, Håkon Robbestad; Spivak, David I (2020). Type theoretical databases. Journal of Logic and Computation. Vol. 30.
https://doi.org/10.1093/logcom/exaa009

Forssell, Henrik ; Lumsdaine, Peter Lefanu (2019). Constructive Reflectivity Principles for Regular Theories. Journal of Symbolic Logic (JSL). Vol. 84.
https://doi.org/10.1017/jsl.2019.70

Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald; Forssell, Jon Henrik (2018). Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates. Lecture Notes in Computer Science (LNCS). Vol. 11136.
https://doi.org/10.1007/978-3-030-00671-6_28

Forssell, Jon Henrik ; Kharlamov, Evgeny; Thorstensen, Evgenij (2017). Towards characterising data exchange solutions in open and closedwords (extended abstract). CEUR Workshop Proceedings. Vol. 1912.
https://hdl.handle.net/11250/4863561

Skjæveland, Martin G; Forssell, Jon Henrik ; Kluwer, Johan Wilhelm; Lupp, Daniel Paul; Thorstensen, Evgenij; Waaler, Arild (2017). Pattern-Based Ontology Design and Instantiation with Reasonable Ontology Templates. CEUR Workshop Proceedings. Vol. 2043.
https://hdl.handle.net/11250/3731140

Skjæveland, Martin G; Forssell, Jon Henrik ; Klüwer, Johan W.; Lupp, Daniel Paul; Thorstensen, Evgenij; Waaler, Arild (2017). Reasonable ontology templates: APIs for OWL: Efficient and practical ontology design and maintenance. CEUR Workshop Proceedings. Vol. 1963.
https://hdl.handle.net/11250/5068875

Forssell, Jon Henrik ; Lupp, Daniel Paul; Skjæveland, Martin G; Thorstensen, Evgenij (2017). Reasonable macros for ontology construction and maintenance. CEUR Workshop Proceedings. Vol. 1879.
https://hdl.handle.net/11250/4938690