Cristian Prisacariumy symbol
research
projects
publications
master topics
teaching
personal
NEWS
The first female mathematician to receive the prestigious Fields Medal is Maryam Mirzakhani from Stanford University. Mirzakhani said: "I will be happy if it encourages young female scientists and mathematicians. I am sure there will be many more women winning this kind of award in coming years." Mirzakhani was born and raised in Tehran, where as a young girl she dreamed of becoming a writer. By high school, however, her affinity for solving mathematical problems and working on proofs had shifted her sights.

The Kavli Week is celebrating the Kavli Prize with Ceremony Show, Popular science lectures, and academic symposia and lectures by the prize winners. A lot of money are involved, partly sponsored by the Fred Kavli Foundation.

Heidelberg Laureate Forum - Abel, Fields and Turing Laureates Meet the Next Generation. Winners of the prestigious Abel Prize, Fields Medal and Turing Award will meet ambitious young scientists starting with 23-27 September 2013.

The Abel Prize in mathematics (with value ~1Mil $) is given this year on 22 May 2012 to Endre Szemeredi, a Hungarian mathematician who worked, among other, in the fields of combinatorics and theoretical computer science.

DEON 2012 - 11th International Conference on Deontic Logic in Computer Science, is held during 16-18 July 2012, at University of Bergen, Norway. Submission deadline is 5 March.

Noam Chomsky in Oslo, two days on 5-6 September, 2011. Come on 5th from 16:15-18 in Sophus Lies auditorium in Blindern campus to hear "The machine, the ghost, and the limits of understanding: Newtons contributions to the study of mind"; and on 6th from 19:00 in Storsalen (the big room) in Chateau Neuf right near Majorstuen T-station to hear about "Changing contours of world order".

Peer reviewed papers (journals, conferences)
[25]
Denis Migdal, Christian Johansen, and Audun Jøsang,
OffPAD -- Offline Personal Authenticating Device with Applications in Hospitals and e-Banking,
in 23rd ACM Conference on Computer and Communication Security (CCS 2016) (Andreas Peter, Dominique Schröder, and Aniket Kate, eds.), ACM, October 2016.
BibTeX entry DOI link Preliminary version (PDF file) Abstracttop
[24]
Christian Johansen,
ST-Structures,
The Journal of Logical and Algebraic Methods in Programming (JLAMP), vol. 85, pp. 1201--1233, October 2016.
BibTeX entry DOI link Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[23]
Bjørnar Luteberget, Christian Johansen, and Martin Steffen,
Rule-based Incremental Verification Tools Applied to Railway Designs and Regulations,
in 21st International Symposium on Formal Methods (FM 2016) (Georgia Kapitsaki, Tiziana Margaria, and Marcel Verhoef, eds.), vol. 9995 of Lecture Notes in Computer Science (LNCS), (Cyprus), pp. 772--778, Springer, September 2016.
BibTeX entry DOI link Preliminary version (PDF file) Abstracttop
[22]
Christian Johansen, Tore Pedersen, and Audun Jøsang,
Towards Behavioural Computer Science,
in 10th IFIP WG 11.11 International Conference on Trust Management (IFIPTM) (Sheikh Mahbub Habib, Julita Vassileva, Sjouke Mauw, and Max Mühlhäuser, eds.), vol. 473 of IFIP AICT Advances in Information and Communication Technology, (Darmstadt, Germany), pp. 154--163, Springer, July 2016.
BibTeX entry DOI link Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[21]
Bjørnar Luteberget, Christian Johansen, and Martin Steffen,
Rule-based consistency checking of railway infrastructure designs,
in 12th International Conference on integrated Formal Methods (iFM 2016) (Erika Ábrahám and Marieke Huisman, eds.), vol. 9681 of Lecture Notes in Computer Science (LNCS), (Reykjavyk, Iceland), pp. 491--507, Springer, June 2016. (received Best Paper Award out of 99 papers).
BibTeX entry DOI link Preliminary version (PDF file) Abstracttop
[20]
Håkon Normann, Christian Johansen, and Thomas Hildebrandt,
Declarative event based models of concurrency and refinement in psi-calculi,
The Journal of Logical and Algebraic Methods in Programming (JLAMP), vol. 85, pp. 368--398, January 2016.
BibTeX entry DOI link Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[19]
Amir Taherkordi, Christian Johansen, Frank Eliassen, and Kay Römer,
Tokenit: Designing State-driven Embedded Systems Through Tokenized Transitions,
in 11th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 2015), (Fortaleza, Brazil), IEEE Computer Society, June 2015.
BibTeX entry DOI link arXiv Abstracttop
[18]
Christian Johansen and Audun Jøsang,
Probabilistic Modeling of Humans in Security Ceremonies,
in 3rd International Workshop on Quantitative Aspects in Security Assurance (QASA14) (Alessandro Aldini, Fabio Martinelli, and Neeraj Suri, eds.), vol. 8872 of Lecture Notes in Computer Science, (Wroclow, Poland), pp. 277--292, Springer, September 2014.
BibTeX entry DOI link Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[17]
Håkon Normann, Cristian Prisacariu, and Thomas Hildebrandt,
Concurrency models with causality and events as psi-calculi,
in 7th Interaction and Concurrency Experience (ICE14) (Ivan Lanese, Alberto Lluch Lafuente, Ana Sokolova, and Hugo Torres Vieira, eds.), vol. 166 of Electronic Proceedings in Theoretical Computer Science, (Berlin, Germany), pp. 4--20, Open Publishing Association, June 2014.
BibTeX entry DOI link arXiv Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[16]
Cristian Prisacariu,
Actor network procedures as psi-calculi for security ceremonies,
in Proceedings First International Workshop on Graphical Models for Security (GraMSec14) (Barbara Kordy, Sjouke Mauw, and Wolter Pieters, eds.), vol. 148 of Electronic Proceedings in Theoretical Computer Science, (Grenoble, France), pp. 63--77, Open Publishing Association, April 2014.
BibTeX entry DOI link arXiv Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[15]
Luca Aceto, Anna Ingolfsdottir, Cristian Prisacariu, and Joshua Sack,
Compositional Reasoning for Multi-modal Logics,
in Symposium on Logical Foundations of Computer Science (LFCS13) (Sergei Artemov, ed.), vol. 7734 of Lecture Notes in Computer Science, (San Diego, California), pp. 1--15, Springer, January 2013.
BibTeX entry DOI link Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[14]
Cristian Prisacariu,
The Glory of the Past and Geometrical Concurrency,
in The Alan Turing Centenary Conference (Turing-100) (Andrei Voronkov, ed.), vol. 10 of EasyChair Proceedings in Computing (EPiC), (Manchester, UK), pp. 252--267, June 2012.
BibTeX entry DOI link arXiv Presentation Preliminary version (DVI file) Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[13]
Cristian Prisacariu and Gerardo Schneider,
A Dynamic Deontic Logic for Complex Contracts,
The Journal of Logic and Algebraic Programming (JLAP), vol. 81, pp. 458--490, May 2012.
BibTeX entry DOI link Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[12]
Cristian Prisacariu,
Higher Dimensional Modal Logic,
January 2012. (draft under review; comments are welcome).
BibTeX entry arXiv Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[11]
Cristian Prisacariu,
Synchronous Kleene Algebra,
The Journal of Logic and Algebraic Programming (JLAP), vol. 79, pp. 608--635, September 2010.
BibTeX entry DOI link Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[10]
Cristian Prisacariu,
Modal Logic over Higher Dimensional Automata (with proofs),
in 21st International Conference on Concurrency Theory (CONCUR10) (Paul Gastin and Francois Laroussinie, eds.), vol. 6269 of Lecture Notes in Computer Science, (Paris, France), pp. 494--508, Springer, August 2010.
BibTeX entry DOI link Presentation Preliminary version (DVI file) Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[9]
Cristian Prisacariu and Gerardo Schneider,
CL: An Action-based Logic for Reasoning about Contracts,
in 16th Workshop on Logic, Language, Information and Computation (WOLLIC09) (Makoto Kanazawa, Hiroakira Ono, and Ruy de Queiroz, eds.), vol. 5514 of Lecture Notes in Computer Science, (Tokyo, Japan), pp. 335--349, Springer, June 2009. (see extended journal version with proofs as [13]).
BibTeX entry DOI link Preliminary version (DVI file) Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[8]
Marcel Kyas, Cristian Prisacariu, and Gerardo Schneider,
Run-time Monitoring of Electronic Contracts,
in 6th International Symposium on Automated Technology for Verification and Analysis (ATVA08) (Moonzoo Kim and Mahesh Viswanathan, eds.), vol. 5311 of Lecture Notes in Computer Science, (Seoul, South-Korea), pp. 397--407, Springer, October 2008.
BibTeX entry DOI link Presentation Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[7]
Gordon Pace, Cristian Prisacariu, and Gerardo Schneider,
Model Checking Contracts - a case study,
in 5th International Symposium on Automated Technology for Verification and Analysis (ATVA07) (Kedar Namjoshi and Tomohiro Yoneda, eds.), vol. 4762 of Lecture Notes in Computer Science, (Tokyo, Japan), pp. 82--97, Springer, October 2007.
BibTeX entry DOI link Presentation Preliminary version (DVI file) Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[6]
Cristian Prisacariu and Gerardo Schneider,
A formal language for electronic contracts,
in 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS07) (Marcello Bonsangue and Einar Broch Johnsen, eds.), vol. 4468 of Lecture Notes in Computer Science, (Paphos, Cyprus), pp. 174--189, Springer, June 2007.
BibTeX entry DOI link Presentation Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[5]
Gabriel Ciobanu and Cristian Prisacariu,
Timers for distributed systems,
in 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL06) (Alessandra Di Pierro and Herbert Wiklicky, eds.), vol. 164 of Electronic Notes In Theoretical Computer Science, pp. 81--99, Elsevier Science Publishers B. V., October 2006.
BibTeX entry DOI link Presentation Preliminary version (DVI file) Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[4]
Gabriel Ciobanu and Cristian Prisacariu,
Barbed bisimulations for timed distributed pi-calculus,
in 2nd International Conference On Intelligent Computer Communication and Processing (ICCP06), Static and Runtime Verification Track, pp. 145--154, U.T.Press, September 2006.
BibTeX entry Preliminary version (DVI file) Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[3]
Gabriel Ciobanu and Cristian Prisacariu,
Coordination by timers for channel-based anonymous communications,
in 5th International Workshop On the Foundations of Coordination Languages and Software Architectures (FOCLASA06), vol. 175 of Electronic Notes In Theoretical Computer Science, pp. 3--17, Elsevier Science Publishers B. V., June 2006.
BibTeX entry DOI link Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[2]
Cristian Prisacariu,
Timed distributed pi-calculus,
in MOdelling and VErifying of Parallel Processes (MOVEP06), pp. 348--354, June 2006.
BibTeX entry Presentation Preliminary version (DVI file) Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[1]
Cristian Prisacariu,
Timed distributed pi-calculus for biological processes,
in Research Topics in Computer Science (I. Tofan E. Cortellini, F. Eugeni, ed.), pp. 65--75, 2005.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop

Other publications (workshop contributions, extended abstracts, etc)
[12]
Cristian Prisacariu,
Extensions of Configuration Structures,
arXiv, vol. abs/1406.0641, January 2014. (superseded by the JLAMP journal version http://heim.ifi.uio.no/~cristi/publications.shtml#P15jlamp_ST).
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[11]
Cristian Prisacariu and Olaf Owe,
Dynamic Structural Operational Semantics,
in 24th Nordic Workshop on Programming Theory (NWPT12) (Yngve Lamo and Wolter Uwe E. eds.), (Bergen, Norway), pp. 96--98, November 2012.
BibTeX entry Presentation Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[10]
Cristian Prisacariu,
A Dynamic Deontic Logic over Synchronous Actions,
PhD thesis, Department of Informatics, University of Oslo, September 2010.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[9]
Cristian Prisacariu,
Modal Logic over Higher Dimensional Automata (extended abstract),
in Young Researchers Forum at Mathematical Foundations of Computer Science (YRF@MFCS10) (Jan Strejcek, ed.), (Brno, Czech Republic), pp. 49--50, Faculty of Informatics - Masaryk University, August 2010.
BibTeX entry Presentation Preliminary version (PS file) Preliminary version (PDF file)top
[8]
Sergiu Bursuc and Cristian Prisacariu,
Unification and Matching in Separable Theories (extended abstract),
in 24th International Workshop on Unification (UNIF10) (Maribel Fernandez, ed.), (Edimburg, UK), July 2010.
BibTeX entry Presentation Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[7]
Joseph C. Okika, Olaf Owe, and Cristian Prisacariu,
Operational Semantics for BPEL Complex Features in Rewriting Logic (extended abstract),
in 21st Nordic Workshop on Programming Theory (NWPT09) (Michael R. Hansen and Aske Brekling, eds.), (Lyngby, Denmark), pp. 95--98, DTU Informatics, October 2009.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[6]
Cristian Prisacariu,
A Decidable Logic for Complex Contracts (extended abstract),
in 21st Nordic Workshop on Programming Theory (NWPT09) (Michael R. Hansen and Aske Brekling, eds.), (Lyngby, Denmark), pp. 65--68, DTU Informatics, October 2009.
BibTeX entry Presentation Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[5]
Cristian Prisacariu,
Synchronous Kleene Algebra vs. Concurrent Kleene Algebra,
in Young Researchers Workshop on Concurrency Theory (YRCONCUR09) (Joost-Pieter Katoen, ed.), (Bologna, Italy), September 2009.
BibTeX entry Presentation Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[4]
Cristian Prisacariu and Gerardo Schneider,
Abstract Specification of Legal Contracts,
in 12th International Conference on Artificial Intelligence and Law (ICAIL09) (Carole Hafner, ed.), (Barcelona, Spain), pp. 218--219, ACM Press, June 2009.
BibTeX entry DOI link Presentation Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[3]
Cristian Prisacariu,
Extending Kleene Algebra with Synchrony: Completeness and Decidability,
in 20th Nordic Workshop on Programming Theory (NWPT08) (Tarmo Uustalu and Juri Vain, eds.), (Tallinn, Estonia), November 2008.
BibTeX entry Presentation Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[2]
Cristian Prisacariu and Gerardo Schneider,
Towards Model Checking Contracts,
in 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS07), (Oslo, Norway), pp. 104--106, October 2007. Extended Abstract.
BibTeX entry Presentation Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[1]
Cristian Prisacariu,
An Algebraic Structure for Concurrent Actions - abstract,
in 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO07) jounior (Magne Haveraaen, John Power, and Monika Seisenberger, eds.), (Bergen, Norway), August 2007.
BibTeX entry Presentation Preliminary version (PS file) Preliminary version (PDF file) Abstracttop

Technical reports
[17]
Christian Johansen, Audun Jøsang, and Denis Migdal,
Offpad: Offline personal authenticating device -- implementations and applications,
Tech. Rep. 454, Department of Informatics, University of Oslo, Norway, August 2016. (32 pages).
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[16]
Denis Migdal, Christian Johansen, and Audun Jøsang,
Usable authentication with an offline trusted device proxy architecture (long version),
Tech. Rep. 453, Department of Informatics, University of Oslo, Norway, August 2016. (27 pages).
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[15]
Christian Johansen, Tore Pedersen, and Audun Jøsang,
Reflections on Behavioural Computer Science,
Tech. Rep. 452, Department of Informatics, University of Oslo, Norway, May 2016. (23 pages).
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[14]
Håkon Normann, Christian Johansen, and Thomas Hildebrandt,
Non-interleaving Operational Semantics for the Pi-calculus -- technicalities,
Tech. Rep. 451, Department of Informatics, University of Oslo, Norway, April 2016.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[13]
Cristian Prisacariu and Olaf Owe,
Dynamic Structural Operational Semantics (long version),
Tech. Rep. 426, Department of Informatics, University of Oslo, Norway, December 2012.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[12]
Cristian Prisacariu,
Extensions of Configuration Structures (long version),
Tech. Rep. 420, Department of Informatics, University of Oslo, Norway, October 2012.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[11]
Luca Aceto, Anna Ingolfsdottir, Cristian Prisacariu, and Joshua Sack,
Compositional Reasoning for Epistemic Logics - technicalities,
Tech. Rep. 419, Department of Informatics, University of Oslo, Norway, September 2012.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[10]
Sergiu Bursuc and Cristian Prisacariu,
Unification and Matching in Separable Theories - technicalities,
Tech. Rep. 398, Department of Informatics, University of Oslo, Norway, July 2010.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[9]
Cristian Prisacariu,
Modal Logic over Higher Dimensional Automata - technicalities,
Tech. Rep. 393, Department of Informatics, University of Oslo, Norway, January 2010.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[8]
Cristian Prisacariu,
Deontic Modalities over Synchronous Actions - technicalities,
Tech. Rep. 381, Department of Informatics, University of Oslo, Norway, December 2008.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[7]
Marcel Kyas, Cristian Prisacariu, and Gerardo Schneider,
Run-time Monitoring of Electronic Contracts - theoretical results,
Tech. Rep. 378, Department of Informatics, University of Oslo, Oslo, Norway, November 2008.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[6]
Cristian Prisacariu,
Extending Kleene Algebra with Synchrony - technicalities,
Tech. Rep. 376, Department of Informatics, University of Oslo, Oslo, Norway, October 2008.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[5]
Cristian Prisacariu and Gerardo Schneider,
Cl -- a logic for reasoning about legal contracts: -- semantics,
Tech. Rep. 371, Department of Informatics, University of Oslo, Oslo, Norway, February 2008.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[4]
Cristian Prisacariu and Gerardo Schneider,
An Algebraic Structure for the Action-Based Contract Language CL - theoretical results,
Tech. Rep. 361, Department of Informatics, University of Oslo, Oslo, Norway, July 2007.
BibTeX entry Preliminary version (DVI file) Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[3]
Cristian Prisacariu and Gerardo Schneider,
Towards a Formal Definition of Electronic Contracts,
Tech. Rep. 348, Department of Informatics, University of Oslo, Oslo, Norway, January 2007.
BibTeX entry Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[2]
Cristian Prisacariu and Gabriel Ciobanu,
Theoretical aspects of timed distributed π-calculus,
tech. rep., Institute of Computer Science, Romanian Academy, 2005. http://iit.iit.tuiasi.ro/TR/.
BibTeX entry Preliminary version (DVI file) Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
[1]
Cristian Prisacariu and Gabriel Ciobanu,
Timed distributed π -calculus,
tech. rep., Institute of Computer Science, Romanian Academy, 2005.
BibTeX entry Preliminary version (DVI file) Preliminary version (PS file) Preliminary version (PDF file) Abstracttop
Made with NvuTry this on Opera browser
©2009-2012 The content of this web site are licenced under the
The condition is to put a visible link to this web site.
Creative Commons License