| * | 2009 |
|---|
| 63 | EE | 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 |
| 62 | EE | Simone Campanoni,
Stefano Crespi-Reghizzi:
Traces of Control-Flow Graphs.
Developments in Language Theory 2009: 156-169 |
| 61 | EE | Stefano Crespi-Reghizzi,
Dino Mandrioli:
Algebraic properties of structured context-free languages: old approaches and novel developments
CoRR abs/0907.2130: (2009) |
| 60 | EE | Matteo Pradella,
Alessandra Cherubini,
Stefano Crespi-Reghizzi:
A unifying approach to picture grammars
CoRR abs/0910.2829: (2009) |
| 2008 |
|---|
| 59 | EE | Stefano Crespi-Reghizzi,
Pierluigi San Pietro:
Consensual Definition of Languages by Regular Sets.
LATA 2008: 196-208 |
| 58 | EE | Alessandra Cherubini,
Stefano Crespi-Reghizzi,
Matteo Pradella:
Regional Languages and Tiling: A Unifying Approach to Picture Grammars.
MFCS 2008: 253-264 |
| 57 | EE | Stefano Crespi-Reghizzi:
Formal semantics of language and the Richard-Berry paradox
CoRR abs/0807.3845: (2008) |
| 56 | EE | Stefano Crespi-Reghizzi,
Matteo Pradella:
A CKY parser for picture grammars.
Inf. Process. Lett. 105(6): 213-217 (2008) |
| 55 | EE | Matteo Pradella,
Stefano Crespi-Reghizzi:
A SAT-based parser and completer for pictures specified by tiling.
Pattern Recognition 41(2): 555-566 (2008) |
| 54 | EE | Simone Campanoni,
Giovanni Agosta,
Stefano Crespi-Reghizzi:
A parallel dynamic compiler for CIL bytecode.
SIGPLAN Notices 43(4): 11-20 (2008) |
| 2007 |
|---|
| 53 | EE | Martino Sykora,
Davide Pavoni,
Joel Cambonie,
Roberto Costa,
Stefano Crespi-Reghizzi:
Hierarchical Cluster Assignment for Coarse-Grain Reconfigurable Coprocessors.
IPDPS 2007: 1-8 |
| 2006 |
|---|
| 52 | EE | Giovanni Agosta,
Stefano Crespi-Reghizzi,
P. Palumbo,
Martino Sykora:
Selective compilation via fast code analysis and bytecode tracing.
SAC 2006: 906-911 |
| 51 | EE | 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) |
| 2005 |
|---|
| 50 | EE | 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) |
| 49 | EE | Giovanni Agosta,
Stefano Crespi-Reghizzi,
Gerlando Falauto,
Martino Sykora:
JIST: Just-In-Time scheduling translation for parallel processors.
Scientific Programming 13(3): 239-253 (2005) |
| 48 | EE | Stefano Crespi-Reghizzi,
Matteo Pradella:
Tile rewriting grammars and picture languages.
Theor. Comput. Sci. 340(1): 257-272 (2005) |
| 2004 |
|---|
| 47 | EE | Giovanni Agosta,
Stefano Crespi-Reghizzi,
Gerlando Falauto,
Martino Sykora:
JIST: Just-in-Time Scheduling Translation for Parallel Processors.
ISPDC/HeteroPar 2004: 122-132 |
| 2003 |
|---|
| 46 | EE | Stefano Crespi-Reghizzi,
Matteo Pradella:
Tile Rewriting Grammars.
Developments in Language Theory 2003: 206-217 |
| 45 | | 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 |
| 2002 |
|---|
| 44 | EE | Marco Garatti,
Roberto Costa,
Stefano Crespi-Reghizzi,
Erven Rohou:
The Impact of Alias Analysis on VLIW Scheduling.
ISHPC 2002: 93-105 |
| 43 | EE | Alessandra Cherubini,
Stefano Crespi-Reghizzi,
Pierluigi San Pietro:
Associative language descriptions.
Theor. Comput. Sci. 270(1-2): 463-491 (2002) |
| 2001 |
|---|
| 42 | EE | Emanuele Ciapessoni,
Francesco Maestri,
Judit Szanto,
Stefano Crespi-Reghizzi,
Andrea Ornstein,
Giuseppe Psaila:
Partitioning of Hierarchical Automation Systems.
ECRTS 2001: 143- |
| 41 | | 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 |
| 40 | EE | Alessandra Cherubini,
Stefano Crespi-Reghizzi,
Pierluigi San Pietro:
Some Structural Properties of Associative Language Descriptions.
ICTCS 2001: 172-183 |
| 2000 |
|---|
| 39 | | Stefano Crespi-Reghizzi,
Matteo Pradella,
Pierluigi San Pietro:
Associative definition of programming languages.
Comput. Lang. 26(2-4): 105-123 (2000) |
| 1999 |
|---|
| 38 | EE | Luca Breveglieri,
Stefano Crespi-Reghizzi,
Alessandra Cherubini:
Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars.
FCT 1999: 161-172 |
| 1998 |
|---|
| 37 | | Stefano Crespi-Reghizzi,
Giuseppe Psaila:
Grammar Partitioning and Modular Deterministic Parsing.
Comput. Lang. 24(4): 197-227 (1998) |
| 1997 |
|---|
| 36 | EE | Francesco Calzolari,
Stefano Crespi-Reghizzi,
Luca Cicognani,
Giorgio Bossi:
The Evolution of MML/MME towards Real Time and Heterogeneous Systems.
EUROMICRO 1997: 606-613 |
| 35 | | Pietro Manzoni,
Alberto Tonello,
Stefano Crespi-Reghizzi:
Supporting Highly Available Distributed Services Using Linda Paradigm.
PDPTA 1997: 186-191 |
| 1996 |
|---|
| 34 | | 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 |
|---|
| 33 | EE | Luca Breveglieri,
Alessandra Cherubini,
Stefano Crespi-Reghizzi:
Deterministic Parsing for Augmented Context-free Grammars.
MFCS 1995: 326-336 |
| 1993 |
|---|
| 32 | | Luca Breveglieri,
Alessandra Cherubini,
Claudio Citrini,
Stefano Crespi-Reghizzi:
Fair First Languages and Parallel Programme Schemes.
Developments in Language Theory 1993: 389-418 |
| 31 | EE | Filippo Cacace,
Stefano Ceri,
Stefano Crespi-Reghizzi,
Piero Fraternali,
Stefano Paraboschi,
Letizia Tanca:
The LOGRES prototype.
SIGMOD Conference 1993: 550-551 |
| 1992 |
|---|
| 30 | | Luca Breveglieri,
Alessandra Cherubini,
Stefano Crespi-Reghizzi:
Real-Time Scheduling by Queue Automata.
FTRTFT 1992: 131-147 |
| 29 | EE | Stefano Crespi-Reghizzi,
Marco De Michele,
Stefano Perotta:
Behavioral Inheritance: Concepts, Ada Implementation and Experience.
TRI-Ada 1992: 200-210 |
| 28 | EE | 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) |
| 1991 |
|---|
| 27 | EE | Stefano Crespi-Reghizzi,
Guido Galli de Paratesi,
Stefano Genolini:
Definition of Reusable Concurrent Software Components.
ECOOP 1991: 148-166 |
| 26 | | Luca Breveglieri,
Claudio Citrini,
Stefano Crespi-Reghizzi:
Deterministic Dequeue Automata and LL(1) Parsing of Breadth-Depth Grammars.
FCT 1991: 146-156 |
| 25 | | 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) |
| 1990 |
|---|
| 24 | EE | Filippo Cacace,
Stefano Ceri,
Stefano Crespi-Reghizzi,
Letizia Tanca,
Roberto Zicari:
Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm.
SIGMOD Conference 1990: 225-236 |
| 23 | | Stefano Ceri,
Stefano Crespi-Reghizzi,
Roberto Zicari,
Gianfranco Lamperti,
Luigi Lavazza:
Algres: An Advanced System for Complex Applications.
IEEE Software 7(4): 68-78 (1990) |
| 22 | | 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) |
| 1988 |
|---|
| 21 | EE | Stefano Ceri,
Stefano Crespi-Reghizzi,
Georg Gottlob,
F. Lamperti,
Luigi Lavazza,
Letizia Tanca,
Roberto Zicari:
The Algres Project.
EDBT 1988: 551-555 |
| 20 | EE | E. Allevi,
Alessandra Cherubini,
Stefano Crespi-Reghizzi:
Breadth-First Phrase Structure Grammars and Queue Automata.
MFCS 1988: 162-170 |
| 19 | EE | 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) |
| 1987 |
|---|
| 18 | EE | 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 |
| 1986 |
|---|
| 17 | | Stefano Crespi-Reghizzi:
Automation in Software Development (Panel).
IFIP Congress 1986: 171-172 |
| 16 | | Claudio Citrini,
Stefano Crespi-Reghizzi,
Dino Mandrioli:
On Deterministic Multi-Pass Analysis.
SIAM J. Comput. 15(3): 668-693 (1986) |
| 1984 |
|---|
| 15 | | Maurelio Boari,
Stefano Crespi-Reghizzi,
Alberto Dasprá,
Francesco Maderna,
Antonio Natali:
Multiple-Microprocessor Programming Techniques: MML, a New Set of Tools.
IEEE Computer 17(1): 47-59 (1984) |
| 1982 |
|---|
| 14 | | Maurelio Boari,
Stefano Crespi-Reghizzi,
Alberto Dasprá,
Antonio Natali:
MML: A programming line for multiple-microprocessors systems.
ICDCS 1982: 680-688 |
| 1981 |
|---|
| 13 | | A. Pistorello,
C. Romoli,
Stefano Crespi-Reghizzi:
Threshold Nets and Cell-Assemblies
Information and Control 49(3): 239-264 (1981) |
| 12 | | Stefano Crespi-Reghizzi,
Giovanni Guida,
Dino Mandrioli:
Operator Precedence Grammars and the Noncounting Property.
SIAM J. Comput. 10(1): 174-191 (1981) |
| 1980 |
|---|
| 11 | | Augusto Celentano,
Stefano Crespi-Reghizzi,
Pierluigi Della Vigna,
Carlo Ghezzi,
G. Granata,
F. Savoretti:
Compiler Testing using a Sentence Generator.
Softw., Pract. Exper. 10(11): 897-918 (1980) |
| 1978 |
|---|
| 10 | | Stefano Crespi-Reghizzi,
Dino Mandrioli:
A Class of Grammar Generating Non-Counting Languages.
Inf. Process. Lett. 7(1): 24-26 (1978) |
| 9 | | Stefano Crespi-Reghizzi,
Dino Mandrioli,
David F. Martin:
Algebraic Properties of Operator Precedence Languages
Information and Control 37(2): 115-133 (1978) |
| 8 | EE | Stefano Crespi-Reghizzi,
Giovanni Guida,
Dino Mandrioli:
Noncounting Context-Free Languages.
J. ACM 25(4): 571-580 (1978) |
| 1977 |
|---|
| 7 | | Stefano Crespi-Reghizzi:
Petri Nets and Szilard Languages
Information and Control 33(2): 177-192 (1977) |
| 1975 |
|---|
| 6 | | Stefano Crespi-Reghizzi,
Dino Mandrioli:
A Decidability Theorem for a Class of Vector-Addition Systems.
Inf. Process. Lett. 3(3): 78-80 (1975) |
| 5 | | Stefano Crespi-Reghizzi,
Dino Mandrioli:
Erratum: A Decidability Theorem for a Class of Vector-Addition Systems.
Inf. Process. Lett. 3(5): 164 (1975) |
| 1973 |
|---|
| 4 | | Stefano Crespi-Reghizzi,
Michel A. Melkanoff,
L. Lichten:
The Use of Grammatical Inference for Designing Programming Languages.
Commun. ACM 16(2): 83-90 (1973) |
| 1972 |
|---|
| 3 | | Stefano Crespi-Reghizzi:
Approximation of Phrase Markers by Regular Sets.
ICALP 1972: 367-376 |
| 1971 |
|---|
| 2 | | Stefano Crespi-Reghizzi:
An Effective Model for Grammar Interference.
IFIP Congress (1) 1971: 524-529 |
| 1 | | Stefano Crespi-Reghizzi:
Reduction of Enumeration in Grammar Acquisition.
IJCAI 1971: 546-552 |
