LORENZO CARLUCCI

Ricercatore universitario

email: lorenzo.carlucci@uniroma1.it





Produzione scientifica

11573/1064254 - 2019 - A Note on Hindman-Type Theorems for Uncountable Cardinals
Lorenzo Carlucci - 01a Articolo in rivista
rivista: ORDER (Kluwer Academic Publishers:Journals Department, PO Box 322, 3300 AH Dordrecht Netherlands:011 31 78 6576050, EMAIL: frontoffice@wkap.nl, kluweronline@wkap.nl, INTERNET: http://www.kluwerlaw.com, Fax: 011 31 78 6576254) pp. 19-22 - issn: 0167-8094 - wos: (0) - scopus: (0)

11573/1351100 - 2019 - A Note on the Ordinal Analysis of RCA0 + WO(σ)
Carlucci, Lorenzo; Mainardi, Leonardo - 04b Atto di convegno in volume
congresso: Computability in Europe 2019 (Durham, UK)
libro: Computability in Europe 2019: Computing with Foresight and Industry - (978-3-030-22995-5; 978-3-030-22996-2)

11573/1064194 - 2018 - "Weak yet strong'' restrictions of Hindman's Finite Sums Theorem
Lorenzo Carlucci - 01a Articolo in rivista
rivista: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY (American Mathematical Society:PO Box 6248:Providence, RI 02940:(800)321-4267, (401)455-4000, EMAIL: cust-serv@ams.org, gma@math.ams.org, INTERNET: http://www.ams.org, Fax: (401)331-3842) pp. 819-829 - issn: 0002-9939 - wos: (0) - scopus: 2-s2.0-85037570538 (0)

11573/1064234 - 2018 - A weak variant of Hindman’s Theorem stronger than Hilbert’s Theorem
Lorenzo Carlucci - 01a Articolo in rivista
rivista: ARCHIVE FOR MATHEMATICAL LOGIC (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 381-389 - issn: 0933-5846 - wos: (0) - scopus: 2-s2.0-85025636500 (0)

11573/1064314 - 2017 - New bounds on the strength of some restrictions of Hindman’s Theorem
Lorenzo Carlucci - 04b Atto di convegno in volume
congresso: 13th Conference on Computability in Europe, CiE 2017 (Turku, Finland)
libro: Unveiling Dynamics and Complexity - ()

11573/902288 - 2016 - On the proof complexity of Paris-harrington and off-diagonal ramsey tautologies
Carlucci, Lorenzo; Galesi, Nicola; Lauria, Massimo - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 1-25 - issn: 1529-3785 - wos: WOS:000390984400004 (0) - scopus: 2-s2.0-84987984208 (0)

11573/563952 - 2014 - THE STRENGTH OF RAMSEY’S THEOREM FOR COLORING RELATIVELY LARGE SETS
Carlucci, Lorenzo - 01a Articolo in rivista
rivista: THE JOURNAL OF SYMBOLIC LOGIC (Association for Symbolic Logic:Department of Math, University of Illinois, 1409 West Green Street:Urbana, IL 61801:(217)333-3350, EMAIL: asl@math.uiuc.edu, INTERNET: http://www.aslonline.org) pp. 89-102 - issn: 0022-4812 - wos: WOS:000339938500006 (1) - scopus: 2-s2.0-84925257619 (1)

11573/516428 - 2013 - On the Necessity of U-Shaped Learning
Carlucci, Lorenzo - 01a Articolo in rivista
rivista: TOPICS IN COGNITIVE SCIENCE (Hoboken, NJ : Wiley & Sons) pp. 56-88 - issn: 1756-8765 - wos: WOS:000313754300005 (11) - scopus: 2-s2.0-84872736811 (16)

11573/477748 - 2012 - Learning with ordinal-bounded memory from positive data
Lorenzo Carlucci - 01a Articolo in rivista
rivista: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 1623-1636 - issn: 0022-0000 - wos: WOS:000305312300022 (0) - scopus: 2-s2.0-84861647628 (0)

11573/477751 - 2012 - A note on Ramsey theorems and Turing jumps
Carlucci, Lorenzo - 04b Atto di convegno in volume
congresso: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 (Cambridge)
libro: How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings - (9783642308697; 9783642308703)

11573/139122 - 2011 - Unprovability results involving braids
Carlucci, Lorenzo - 01a Articolo in rivista
rivista: PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY (Cambridge University Press / New York:40 West 20th Street:New York, NY 10011:(800)872-7423, (212)924-3900, EMAIL: journals_subscriptions@cup.org, INTERNET: http://www.journals.cambridge.org, Fax: (212)691-3239) pp. 159-192 - issn: 0024-6115 - wos: WOS:000285844800005 (5) - scopus: 2-s2.0-78651321768 (5)

11573/139123 - 2011 - Sharp thresholds for hypergraph regressive Ramsey numbers
Carlucci, Lorenzo - 01a Articolo in rivista
rivista: JOURNAL OF COMBINATORIAL THEORY. SERIES A (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 558-585 - issn: 0097-3165 - wos: WOS:000285432500019 (6) - scopus: 2-s2.0-77955677222 (6)

11573/379820 - 2011 - Paris-Harrington tautologies
Carlucci, Lorenzo; Galesi, Nicola; Lauria, Massimo - 04b Atto di convegno in volume
congresso: 26th Annual IEEE Conference on Computational Complexity (CCC) (San Jose, CA)
libro: Proceedings of the 26th Annual IEEE Conference on Computational Complexity - (9780769544113)

11573/139121 - 2009 - LEARNING CORRECTION GRAMMARS
Carlucci, Lorenzo - 01a Articolo in rivista
rivista: THE JOURNAL OF SYMBOLIC LOGIC (Association for Symbolic Logic:Department of Math, University of Illinois, 1409 West Green Street:Urbana, IL 61801:(217)333-3350, EMAIL: asl@math.uiuc.edu, INTERNET: http://www.aslonline.org) pp. 489-516 - issn: 0022-4812 - wos: WOS:000265986300006 (3) - scopus: 2-s2.0-67649534866 (4)

11573/57793 - 2009 - Incremental Learning with Ordinal Bounded Example Memory
Carlucci, Lorenzo - 04b Atto di convegno in volume
congresso: Algorithmic Learning Theory, 20th International Conference, ALT 2009 (Porto, Portugal)
libro: Algorithmic Learning Theory, 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings - (9783642044137)

11573/138856 - 2008 - Non-U-shaped vacillatory and team learning
Carlucci, Lorenzo - 01a Articolo in rivista
rivista: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 409-430 - issn: 0022-0000 - wos: WOS:000256282300002 (9) - scopus: 2-s2.0-42649139636 (10)
congresso: 37th Annual Meeting of the Society-for-Mathematical-Psychology (Ann Arbor, MI)

11573/138857 - 2007 - Results on memory-limited U-shaped learning
Carlucci, Lorenzo - 01a Articolo in rivista
rivista: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 1551-1573 - issn: 0890-5401 - wos: WOS:000250096800003 (20) - scopus: 2-s2.0-84855186479 (21)

11573/57772 - 2007 - Learning Correction Grammars
Carlucci, Lorenzo - 04b Atto di convegno in volume
congresso: Annual Conference on Learning Theory, COLT 2007 (San Diego, CA, USA)
libro: Learning Theory: 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings - ()

11573/138858 - 2006 - Variations on U-shaped learning
Carlucci, Lorenzo - 01a Articolo in rivista
rivista: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 1264-1294 - issn: 0890-5401 - wos: WOS:000239670300002 (8) - scopus: 2-s2.0-84855200951 (9)

11573/57771 - 2006 - Memory-Limited U-shaped Learning
Carlucci, Lorenzo - 04b Atto di convegno in volume
congresso: Annual Conference on Learning Theory, COLT 2006 (Pittsburgh, PA, USA)
libro: Learning Theory: 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings - (9783540352945)

11573/138553 - 2005 - Worms, gaps, and hydras
Carlucci, Lorenzo - 01a Articolo in rivista
rivista: MATHEMATICAL LOGIC QUARTERLY (- WILEY-V C H VERLAG GMBH, PO BOX 10 11 61, WEINHEIM, GERMANY, D-69451 -Johann Ambrosius Barth:Prager Strasse 16 B, D-04103 Leipzig Germany:011 49 341 9781570, Fax: 011 49 341 9781575) pp. 342-350 - issn: 0942-5616 - wos: WOS:000230373000002 (4) - scopus: 2-s2.0-22144483048 (7)

11573/56269 - 2005 - Variations on U-Shaped Learning
Carlucci, Lorenzo - 04b Atto di convegno in volume
congresso: 18th Annual Conference on Learning Theory, COLT 2005 (Bertinoro, Italy)
libro: Learning Theory, 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings - ()

11573/56270 - 2005 - Non U-shaped Vacillatory and Team Learning
Carlucci, Lorenzo - 04b Atto di convegno in volume
congresso: Algorithmic Learning Theory, 16th International Conference, ALT 2005 (Singapore)
libro: Algorithmic Learning Theory, 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings - (9783540292425)

11573/138855 - 2003 - A new proof-theoretic proof of the independence of Kirby-Paris' Hydra Theorem
Carlucci, Lorenzo - 01a Articolo in rivista
rivista: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 365-378 - issn: 0304-3975 - wos: WOS:000182782000011 (4) - scopus: 2-s2.0-0038414954 (3)

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma