Fabio Patrizi update.

whitemech · Jul 3, 2023 · 4eb28c0 · 4eb28c0
1 parent 4efc60a
commit 4eb28c0
Showing 1 changed file with 53 additions and 22 deletions.
diff --git a/publications.bib b/publications.bib
@@ -19,6 +19,19 @@ @inproceedings{citing-name
 %  note = {To appear},
 %}
 
+
+@article{jair2023dfpz,
+	author    = {Giuseppe {De Giacomo} and
+							Dror Fried and
+							Fabio Patrizi and
+							Shufang Zhu},
+	title     = {Mimicking Behaviors in Separated Domains},
+  journal   = {Journal of Artificial Intelligence Research ({JAIR})},
+	url_paper = {https://whitemech.github.io/papers/2022/arxiv2022dfpz.pdf},
+  note = {To appear},
+  bibbase_note = {<span style="color: red">To appear.</span>},
+}
+
 @inproceedings{amai2022gnpw,
  author    = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},
  title     = {On the Complexity of Rational Verification},
@@ -29,9 +42,9 @@ @inproceedings{amai2022gnpw
 
 @article{arxiv2022dfpz,
 	author    = {Giuseppe {De Giacomo} and
-	Dror Fried and
-	Fabio Patrizi and
-	Shufang Zhu},
+							Dror Fried and
+							Fabio Patrizi and
+							Shufang Zhu},
 	title     = {Mimicking Behaviors in Separated Domains},
 	journal   = {CoRR},
 	volume    = {abs/2205.09201},
@@ -60,17 +73,28 @@ @inproceedings{highlights2021ddtvz
 	year      = {2021},
 	url_paper = {https://whitemech.github.io/papers/2021/ijcai2021ddtvz.pdf},
 }
-@inproceedings{caise2022cmp,
-author = {Anti Alman and
-          {Fabrizio Maria} Maggi and
-          Marco Montali and
-          Fabio Patrizi and
-          Andrey Rivkin},
-title = {{Multi-Model} Monitoring Framework for Hybrid Process Specifications},
-booktitle = {Proceedings of the 34th International Conference on Advanced Information Systems Engineering ({CAISE})},
-year = {2022},
-note = {To appear},
+@inproceedings{caise2022ammpr,
+  author       = {Anti Alman and
+                  Fabrizio Maria Maggi and
+                  Marco Montali and
+                  Fabio Patrizi and
+                  Andrey Rivkin},
+  editor       = {Xavier Franch and
+                  Geert Poels and
+                  Frederik Gailly and
+                  Monique Snoeck},
+  title        = {Multi-model Monitoring Framework for Hybrid Process Specifications},
+  booktitle    = {Advanced Information Systems Engineering - 34th International Conference,
+                  CAiSE 2022, Leuven, Belgium, June 6-10, 2022, Proceedings},
+  series       = {Lecture Notes in Computer Science},
+  volume       = {13295},
+  pages        = {319--335},
+  publisher    = {Springer},
+  year         = {2022},
+  url_paper    = {https://doi.org/10.1007/978-3-031-07472-1\_19},
+  doi          = {10.1007/978-3-031-07472-1\_19},
 }
+
 @inproceedings{iclp2022cmp,
 author = {Francesco Chiariello and {Fabrizio Maria} Maggi and Fabio Patrizi},
 title = {{ASP}-Based Declarative Process Mining (Extended Abstract)},
@@ -92,16 +116,23 @@ @inproceedings{ijcai2022dflps
   url_paper = {https://whitemech.github.io/papers/2022/ijcai2022dflps.pdf},
 }
 @inproceedings{ijcai2022cdmp,
-  title = {Verification and Monitoring for First-Order {LTL} with {Persistence-Preserving} Quantification over Finite and Infinite Traces},
-  author = {Diego Calvanese and
-            Giuseppe {De Giacomo} and
-            Marco Montali and
-            Fabio Patrizi},
-  year = {2022},
-  booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence ({IJCAI})},
-  url_paper = {https://whitemech.github.io/papers/2022/ijcai2022cdmp.pdf},
-  note = {To appear},
+  author       = {Diego Calvanese and
+                  Giuseppe De Giacomo and
+                  Marco Montali and
+                  Fabio Patrizi},
+  editor       = {Luc De Raedt},
+  title        = {Verification and Monitoring for First-Order {LTL} with Persistence-Preserving
+                  Quantification over Finite and Infinite Traces},
+  booktitle    = {Proceedings of the Thirty-First International Joint Conference on
+                  Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
+                  2022},
+  pages        = {2553--2560},
+  publisher    = {ijcai.org},
+  year         = {2022},
+  url_paper    = {https://doi.org/10.24963/ijcai.2022/354},
+  doi          = {10.24963/ijcai.2022/354},
 }
+
 @inproceedings{ijcai2022adrz,
   title = {Beyond {Strong-Cyclic}: Doing Your Best in Stochastic Environments},
   author = {Benjamin Aminof and