dblp.uni-trier.dewww.uni-trier.de

Stefano Crespi-Reghizzi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
63EESimone 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
62EESimone Campanoni, Stefano Crespi-Reghizzi: Traces of Control-Flow Graphs. Developments in Language Theory 2009: 156-169
61EEStefano Crespi-Reghizzi, Dino Mandrioli: Algebraic properties of structured context-free languages: old approaches and novel developments CoRR abs/0907.2130: (2009)
60EEMatteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi: A unifying approach to picture grammars CoRR abs/0910.2829: (2009)
2008
59EEStefano Crespi-Reghizzi, Pierluigi San Pietro: Consensual Definition of Languages by Regular Sets. LATA 2008: 196-208
58EEAlessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella: Regional Languages and Tiling: A Unifying Approach to Picture Grammars. MFCS 2008: 253-264
57EEStefano Crespi-Reghizzi: Formal semantics of language and the Richard-Berry paradox CoRR abs/0807.3845: (2008)
56EEStefano Crespi-Reghizzi, Matteo Pradella: A CKY parser for picture grammars. Inf. Process. Lett. 105(6): 213-217 (2008)
55EEMatteo Pradella, Stefano Crespi-Reghizzi: A SAT-based parser and completer for pictures specified by tiling. Pattern Recognition 41(2): 555-566 (2008)
54EESimone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi: A parallel dynamic compiler for CIL bytecode. SIGPLAN Notices 43(4): 11-20 (2008)
2007
53EEMartino Sykora, Davide Pavoni, Joel Cambonie, Roberto Costa, Stefano Crespi-Reghizzi: Hierarchical Cluster Assignment for Coarse-Grain Reconfigurable Coprocessors. IPDPS 2007: 1-8
2006
52EEGiovanni Agosta, Stefano Crespi-Reghizzi, P. Palumbo, Martino Sykora: Selective compilation via fast code analysis and bytecode tracing. SAC 2006: 906-911
51EEAlessandra 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
50EEJean 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)
49EEGiovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora: JIST: Just-In-Time scheduling translation for parallel processors. Scientific Programming 13(3): 239-253 (2005)
48EEStefano Crespi-Reghizzi, Matteo Pradella: Tile rewriting grammars and picture languages. Theor. Comput. Sci. 340(1): 257-272 (2005)
2004
47EEGiovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora: JIST: Just-in-Time Scheduling Translation for Parallel Processors. ISPDC/HeteroPar 2004: 122-132
2003
46EEStefano 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
44EEMarco Garatti, Roberto Costa, Stefano Crespi-Reghizzi, Erven Rohou: The Impact of Alias Analysis on VLIW Scheduling. ISHPC 2002: 93-105
43EEAlessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro: Associative language descriptions. Theor. Comput. Sci. 270(1-2): 463-491 (2002)
2001
42EEEmanuele 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
40EEAlessandra 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
38EELuca 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
36EEFrancesco 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
33EELuca 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
31EEFilippo 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
29EEStefano Crespi-Reghizzi, Marco De Michele, Stefano Perotta: Behavioral Inheritance: Concepts, Ada Implementation and Experience. TRI-Ada 1992: 200-210
28EEFilippo 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
27EEStefano 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
24EEFilippo 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
21EEStefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto Zicari: The Algres Project. EDBT 1988: 551-555
20EEE. Allevi, Alessandra Cherubini, Stefano Crespi-Reghizzi: Breadth-First Phrase Structure Grammars and Queue Automata. MFCS 1988: 162-170
19EEStefano 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
18EELuigi 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)
8EEStefano 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

Coauthor Index

1Giovanni Agosta [47] [49] [52] [54] [63]
2E. Allevi [20]
3Jean Berstel [41] [50]
4Maurelio Boari [14] [15]
5Giorgio Bossi [36]
6Valentino Braitenberg [45]
7Luca Breveglieri [26] [30] [32] [33] [34] [38]
8Filippo Cacace [24] [28] [31]
9Francesco Calzolari [36]
10Joel Cambonie [53]
11Simone Campanoni [54] [62] [63]
12Augusto Celentano [11]
13Stefano Ceri [19] [21] [23] [24] [28] [31]
14Alessandra Cherubini [20] [22] [25] [30] [32] [33] [34] [38] [40] [43] [51] [58] [60]
15Emanuele Ciapessoni [42]
16Luca Cicognani [36]
17Claudio Citrini [16] [22] [25] [26] [32] [34]
18Roberto Costa [44] [53]
19Alberto Dasprá [14] [15]
20Gerlando Falauto [47] [49]
21Piero Fraternali [31]
22Marco Garatti [44]
23Stefano Genolini [27]
24Carlo Ghezzi [11]
25Georg Gottlob [21]
26G. Granata [11]
27Giovanni Guida [8] [12]
28F. Lamperti [21]
29Gianfranco Lamperti [23]
30Luigi Lavazza [18] [19] [21] [23]
31L. Lichten [4]
32Francesco Maderna [15]
33Francesco Maestri [42]
34Andrea Di Maio [19]
35Dino Mandrioli [5] [6] [8] [9] [10] [12] [16] [22] [25] [61]
36Pietro Manzoni [35]
37David F. Martin [9]
38Michel A. Melkanoff [4]
39Marco De Michele [29]
40Antonio Natali [14] [15]
41Andrea Ornstein [42]
42P. Palumbo [52]
43Stefano Paraboschi [31]
44Guido Galli de Paratesi [27]
45Davide Pavoni [53]
46Stefano Perotta [29]
47Pierluigi San Pietro [39] [40] [41] [43] [50] [51] [59]
48A. Pistorello [13]
49Matteo Pradella [39] [46] [48] [51] [55] [56] [58] [60]
50Giuseppe Psaila [37] [42]
51Erven Rohou [44]
52C. Romoli [13]
53Gilles Roussel [41] [50]
54F. Savoretti [11]
55Martino Sykora [47] [49] [52] [53] [63]
56Judit Szanto [42]
57Letizia Tanca [21] [24] [28] [31]
58Alberto Tonello [35]
59Pierluigi Della Vigna [11]
60Roberto Zicari [21] [23] [24]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)