Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 2023 | |
| Contributo in Atti di convegno | |
| A Pointfree Approach to Measurability and Statistical Models. In: Proceedings of the 13th International Symposium on Imprecise Probabilities: Theories and Applications - ISIPTA 2023Vol.215, Pag.189-199 | |
| International Symposium on Imprecise Probabilities: Theories and Applications - ISIPTA Oviedo (Spain) 11-14 July 2023 | |
| DI NOLA, Antonio; Lapenta, Serafina; Lenzi, Giacomo | |
| Versione online | |
| Codice identificativo ISI: WOS:001222674200017 Codice identificativo SCOPUS: 2-s2.0-85172875782 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| On semirings and MV-algebras. In: Proceedings of FUZZ-IEEE 2017 New York IEEE Pag.0-0 ISBN:978-1-5090-6034-4 | |
| 2017 IEEE international conference on fuzzy systems Napoli 9-12 luglio 2017 | |
| DI NOLA, Antonio; Lenzi, Giacomo | |
| Codice identificativo ISI: WOS:000426449100004 Codice identificativo SCOPUS: 2-s2.0-85030168647 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| Topological spaces of monadic MV-algebras. In: Proceedings of TACL 2017 electronic proceedings Pag.0-0 | |
| TACL 2017 Praga 26-30 giugno 2017 | |
| DI NOLA, Antonio; Grigolia, Revaz; Lenzi, Giacomo | |
| Codice identificativo ISI: WOS:000456317200002 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions. In: FUZZ-IEEE 2015 New York Institute of Electrical and Electronics Engineers Inc. Pag.1-8 ISBN:978-146737428-6 | |
| FUZZ-IEEE 2015 Istanbul 2-5 agosto 2015 | |
| DI NOLA, Antonio; Lenzi, Giacomo; Vitale, Gaetano | |
| Codice identificativo ISI: WOS:000370288300117 Codice identificativo SCOPUS: 2-s2.0-84975701703 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Contributo in Atti di convegno | |
| Fuzzy Logic as a geometry. In: IFSA-NAFIPS 2013 IEEE Pag.1249-1251 ISBN:978-147990347-4 | |
| IFSA-NAFIPS 2013 Edmonton, Alberta, Canada June 24-28, 2013 | |
| DI NOLA, Antonio; Lenzi, Giacomo; Belluce, Lawrence Peter | |
| Digital Object Identifier (DOI): 10.1109/IFSA-NAFIPS.2013.6608580 Codice identificativo ISI: WOS:000333960300216 Codice identificativo SCOPUS: 2-s2.0-84886465741 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Contributo in Atti di convegno | |
| On a priced resource-bounded alternating mu-calculus. In: ICAART 2012 Setubal SciTePress Pag.222-227 ISBN:9789898425966 | |
| ICAART 2012 Vilamoura de Algarve, Portugal 6-8 febbraio 2012 | |
| D., Monica; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.5220/0003750102220227 Codice identificativo ISI: WOS:000327192600028 Codice identificativo SCOPUS: 2-s2.0-84862214438 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Contributo in Atti di convegno | |
| On P-transitive graphs and applications. In: GANDALF 2011 O. Association Pag.222-236 | |
| GANDALF 2011 Minori, Italy 15-17 June 2011 | |
| Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.4204/EPTCS.54.16 Codice identificativo SCOPUS: 2-s2.0-85048458745 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Contributo in Atti di convegno | |
| On modal mu-calculus in S5 and applications.. In: Proceedings of the 26th Italian Conference on Computational Logic Aachen CEUR-WS.org Vol.CEUR Workshop Proceedings volume = 810,, Pag.9-24 | |
| CILC 2011 Pescara, Italy, August 31 - September 2, 2011 | |
| Lenzi, Giacomo; D'Agostino, Giovanna | |
| Codice identificativo ISI: WOS:000320502200007 Codice identificativo SCOPUS: 2-s2.0-84883338623 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Contributo in Atti di convegno | |
| The variable hierarchy of the $mu$-calculus is strict. In: STACS 2005 Berlin Springer Vol.3404, Pag.97-109 ISBN:978-3-540-24998-6 | |
| STACS 2005 Stuttgart 24-26 febbraio 2005 | |
| Lenzi, Giacomo; Berwanger, D. | |
| Digital Object Identifier (DOI): 10.1007/978-3-540-31856-9_8 Codice identificativo ISI: WOS:000229009500008 Codice identificativo SCOPUS: 2-s2.0-24144476234 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Contributo in Atti di convegno | |
| On the variable hierarchy of the modal mu-calculus. In: Computer Science Logic 2002 BERLIN Springer Vol.2471, Pag.352-366 ISBN:3-540-44240-5 | |
| CSL 2002 Edinburgh 2002 | |
| D., Berwanger; E., Graedel; Lenzi, Giacomo | |
| Codice identificativo ISI: WOS:000187294300024 Codice identificativo SCOPUS: 2-s2.0-23044532315 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| Relating Levels of the Mu--Calculus Hierarchy and Levels of the Monadic Hierarchy. In: LICS 2001 Los Alamitos IEEE Computer Society Pag.347-356 ISBN:0-7695-1281-X | |
| LICS 2001 Boston 16-19 giugno 2001 | |
| Lenzi, Giacomo; Janin, D. | |
| Codice identificativo ISI: WOS:000170688700033 Codice identificativo SCOPUS: 2-s2.0-0034864197 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| A new logical characterization of B"uchi automata. In: STACS 2001 BERLIN Springer Vol.2010, Pag.467-477 ISBN:978-3-540-41695-1 | |
| STACS 2001 Dresden 15-17 febbraio 2001 | |
| Lenzi, Giacomo | |
| Codice identificativo SCOPUS: 2-s2.0-23044528067 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| The hierarchy inside closed monadic $Sigma_1$ collapses on the infinite binary tree. In: LICS 2001 Los Alamitos IEEE Computer Society Pag.157-166 ISBN:0-7695-1281-X | |
| LICS 2001 Boston 16-19 giugno 2001 | |
| Lenzi, Giacomo; Arnold, A.; Marcinkowski, J. | |
| Digital Object Identifier (DOI): 10.1109/LICS.2001.932492 Codice identificativo ISI: WOS:000170688700016 Codice identificativo SCOPUS: 2-s2.0-0034858440 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1999 | |
| Contributo in Atti di convegno | |
| On the structure of the monadic logic of the binary tree (MFCS 1999). In: MFCS 1999 Berlin Springer Lecture Notes in Computer Science 1672 Vol.1672, Pag.310-320 ISBN:3-540-66408-4 | |
| MFCS 1999 Szklarska Poreba September 6-10 | |
| Lenzi, Giacomo; D., Janin | |
| Codice identificativo SCOPUS: 2-s2.0-0002496363 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1998 | |
| Contributo in Atti di convegno | |
| A fixpoint-based axiom system for $ACTL$.. In: Proc. of the Italian conference ICTCS '98 World Scientific Pag.129-140 ISBN:SCONOSCIUTO | |
| ICTCS 1998 Prato 09 – 11 November 1998 | |
| Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1142/3944 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1996 | |
| Contributo in Atti di convegno | |
| A hierarchy theorem for the mu-calculus. In: ICALP '96 BERLIN Springer Vol.1099, Pag.87-97 ISBN:3540614400 | |
| ICALP '96 Paderborn, Germany 8-12 July 1996 | |
| Lenzi, Giacomo | |
| Codice identificativo SCOPUS: 2-s2.0-84947755850 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1992 | |
| Contributo in Atti di convegno | |
| Teorie base nu-arie. In: Atti del XV incontro di logica matematica Universita' di Camerino Pag.65-69 | |
| XV incontro di logica matematica Camerino 22-24 Aprile 1992 | |
| Lenzi, G. | |
| Visualizza sul Database dei Prodotti (IRIS) |
