|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alcino Cunha, Joost Visser |
Transformation of structure-shy programs with application to XPath queries and strategic functions.  |
Sci. Comput. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha, Hugo Pacheco |
Algebraic Specialization of Generic Functions for Recursive Types. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha |
Fast Distributed Computation of Distances in Networks |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ana Gabriela Garis, Alcino Cunha, Daniel Riesco |
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira |
Logic Training through Algorithmic Problem Solving. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Pacheco, Alcino Cunha |
Calculating with lenses: optimising bidirectional transformations. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Pacheco, Alcino Cunha |
Generic Point-free Lenses. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha, Hugo Pacheco |
Mapping between Alloy Specifications and Database Implementations. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha, Joost Visser |
Strongly Typed Rewriting For Coupled Software Transformation. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser |
Coupled Schema Transformation and Data Conversion for XML and SQL. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
XML, SQL, Transformation, Haskell |
| 1 | Alcino Cunha, Joost Visser |
Transformation of structure-shy programs: applied to XPath queries and strategic functions. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
XML query languages, algebraic program transformation, point-free program calculation, strategic functional programming, type generalization, type specialization |
| 1 | Alcino Cunha, José Nuno Oliveira, Joost Visser |
Type-Safe Two-Level Data Transformation. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto |
Recursion patterns and time-analysis. |
SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha, Jorge Sousa Pinto |
Point-free Program Transformation. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alcino Cunha, Jorge Sousa Pinto, José Proença |
A Framework for Point-Free Program Transformation. |
IFL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha |
Automatic visualization of recursion trees: a case study on generic programming. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha, José Neves |
A Game-Theoretic Approach to the Socialization of Utility-Based Agents. |
ICMAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha, Orlando Belo |
Resource Allocation on Agent Meta-Societies. |
EPIA |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")