Stefano Crespi-Reghizzi

148 papers A* 3A 4B 12C 17Misc 2Journal 68Unranked 37
YearRankTypeTitle / Venue / Authors
2025 J jnl
A parallel parser for regular expressions.
CoRR
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2025 — conf
Attribute-Based Precedence Relations for Free-Form Grammars.
ICTCS
Angelo Borsotti, Stefano Crespi-Reghizzi, Matteo Pradella
2025 J jnl
Homomorphic Definitions of Tree Languages via Comma-Free Tree Codes.
J. Autom. Lang. Comb.
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2025 B conf
Minimizing speculation overhead in a parallel recognizer for regular texts.
PPoPP
Angelo Borsotti, Luca Breveglieri, Angelo Morzenti, Stefano Crespi-Reghizzi
2025 C conf
Multi-entry DFA with Reduced Initial States to Speedup Parallel Recognition.
CIAA
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2025 J jnl
Row-column combination of Dyck words.
Acta Informatica
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
2024 J jnl
From words to pictures: Row-column combinations and Chomsky-Schützenberger theorem.
Theor. Comput. Sci.
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
2024 J jnl
Minimizing speculation overhead in a parallel recognizer for regular texts.
CoRR
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2024 J jnl
Regular languages as images of local functions over small alphabets.
Inf. Comput.
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2024 B conf
Row-Column Combination of Dyck Words.
SOFSEM
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
2023 J jnl
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages.
Log. Methods Comput. Sci.
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
2023 J jnl
General parsing with regular expression matching.
J. Comput. Lang.
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2023 — conf
Two-Dimensional Dyck Words (short paper) (text not included).
ICTCS
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
2023 J jnl
Two-dimensional Dyck words.
CoRR
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
2022 J jnl
Reducing the local alphabet size in tiling systems by means of 2D comma-free codes.
CoRR
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
2022 J jnl
Reducing the local alphabet size in tiling systems by means of 2D comma-free codes.
Theor. Comput. Sci.
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
2022 — conf
The Alphabetic Complexity in Homomorphic Definitions of Word, Tree and Picture Languages.
DCFS
Stefano Crespi-Reghizzi
2021 J jnl
A deterministic parsing algorithm for ambiguous regular expressions.
Acta Informatica
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2021 J jnl
Fast GLR parsers for extended BNF grammars and transition networks.
J. Comput. Lang.
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2021 C conf
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding.
LATA
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2021 C conf
Reducing Local Alphabet Size in Recognizable Picture Languages.
DLT
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
2021 — conf
Reducing the Local Alphabet Size in Tiling Systems for Picture Languages.
ICTCS
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
2021 — ch.
Two-dimensional models.
Handbook of Automata Theory (I.)
Stefano Crespi-Reghizzi, Dora Giammarresi, Violetta Lonati
2020 — conf
A Generalized LR(1) Parser or Extended Context-Free Grammars.
ICTCS
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2020 J jnl
Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages.
CoRR
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
2020 J jnl
Beyond operator-precedence grammars and languages.
J. Comput. Syst. Sci.
Stefano Crespi-Reghizzi, Matteo Pradella
2020 J jnl
Deque automata, languages, and planar graph representations.
Theor. Comput. Sci.
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2020 C conf
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages.
ICTAC
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
2019 C conf
A Benchmark Production Tool for Regular Expressions.
CIAA
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2019 — conf
Deque Languages, Automata and Planar Graphs (text not included).
ICTCS
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2019 — book
Formal Languages and Compilation, Third Edition
Stefano Crespi-Reghizzi, Luca Breveglieri, Angelo Morzenti
2019 J jnl
Non-erasing Chomsky-Schützenberger theorem with grammar-independent alphabet.
Inf. Comput.
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2019 — conf
Regular Languages as Local Functions with Small Alphabets.
CAI
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2018 C conf
Deque Languages, Automata and Planar Graphs.
DLT
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2018 J jnl
Deque languages, automata and planar graphs.
CoRR
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2018 J jnl
Fast deterministic parsers for transition networks.
Acta Informatica
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2018 J jnl
Non-erasing Chomsky-Sch{ü}tzenberger theorem with grammar-independent alphabet.
CoRR
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2017 J jnl
Counter machines, Petri Nets, and consensual computation.
Theor. Comput. Sci.
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2017 — conf
Higher-order Operator Precedence Languages.
AFL
Stefano Crespi-Reghizzi, Matteo Pradella
2017 J jnl
Toward a theory of input-driven locally parsable languages.
Theor. Comput. Sci.
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
2016 C conf
The Missing Case in Chomsky-Schützenberger Theorem.
LATA
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2015 C conf
BSP: A Parsing Tool for Ambiguous Regular Expressions.
CIAA
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2015 C conf
From Ambiguous Regular Expressions to Deterministic Parsing Automata.
CIAA
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2015 — conf
Locally Chain-Parsable Languages.
MFCS (1)
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
2015 J jnl
Parallel parsing made practical.
Sci. Comput. Program.
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
2014 — conf
Commutative Languages and their Composition by Consensual Methods.
AFL
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2014 — conf
Complexity of Extended vs. Classic LR Parsers.
DCFS
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2014 C conf
Shift-Reduce Parsers for Transition Networks.
LATA
Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2014 B conf
The PAPAGENO Parallel-Parser Generator.
CC
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
2013 J jnl
Continuous learning of compiler heuristics.
ACM Trans. Archit. Code Optim.
Michele Tartara, Stefano Crespi-Reghizzi
2013 C conf
Deterministic Counter Machines and Parallel Matching Computations.
CIAA
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2013 — book
Formal Languages and Compilation, Second Edition.
Stefano Crespi-Reghizzi, Luca Breveglieri, Angelo Morzenti
2013 J jnl
Parallel parsing of operator precedence grammars.
Inf. Process. Lett.
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
2013 J jnl
Parsing methods streamlined.
CoRR
Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
2013 J jnl
Strict Local Testability with Consensus Equals Regularity, and Other Properties.
Int. J. Found. Comput. Sci.
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2012 J jnl
From Regular to Strictly Locally Testable Languages.
Int. J. Found. Comput. Sci.
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2012 J jnl
Operator precedence and the visibly pushdown property.
J. Comput. Syst. Sci.
Stefano Crespi-Reghizzi, Dino Mandrioli
2012 B conf
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars.
SLE
Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
2012 — conf
Parallel paradigms and run-time management techniques for many-core architectures: the 2PARMA approach.
INA-OCMC@HiPEAC
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
2012 C conf
Strict Local Testability with Consensus Equals Regularity.
CIAA
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2011 J jnl
A unifying approach to picture grammars.
Inf. Comput.
Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi
2011 J jnl
Consensual languages and matching finite-state computations.
RAIRO Theor. Informatics Appl.
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2011 — conf
From Regular to Strictly Locally Testable Languages
WORDS
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2011 — conf
Invited paper: Parallel programming and run-time resource management framework for many-core platforms: The 2PARMA approach.
ReCoSoC
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
2010 — conf
2PARMA: Parallel Paradigms and Run-Time Management Techniques for Many-Core Architectures.
ISVLSI
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
2010 — conf
2PARMA: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures.
ISVLSI (Selected papers)
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
2010 J jnl
A highly flexible, parallel virtual machine: design and experience of ILDJIT.
Softw. Pract. Exp.
Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi, Andrea Di Biagio
2010 A conf
An empirical investigation into a large-scale Java open source code repository.
ESEM
Mark Grechanik, Collin McMillan, Luca DeFerrari, Marco Comi, Stefano Crespi-Reghizzi, Denys Poshyvanyk, Chen Fu, Qing Xie, Carlo Ghezzi
2010 J jnl
Efficient recognition of trace languages defined by repeat-until loops.
Inf. Comput.
Luca Breveglieri, Stefano Crespi-Reghizzi, Massimiliano Goldwurm
2010 C conf
Operator Precedence and the Visibly Pushdown Property.
LATA
Stefano Crespi-Reghizzi, Dino Mandrioli
2010 — conf
Parallelism and Retargetability in the ILDJIT Dynamic Compiler.
ARCS Workshops
Michele Tartara, Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi
2009 J jnl
A unifying approach to picture grammars
CoRR
Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi
2009 J jnl
Algebraic properties of structured context-free languages: old approaches and novel developments
CoRR
Stefano Crespi-Reghizzi, Dino Mandrioli
2009 B conf
Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment.
CC
Simone Campanoni, Martino Sykora, Giovanni Agosta, Stefano Crespi-Reghizzi
2009 — book
Formal Languages and Compilation.
Stefano Crespi-Reghizzi
2009 — conf
Just-In-Time compilation on ARM processors.
ICOOOLPS@ECOOP
Michele Tartara, Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi
2009 — conf
Languages defined by consensual computations.
ICTCS
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2009 C conf
Traces of Control-Flow Graphs.
Developments in Language Theory
Simone Campanoni, Stefano Crespi-Reghizzi
2008 J jnl
A CKY parser for picture grammars.
Inf. Process. Lett.
Stefano Crespi-Reghizzi, Matteo Pradella
2008 J jnl
A SAT-based parser and completer for pictures specified by tiling.
Pattern Recognit.
Matteo Pradella, Stefano Crespi-Reghizzi
2008 J jnl
A parallel dynamic compiler for CIL bytecode.
ACM SIGPLAN Notices
Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi
2008 C conf
Consensual Definition of Languages by Regular Sets.
LATA
Stefano Crespi-Reghizzi, Pierluigi San Pietro
2008 J jnl
Formal semantics of language and the Richard-Berry paradox
CoRR
Stefano Crespi-Reghizzi
2008 B conf
Regional Languages and Tiling: A Unifying Approach to Picture Grammars.
MFCS
Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella
2007 A conf
Hierarchical Cluster Assignment for Coarse-Grain Reconfigurable Coprocessors.
IPDPS
Martino Sykora, Davide Pavoni, Joel Cambonie, Roberto Costa, Stefano Crespi-Reghizzi
2006 — conf
Global instruction scheduling in dynamic compilation for embedded systems.
JTRES
Giovanni Agosta, Stefano Crespi-Reghizzi, Dario Domizioli, Martino Sykora
2006 — conf
Jelatine: a virtual machine for small embedded systems.
JTRES
Giovanni Agosta, Stefano Crespi-Reghizzi, Gabriele Svelto
2006 J jnl
Picture languages: Tiling systems versus tile rewriting grammars.
Theor. Comput. Sci.
Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
2006 Misc conf
Selective compilation via fast code analysis and bytecode tracing.
SAC
Giovanni Agosta, Stefano Crespi-Reghizzi, Pasquale Palumbo, Martino Sykora
2005 J jnl
A scalable formal method for design and automatic checking of user interfaces.
ACM Trans. Softw. Eng. Methodol.
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro
2005 J jnl
JIST: Just-In-Time scheduling translation for parallel processors.
Sci. Program.
Giovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora
2005 J jnl
Tile rewriting grammars and picture languages.
Theor. Comput. Sci.
Stefano Crespi-Reghizzi, Matteo Pradella
2004 — conf
JIST: Just-in-Time Scheduling Translation for Parallel Processors.
ISPDC/HeteroPar
Giovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora
2003 C conf
Tile Rewriting Grammars.
Developments in Language Theory
Stefano Crespi-Reghizzi, Matteo Pradella
2003 — conf
Towards a Brain Compatible Theory of Syntax Based on Local Testability.
Grammars and Automata for String Processing
Stefano Crespi-Reghizzi, Valentino Braitenberg
2002 J jnl
Associative language descriptions.
Theor. Comput. Sci.
Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro
2002 — conf
The Impact of Alias Analysis on VLIW Scheduling.
ISHPC
Marco Garatti, Roberto Costa, Stefano Crespi-Reghizzi, Erven Rohou
2001 A* conf
A Scalable Formal Method for Design and Automatic Checking of User Interfaces.
ICSE
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro
2001 B conf
Partitioning of Hierarchical Automation Systems.
ECRTS
Emanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea C. Ornstein, Giuseppe Psaila
2001 — conf
Some Structural Properties of Associative Language Descriptions.
ICTCS
Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro
2000 J jnl
Associative definition of programming languages.
Comput. Lang.
Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
1999 B conf
Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars.
FCT
Luca Breveglieri, Stefano Crespi-Reghizzi, Alessandra Cherubini
1998 J jnl
Grammar Partitioning and Modular Deterministic Parsing.
Comput. Lang.
Stefano Crespi-Reghizzi, Giuseppe Psaila
1997 Misc conf
Supporting Highly Available Distributed Services Using Linda Paradigm.
PDPTA
Pietro Manzoni, Alberto Tonello, Stefano Crespi-Reghizzi
1997 — conf
The Evolution of MML/MME towards Real Time and Heterogeneous Systems.
EUROMICRO
Francesco Calzolari, Stefano Crespi-Reghizzi, Luca Cicognani, Giorgio Bossi
1996 J jnl
Multi-Push-Down Languages and Grammars.
Int. J. Found. Comput. Sci.
Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi
1995 B conf
Deterministic Parsing for Augmented Context-free Grammars.
MFCS
Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi
1993 C conf
Fair First Languages and Parallel Programme Schemes.
Developments in Language Theory
Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi
1993 — conf
The LOGRES prototype.
SIGMOD Conference
Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Piero Fraternali, Stefano Paraboschi, Letizia Tanca
1992 — conf
Behavioral Inheritance: Concepts, Ada Implementation and Experience.
TRI-Ada
Stefano Crespi-Reghizzi, Marco De Michele, Stefano Perotta
1992 J jnl
Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment.
IEEE Trans. Software Eng.
Filippo Cacace, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi
1992 — ch.
Formal Definition of Nested Relations by Syntactical Mappings.
Specifications of Database Systems
Stefano Ceri, Stefano Crespi-Reghizzi
1992 — conf
Real-Time Scheduling by Queue Automata.
FTRTFT
Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi
1991 A conf
Definition of Reusable Concurrent Software Components.
ECOOP
Stefano Crespi-Reghizzi, Guido Galli de Paratesi, Stefano Genolini
1991 B conf
Deterministic Dequeue Automata and LL(1) Parsing of Breadth-Depth Grammars.
FCT
Luca Breveglieri, Claudio Citrini, Stefano Crespi-Reghizzi
1991 J jnl
QRT FIFO Automata, Breath-First Grammars and Their Relations.
Theor. Comput. Sci.
Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
1990 J jnl
Algres: An Advanced System for Complex Applications.
IEEE Softw.
Stefano Ceri, Stefano Crespi-Reghizzi, Roberto V. Zicari, Gianfranco Lamperti, Luigi Lavazza
1990 J jnl
Breath and Depth Grammars and Deque Automata.
Int. J. Found. Comput. Sci.
Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
1990 — conf
Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm.
SIGMOD Conference
Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto V. Zicari
1989 — conf
ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications.
CA(i)SE
Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, Gianfranco Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari
1988 B conf
Breadth-First Phrase Structure Grammars and Queue Automata.
MFCS
E. Allevi, Alessandra Cherubini, Stefano Crespi-Reghizzi
1988 J jnl
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems.
IEEE Trans. Software Eng.
Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza
1988 B conf
The Algres Project.
EDBT
Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari
1987 — conf
Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype.
Algebraic Methods
Luigi Lavazza, Stefano Crespi-Reghizzi
1987 — conf
Distributable Ada programs.
IRTAW
Stefano Crespi-Reghizzi, Andrea Di Maio, Francesco Maderna
1986 — conf
Automation in Software Development (Panel).
IFIP Congress
Stefano Crespi-Reghizzi
1986 J jnl
On Deterministic Multi-Pass Analysis.
SIAM J. Comput.
Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
1985 — conf
Execution monitoring and debugging tool for Ada using relational algebra.
SIGAda
Andrea Di Maio, Stefano Ceri, Stefano Crespi-Reghizzi
1984 J jnl
Multiple-Microprocessor Programming Techniques: MML, a New Set of Tools.
Computer
Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Francesco Maderna, Antonio Natali
1983 J jnl
Relational data bases in the design of program construction systems.
ACM SIGPLAN Notices
Stefano Ceri, Stefano Crespi-Reghizzi
1983 J jnl
Relational data bases in the design of program construction systems.
ACM SIGSOFT Softw. Eng. Notes
Stefano Ceri, Stefano Crespi-Reghizzi
1982 A conf
MML: A programming line for multiple-microprocessors systems.
ICDCS
Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Antonio Natali
1981 J jnl
Operator Precedence Grammars and the Noncounting Property.
SIAM J. Comput.
Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli
1981 J jnl
Threshold Nets and Cell-Assemblies
Inf. Control.
A. Pistorello, C. Romoli, Stefano Crespi-Reghizzi
1980 J jnl
Compiler Testing using a Sentence Generator.
Softw. Pract. Exp.
Augusto Celentano, Stefano Crespi-Reghizzi, Pierluigi Della Vigna, Carlo Ghezzi, G. Granata, Florencia Savoretti
1980 J jnl
PLZ-SYS PL/65 PL/M RPL/2 Mistral PLZ Special Feature A Survey of Microprocessor Languages.
Computer
Stefano Crespi-Reghizzi, Pierluigi Corti, Alberto Dapra
1978 J jnl
A Class of Grammar Generating Non-Counting Languages.
Inf. Process. Lett.
Stefano Crespi-Reghizzi, Dino Mandrioli
1978 J jnl
Algebraic Properties of Operator Precedence Languages
Inf. Control.
Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin
1978 J jnl
Noncounting Context-Free Languages.
J. ACM
Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli
1977 J jnl
Petri Nets and Szilard Languages
Inf. Control.
Stefano Crespi-Reghizzi
1975 J jnl
A Decidability Theorem for a Class of Vector-Addition Systems.
Inf. Process. Lett.
Stefano Crespi-Reghizzi, Dino Mandrioli
1975 J jnl
Erratum: A Decidability Theorem for a Class of Vector-Addition Systems.
Inf. Process. Lett.
Stefano Crespi-Reghizzi, Dino Mandrioli
1973 J jnl
The Use of Grammatical Inference for Designing Programming Languages.
Commun. ACM
Stefano Crespi-Reghizzi, Michel A. Melkanoff, Larry Lichten
1972 A* conf
Approximation of Phrase Markers by Regular Sets.
ICALP
Stefano Crespi-Reghizzi
1971 — conf
An Effective Model for Grammar Interference.
IFIP Congress (1)
Stefano Crespi-Reghizzi
1971 — conf
Grammatical inference for defining extensions.
International Symposium on Extensible Languages
Stefano Crespi-Reghizzi
1971 A* conf
Reduction of Enumeration in Grammar Acquisition.
IJCAI
Stefano Crespi-Reghizzi
1970 J jnl
A language for treating graphs.
Commun. ACM
Stefano Crespi-Reghizzi, Rosamaria Morpurgo