|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 37 publication records. Showing 37 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Joost Visser 0001, Victor Winter 0001 (eds.) |
Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Malte Appeltauer, Günter Kniesel |
Towards Concrete Syntax Patterns for Logic-based Transformation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 113-132, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça |
A Tool for Programming with Interaction Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 83-96, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joost Visser 0001, Victor L. Winter |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 1-2, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles |
Rewriting Strategies in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 97-111, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ozan Kahramanogullari |
Maude as a Platform for Designing and Implementing Deep Inference Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 35-50, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Demis Ballis, Andrea Baruzzo, Marco Comini |
A Rule-based Method to Match Software Patterns Against UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 51-66, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Oana Andrei, Hélène Kirchner |
A Rewriting Calculus for Multigraphs with Ports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 67-82, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gurvan Le Guernic, Julien Perret |
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 3-18, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Juan Antonio Guerrero, Ginés Moreno |
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 19-34, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Horatiu Cirstea, Narciso Martí-Oliet (eds.) |
Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Horatiu Cirstea, Narciso Martí-Oliet |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 1-3, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Baris Aktemur, Samuel N. Kamin |
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 31-55, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth |
Automatic Implication Checking for CHR Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 93-111, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo |
Typed Mobile Ambients in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 135-161, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Karl Trygve Kalleberg, Eelco Visser |
Combining Aspect-Oriented and Strategic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 5-30, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez, Liliana Ibanescu, Hélène Kirchner |
From Chemical Rules to Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 113-134, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Takahiro Seino, Kazuhiro Ogata 0001, Kokichi Futatsugi |
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 57-72, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Koji Hasebe, Mitsuhiro Okada |
Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 73-92, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Slim Abdennadher, Christophe Ringeissen |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Chevalier, Laurent Vigneron |
Rule-based Programs Describing Internet Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 113-132, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Albrecht, Andreas C. Döring |
A Compiler for Mapping a Rule-Based Event-Triggered Program to a Hardware Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 63-80, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Winter |
Strategy Construction in the Higher-Order Framework of TL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 149-170, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac |
Principles of Chemical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 133-147, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001, Santiago Escobar 0001, Salvador Lucas |
On-demand Evaluation for Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 25-39, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hitoshi Ohsaki, Toshinori Takai |
ACTAS : A System Design for Associative and Commutative Tree Automata Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 97-111, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Moreno Falaschi |
A Rewriting-based Framework for Web Sites Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 41-61, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo |
Playing with Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 3-23, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Louis Giavitto, Pierre-Etienne Moreau |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 153-154, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Radoslaw Karwowski, Przemyslaw Prusinkiewicz |
Design and Implementation of the L+C Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 134-152, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
On-demand Evaluation by Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 92-118, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
OnDemandOBJ: A Laboratory for Strategy Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 1-27, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Brand, Éric Monfroy |
Deductive Generation of Constraint Propagation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 45-60, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cohen |
Typing rule-based transformations over topological collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 61-76, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Otto Skrove Bagge, Magne Haveraaen |
Domain-Specific Optimisation with User-Defined Rules in CodeBoost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 119-133, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Clara Bertolissi, Horatiu Cirstea, Claude Kirchner |
Translating Combinatory Reduction Systems into the Rewriting Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 28-44, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana |
A Tool Support for Reusing ELAN Rule-Based Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 77-91, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|