![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Stefano Crespi-Reghizzi
Person information
- affiliation: Polytechnic University of Milan, Italy
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j55]Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Regular languages as images of local functions over small alphabets. Inf. Comput. 301: 105206 (2024) - [j54]Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
:
From words to pictures: Row-column combinations and Chomsky-Schützenberger theorem. Theor. Comput. Sci. 1002: 114598 (2024) - [c72]Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro:
Row-Column Combination of Dyck Words. SOFSEM 2024: 139-153 - 2023
- [j53]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) - [j52]Angelo Borsotti, Luca Breveglieri
, Stefano Crespi-Reghizzi, Angelo Morzenti:
General parsing with regular expression matching. J. Comput. Lang. 74: 101176 (2023) - [c71]Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro:
Two-Dimensional Dyck Words (short paper) (text not included). ICTCS 2023 - [i9]Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro:
Two-dimensional Dyck words. CoRR abs/2307.16522 (2023) - 2022
- [j51]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: 1-20 (2022) - [c70]Stefano Crespi-Reghizzi:
The Alphabetic Complexity in Homomorphic Definitions of Word, Tree and Picture Languages. DCFS 2022: 1-14 - [i8]Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro:
Reducing the local alphabet size in tiling systems by means of 2D comma-free codes. CoRR abs/2206.05208 (2022) - 2021
- [j50]Angelo Borsotti, Luca Breveglieri
, Stefano Crespi-Reghizzi, Angelo Morzenti:
A deterministic parsing algorithm for ambiguous regular expressions. Acta Informatica 58(3): 195-229 (2021) - [j49]Angelo Borsotti
, Luca Breveglieri
, Stefano Crespi-Reghizzi, Angelo Morzenti:
Fast GLR parsers for extended BNF grammars and transition networks. J. Comput. Lang. 64: 101035 (2021) - [c69]Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro:
Reducing Local Alphabet Size in Recognizable Picture Languages. DLT 2021: 103-116 - [c68]Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro:
Reducing the Local Alphabet Size in Tiling Systems for Picture Languages. ICTCS 2021: 199-204 - [c67]Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding. LATA 2021: 241-254 - [p2]Stefano Crespi-Reghizzi, Dora Giammarresi, Violetta Lonati:
Two-dimensional models. Handbook of Automata Theory (I.) 2021: 303-333 - 2020
- [j48]Stefano Crespi-Reghizzi, Matteo Pradella
:
Beyond operator-precedence grammars and languages. J. Comput. Syst. Sci. 113: 18-41 (2020) - [j47]Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Deque automata, languages, and planar graph representations. Theor. Comput. Sci. 834: 43-59 (2020) - [c66]Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi:
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. ICTAC 2020: 161-180 - [c65]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
A Generalized LR(1) Parser or Extended Context-Free Grammars. ICTCS 2020: 124-130 - [i7]Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi:
Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages. CoRR abs/2006.01236 (2020)
2010 – 2019
- 2019
- [b3]Stefano Crespi-Reghizzi, Luca Breveglieri
, Angelo Morzenti:
Formal Languages and Compilation, Third Edition. Texts in Computer Science, Springer 2019, ISBN 978-3-030-04878-5, pp. 1-486 - [j46]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
Non-erasing Chomsky-Schützenberger theorem with grammar-independent alphabet. Inf. Comput. 269 (2019) - [c64]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
Regular Languages as Local Functions with Small Alphabets. CAI 2019: 124-137 - [c63]Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Deque Languages, Automata and Planar Graphs (text not included). ICTCS 2019 - [c62]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
A Benchmark Production Tool for Regular Expressions. CIAA 2019: 95-107 - 2018
- [j45]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
Fast deterministic parsers for transition networks. Acta Informatica 55(7): 547-574 (2018) - [c61]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
Deque Languages, Automata and Planar Graphs. DLT 2018: 243-255 - [i6]Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Non-erasing Chomsky-Sch{ü}tzenberger theorem with grammar-independent alphabet. CoRR abs/1805.04003 (2018) - [i5]Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Deque languages, automata and planar graphs. CoRR abs/1806.06562 (2018) - 2017
- [j44]Stefano Crespi-Reghizzi, Violetta Lonati
, Dino Mandrioli
, Matteo Pradella
:
Toward a theory of input-driven locally parsable languages. Theor. Comput. Sci. 658: 105-121 (2017) - [j43]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
Counter machines, Petri Nets, and consensual computation. Theor. Comput. Sci. 664: 91-116 (2017) - [c60]Stefano Crespi-Reghizzi, Matteo Pradella
:
Higher-order Operator Precedence Languages. AFL 2017: 86-100 - 2016
- [c59]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
The Missing Case in Chomsky-Schützenberger Theorem. LATA 2016: 345-358 - 2015
- [j42]Alessandro Barenghi
, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
:
Parallel parsing made practical. Sci. Comput. Program. 112: 195-226 (2015) - [c58]Stefano Crespi-Reghizzi, Violetta Lonati
, Dino Mandrioli, Matteo Pradella
:
Locally Chain-Parsable Languages. MFCS (1) 2015: 154-166 - [c57]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
From Ambiguous Regular Expressions to Deterministic Parsing Automata. CIAA 2015: 35-48 - [c56]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
BSP: A Parsing Tool for Ambiguous Regular Expressions. CIAA 2015: 313-316 - 2014
- [c55]Alessandro Barenghi
, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
:
The PAPAGENO Parallel-Parser Generator. CC 2014: 192-196 - [c54]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
Complexity of Extended vs. Classic LR Parsers. DCFS 2014: 77-89 - [c53]Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
Shift-Reduce Parsers for Transition Networks. LATA 2014: 222-235 - [c52]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
Commutative Languages and their Composition by Consensual Methods. AFL 2014: 216-230 - 2013
- [b2]Stefano Crespi-Reghizzi, Luca Breveglieri
, Angelo Morzenti:
Formal Languages and Compilation, Second Edition. Texts in Computer Science, Springer 2013, ISBN 978-1-4471-5513-3, pp. I-XII, 1-399 - [j41]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
Strict Local Testability with Consensus Equals Regularity, and Other Properties. Int. J. Found. Comput. Sci. 24(6): 747-764 (2013) - [j40]Alessandro Barenghi
, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
:
Parallel parsing of operator precedence grammars. Inf. Process. Lett. 113(7): 245-249 (2013) - [j39]Michele Tartara, Stefano Crespi-Reghizzi:
Continuous learning of compiler heuristics. ACM Trans. Archit. Code Optim. 9(4): 46:1-46:25 (2013) - [c51]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
Deterministic Counter Machines and Parallel Matching Computations. CIAA 2013: 280-291 - [i4]Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
Parsing methods streamlined. CoRR abs/1309.7584 (2013) - 2012
- [j38]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
From Regular to Strictly Locally Testable Languages. Int. J. Found. Comput. Sci. 23(8): 1711-1728 (2012) - [j37]Stefano Crespi-Reghizzi, Dino Mandrioli:
Operator precedence and the visibly pushdown property. J. Comput. Syst. Sci. 78(6): 1837-1867 (2012) - [c50]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: 39-42 - [c49]Alessandro Barenghi
, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
:
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. SLE 2012: 264-274 - [c48]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
Strict Local Testability with Consensus Equals Regularity. CIAA 2012: 113-124 - 2011
- [j36]Matteo Pradella
, Alessandra Cherubini, Stefano Crespi-Reghizzi:
A unifying approach to picture grammars. Inf. Comput. 209(9): 1246-1267 (2011) - [j35]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
Consensual languages and matching finite-state computations. RAIRO Theor. Informatics Appl. 45(1): 77-97 (2011) - [c47]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: 1-7 - [c46]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
From Regular to Strictly Locally Testable Languages. WORDS 2011: 103-111 - 2010
- [j34]Luca Breveglieri, Stefano Crespi-Reghizzi, Massimiliano Goldwurm:
Efficient recognition of trace languages defined by repeat-until loops. Inf. Comput. 208(8): 969-981 (2010) - [j33]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): 177-207 (2010) - [c45]Michele Tartara, Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi:
Parallelism and Retargetability in the ILDJIT Dynamic Compiler. ARCS Workshops 2010: 285-291 - [c44]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 - [c43]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: 65-79 - [c42]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: 494-499 - [c41]Stefano Crespi-Reghizzi, Dino Mandrioli:
Operator Precedence and the Visibly Pushdown Property. LATA 2010: 214-226
2000 – 2009
- 2009
- [b1]Stefano Crespi-Reghizzi:
Formal Languages and Compilation. Texts in Computer Science, Springer 2009, ISBN 978-1-84882-049-4 - [c40]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: 220-235 - [c39]Simone Campanoni, Stefano Crespi-Reghizzi:
Traces of Control-Flow Graphs. Developments in Language Theory 2009: 156-169 - [c38]Michele Tartara, Simone Campanoni, Giovanni Agosta
, Stefano Crespi-Reghizzi:
Just-In-Time compilation on ARM processors. ICOOOLPS@ECOOP 2009: 70-73 - [c37]Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Languages defined by consensual computations. ICTCS 2009: 82-85 - [i3]Stefano Crespi-Reghizzi, Dino Mandrioli:
Algebraic properties of structured context-free languages: old approaches and novel developments. CoRR abs/0907.2130 (2009) - [i2]Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi:
A unifying approach to picture grammars. CoRR abs/0910.2829 (2009) - 2008
- [j32]Stefano Crespi-Reghizzi, Matteo Pradella
:
A CKY parser for picture grammars. Inf. Process. Lett. 105(6): 213-217 (2008) - [j31]Matteo Pradella
, Stefano Crespi-Reghizzi:
A SAT-based parser and completer for pictures specified by tiling. Pattern Recognit. 41(2): 555-566 (2008) - [j30]Simone Campanoni, Giovanni Agosta
, Stefano Crespi-Reghizzi:
A parallel dynamic compiler for CIL bytecode. ACM SIGPLAN Notices 43(4): 11-20 (2008) - [c36]Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
Consensual Definition of Languages by Regular Sets. LATA 2008: 196-208 - [c35]Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella
:
Regional Languages and Tiling: A Unifying Approach to Picture Grammars. MFCS 2008: 253-264 - [i1]Stefano Crespi-Reghizzi:
Formal semantics of language and the Richard-Berry paradox. CoRR abs/0807.3845 (2008) - 2007
- [c34]Martino Sykora, Davide Pavoni, Joel Cambonie, Roberto Costa, Stefano Crespi-Reghizzi:
Hierarchical Cluster Assignment for Coarse-Grain Reconfigurable Coprocessors. IPDPS 2007: 1-8 - 2006
- [j29]Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella
, Pierluigi San Pietro
:
Picture languages: Tiling systems versus tile rewriting grammars. Theor. Comput. Sci. 356(1-2): 90-103 (2006) - [c33]Giovanni Agosta
, Stefano Crespi-Reghizzi, Gabriele Svelto:
Jelatine: a virtual machine for small embedded systems. JTRES 2006: 170-177 - [c32]Giovanni Agosta
, Stefano Crespi-Reghizzi, Dario Domizioli, Martino Sykora:
Global instruction scheduling in dynamic compilation for embedded systems. JTRES 2006: 196-201 - [c31]Giovanni Agosta, Stefano Crespi-Reghizzi, Pasquale Palumbo, Martino Sykora:
Selective compilation via fast code analysis and bytecode tracing. SAC 2006: 906-911 - 2005
- [j28]Giovanni Agosta
, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora:
JIST: Just-In-Time scheduling translation for parallel processors. Sci. Program. 13(3): 239-253 (2005) - [j27]Stefano Crespi-Reghizzi, Matteo Pradella
:
Tile rewriting grammars and picture languages. Theor. Comput. Sci. 340(1): 257-272 (2005) - [j26]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): 124-167 (2005) - 2004
- [c30]Giovanni Agosta
, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora:
JIST: Just-in-Time Scheduling Translation for Parallel Processors. ISPDC/HeteroPar 2004: 122-132 - 2003
- [c29]Stefano Crespi-Reghizzi, Valentino Braitenberg:
Towards a Brain Compatible Theory of Syntax Based on Local Testability. Grammars and Automata for String Processing 2003: 17-32 - [c28]Stefano Crespi-Reghizzi, Matteo Pradella
:
Tile Rewriting Grammars. Developments in Language Theory 2003: 206-217 - 2002
- [j25]Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro
:
Associative language descriptions. Theor. Comput. Sci. 270(1-2): 463-491 (2002) - [c27]Marco Garatti, Roberto Costa, Stefano Crespi-Reghizzi, Erven Rohou:
The Impact of Alias Analysis on VLIW Scheduling. ISHPC 2002: 93-105 - 2001
- [c26]Emanuele Ciapessoni
, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea C. Ornstein, Giuseppe Psaila
:
Partitioning of Hierarchical Automation Systems. ECRTS 2001: 143- - [c25]Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro:
A Scalable Formal Method for Design and Automatic Checking of User Interfaces. ICSE 2001: 453-462 - [c24]Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Some Structural Properties of Associative Language Descriptions. ICTCS 2001: 172-183 - 2000
- [j24]Stefano Crespi-Reghizzi, Matteo Pradella
, Pierluigi San Pietro:
Associative definition of programming languages. Comput. Lang. 26(2-4): 105-123 (2000)
1990 – 1999
- 1999
- [c23]Luca Breveglieri, Stefano Crespi-Reghizzi, Alessandra Cherubini:
Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars. FCT 1999: 161-172 - 1998
- [j23]Stefano Crespi-Reghizzi, Giuseppe Psaila
:
Grammar Partitioning and Modular Deterministic Parsing. Comput. Lang. 24(4): 197-227 (1998) - 1997
- [c22]Francesco Calzolari, Stefano Crespi-Reghizzi, Luca Cicognani, Giorgio Bossi:
The Evolution of MML/MME towards Real Time and Heterogeneous Systems. EUROMICRO 1997: 606-613 - [c21]Pietro Manzoni, Alberto Tonello, Stefano Crespi-Reghizzi:
Supporting Highly Available Distributed Services Using Linda Paradigm. PDPTA 1997: 186-191 - 1996
- [j22]Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi:
Multi-Push-Down Languages and Grammars. Int. J. Found. Comput. Sci. 7(3): 253-292 (1996) - 1995
- [c20]Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi:
Deterministic Parsing for Augmented Context-free Grammars. MFCS 1995: 326-336 - 1993
- [c19]Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi:
Fair First Languages and Parallel Programme Schemes. Developments in Language Theory 1993: 389-418 - [c18]Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Piero Fraternali, Stefano Paraboschi, Letizia Tanca:
The LOGRES prototype. SIGMOD Conference 1993: 550-551 - 1992
- [j21]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): 534-546 (1992) - [c17]Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi:
Real-Time Scheduling by Queue Automata. FTRTFT 1992: 131-147 - [c16]Stefano Crespi-Reghizzi, Marco De Michele, Stefano Perotta:
Behavioral Inheritance: Concepts, Ada Implementation and Experience. TRI-Ada 1992: 200-210 - [p1]Stefano Ceri, Stefano Crespi-Reghizzi:
Formal Definition of Nested Relations by Syntactical Mappings. Specifications of Database Systems 1992: 44-63 - 1991
- [j20]Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli:
QRT FIFO Automata, Breath-First Grammars and Their Relations. Theor. Comput. Sci. 85(1): 171-203 (1991) - [c15]Stefano Crespi-Reghizzi, Guido Galli de Paratesi, Stefano Genolini:
Definition of Reusable Concurrent Software Components. ECOOP 1991: 148-166 - [c14]Luca Breveglieri, Claudio Citrini, Stefano Crespi-Reghizzi:
Deterministic Dequeue Automata and LL(1) Parsing of Breadth-Depth Grammars. FCT 1991: 146-156 - 1990
- [j19]Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli:
Breath and Depth Grammars and Deque Automata. Int. J. Found. Comput. Sci. 1(3): 219-232 (1990) - [j18]Stefano Ceri, Stefano Crespi-Reghizzi, Roberto V. Zicari, Gianfranco Lamperti
, Luigi Lavazza
:
Algres: An Advanced System for Complex Applications. IEEE Softw. 7(4): 68-78 (1990) - [c13]Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto V. Zicari:
Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. SIGMOD Conference 1990: 225-236
1980 – 1989
- 1989
- [c12]Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, Gianfranco Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari:
ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications. CA(i)SE 1989 - 1988
- [j17]Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza
:
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems. IEEE Trans. Software Eng. 14(11): 1597-1609 (1988) - [c11]Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari:
The Algres Project. EDBT 1988: 551-555 - [c10]E. Allevi, Alessandra Cherubini, Stefano Crespi-Reghizzi:
Breadth-First Phrase Structure Grammars and Queue Automata. MFCS 1988: 162-170 - 1987
- [c9]Luigi Lavazza, Stefano Crespi-Reghizzi:
Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype. Algebraic Methods 1987: 419-446 - [c8]Stefano Crespi-Reghizzi, Andrea Di Maio, Francesco Maderna:
Distributable Ada programs. IRTAW 1987: 67-69 - 1986
- [j16]Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli:
On Deterministic Multi-Pass Analysis. SIAM J. Comput. 15(3): 668-693 (1986) - [c7]Stefano Crespi-Reghizzi:
Automation in Software Development (Panel). IFIP Congress 1986: 171-172 - 1985
- [c6]Andrea Di Maio, Stefano Ceri, Stefano Crespi-Reghizzi:
Execution monitoring and debugging tool for Ada using relational algebra. SIGAda 1985: 109-123 - 1984
- [j15]Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Francesco Maderna, Antonio Natali:
Multiple-Microprocessor Programming Techniques: MML, a New Set of Tools. Computer 17(1): 47-59 (1984) - 1983
- [j14]Stefano Ceri, Stefano Crespi-Reghizzi:
Relational data bases in the design of program construction systems. ACM SIGPLAN Notices 18(11): 34-44 (1983) - [j13]Stefano Ceri, Stefano Crespi-Reghizzi:
Relational data bases in the design of program construction systems. ACM SIGSOFT Softw. Eng. Notes 8(3): 17-29 (1983) - 1982
- [c5]Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Antonio Natali:
MML: A programming line for multiple-microprocessors systems. ICDCS 1982: 680-688 - 1981
- [j12]A. Pistorello, C. Romoli, Stefano Crespi-Reghizzi:
Threshold Nets and Cell-Assemblies. Inf. Control. 49(3): 239-264 (1981) - [j11]Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli:
Operator Precedence Grammars and the Noncounting Property. SIAM J. Comput. 10(1): 174-191 (1981) - 1980
- [j10]Stefano Crespi-Reghizzi, Pierluigi Corti, Alberto Dapra:
PLZ-SYS PL/65 PL/M RPL/2 Mistral PLZ Special Feature A Survey of Microprocessor Languages. Computer 13(1): 48-66 (1980) - [j9]Augusto Celentano
, Stefano Crespi-Reghizzi, Pierluigi Della Vigna, Carlo Ghezzi, G. Granata, Florencia Savoretti:
Compiler Testing using a Sentence Generator. Softw. Pract. Exp. 10(11): 897-918 (1980)
1970 – 1979
- 1978
- [j8]Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin:
Algebraic Properties of Operator Precedence Languages. Inf. Control. 37(2): 115-133 (1978) - [j7]Stefano Crespi-Reghizzi, Dino Mandrioli:
A Class of Grammar Generating Non-Counting Languages. Inf. Process. Lett. 7(1): 24-26 (1978) - [j6]Stefano Crespi-Reghizzi, Giovanni Guida
, Dino Mandrioli:
Noncounting Context-Free Languages. J. ACM 25(4): 571-580 (1978) - 1977
- [j5]Stefano Crespi-Reghizzi:
Petri Nets and Szilard Languages. Inf. Control. 33(2): 177-192 (1977) - 1975
- [j4]Stefano Crespi-Reghizzi, Dino Mandrioli:
A Decidability Theorem for a Class of Vector-Addition Systems. Inf. Process. Lett. 3(3): 78-80 (1975) - [j3]Stefano Crespi-Reghizzi, Dino Mandrioli:
Erratum: A Decidability Theorem for a Class of Vector-Addition Systems. Inf. Process. Lett. 3(5): 164 (1975) - 1973
- [j2]Stefano Crespi-Reghizzi, Michel A. Melkanoff, Larry Lichten:
The Use of Grammatical Inference for Designing Programming Languages. Commun. ACM 16(2): 83-90 (1973) - 1972
- [c4]Stefano Crespi-Reghizzi:
Approximation of Phrase Markers by Regular Sets. ICALP 1972: 367-376 - 1971
- [c3]Stefano Crespi-Reghizzi:
Grammatical inference for defining extensions. International Symposium on Extensible Languages 1971: 65-66 - [c2]Stefano Crespi-Reghizzi:
An Effective Model for Grammar Interference. IFIP Congress (1) 1971: 524-529 - [c1]Stefano Crespi-Reghizzi:
Reduction of Enumeration in Grammar Acquisition. IJCAI 1971: 546-552 - 1970
- [j1]Stefano Crespi-Reghizzi, Rosamaria Morpurgo:
A language for treating graphs. Commun. ACM 13(5): 319-323 (1970)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-18 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint