Palle Raabjerg

Teknisk systemadministratör (tjänstledig) vid Universitetsbiblioteket; Avdelningen för digitalisering; Nationella system

Telefon:: 018-471 39 05
Mobiltelefon:: 072-999 96 78
E-post:: palle.raabjerg@ub.uu.se
Besöksadress:: Carolina Rediviva, Dag Hammarskjölds väg 1
Postadress:: Box 510
751 20 UPPSALA
Tjänstledig:: 2025-09-01 - 2026-02-28

Ladda ned kontaktuppgifter för Palle Raabjerg vid Universitetsbiblioteket; Avdelningen för digitalisering; Nationella system

Publikationer

Senaste publikationer

Broadcast psi-calculi with an application to wireless protocols

Borgström, Johannes; Huang, Shuqin; Johansson, Magnus; Raabjerg, Palle et al.

Ingår i Software and Systems Modeling, s. 201-216, 2015
- DOI för Broadcast psi-calculi with an application to wireless protocols
- Ladda ner fulltext (pdf) av Broadcast psi-calculi with an application to wireless protocols
Higher-order psi-calculi

Parrow, Joachim; Borgström, Johannes; Raabjerg, Palle; Åman Pohjola, Johannes

Ingår i Mathematical Structures in Computer Science, 2014
- DOI för Higher-order psi-calculi
- Ladda ner fulltext (pdf) av Higher-order psi-calculi
Negative premises in applied process calculi

Åman Pohjola, Johannes; Borgström, Johannes; Parrow, Joachim; Raabjerg, Palle et al.

2013
- Ladda ner fulltext (pdf) av Negative premises in applied process calculi
Extending psi-calculi and their formal proofs

Raabjerg, Palle

2012
- Ladda ner fulltext (pdf) av Extending psi-calculi and their formal proofs
Broadcast Psi-calculi with an Application to Wireless Protocols

Borgström, Johannes; Huang, Shuqin; Johansson, Magnus; Raabjerg, Palle et al.

Ingår i Software Engineering and Formal Methods, s. 74-89, 2011
- DOI för Broadcast Psi-calculi with an Application to Wireless Protocols
- Ladda ner fulltext (pdf) av Broadcast Psi-calculi with an Application to Wireless Protocols

Alla publikationer

Artiklar i tidskrift

Broadcast psi-calculi with an application to wireless protocols

Borgström, Johannes; Huang, Shuqin; Johansson, Magnus; Raabjerg, Palle et al.

Ingår i Software and Systems Modeling, s. 201-216, 2015
- DOI för Broadcast psi-calculi with an application to wireless protocols
- Ladda ner fulltext (pdf) av Broadcast psi-calculi with an application to wireless protocols
Higher-order psi-calculi

Parrow, Joachim; Borgström, Johannes; Raabjerg, Palle; Åman Pohjola, Johannes

Ingår i Mathematical Structures in Computer Science, 2014
- DOI för Higher-order psi-calculi
- Ladda ner fulltext (pdf) av Higher-order psi-calculi

Konferensbidrag

Broadcast Psi-calculi with an Application to Wireless Protocols

Borgström, Johannes; Huang, Shuqin; Johansson, Magnus; Raabjerg, Palle et al.

Ingår i Software Engineering and Formal Methods, s. 74-89, 2011
- DOI för Broadcast Psi-calculi with an Application to Wireless Protocols
- Ladda ner fulltext (pdf) av Broadcast Psi-calculi with an Application to Wireless Protocols

Licentiatavhandlingar, sammanläggning

Extending psi-calculi and their formal proofs

Raabjerg, Palle

2012
- Ladda ner fulltext (pdf) av Extending psi-calculi and their formal proofs

Rapporter

Negative premises in applied process calculi

Åman Pohjola, Johannes; Borgström, Johannes; Parrow, Joachim; Raabjerg, Palle et al.

2013
- Ladda ner fulltext (pdf) av Negative premises in applied process calculi