Stefano Crespi-Reghizzi

Publication Activity (10 Years)

Years Active: 1970-2024
Publications (10 Years): 34

Top Venues

CoRR

Theor. Comput. Sci.

ICTCS

CIAA

Publications

Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
Row-Column Combination of Dyck Words. SOFSEM (2024)
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
Two-dimensional Dyck words. CoRR (2023)
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
Two-Dimensional Dyck Words (short paper) (text not included). ICTCS (2023)
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages. Log. Methods Comput. Sci. 19 (4) (2023)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
General parsing with regular expression matching. J. Comput. Lang. 74 (2023)
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
Reducing the local alphabet size in tiling systems by means of 2D comma-free codes. Theor. Comput. Sci. 933 (2022)
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
Reducing the local alphabet size in tiling systems by means of 2D comma-free codes. CoRR (2022)
Stefano Crespi-Reghizzi
The Alphabetic Complexity in Homomorphic Definitions of Word, Tree and Picture Languages. DCFS (2022)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding. LATA (2021)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
A deterministic parsing algorithm for ambiguous regular expressions. Acta Informatica 58 (3) (2021)
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
Reducing Local Alphabet Size in Recognizable Picture Languages. DLT (2021)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
Fast GLR parsers for extended BNF grammars and transition networks. J. Comput. Lang. 64 (2021)
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
Reducing the Local Alphabet Size in Tiling Systems for Picture Languages. ICTCS (2021)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
A Generalized LR(1) Parser or Extended Context-Free Grammars. ICTCS (2020)
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. ICTAC (2020)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Deque automata, languages, and planar graph representations. Theor. Comput. Sci. 834 (2020)
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages. CoRR (2020)
Stefano Crespi-Reghizzi, Matteo Pradella
Beyond operator-precedence grammars and languages. J. Comput. Syst. Sci. 113 (2020)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Deque Languages, Automata and Planar Graphs (text not included). ICTCS (2019)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Regular Languages as Local Functions with Small Alphabets. CAI (2019)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Non-erasing Chomsky-Schützenberger theorem with grammar-independent alphabet. Inf. Comput. 269 (2019)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
A Benchmark Production Tool for Regular Expressions. CIAA (2019)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
Fast deterministic parsers for transition networks. Acta Informatica 55 (7) (2018)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Deque Languages, Automata and Planar Graphs. DLT (2018)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Non-erasing Chomsky-Sch{ü}tzenberger theorem with grammar-independent alphabet. CoRR (2018)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Deque languages, automata and planar graphs. CoRR (2018)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Counter machines, Petri Nets, and consensual computation. Theor. Comput. Sci. 664 (2017)
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
Toward a theory of input-driven locally parsable languages. Theor. Comput. Sci. 658 (2017)
Stefano Crespi-Reghizzi, Matteo Pradella
Higher-order Operator Precedence Languages. AFL (2017)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
The Missing Case in Chomsky-Schützenberger Theorem. LATA (2016)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
BSP: A Parsing Tool for Ambiguous Regular Expressions. CIAA (2015)
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
Locally Chain-Parsable Languages. MFCS (1) (2015)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
From Ambiguous Regular Expressions to Deterministic Parsing Automata. CIAA (2015)
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
Parallel parsing made practical. Sci. Comput. Program. 112 (2015)
Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
Shift-Reduce Parsers for Transition Networks. LATA (2014)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
Complexity of Extended vs. Classic LR Parsers. DCFS (2014)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Commutative Languages and their Composition by Consensual Methods. AFL (2014)
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
The PAPAGENO Parallel-Parser Generator. CC (2014)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Strict Local Testability with Consensus Equals Regularity, and Other Properties. Int. J. Found. Comput. Sci. 24 (6) (2013)
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
Parallel parsing of operator precedence grammars. Inf. Process. Lett. 113 (7) (2013)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Deterministic Counter Machines and Parallel Matching Computations. CIAA (2013)
Michele Tartara, Stefano Crespi-Reghizzi
Continuous learning of compiler heuristics. ACM Trans. Archit. Code Optim. 9 (4) (2013)
Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
Parsing methods streamlined. CoRR (2013)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Strict Local Testability with Consensus Equals Regularity. CIAA (2012)
Stefano Crespi-Reghizzi, Dino Mandrioli
Operator precedence and the visibly pushdown property. J. Comput. Syst. Sci. 78 (6) (2012)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
From Regular to Strictly Locally Testable Languages. Int. J. Found. Comput. Sci. 23 (8) (2012)
Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. SLE (2012)
Cristina Silvano, William Fornaciari, Stefano Crespi-Reghizzi, Giovanni Agosta, Gianluca Palermo, Vittorio Zaccaria, Patrick Bellasi, Fabrizio Castro, Simone Corbetta, Ettore Speziale, Diego Melpignano, J. M. Zins, David Siorpaes, Heiko Hübert, Benno Stabernack, Jens Brandenburg, Martin Palkovic, Praveen Raghavan, Chantal Ykman-Couvreur, Alexandros Bartzas, Dimitrios Soudris, Torsten Kempf, Gerd Ascheid, Heinrich Meyr, Junaid Ansari, Petri Mähönen, Bart Vanthournout
Parallel paradigms and run-time management techniques for many-core architectures: the 2PARMA approach. INA-OCMC@HiPEAC (2012)
Cristina Silvano, William Fornaciari, Stefano Crespi-Reghizzi, Giovanni Agosta, Gianluca Palermo, Vittorio Zaccaria, Patrick Bellasi, Fabrizio Castro, Simone Corbetta, Ettore Speziale, Diego Melpignano, J. M. Zins, Heiko Hübert, Benno Stabernack, Jens Brandenburg, Martin Palkovic, Praveen Raghavan, Chantal Ykman-Couvreur, Iraklis Anagnostopoulos, Alexandros Bartzas, Dimitrios Soudris, Torsten Kempf, Gerd Ascheid, Junaid Ansari, Petri Mähönen, Bart Vanthournout
Invited paper: Parallel programming and run-time resource management framework for many-core platforms: The 2PARMA approach. ReCoSoC (2011)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Consensual languages and matching finite-state computations. RAIRO Theor. Informatics Appl. 45 (1) (2011)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
From Regular to Strictly Locally Testable Languages WORDS (2011)
Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi
A unifying approach to picture grammars. Inf. Comput. 209 (9) (2011)
Cristina Silvano, William Fornaciari, Stefano Crespi-Reghizzi, Giovanni Agosta, Gianluca Palermo, Vittorio Zaccaria, Patrick Bellasi, Fabrizio Castro, Simone Corbetta, Andrea Di Biagio, Ettore Speziale, Michele Tartara, Diego Melpignano, J. M. Zins, David Siorpaes, Heiko Hübert, Benno Stabernack, Jens Brandenburg, Martin Palkovic, Praveen Raghavan, Chantal Ykman-Couvreur, Alexandros Bartzas, Sotirios Xydis, Dimitrios Soudris, Torsten Kempf, Gerd Ascheid, Rainer Leupers, Heinrich Meyr, Junaid Ansari, Petri Mähönen, Bart Vanthournout
2PARMA: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures. ISVLSI (Selected papers) (2010)
Cristina Silvano, William Fornaciari, Stefano Crespi-Reghizzi, Giovanni Agosta, Gianluca Palermo, Vittorio Zaccaria, Patrick Bellasi, Fabrizio Castro, Simone Corbetta, Andrea Di Biagio, Ettore Speziale, Michele Tartara, David Siorpaes, Heiko Hübert, Benno Stabernack, Jens Brandenburg, Martin Palkovic, Praveen Raghavan, Chantal Ykman-Couvreur, Alexandros Bartzas, Sotirios Xydis, Dimitrios Soudris, Torsten Kempf, Gerd Ascheid, Rainer Leupers, Heinrich Meyr, Junaid Ansari, Petri Mähönen, Bart Vanthournout
2PARMA: Parallel Paradigms and Run-Time Management Techniques for Many-Core Architectures. ISVLSI (2010)
Michele Tartara, Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi
Parallelism and Retargetability in the ILDJIT Dynamic Compiler. ARCS Workshops (2010)
Mark Grechanik, Collin McMillan, Luca DeFerrari, Marco Comi, Stefano Crespi-Reghizzi, Denys Poshyvanyk, Chen Fu, Qing Xie, Carlo Ghezzi
An empirical investigation into a large-scale Java open source code repository. ESEM (2010)
Stefano Crespi-Reghizzi, Dino Mandrioli
Operator Precedence and the Visibly Pushdown Property. LATA (2010)
Luca Breveglieri, Stefano Crespi-Reghizzi, Massimiliano Goldwurm
Efficient recognition of trace languages defined by repeat-until loops. Inf. Comput. 208 (8) (2010)
Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi, Andrea Di Biagio
A highly flexible, parallel virtual machine: design and experience of ILDJIT. Softw. Pract. Exp. 40 (2) (2010)
Simone Campanoni, Martino Sykora, Giovanni Agosta, Stefano Crespi-Reghizzi
Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment. CC (2009)
Stefano Crespi-Reghizzi, Dino Mandrioli
Algebraic properties of structured context-free languages: old approaches and novel developments CoRR (2009)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Languages defined by consensual computations. ICTCS (2009)
Simone Campanoni, Stefano Crespi-Reghizzi
Traces of Control-Flow Graphs. Developments in Language Theory (2009)
Michele Tartara, Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi
Just-In-Time compilation on ARM processors. ICOOOLPS@ECOOP (2009)
Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi
A unifying approach to picture grammars CoRR (2009)
Stefano Crespi-Reghizzi, Matteo Pradella
A CKY parser for picture grammars. Inf. Process. Lett. 105 (6) (2008)
Matteo Pradella, Stefano Crespi-Reghizzi
A SAT-based parser and completer for pictures specified by tiling. Pattern Recognit. 41 (2) (2008)
Stefano Crespi-Reghizzi, Pierluigi San Pietro
Consensual Definition of Languages by Regular Sets. LATA (2008)
Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella
Regional Languages and Tiling: A Unifying Approach to Picture Grammars. MFCS (2008)
Stefano Crespi-Reghizzi
Formal semantics of language and the Richard-Berry paradox CoRR (2008)
Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi
A parallel dynamic compiler for CIL bytecode. ACM SIGPLAN Notices 43 (4) (2008)
Martino Sykora, Davide Pavoni, Joel Cambonie, Roberto Costa, Stefano Crespi-Reghizzi
Hierarchical Cluster Assignment for Coarse-Grain Reconfigurable Coprocessors. IPDPS (2007)
Giovanni Agosta, Stefano Crespi-Reghizzi, Gabriele Svelto
Jelatine: a virtual machine for small embedded systems. JTRES (2006)
Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
Picture languages: Tiling systems versus tile rewriting grammars. Theor. Comput. Sci. 356 (1-2) (2006)
Giovanni Agosta, Stefano Crespi-Reghizzi, Pasquale Palumbo, Martino Sykora
Selective compilation via fast code analysis and bytecode tracing. SAC (2006)
Giovanni Agosta, Stefano Crespi-Reghizzi, Dario Domizioli, Martino Sykora
Global instruction scheduling in dynamic compilation for embedded systems. JTRES (2006)
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro
A scalable formal method for design and automatic checking of user interfaces. ACM Trans. Softw. Eng. Methodol. 14 (2) (2005)
Stefano Crespi-Reghizzi, Matteo Pradella
Tile rewriting grammars and picture languages. Theor. Comput. Sci. 340 (1) (2005)
Giovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora
JIST: Just-In-Time scheduling translation for parallel processors. Sci. Program. 13 (3) (2005)
Giovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora
JIST: Just-in-Time Scheduling Translation for Parallel Processors. ISPDC/HeteroPar (2004)
Stefano Crespi-Reghizzi, Valentino Braitenberg
Towards a Brain Compatible Theory of Syntax Based on Local Testability. Grammars and Automata for String Processing (2003)
Stefano Crespi-Reghizzi, Matteo Pradella
Tile Rewriting Grammars. Developments in Language Theory (2003)
Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro
Associative language descriptions. Theor. Comput. Sci. 270 (1-2) (2002)
Marco Garatti, Roberto Costa, Stefano Crespi-Reghizzi, Erven Rohou
The Impact of Alias Analysis on VLIW Scheduling. ISHPC (2002)
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro
A Scalable Formal Method for Design and Automatic Checking of User Interfaces. ICSE (2001)
Emanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea C. Ornstein, Giuseppe Psaila
Partitioning of Hierarchical Automation Systems. ECRTS (2001)
Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro
Some Structural Properties of Associative Language Descriptions. ICTCS (2001)
Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
Associative definition of programming languages. Comput. Lang. 26 (2-4) (2000)
Luca Breveglieri, Stefano Crespi-Reghizzi, Alessandra Cherubini
Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars. FCT (1999)
Stefano Crespi-Reghizzi, Giuseppe Psaila
Grammar Partitioning and Modular Deterministic Parsing. Comput. Lang. 24 (4) (1998)
Francesco Calzolari, Stefano Crespi-Reghizzi, Luca Cicognani, Giorgio Bossi
The Evolution of MML/MME towards Real Time and Heterogeneous Systems. EUROMICRO (1997)
Pietro Manzoni, Alberto Tonello, Stefano Crespi-Reghizzi
Supporting Highly Available Distributed Services Using Linda Paradigm. PDPTA (1997)
Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi
Multi-Push-Down Languages and Grammars. Int. J. Found. Comput. Sci. 7 (3) (1996)
Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi
Deterministic Parsing for Augmented Context-free Grammars. MFCS (1995)
Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Piero Fraternali, Stefano Paraboschi, Letizia Tanca
The LOGRES prototype. SIGMOD Conference (1993)
Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi
Fair First Languages and Parallel Programme Schemes. Developments in Language Theory (1993)
Stefano Crespi-Reghizzi, Marco De Michele, Stefano Perotta
Behavioral Inheritance: Concepts, Ada Implementation and Experience. TRI-Ada (1992)
Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi
Real-Time Scheduling by Queue Automata. FTRTFT (1992)
Filippo Cacace, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi
Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment. IEEE Trans. Software Eng. 18 (6) (1992)
Stefano Crespi-Reghizzi, Guido Galli de Paratesi, Stefano Genolini
Definition of Reusable Concurrent Software Components. ECOOP (1991)

Stefano Crespi-Reghizzi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefano Crespi-Reghizzi