The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stefano Crespi-Reghizzi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari
    Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. [Citation Graph (33, 14)][DBLP]
    SIGMOD Conference, 1990, pp:225-236 [Conf]
  2. Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto Zicari
    The Algres Project. [Citation Graph (3, 13)][DBLP]
    EDBT, 1988, pp:551-555 [Conf]
  3. Stefano Ceri, Stefano Crespi-Reghizzi, Roberto Zicari, Gianfranco Lamperti, Luigi Lavazza
    Algres: An Advanced System for Complex Applications. [Citation Graph (1, 0)][DBLP]
    IEEE Software, 1990, v:7, n:4, pp:68-78 [Journal]
  4. Filippo Cacace, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi
    Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:6, pp:534-546 [Journal]
  5. Luigi Lavazza, Stefano Crespi-Reghizzi
    Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1987, pp:419-446 [Conf]
  6. Stefano Crespi-Reghizzi, Valentino Braitenberg
    Towards a Brain Compatible Theory of Syntax Based on Local Testability. [Citation Graph (0, 0)][DBLP]
    Grammars and Automata for String Processing, 2003, pp:17-32 [Conf]
  7. Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi
    Fair First Languages and Parallel Programme Schemes. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 1993, pp:389-418 [Conf]
  8. Stefano Crespi-Reghizzi, Matteo Pradella
    Tile Rewriting Grammars. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2003, pp:206-217 [Conf]
  9. Stefano Crespi-Reghizzi, Guido Galli de Paratesi, Stefano Genolini
    Definition of Reusable Concurrent Software Components. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1991, pp:148-166 [Conf]
  10. Emanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea Ornstein, Giuseppe Psaila
    Partitioning of Hierarchical Automation Systems. [Citation Graph (0, 0)][DBLP]
    ECRTS, 2001, pp:143-0 [Conf]
  11. Francesco Calzolari, Stefano Crespi-Reghizzi, Luca Cicognani, Giorgio Bossi
    The Evolution of MML/MME towards Real Time and Heterogeneous Systems. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1997, pp:606-613 [Conf]
  12. Luca Breveglieri, Claudio Citrini, Stefano Crespi-Reghizzi
    Deterministic Dequeue Automata and LL(1) Parsing of Breadth-Depth Grammars. [Citation Graph (0, 0)][DBLP]
    FCT, 1991, pp:146-156 [Conf]
  13. Luca Breveglieri, Stefano Crespi-Reghizzi, Alessandra Cherubini
    Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars. [Citation Graph (0, 0)][DBLP]
    FCT, 1999, pp:161-172 [Conf]
  14. Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi
    Real-Time Scheduling by Queue Automata. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:131-147 [Conf]
  15. Stefano Crespi-Reghizzi
    Approximation of Phrase Markers by Regular Sets. [Citation Graph (0, 0)][DBLP]
    ICALP, 1972, pp:367-376 [Conf]
  16. Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Antonio Natali
    MML: A programming line for multiple-microprocessors systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1982, pp:680-688 [Conf]
  17. Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro
    A Scalable Formal Method for Design and Automatic Checking of User Interfaces. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:453-462 [Conf]
  18. Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro
    Some Structural Properties of Associative Language Descriptions. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:172-183 [Conf]
  19. Stefano Crespi-Reghizzi
    An Effective Model for Grammar Interference. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1971, pp:524-529 [Conf]
  20. Stefano Crespi-Reghizzi
    Automation in Software Development (Panel). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:171-172 [Conf]
  21. Stefano Crespi-Reghizzi
    Reduction of Enumeration in Grammar Acquisition. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1971, pp:546-552 [Conf]
  22. Marco Garatti, Roberto Costa, Stefano Crespi-Reghizzi, Erven Rohou
    The Impact of Alias Analysis on VLIW Scheduling. [Citation Graph (0, 0)][DBLP]
    ISHPC, 2002, pp:93-105 [Conf]
  23. Giovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora
    JIST: Just-in-Time Scheduling Translation for Parallel Processors. [Citation Graph (0, 0)][DBLP]
    ISPDC/HeteroPar, 2004, pp:122-132 [Conf]
  24. E. Allevi, Alessandra Cherubini, Stefano Crespi-Reghizzi
    Breadth-First Phrase Structure Grammars and Queue Automata. [Citation Graph (0, 0)][DBLP]
    MFCS, 1988, pp:162-170 [Conf]
  25. Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi
    Deterministic Parsing for Augmented Context-free Grammars. [Citation Graph (0, 0)][DBLP]
    MFCS, 1995, pp:326-336 [Conf]
  26. Pietro Manzoni, Alberto Tonello, Stefano Crespi-Reghizzi
    Supporting Highly Available Distributed Services Using Linda Paradigm. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1997, pp:186-191 [Conf]
  27. Giovanni Agosta, Stefano Crespi-Reghizzi, P. Palumbo, Martino Sykora
    Selective compilation via fast code analysis and bytecode tracing. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:906-911 [Conf]
  28. Stefano Crespi-Reghizzi, Marco De Michele, Stefano Perotta
    Behavioral Inheritance: Concepts, Ada Implementation and Experience. [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1992, pp:200-210 [Conf]
  29. Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Piero Fraternali, Stefano Paraboschi, Letizia Tanca
    The LOGRES prototype. [Citation Graph (0, 3)][DBLP]
    SIGMOD Conference, 1993, pp:550-551 [Conf]
  30. Stefano Crespi-Reghizzi, Michel A. Melkanoff, L. Lichten
    The Use of Grammatical Inference for Designing Programming Languages. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1973, v:16, n:2, pp:83-90 [Journal]
  31. Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
    Associative definition of programming languages. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2000, v:26, n:2-4, pp:105-123 [Journal]
  32. Stefano Crespi-Reghizzi, Giuseppe Psaila
    Grammar Partitioning and Modular Deterministic Parsing. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1998, v:24, n:4, pp:197-227 [Journal]
  33. Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Francesco Maderna, Antonio Natali
    Multiple-Microprocessor Programming Techniques: MML, a New Set of Tools. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1984, v:17, n:1, pp:47-59 [Journal]
  34. Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin
    Algebraic Properties of Operator Precedence Languages [Citation Graph (0, 0)][DBLP]
    Information and Control, 1978, v:37, n:2, pp:115-133 [Journal]
  35. Stefano Crespi-Reghizzi
    Petri Nets and Szilard Languages [Citation Graph (0, 0)][DBLP]
    Information and Control, 1977, v:33, n:2, pp:177-192 [Journal]
  36. A. Pistorello, C. Romoli, Stefano Crespi-Reghizzi
    Threshold Nets and Cell-Assemblies [Citation Graph (0, 0)][DBLP]
    Information and Control, 1981, v:49, n:3, pp:239-264 [Journal]
  37. Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi
    Multi-Push-Down Languages and Grammars. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1996, v:7, n:3, pp:253-292 [Journal]
  38. Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
    Breath and Depth Grammars and Deque Automata. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:3, pp:219-232 [Journal]
  39. Stefano Crespi-Reghizzi, Dino Mandrioli
    A Decidability Theorem for a Class of Vector-Addition Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1975, v:3, n:3, pp:78-80 [Journal]
  40. Stefano Crespi-Reghizzi, Dino Mandrioli
    Erratum: A Decidability Theorem for a Class of Vector-Addition Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1975, v:3, n:5, pp:164- [Journal]
  41. Stefano Crespi-Reghizzi, Dino Mandrioli
    A Class of Grammar Generating Non-Counting Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1978, v:7, n:1, pp:24-26 [Journal]
  42. Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli
    Noncounting Context-Free Languages. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1978, v:25, n:4, pp:571-580 [Journal]
  43. Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
    On Deterministic Multi-Pass Analysis. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1986, v:15, n:3, pp:668-693 [Journal]
  44. Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli
    Operator Precedence Grammars and the Noncounting Property. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1981, v:10, n:1, pp:174-191 [Journal]
  45. Giovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora
    JIST: Just-In-Time scheduling translation for parallel processors. [Citation Graph (0, 0)][DBLP]
    Scientific Programming, 2005, v:13, n:3, pp:239-253 [Journal]
  46. Augusto Celentano, Stefano Crespi-Reghizzi, Pierluigi Della Vigna, Carlo Ghezzi, G. Granata, F. Savoretti
    Compiler Testing using a Sentence Generator. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1980, v:10, n:11, pp:897-918 [Journal]
  47. Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
    QRT FIFO Automata, Breath-First Grammars and Their Relations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:85, n:1, pp:171-203 [Journal]
  48. Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro
    Associative language descriptions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:270, n:1-2, pp:463-491 [Journal]
  49. Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
    Picture languages: Tiling systems versus tile rewriting grammars. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:356, n:1-2, pp:90-103 [Journal]
  50. Stefano Crespi-Reghizzi, Matteo Pradella
    Tile rewriting grammars and picture languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:340, n:1, pp:257-272 [Journal]
  51. Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro
    A scalable formal method for design and automatic checking of user interfaces. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:2, pp:124-167 [Journal]
  52. Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza
    Software Prototyping by Relational Techniques: Experiences with Program Construction Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:11, pp:1597-1609 [Journal]
  53. Martino Sykora, Davide Pavoni, Joel Cambonie, Roberto Costa, Stefano Crespi-Reghizzi
    Hierarchical Cluster Assignment for Coarse-Grain Reconfigurable Coprocessors. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-8 [Conf]
  54. Matteo Pradella, Stefano Crespi-Reghizzi
    A SAT-based parser and completer for pictures specified by tiling. [Citation Graph (0, 0)][DBLP]
    Pattern Recognition, 2008, v:41, n:2, pp:555-566 [Journal]

  55. Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment. [Citation Graph (, )][DBLP]


  56. Traces of Control-Flow Graphs. [Citation Graph (, )][DBLP]


  57. Regional Languages and Tiling: A Unifying Approach to Picture Grammars. [Citation Graph (, )][DBLP]


  58. An empirical investigation into a large-scale Java open source code repository. [Citation Graph (, )][DBLP]


  59. Consensual Definition of Languages by Regular Sets. [Citation Graph (, )][DBLP]


  60. Operator Precedence and the Visibly Pushdown Property. [Citation Graph (, )][DBLP]


  61. Formal semantics of language and the Richard-Berry paradox [Citation Graph (, )][DBLP]


  62. Algebraic properties of structured context-free languages: old approaches and novel developments [Citation Graph (, )][DBLP]


  63. A unifying approach to picture grammars [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002