|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 37 occurrences of 33 keywords
|
|
|
|
|
Results
Found 74 publication records. Showing 74 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Consensual languages and matching finite-state computations.  |
RAIRO - Theor. Inf. and Applic.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi |
A unifying approach to picture grammars. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
From Regular to Strictly Locally Testable Languages |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Breveglieri, Stefano Crespi-Reghizzi, Massimiliano Goldwurm |
Efficient recognition of trace languages defined by repeat-until loops. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi, Andrea Di Biagio |
A highly flexible, parallel virtual machine: design and experience of ILDJIT. |
Softw., Pract. Exper. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Tartara, Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi |
Parallelism and Retargetability in the ILDJIT Dynamic Compiler. |
ARCS Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Dino Mandrioli |
Operator Precedence and the Visibly Pushdown Property. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Dino Mandrioli |
Algebraic properties of structured context-free languages: old approaches and novel developments |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi |
A unifying approach to picture grammars |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Languages defined by consensual computations. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Simone Campanoni, Stefano Crespi-Reghizzi |
Traces of Control-Flow Graphs. |
Developments in Language Theory |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Matteo Pradella |
A CKY parser for picture grammars. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi |
A parallel dynamic compiler for CIL bytecode. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
virtual execution system, parallel virtual machine, dynamic compilation |
| 1 | Stefano Crespi-Reghizzi |
Formal semantics of language and the Richard-Berry paradox |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matteo Pradella, Stefano Crespi-Reghizzi |
A SAT-based parser and completer for pictures specified by tiling. |
Pattern Recognition |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Consensual Definition of Languages by Regular Sets. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella |
Regional Languages and Tiling: A Unifying Approach to Picture Grammars. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
picture grammar, 2D language, CKY algorithm, tiling, syntactic pattern recognition, Picture language |
| 1 | Martino Sykora, Davide Pavoni, Joel Cambonie, Roberto Costa, Stefano Crespi-Reghizzi |
Hierarchical Cluster Assignment for Coarse-Grain Reconfigurable Coprocessors. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro |
Picture languages: Tiling systems versus tile rewriting grammars. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Agosta, Stefano Crespi-Reghizzi, P. Palumbo, Martino Sykora |
Selective compilation via fast code analysis and bytecode tracing. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora |
JIST: Just-In-Time scheduling translation for parallel processors. |
Scientific Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Matteo Pradella |
Tile rewriting grammars and picture languages. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
applications of model checking, Human-computer interaction (HCI), GUI design |
| 1 | Giovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora |
JIST: Just-in-Time Scheduling Translation for Parallel Processors. |
ISPDC/HeteroPar |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Matteo Pradella |
Tile Rewriting Grammars. |
Developments in Language Theory |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Valentino Braitenberg |
Towards a Brain Compatible Theory of Syntax Based on Local Testability. |
Grammars and Automata for String Processing |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Associative language descriptions. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Garatti, Roberto Costa, Stefano Crespi-Reghizzi, Erven Rohou |
The Impact of Alias Analysis on VLIW Scheduling. |
ISHPC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Some Structural Properties of Associative Language Descriptions. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea C. Ornstein, Giuseppe Psaila |
Partitioning of Hierarchical Automation Systems. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro |
A Scalable Formal Method for Design and Automatic Checking of User Interfaces. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro |
Associative definition of programming languages. |
Comput. Lang. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Breveglieri, Stefano Crespi-Reghizzi, Alessandra Cherubini |
Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Giuseppe Psaila |
Grammar Partitioning and Modular Deterministic Parsing. |
Comput. Lang. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Manzoni, Alberto Tonello, Stefano Crespi-Reghizzi |
Supporting Highly Available Distributed Services Using Linda Paradigm. |
PDPTA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calzolari, Stefano Crespi-Reghizzi, Luca Cicognani, Giorgio Bossi |
The Evolution of MML/MME towards Real Time and Heterogeneous Systems. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi |
Multi-Push-Down Languages and Grammars. |
Int. J. Found. Comput. Sci. |
1996 |
DBLP BibTeX RDF |
|
| 1 | Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi |
Deterministic Parsing for Augmented Context-free Grammars. |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi |
Fair First Languages and Parallel Programme Schemes. |
Developments in Language Theory |
1993 |
DBLP BibTeX RDF |
|
| 1 | Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Piero Fraternali, Stefano Paraboschi, Letizia Tanca |
The LOGRES prototype. |
SIGMOD Conference |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1992 |
DBLP DOI BibTeX RDF |
Logres, Algres, persistent data, declarative requirements, imperative code, formal specification, prototyping, programming environment, programming environments, rapid prototyping, relational algebra, integrity constraints, software prototyping, human errors, data-intensive applications, application specifications, object-oriented data modeling, rule-based programming, database language |
| 1 | Stefano Crespi-Reghizzi, Marco De Michele, Stefano Perotta |
Behavioral Inheritance: Concepts, Ada Implementation and Experience. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi |
Real-Time Scheduling by Queue Automata. |
FTRTFT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli |
QRT FIFO Automata, Breath-First Grammars and Their Relations. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Breveglieri, Claudio Citrini, Stefano Crespi-Reghizzi |
Deterministic Dequeue Automata and LL(1) Parsing of Breadth-Depth Grammars. |
FCT |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Guido Galli de Paratesi, Stefano Genolini |
Definition of Reusable Concurrent Software Components. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Ceri, Stefano Crespi-Reghizzi, Roberto Zicari, Gianfranco Lamperti, Luigi Lavazza |
Algres: An Advanced System for Complex Applications. |
IEEE Software |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli |
Breath and Depth Grammars and Deque Automata. |
Int. J. Found. Comput. Sci. |
1990 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Datalog |
| 1 | Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza |
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
program construction systems, relational languages, Ada Relational Translator, compiler-interpreter, semantic analyzer, Multi-Micro Line, data structures, data structures, Ada, relational databases, relational databases, prototyping, programming environments, programming environments, interpreter, program compilers, kernel, relational algebra, program interpreters, ART, parser, debugger, MML, configuration control |
| 1 | E. Allevi, Alessandra Cherubini, Stefano Crespi-Reghizzi |
Breadth-First Phrase Structure Grammars and Queue Automata. |
MFCS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto Zicari |
The Algres Project. |
EDBT |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Lavazza, Stefano Crespi-Reghizzi |
Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli |
On Deterministic Multi-Pass Analysis. |
SIAM J. Comput. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi |
Automation in Software Development (Panel). |
IFIP Congress |
1986 |
DBLP BibTeX RDF |
|
| 1 | Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Francesco Maderna, Antonio Natali |
Multiple-Microprocessor Programming Techniques: MML, a New Set of Tools. |
IEEE Computer |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Antonio Natali |
MML: A programming line for multiple-microprocessors systems. |
ICDCS |
1982 |
DBLP BibTeX RDF |
|
| 1 | A. Pistorello, C. Romoli, Stefano Crespi-Reghizzi |
Threshold Nets and Cell-Assemblies |
Information and Control |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli |
Operator Precedence Grammars and the Noncounting Property. |
SIAM J. Comput. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Celentano, Stefano Crespi-Reghizzi, Pierluigi Della Vigna, Carlo Ghezzi, G. Granata, F. Savoretti |
Compiler Testing using a Sentence Generator. |
Softw., Pract. Exper. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Dino Mandrioli |
A Class of Grammar Generating Non-Counting Languages. |
Inf. Process. Lett. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin |
Algebraic Properties of Operator Precedence Languages |
Information and Control |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli |
Noncounting Context-Free Languages. |
J. ACM |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi |
Petri Nets and Szilard Languages |
Information and Control |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Dino Mandrioli |
Erratum: A Decidability Theorem for a Class of Vector-Addition Systems. |
Inf. Process. Lett. |
1975 |
DBLP BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Dino Mandrioli |
A Decidability Theorem for a Class of Vector-Addition Systems. |
Inf. Process. Lett. |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Michel A. Melkanoff, Larry Lichten |
The Use of Grammatical Inference for Designing Programming Languages. |
Commun. ACM |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi |
Approximation of Phrase Markers by Regular Sets. |
ICALP |
1972 |
DBLP BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi |
Reduction of Enumeration in Grammar Acquisition. |
IJCAI |
1971 |
DBLP BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi |
An Effective Model for Grammar Interference. |
IFIP Congress |
1971 |
DBLP BibTeX RDF |
|
Displaying result #1 - #74 of 74 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")