Stefano Crespi-Reghizzi Home Page Coauthor index DBLP Vis pubzone.org

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

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

Coauthor Index

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)