BibTeX records: Idriss Riouak

download as .bib file

@inproceedings{DBLP:conf/cilc/FabianoRDP19,
  author    = {Francesco Fabiano and
               Idriss Riouak and
               Agostino Dovier and
               Enrico Pontelli},
  title     = {Non-Well-Founded Set Based Multi-Agent Epistemic Action Language},
  booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
               Trieste, Italy, June 19-21, 2019.},
  pages     = {242--259},
  year      = {2019},
  crossref  = {DBLP:conf/cilc/2019},
  url       = {http://ceur-ws.org/Vol-2396/paper38.pdf},
  timestamp = {Fri, 30 Aug 2019 13:15:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cilc/FabianoRDP19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/FrehseAABBCGGMM19,
  author    = {Goran Frehse and
               Alessandro Abate and
               Dieky Adzkiya and
               Anna Becchi and
               Lei Bu and
               Alessandro Cimatti and
               Mirco Giacobbe and
               Alberto Griggio and
               Sergio Mover and
               Muhammad Syifa'ul Mufid and
               Idriss Riouak and
               Stefano Tonetta and
               Enea Zaffanella},
  title     = {{ARCH-COMP19} Category Report: Hybrid Systems with Piecewise Constant
               Dynamics},
  booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
               and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
               April 15, 2019.},
  pages     = {1--13},
  year      = {2019},
  crossref  = {DBLP:conf/cpsweek/2019arch},
  url       = {http://www.easychair.org/publications/paper/MTXh},
  timestamp = {Wed, 03 Jul 2019 10:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/FrehseAABBCGGMM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2019,
  editor    = {Alberto Casagrande and
               Eugenio G. Omodeo},
  title     = {Proceedings of the 34th Italian Conference on Computational Logic,
               Trieste, Italy, June 19-21, 2019},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2396},
  publisher = {CEUR-WS.org},
  year      = {2019},
  url       = {http://ceur-ws.org/Vol-2396},
  urn       = {urn:nbn:de:0074-2396-0},
  timestamp = {Fri, 30 Aug 2019 13:15:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cilc/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2019arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
               and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
               April 15, 2019},
  series    = {EPiC Series in Computing},
  volume    = {61},
  publisher = {EasyChair},
  year      = {2019},
  url       = {http://www.easychair.org/publications/volume/ARCH19},
  timestamp = {Wed, 03 Jul 2019 10:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2019arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics