Differences

This shows you the differences between two versions of the page.

fullcost-additional-publications [2012/01/20 12:34]
simon
fullcost-additional-publications [2012/01/25 12:47] (current)
simon
Line 2: Line 2:
  
 //In order to make it easier to assess the scientific merits of the proposal, you may wish to compile a short list of recent scientific publications relating to the topic of the Action. If desired, you could group all the publications authored or co-authored by you as a kind of scientific self-portrait. This should be a maximum of 2 pages.// //In order to make it easier to assess the scientific merits of the proposal, you may wish to compile a short list of recent scientific publications relating to the topic of the Action. If desired, you could group all the publications authored or co-authored by you as a kind of scientific self-portrait. This should be a maximum of 2 pages.//
- 
-[AB08] L. Acciai and M. Boreale: A type system for client progress in a service-oriented calculus. 
-LNCS 5065:642-658, 2008. 
  
 [AB09] L. Acciai and M. Boreale: Deciding safety properties in infinite-state pi-calculus via behavioural types. Proc. ICALP'09. LNCS 5556:31-42, 2009.  [AB09] L. Acciai and M. Boreale: Deciding safety properties in infinite-state pi-calculus via behavioural types. Proc. ICALP'09. LNCS 5556:31-42, 2009. 
Line 28: Line 25:
 [BHJRVÅP11] J. Borgström, S. Huang, M. Johansson, P. Raabjerg, B. Victor, J. Åman Pohjola, J. Parrow: Broadcast Psi-calculi with an Application to Wireless Protocols. In G. Barthe, A. Pardo & G. Schneider (ed.) Software Engineering and Formal Methods, pp74-89, Springer 2011. [BHJRVÅP11] J. Borgström, S. Huang, M. Johansson, P. Raabjerg, B. Victor, J. Åman Pohjola, J. Parrow: Broadcast Psi-calculi with an Application to Wireless Protocols. In G. Barthe, A. Pardo & G. Schneider (ed.) Software Engineering and Formal Methods, pp74-89, Springer 2011.
  
-[BHTY10] L. Bocchi, K. Honda, E. Tuosto and N. Yoshida:  A Theory of Design-by-Contract for Distributed Multiparty Interactions, Proc CONCUR'10, LNCS 6269: 162-176, 2010+[BHTY10] L. Bocchi, K. Honda, E. Tuosto and N. Yoshida:  A Theory of Design-by-Contract for Distributed Multiparty Interactions, ProcCONCUR'10, LNCS 6269:162-176, 2010.
- +
-[BHY08] M. Berger,  N. Yoshida and K. Honda. Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes, ICALP'08, LNCS 5126: 99-111, 2008+
  
 [BJPV09] J. Bengtson, M. Johansson, J. Parrow and B. Victor. Psi-calculi: Mobile processes, nominal data, and logic. Proc. LICS, 2009. [BJPV09] J. Bengtson, M. Johansson, J. Parrow and B. Victor. Psi-calculi: Mobile processes, nominal data, and logic. Proc. LICS, 2009.
Line 42: Line 37:
 [BZ08] M. Bravetti, G. Zavattaro: A Foundational Theory of Contracts for Multi-party Service Composition. Fundamenta Informaticae 89(4):451-478, 2008.  [BZ08] M. Bravetti, G. Zavattaro: A Foundational Theory of Contracts for Multi-party Service Composition. Fundamenta Informaticae 89(4):451-478, 2008. 
  
-[CBDHY11] T.-C. Chen, L. Bocchi, P.-M. Denielou,  K. Honda and N. Yoshida: Asynchronous Distributed Monitoring for Multiparty Session Enforcement, To appear in TGC'11, LNCS, 2011+[CBDHY11] T.-C. Chen, L. Bocchi, P.-M. Denielou,  K. Honda and N. Yoshida: Asynchronous Distributed Monitoring for Multiparty Session Enforcement. Proc. TGC'11, LNCS, 2012. To appear.
  
 [CCDCR10] S. Capecchi, I. Castellani, M. Dezani-Ciancaglini, and T. Rezk: Session Types for Access and Information Flow Control. Proc. CONCUR, LNCS 6269:237-252, 2010. [CCDCR10] S. Capecchi, I. Castellani, M. Dezani-Ciancaglini, and T. Rezk: Session Types for Access and Information Flow Control. Proc. CONCUR, LNCS 6269:237-252, 2010.
Line 58: Line 53:
 [CGY10]  S. Capecchi, E. Giachino, and N. Yoshida: Global Escape in Multiparty Sessions. Proc. FSTTCS 2010. LIPIcs 8:338-351, 2010. [CGY10]  S. Capecchi, E. Giachino, and N. Yoshida: Global Escape in Multiparty Sessions. Proc. FSTTCS 2010. LIPIcs 8:338-351, 2010.
  
-[CHY08] M. Carbone, K. Honda and NYoshida, Structured Interactional Exceptions in Session Types, Proc. CONCUR 2008. LNCS 52012008+[CK11G. Ciobanu and M. Koutny: Timed Migration and Interaction with Access Permissions. Proc. FM, LNCS 6664:293-3072011.
  
 [DCdL10] M. Dezani-Ciancaglini and U. de' Liguoro: Sessions and Session Types: an Overview. Proc. WS-FM'09, LNCS 6194:1-28, 2010. [DCdL10] M. Dezani-Ciancaglini and U. de' Liguoro: Sessions and Session Types: an Overview. Proc. WS-FM'09, LNCS 6194:1-28, 2010.
Line 87: Line 82:
  
 [GVRGC10] S. J. Gay, V. T. Vasconcelos, A. Ravara, N. Gesbert and A. Z. Caldeira. Modular Session Types for Distributed Object-Oriented Programming. Proc. POPL, 2010 [GVRGC10] S. J. Gay, V. T. Vasconcelos, A. Ravara, N. Gesbert and A. Z. Caldeira. Modular Session Types for Distributed Object-Oriented Programming. Proc. POPL, 2010
- 
-[H10] H. Hüttel: Computing effects for correspondence types. Proc. FCS'09, 2010. 
  
 [H11] H. Hüttel: Typed Psi-Calculi. Proc. CONCUR, LNCS 6901, 2011. [H11] H. Hüttel: Typed Psi-Calculi. Proc. CONCUR, LNCS 6901, 2011.
Line 114: Line 107:
  
 [MY09] D. Mostrous and N. Yoshida,  Session-Based Communication Optimisation for Higher-Order Mobile Processes, Proc. TLCA'09. LNCS 5608:203–218, 2009. [MY09] D. Mostrous and N. Yoshida,  Session-Based Communication Optimisation for Higher-Order Mobile Processes, Proc. TLCA'09. LNCS 5608:203–218, 2009.
- 
-[MYH09] D. Mostrous, N. Yoshida and K. Honda, Global Principal Typing in Partially Commutative Asynchronous Sessions, Proc. ESOP 2009. LNCS 5502: 316-332, 2009. 
  
 [NYPHK11] N. Ng, N. Yoshida, O. Pernet, R. Hu and Y. Kryftis:  Safe Parallel Programming with Session Java.  Proc. COORDINATION, LNCS 6721:110-126, 2011. [NYPHK11] N. Ng, N. Yoshida, O. Pernet, R. Hu and Y. Kryftis:  Safe Parallel Programming with Session Java.  Proc. COORDINATION, LNCS 6721:110-126, 2011.
Line 125: Line 116:
 [PCPT12] J. A. Perez, L. Caires, F. Pfenning and B. Toninho: Linear Logical Relations for Session-Based Concurrency. [PCPT12] J. A. Perez, L. Caires, F. Pfenning and B. Toninho: Linear Logical Relations for Session-Based Concurrency.
 Proc. ESOP, LNCS, 2012. To appear. Proc. ESOP, LNCS, 2012. To appear.
- 
-[V08] Vasco T. Vasconcelos: Fundamentals of Session Types. LNCS 5569: 158-186, 2009. 
  
 [V09] Vasco T. Vasconcelos: Session Types for Linear Multithreaded Functional Programming. Proc. PPDP, 2009. [V09] Vasco T. Vasconcelos: Session Types for Linear Multithreaded Functional Programming. Proc. PPDP, 2009.
 
fullcost-additional-publications.txt · Last modified: 2012/01/25 12:47 by simon
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki