Olaf Owe
发表
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2008,
FInCo@ETAPS.
Olaf Owe,
Crystal Chang Din,
2014
.
Olaf Owe,
David C. Luckham,
Friedrich W. von Henke,
1987
.
Einar Broch Johnsen,
Olaf Owe,
Ellen Munthe-Kaas,
2001,
Proceedings Second Asia-Pacific Conference on Quality Software.
Olaf Owe,
David C. Luckham,
Friedrich W. von Henke,
1987,
Lecture Notes in Computer Science.
Einar Broch Johnsen,
Olaf Owe,
Demissie B. Aredo,
2002,
IFM.
Magne Haveraaen,
Olaf Owe,
Ole-Johan Dahl,
1995
.
Olaf Owe,
Ingrid Chieh Yu,
2014,
NIK.
Einar Broch Johnsen,
Olaf Owe,
Rudolf Schlatte,
2010,
RTRTS.
Olaf Owe,
David C. Luckham,
Friedrich W. von Henke,
1987
.
Einar Broch Johnsen,
Olaf Owe,
Demissie B. Aredo,
2001,
Proceedings Eighth Asia-Pacific Software Engineering Conference.
Olaf Owe,
David C. Luckham,
Bernd Krieg-Brückner,
1987
.
Einar Broch Johnsen,
Olaf Owe,
Martin Steffen,
2012,
J. Log. Algebraic Methods Program..
Ilangko Balasingham,
Einar Broch Johnsen,
Olaf Owe,
2012
.
Tom Lyche,
Olaf Owe,
Stein Krogdahl,
2004,
Essays in Memory of Ole-Johan Dahl.
Einar Broch Johnsen,
Olaf Owe,
E. Johnsen,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Olaf Owe,
Crystal Chang Din,
Olaf Owe,
2014,
Formal Aspects of Computing.
Einar Broch Johnsen,
Olaf Owe,
Gerardo Schneider,
2009,
J. Log. Algebraic Methods Program..
Olaf Owe,
Jan Arne Telle,
Martin Steffen,
2011
.
Olaf Owe,
Gerardo Schneider,
Martin Steffen,
2007,
SAVCBS '07.
Olaf Owe,
David C. Luckham,
Friedrich W. von Henke,
1987
.
Einar Broch Johnsen,
Olaf Owe,
Martin Steffen,
2011,
FSEN.
Olaf Owe,
Martin Steffen,
Arild B. Torjusen,
2010,
Electron. Notes Theor. Comput. Sci..
Olaf Owe,
Olaf Owe,
1993,
Formal Aspects of Computing.
Einar Broch Johnsen,
Olaf Owe,
Demissie B. Aredo,
2007
.
Ilangko Balasingham,
Einar Broch Johnsen,
Olaf Owe,
2012
.
Einar Broch Johnsen,
Olaf Owe,
E. Johnsen,
2002,
Proceedings 16th International Parallel and Distributed Processing Symposium.
Einar Broch Johnsen,
Olaf Owe,
Dave Clarke,
2012,
FOCLASA.
Olaf Owe,
Jasmin Christian Blanchette,
J. Blanchette,
2008,
FACS.
Olaf Owe,
Olaf Owe,
1992,
Formal Aspects of Computing.
Olaf Owe,
Jan Arne Telle,
Martin Steffen,
2013,
Inf. Comput..
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2012,
J. Log. Algebraic Methods Program..
Olaf Owe,
Ole-Johan Dahl,
1985,
SOEN.
Johan Dovland,
Olaf Owe,
Crystal Chang Din,
2012
.
Olaf Owe,
Ming-Chang Lee,
Jia-Chun Lin,
2019,
Internet Things.
Olaf Owe,
Martin Steffen,
Thi Mai Thuong Tran,
2010,
2010 Second International Conference on Knowledge and Systems Engineering.
Anders P. Ravn,
Olaf Owe,
Gerardo Schneider,
2006,
ICSOFT.
Olaf Owe,
Christian Johansen,
2019,
IFM.
Olaf Owe,
Toktam Ramezanifarkhani,
Elahe Fazeldehkordi,
2019,
IOSec/MSTEC/FINSEC@ESORICS.
Olaf Owe,
Ole-Johan Dahl,
Dag F. Langmyhr,
1987
.
Ilangko Balasingham,
Einar Broch Johnsen,
Olaf Owe,
2012,
J. Log. Algebraic Methods Program..
Olaf Owe,
Crystal Chang Din,
Olaf Owe,
2014,
J. Log. Algebraic Methods Program..
Olaf Owe,
Gerardo Schneider,
G. Schneider,
2001,
Nordic Journal of Computing.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2009,
IFM.
Olaf Owe,
David C. Luckham,
Bernd Krieg-Brückner,
1987
.
Olaf Owe,
David C. Luckham,
Bernd Krieg-Brückner,
1987
.
Einar Broch Johnsen,
Olaf Owe,
Dave Clarke,
2010,
Concurrency, Compositionality, and Correctness.
Ilangko Balasingham,
Einar Broch Johnsen,
Olaf Owe,
2010,
FMOODS/FORTE.
Olaf Owe,
Jia-Chun Lin,
Elahe Fazeldehkordi,
2019,
MODELSWARD.
Einar Broch Johnsen,
Olaf Owe,
Marte Arnestad,
2003
.
Ilangko Balasingham,
Einar Broch Johnsen,
Olaf Owe,
2013,
IRI.
Olaf Owe,
Joseph C. Okika,
Cristian Prisacariu,
2009
.
Olaf Owe,
Josef Noll,
Elahe Fazeldehkordi,
2019,
2019 13th International Symposium on Medical Information and Communication Technology (ISMICT).
Olaf Owe,
Ming-Chang Lee,
Jia-Chun Lin,
2018,
2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA).
Olaf Owe,
Lucian Bentea,
2010
.
Olaf Owe,
Demissie B. Aredo,
Olaf Owe,
2004
.
Einar Broch Johnsen,
Olaf Owe,
E. Johnsen,
2005,
Proceedings of the 38th Annual Hawaii International Conference on System Sciences.
Einar Broch Johnsen,
Olaf Owe,
Jasmin Christian Blanchette,
2009,
TTSS.
Einar Broch Johnsen,
Olaf Owe,
E. Johnsen,
2004,
FMCO.
Olaf Owe,
Charles E. McDowell,
C. McDowell,
2017,
J. Log. Algebraic Methods Program..
Olaf Owe,
Gerardo Schneider,
Farzane Karami,
2020,
ArXiv.
Tom Lyche,
Olaf Owe,
Stein Krogdahl,
2004,
Essays in Memory of Ole-Johan Dahl.
Einar Broch Johnsen,
Olaf Owe,
Gerardo Schneider,
2009
.
Olaf Owe,
Ole-Johan Dahl,
Olaf Owe,
1998
.
Olaf Owe,
Ole-Johan Dahl,
Olaf Owe,
2005,
Formal Aspects of Computing.
Einar Broch Johnsen,
Olaf Owe,
Marcel Kyas,
2007,
FMCO.
Olaf Owe,
Shukun Tokas,
Toktam Ramezanifarkhani,
2018,
J. Log. Algebraic Methods Program..
Einar Broch Johnsen,
Olaf Owe,
Eyvind W. Axelsen,
2004
.
Olaf Owe,
Crystal Chang Din,
Richard Bubel,
2013
.
Olaf Owe,
Olaf Owe,
2016,
From Action Systems to Distributed Systems.
Olaf Owe,
Josef Noll,
Elahe Fazeldehkordi,
2019,
2019 17th International Conference on Privacy, Security and Trust (PST).
Einar Broch Johnsen,
Olaf Owe,
Dave Clarke,
2016,
Sci. Comput. Program..
Olaf Owe,
David C. Luckham,
Bernd Krieg-Brückner,
1987
.
Olaf Owe,
Jia-Chun Lin,
Elahe Fazeldehkordi,
2019,
MODELSWARD.
Olaf Owe,
Shukun Tokas,
2020,
FORTE.
Reiner Hähnle,
Einar Broch Johnsen,
Olaf Owe,
2016,
LNCS Trans. Found. Mastering Chang..
Olaf Owe,
Morten Elvang-Gøransson,
M. Elvang-Gøransson,
1993,
Theor. Comput. Sci..
Olaf Owe,
Christian Johansen,
Christian Johansen,
2012
.
Einar Broch Johnsen,
Olaf Owe,
Ingrid Chieh Yu,
2006,
FMOODS.
Einar Broch Johnsen,
Olaf Owe,
Silvia Lizeth Tapia Tarifa,
2010,
ICFEM.
Olaf Owe,
Toktam Ramezanifarkhani,
2017,
DPM/CBT@ESORICS.
Ilangko Balasingham,
Einar Broch Johnsen,
Olaf Owe,
2013,
2013 IEEE 14th International Conference on Information Reuse & Integration (IRI).
Olaf Owe,
Christian Johansen,
Gerardo Schneider,
2018
.
Einar Broch Johnsen,
Olaf Owe,
E. Johnsen,
2004,
Essays in Memory of Ole-Johan Dahl.
Olaf Owe,
Gerardo Schneider,
G. Schneider,
2009,
J. Log. Algebraic Methods Program..
Olaf Owe,
David C. Luckham,
Friedrich W. von Henke,
1985
.
Einar Broch Johnsen,
Olaf Owe,
Silvia Lizeth Tapia Tarifa,
2010,
FoVeOOS.
Olaf Owe,
Crystal Chang Din,
Richard Bubel,
2014,
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
Olaf Owe,
Lucian Bentea,
2011,
FoVeOOS.
Magne Haveraaen,
Olaf Owe,
Ole-Johan Dahl,
1996
.
Olaf Owe,
Farzane Karami,
Toktam Ramezanifarkhani,
2019,
J. Log. Algebraic Methods Program..
Einar Broch Johnsen,
Olaf Owe,
E. Johnsen,
2001
.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2015,
J. Log. Algebraic Methods Program..
Ilangko Balasingham,
Einar Broch Johnsen,
Olaf Owe,
2012,
IFM.
Olaf Owe,
Ming-Chang Lee,
Jia-Chun Lin,
2018,
BWCCA.
Einar Broch Johnsen,
Olaf Owe,
Crystal Chang Din,
2018,
J. Log. Algebraic Methods Program..
Olaf Owe,
Christian Johansen,
Christian Johansen,
2016,
J. Log. Algebraic Methods Program..
Magne Haveraaen,
Olaf Owe,
Ole-Johan Dahl,
1996,
Lecture Notes in Computer Science.
Olaf Owe,
Gerardo Schneider,
Arild B. Torjusen,
2007
.
Einar Broch Johnsen,
Olaf Owe,
Ingrid Chieh Yu,
2006,
Theor. Comput. Sci..
Olaf Owe,
David C. Luckham,
Friedrich W. von Henke,
1987
.
Olaf Owe,
Olaf Owe,
2014
.
Tom Lyche,
Olaf Owe,
Stein Krogdahl,
2004
.
Einar Broch Johnsen,
Olaf Owe,
Eyvind W. Axelsen,
2005,
WRLA.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2006
.
Einar Broch Johnsen,
Olaf Owe,
E. Johnsen,
2004,
SEFM.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2005,
IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05).
Ilangko Balasingham,
Einar Broch Johnsen,
Olaf Owe,
2011,
2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
Olaf Owe,
Ole-Johan Dahl,
Tore J. Bastiansen,
1998,
Nord. J. Comput..
Einar Broch Johnsen,
Olaf Owe,
Dave Clarke,
2010
.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2008,
FM.
Johan Dovland,
Olaf Owe,
Crystal Chang Din,
2012,
SEFM.
Olaf Owe,
Isabelle Ryl,
Olaf Owe,
1999
.
Einar Broch Johnsen,
Olaf Owe,
E. Johnsen,
2002,
FMOODS.
Tom Lyche,
Olaf Owe,
Stein Krogdahl,
2004,
Lecture Notes in Computer Science.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2011,
Sci. Comput. Program..
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2012,
SPLC '12.
Olaf Owe,
2016,
IFM.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2010,
J. Log. Algebraic Methods Program..
Olaf Owe,
Ole-Johan Dahl,
Olaf Owe,
1991,
VDM Europe.
Anders P. Ravn,
Olaf Owe,
Gerardo Schneider,
2008,
ERCIM News.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2004
.
Einar Broch Johnsen,
Olaf Owe,
Arild B. Torjusen,
2006,
Fundam. Informaticae.
Einar Broch Johnsen,
Olaf Owe,
Demissie B. Aredo,
2001,
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).
Olaf Owe,
Farzane Karami,
Toktam Ramezanifarkhani,
2019,
IFM.
Einar Broch Johnsen,
Olaf Owe,
Isabelle Simplot-Ryl,
2005,
FMOODS.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2007
.
Olaf Owe,
Gerardo Schneider,
2009,
Electron. Notes Theor. Comput. Sci..
Olaf Owe,
Shukun Tokas,
Toktam Ramezanifarkhani,
2019,
Privacy and Identity Management.
Olaf Owe,
Demissie B. Aredo,
2005,
International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II.
Olaf Owe,
Crystal Chang Din,
Olaf Owe,
2014
.
Olaf Owe,
Christian Johansen,
Christian Johansen,
2019
.
Einar Broch Johnsen,
Olaf Owe,
E. Johnsen,
2002
.
Olaf Owe,
Ole-Johan Dahl,
Olaf Owe,
1995
.
Olaf Owe,
Toktam Ramezanifarkhani,
Elahe Fazeldehkordi,
2017,
IFM.
Olaf Owe,
I. Ryl,
2000
.
Olaf Owe,
Isabelle Ryl,
Olaf Owe,
1999
.