User Tools

Site Tools


wp3_list

Differences

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

Link to this comparison view

Next revision
Previous revision
wp3_list [2016/03/18 17:50]
imt created
wp3_list [2016/03/23 20:47]
imt
Line 1: Line 1:
-**List of WP3 Publications** +**List of Publications ​for WP3**
  
 A. Lluch Lafuente, M. Loreti and U. Montanari: A Fixpoint-Based Calculus for Graph-Shaped Computational Fields, COORDINATION 2015, Springer LNCS 9037, pp. 101–116, 2015. Best Paper award for COORDINATION 2015 A. Lluch Lafuente, M. Loreti and U. Montanari: A Fixpoint-Based Calculus for Graph-Shaped Computational Fields, COORDINATION 2015, Springer LNCS 9037, pp. 101–116, 2015. Best Paper award for COORDINATION 2015
Line 17: Line 16:
  
 F. Damiani, M. Viroli: Type-based Self-stabilisation for Computational Fields. Logical Methods in Computer Science 11(4) (2015) F. Damiani, M. Viroli: Type-based Self-stabilisation for Computational Fields. Logical Methods in Computer Science 11(4) (2015)
 +
 +F. Gadducci, F. Santini, L. F. Pino, F. D. Valencia: A Labelled Semantics for Soft Concurrent Constraint Programming. COORDINATION 2015: Springer Lecture Notes in Computer Science 9037, pp. 133–149, 2015. 
 +
 +F. Gadducci, M. M. Hölzl, G. V. Monreale, Martin Wirsing: Soft Constraints for Lexicographic Orders. MICAI (1) 2013: Springer ​
  
 I. Lanese, F. Montesi, G. Zavattaro: Amending Choreographies. WWV 2013: 34-48, Electronic Proceedings in Theoretical Computer Science 123, 2013 I. Lanese, F. Montesi, G. Zavattaro: Amending Choreographies. WWV 2013: 34-48, Electronic Proceedings in Theoretical Computer Science 123, 2013
Line 25: Line 28:
  
 J. Beal, M. Viroli: Space-time programming. Philosophical Transactions of the Royal Society of London A: Mathematical,​ Physical and Engineering Sciences 373 (2015) J. Beal, M. Viroli: Space-time programming. Philosophical Transactions of the Royal Society of London A: Mathematical,​ Physical and Engineering Sciences 373 (2015)
 +Lecture Notes in Computer Science 8265, pp. 68-79. 2013
  
 M. Bravetti, M. Carbone, T. T. Hildebrandt,​ I. Lanese, J. Mauro, J. A. Pérez, G. Zavattaro: Towards Global and Local Types for Adaptation. SEFM Workshops 2013: 3-14, Lecture Notes in Computer Science 8368, Springer 2013 M. Bravetti, M. Carbone, T. T. Hildebrandt,​ I. Lanese, J. Mauro, J. A. Pérez, G. Zavattaro: Towards Global and Local Types for Adaptation. SEFM Workshops 2013: 3-14, Lecture Notes in Computer Science 8368, Springer 2013
  
 M. Bravetti: Formalizing RESTful Services and Web-OS Middleware. WS-FM 2013: 48-68, Lecture Notes in Computer Science 8379, Springer 2014. M. Bravetti: Formalizing RESTful Services and Web-OS Middleware. WS-FM 2013: 48-68, Lecture Notes in Computer Science 8379, Springer 2014.
 +M. H. ter Beek, F. Gadducci, F. Santini: Validating reconfigurations of Reo circuits in an e-Banking scenario. ISARCS 2013: 39-48. ACM, 2013.
  
-M. Viroli, F. Damiani: A Calculus of Self-stabilising Computational Fields. COORDINATION 2014: 163-178, ​ Lecture Notes in Computer Science 8459, Springer 2014, Best paper at Discotec 2014.+M. Viroli, F. Damiani: A Calculus of Self-stabilising Computational Fields. COORDINATION 2014: 163-178, Lecture Notes in Computer Science 8459, Springer 2014, Best paper at Discotec 2014.
  
 M. Viroli, J. Beal, F. Damiani, D. Pianini: Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. Proceedings of SASO 2015: 81-90, IEEE Computer Society M. Viroli, J. Beal, F. Damiani, D. Pianini: Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. Proceedings of SASO 2015: 81-90, IEEE Computer Society
Line 42: Line 47:
 P. Baldan, F. Bonchi, F. Gadducci, G. V. Monreale: Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security 2015: 86-102 P. Baldan, F. Bonchi, F. Gadducci, G. V. Monreale: Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security 2015: 86-102
  
-R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente,​ A. Vandin: A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581+R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente,​ A. Vandin: A White Box Perspective on Behavioural ​ 
 +Adaptation. Software, Services, and Systems 2015: 552-581
  
 R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente,​ A. Vandin: Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21 R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente,​ A. Vandin: Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21
Line 48: Line 54:
 R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente,​ A. Vandin: Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015) R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente,​ A. Vandin: Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015)
  
-R. Bruni, A. Corradini, F. Gadducci, M. Hölzl, A. Lluch-Lafuente,​ A. Vandin, M. Wirsing:+R. Bruni, A. Corradini, F. Gadducci, M. Hölzl, A. Lluch-Lafuente,​ A. Vandin, M. Wirsing: ​Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184
  
 R. Bruni, A. Lluch-Lafuente,​ U. Montanari: Constraint design rewriting. Sci. Comput. Program. 97: 23-30 (2015) R. Bruni, A. Lluch-Lafuente,​ U. Montanari: Constraint design rewriting. Sci. Comput. Program. 97: 23-30 (2015)
Line 68: Line 74:
 R. Bruni, U. Montanari, M. Sammartino: Reconfigurable and Software-Defined Networks of Connectors and Components. The ASCENS Approach 2015: 73-106 R. Bruni, U. Montanari, M. Sammartino: Reconfigurable and Software-Defined Networks of Connectors and Components. The ASCENS Approach 2015: 73-106
  
-R. Bruni, U. Montanari, M. Sammartino: Revisiting causality, coalgebraically. Acta Inf. 52(1): 5-33 (2015) +R. Bruni, U. Montanari, M. Sammartino: Revisiting causality, coalgebraically. Acta Inf. 52(1): 5-33 (2015) Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184
-Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184+
  
 S. Crafa and L. Padovani. The chemical approach to typestate-oriented programming OOPSLA 2015: 917-934, ACM 2015. S. Crafa and L. Padovani. The chemical approach to typestate-oriented programming OOPSLA 2015: 917-934, ACM 2015.
  
-U. Montanari and A. Tcheukam: Prosumers As Aggregators in the DEZENT Context of Regenerative Power Production, 2014 IEEE 8th International Conference on Self- +U. Montanari and A. Tcheukam: Prosumers As Aggregators in the DEZENT Context of Regenerative Power Production, 2014 IEEE 8th International Conference on Self- Adaptive and Self-Organizing Systems (SASO), London, pp. 167—174, 2014.
-Adaptive and Self-Organizing Systems (SASO), London, pp. 167—174, 2014.+
  
 U. Montanari and A. Tcheukam: Real Time Market Models and Prosumer Profiling, Proc. IEEE INFOCOM 2013 - CCSES Workshop, 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), pp.7-12. U. Montanari and A. Tcheukam: Real Time Market Models and Prosumer Profiling, Proc. IEEE INFOCOM 2013 - CCSES Workshop, 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), pp.7-12.
wp3_list.txt · Last modified: 2016/03/23 20:47 by imt