Recent Publications
A hybrid Constraint Programming/Mixed Integer Programming framework for the preventive signaling maintenance crew scheduling problem
2018
|
Journal
|
European Journal of Operational Research
Kourosh Marjani Rasmussen
et al.
The Clocks they are Adjunctions: Denotational Semantics for clocked Type Theory
2018
|
Conference
|
3rd International Conference on Formal Structures for Computation and Deduction
Bassel Mannaa
Rasmus Ejlers Møgelberg
Blockchain Technology in Business and Information Systems Research
2017
|
Journal
|
Business and Information Systems Engineering
Roman Beck
Michel Avital
Matti Rossi
Jason Bennett Thatcher
The Independence of Markov's Principle in Type Theory
2017
|
Journal
|
Logical Methods in Computer Science
Bassel Mannaa
Thierry Coquand
KYC Optimization using Distributed Ledger Technology
2017
|
Journal
|
Business & Information Systems Engineering
José Parra-Moyano
Omri Ross
Stack Semantics of Type Theory
2017
|
Conference
|
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Bassel Mannaa
Fabian Ruch
Thierry Coquand
Jumping on the Blockchain Bandwagon: Lessons of the Past and Outlook to the Future
2016
|
Conference
|
International Conference on Information Systems (ICIS) 2016
Michel Avital
Roman Beck
John King
Matti Rossi
Robin Teigland
Videos
SOCIAL MEDIA
