|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cheikh Ba, Mírian Halfeld Ferrari, Martin A. Musicante |
PEWS platform: a web services composition environment.  |
WEWST  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Maria Adriana Vidigal de Lima |
Attribute Grammar for XML Integrity Constraint Validation. |
DEXA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty |
Weak Inclusion for XML Types. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty |
Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bouchou, Mírian Halfeld Ferrari, Maria Adriana Lima |
Contraintes d'intégrité pour XML. Visite guidée par une syntaxe homogène. |
Technique et Science Informatiques |
2009 |
DBLP BibTeX RDF |
|
| 1 | Cheikh Ba, Mírian Halfeld Ferrari |
Dependence graphs for verifications of web service compositions with PEWS. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
web service composition, dependence graphs, trace theory |
| 1 | Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari, Dominique Laurent, Maria Adriana Lima, Martin A. Musicante |
Efficient Constraint Validation for Updated XML Database. |
Informatica (Slovenia) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Robson da Luz, Mirian Halfeld Ferrari Alves, Martin A. Musicante |
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). |
J. Algorithms |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante |
Composing Web Services with PEWS: A Trace-Theoretical Approach. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary |
Integrating Correction into Incremental Validation. |
BDA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Agata Savary |
XML Document Correction: Incremental Approach Activated by Schema Validation. |
IDEAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante |
PEWS: A New Language for Building Web Service Interfaces. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Cheriat, Agata Savary, Béatrice Bouchou, Mirian Halfeld Ferrari Alves |
Incremental string correction: Towards correction of XML documents. |
Stringology |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sandra de Amo, Mirian Halfeld Ferrari Alves |
Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators. |
J. UCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Béatrice Bouchou, Ahmed Cheriat, Mirian Halfeld Ferrari Alves, Tao-Yuan Jen, Dominique Laurent |
XRM: An XML-Based Language for Rule Mining Systems. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante |
Schema Evolution for XML: A Consistency-Preserving Approach. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante |
Conservative Extensions of Regular Languages . |
SCCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante |
Incremental Constraint Checking for XML Documents. |
XSym |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateus Barcellos Costa, Rodolfo F. Resende, Mirian Halfeld Ferrari Alves, Marcelo Eduardo Vieira Segatto |
Business to Business Transaction Modeling and WWW Support. |
Business Process Management |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Denio Duarte |
Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints. |
ICEIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Martin A. Musicante |
Tree Automata to Verify XML Key Constraints. |
WebDB |
2003 |
DBLP BibTeX RDF |
|
| 1 | Béatrice Bouchou, Mirian Halfeld Ferrari Alves |
Updates and Incremental Validation of XML Documents. |
DBPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra de Amo, Mirian Halfeld Ferrari Alves |
Efficient Maintenance of Temporal Data Warehouses. (PDF / PS) |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
temporal data warehouse maintenance, temporal views, auxiliary views, source databases, temporal algebraic query language, temporal databases, relational algebra, materialized views |
| 1 | Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos |
Update Rules in Datalog Programs. |
J. Log. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirian Halfeld Ferrari Alves, Synnöve Kekkonen-Moneta, Dominique Laurent, Nicolas Spyratos |
Point fixe alterné et bases de données Datalog étendues. |
JFPLC |
1996 |
DBLP BibTeX RDF |
|
| 1 | Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos |
Règles de mises à jour et programmes Datalogneg. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos |
Update Rules in Datalog Programs. |
LPNMR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos |
Passive and Active Rules in Deductive Databases. |
MFCS |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")