References in zbMATH (referenced in 21 articles , 1 standard article )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Giovanni Ciatto, Roberta Calegari, Andrea Omicini: 2P-Kt: A logic-based ecosystem for symbolic AI (2021) not zbMATH
  2. Darquennes, Denis; Jacquet, Jean-Marie; Linden, Isabelle: On the expressiveness of multiplicities in data-based coordination languages (2020)
  3. Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo: From distributed coordination to field calculus and aggregate computing (2019)
  4. Mariani, Stefano; Omicini, Andrea: Event-driven programming for situated MAS with respect tuple centres (2013) ioport
  5. Nardini, Elena; Omicini, Andrea; Viroli, Mirko: Semantic tuple centres (2013) ioport
  6. Meseguer, José: Twenty years of rewriting logic (2012)
  7. Pourvatan, Bahman; Sirjani, Marjan; Hojjat, Hossein; Arbab, Farhad: Symbolic execution of Reo circuits using constraint automata (2012)
  8. Ricci, Alessandro; Piunti, Michele; Viroli, Mirko: Environment programming in multi-agent systems: an artifact-based perspective (2011) ioport
  9. Ricci, Alessandro; Viroli, Mirko; Piancastelli, Giulio: simpA: an agent-oriented approach for programming concurrent applications on top of Java (2011)
  10. Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping: Comparing three coordination models: Reo, ARC, and PBRD (2011)
  11. Bromuri, Stefano; Urovi, Visara; Stathis, Kostas: Game-based e-retailing in GOLEM agent environments (2009) ioport
  12. Casadei, Matteo; Viroli, Mirko; Gardelli, Luca: On the collective sort problem for distributed tuple spaces (2009)
  13. Marth, Kevin; Ren, Shangping: The ARC programming model -- language constructs for coordination (2009)
  14. Yu, Yue; Ren, Shangping; Talcott, Carolyn: Coordinating asynchronous and open distributed systems under semiring-based timing constraints (2009)
  15. Cabri, Giacomo; Ferrari, Luca; Rubino, Rossella: Building computational institutions for agents with rolex. (2008) ioport
  16. Casadei, Matteo; Omicini, Andrea; Viroli, Mirko: Prototyping A&A ReSpecT in Maude (2008) ioport
  17. Omicini, Andrea; Ricci, Alessandro; Viroli, Mirko: Artifacts in the A&A meta-model for multi-agent systems. (2008) ioport
  18. Omicini, Andrea; Ricci, Alessandro; Viroli, Mirko: Time-aware coordination in respect (2005) ioport
  19. Viroli, Mirko; Omicini, Andrea: Process-algebraic approaches for multi-agent systems: an overview (2005)
  20. Omicini, Andrea; Denti, Enrico: Formal \textsfReSpecT (2001)

1 2 next


Further publications can be found at: https://apice.unibo.it/xwiki/bin/view/ReSpecT/Publications