Travelled to:1 × Finland
1 × Portugal
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
2 × Canada
2 × France
2 × Hungary
2 × Spain
2 × Sweden
2 × USA
3 × Germany
Collaborated with:P.S.Pietro M.Pradella L.Breveglieri D.Mandrioli A.Morzenti S.Campanoni A.Borsotti M.Sykora G.Agosta ∅ F.Cacace S.Ceri L.Tanca A.Barenghi M.D.Michele S.Perotta G.G.d.Paratesi S.Genolini P.Palumbo J.Berstel G.Roussel A.Cherubini C.Citrini F.Panella E.Viviani R.Zicari P.Fraternali S.Paraboschi G.Gottlob G.Lamperti L.Lavazza R.V.Zicari
Talks about:regular (6) parallel (4) languag (4) preced (3) parser (3) compil (3) oper (3) determinist (2) consensus (2) prototyp (2)
Person: Stefano Crespi-Reghizzi
DBLP: Crespi-Reghizzi:Stefano
Contributed to:
2015
2014
2014
2014201320122013
201220102009
20092008
20062003
20011993
1993
1992
19911990
1989
19722017Wrote 24 papers:
- CIAA-2015-BorsottiBCM #ambiguity #automaton #parsing #regular expression
- From Ambiguous Regular Expressions to Deterministic Parsing Automata (AB, LB, SCR, AM), pp. 35–48.
- CIAA-2015-BorsottiBCM15a #ambiguity #named #parsing #regular expression
- BSP: A Parsing Tool for Ambiguous Regular Expressions (AB, LB, SCR, AM), pp. 313–316.
- AFL-2014-Crespi-ReghizziP #commutative #composition
- Commutative Languages and their Composition by Consensual Methods (SCR, PSP), pp. 216–230.
- CC-2014-BarenghiCMPP #generative
- The PAPAGENO Parallel-Parser Generator (AB, SCR, DM, FP, MP), pp. 192–196.
- LATA-2014-BreveglieriCM #network #parsing
- Shift-Reduce Parsers for Transition Networks (LB, SCR, AM), pp. 222–235.
- CIAA-2013-Crespi-ReghizziP #parallel
- Deterministic Counter Machines and Parallel Matching Computations (SCR, PSP), pp. 280–291.
- CIAA-2012-Crespi-ReghizziP #strict #testing
- Strict Local Testability with Consensus Equals Regularity (SCR, PSP), pp. 113–124.
- CIAA-J-2012-Crespi-ReghizziP13 #strict #testing
- Strict Local Testability with Consensus Equals Regularity, and Other Properties (SCR, PSP), pp. 747–764.
- SLE-2012-BarenghiVCMP #generative #named #parallel #parsing #precedence
- PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars (AB, EV, SCR, DM, MP), pp. 264–274.
- LATA-2010-Crespi-ReghizziM #automaton #precedence
- Operator Precedence and the Visibly Pushdown Property (SCR, DM), pp. 214–226.
- CC-2009-CampanoniSAC #compilation #jit #manycore
- Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment (SC, MS, GA, SCR), pp. 220–235.
- DLT-2009-CampanoniC #control flow #graph
- Traces of Control-Flow Graphs (SC, SCR), pp. 156–169.
- LATA-2008-Crespi-ReghizziP #set
- Consensual Definition of Languages by Regular Sets (SCR, PSP), pp. 196–208.
- SAC-2006-AgostaCPS #analysis #bytecode #compilation #performance
- Selective compilation via fast code analysis and bytecode tracing (GA, SCR, PP, MS), pp. 906–911.
- DLT-2003-ReghizziP
- Tile Rewriting Grammars (SCR, MP), pp. 206–217.
- ICSE-2001-BerstelCRP #automation #design #formal method #scalability #user interface
- A Scalable Formal Method for Design and Automatic Checking of User Interfaces (JB, SCR, GR, PSP), pp. 453–462.
- DLT-1993-BreveglieriCCC #parallel
- Fair First Languages and Parallel Programme Schemes (LB, AC, CC, SCR), pp. 389–418.
- SIGMOD-1993-CacaceCCFPT #prototype
- The LOGRES prototype (FC, SC, SCR, PF, SP, LT), pp. 550–551.
- TRI-Ada-C-1992-Crespi-ReghizziMP #ada #behaviour #concept #experience #implementation #inheritance
- Behavioral Inheritance: Concepts, Ada Implementation and Experience (SCR, MDM, SP), pp. 200–210.
- ECOOP-1991-Crespi-ReghizziPG #component #concurrent #reuse
- Definition of Reusable Concurrent Software Components (SCR, GGdP, SG), pp. 148–166.
- SIGMOD-1990-CacaceCCTZ #modelling #object-oriented #paradigm #programming #rule-based
- Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm (FC, SC, SCR, LT, RZ), pp. 225–236.
- CAiSE-1989-CacaceCCGLLTZ #database #named #prototype #relational #specification
- ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications (FC, SC, SCR, GG, GL, LL, LT, RVZ).
- ICALP-1972-Reghizzi #approximate #set
- Approximation of Phrase Markers by Regular Sets (SCR), pp. 367–376.
- AFL-2017-CrespiReghizziP #higher-order #precedence
- Higher-order Operator Precedence Languages (SCR, MP), pp. 86–100.