| The s-semantics approach: Theory and applications A Bossi, M Gabbrielli, G Levi, M Martelli The Journal of Logic Programming 19, 149-197, 1994 | 234 | 1994 |
| Programming languages: principles and paradigms M Gabbrielli, S Martini, S Giallorenzo Springer, 2010 | 164 | 2010 |
| A timed concurrent constraint language FS de Boer, M Gabbrielli, MC Meo Information and Computation 161 (1), 45-83, 2000 | 121 | 2000 |
| Student dropout prediction F Del Bonifro, M Gabbrielli, G Lisanti, SP Zingaro Artificial Intelligence in Education: 21st International Conference, AIED …, 2020 | 120 | 2020 |
| Proving concurrent constraint programs correct FS De Boer, M Gabbrielli, E Marchiori, C Palamidessi ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (5), 685-725, 1997 | 118 | 1997 |
| Transformations of CLP modules S Etalle, M Gabrielli Theoretical computer science 166 (1-2), 101-146, 1996 | 114 | 1996 |
| A compositional semantics for logic programs A Bossi, M Gabrielli, G Levi, MC Meo Theoretical Computer Science 122 (1-2), 3-47, 1994 | 109 | 1994 |
| Modeling answer constraints in constraint logic programs M Gabbrielli, G Levi Università degli studi di Pisa, Dipartimento di informatica, 1991 | 100 | 1991 |
| Replication vs. recursive definitions in channel based calculi N Busi, M Gabbrielli, G Zavattaro Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003 | 76 | 2003 |
| SUNNY: a lazy portfolio approach for constraint solving R Amadini, M Gabbrielli, J Mauro Theory and Practice of Logic Programming 14 (4-5), 509-524, 2014 | 74 | 2014 |
| Comparing recursion, replication, and iteration in process calculi N Busi, M Gabbrielli, G Zavattaro Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004 | 67 | 2004 |
| Contributions to the Semantics of Open Logic Programs. A Bossi, M Gabbrielli, G Levi, MC Meo FGCS, 570-580, 1992 | 66 | 1992 |
| Dynamic choreographies: Theory and implementation M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro Logical Methods in Computer Science 13, 2017 | 65 | 2017 |
| On the expressive power of recursion, replication and iteration in process calculi N Busi, M Gabbrielli, G Zavattaro Mathematical Structures in Computer Science 19 (6), 1191-1222, 2009 | 65 | 2009 |
| Goal independency and call patterns in the analysis of logic programs M Gabbrielli, R Giacobazzi, G Levi Symposium on Applied Computing: Proceedings of the 1994 ACM symposium on …, 1994 | 63 | 1994 |
| Self-reconfiguring microservices M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016 | 57 | 2016 |
| AIOCJ: A choreographic framework for safe adaptive distributed applications M Dalla Preda, S Giallorenzo, I Lanese, J Mauro, M Gabbrielli International Conference on Software Language Engineering, 161-170, 2014 | 54 | 2014 |
| A multicore tool for constraint solving R Amadini, M Gabbrielli, J Mauro arXiv preprint arXiv:1502.03986, 2015 | 53 | 2015 |
| Observable semantics for constraint logic programs M Gabbrielli, GM Dore, G Levi Journal of Logic and Computation 5 (2), 133-171, 1995 | 53 | 1995 |
| Compositional analysis for concurrent constraint programming M Falaschi, M Gabbrielli, K Marriott, C Palamidessi [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993 | 48 | 1993 |
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.在 cwi.nl 的电子邮件经过验证
