Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "RelMiS"( http://dblp.L3S.de/Venues/RelMiS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/relmis

Publication years (Num. hits)
2001 (11)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
RelMiS(11)
Authors
David Lorge Parnas(3) Wolfram Kahl(3) Eugenio G. Omodeo(2) Gunther Schmidt 0001(2) Ali Mili 0001(1) Andrea Formisano 0001(1) Barbara Leoniuk(1) Diego Del Gobbo(1) Ernst-Erich Doberkat(1) Fabio Gadducci(1) Marta Simeoni(1) Michael Winter 0001(1) Ridha Khédri(1) Roberto Bruni(1) Rudolf Berghammer(1) Thorsten Hoffmann(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Roberto Bruni, Fabio Gadducci Some algebraic laws for spans. Search on Bibsonomy RelMiS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michael Winter 0001 Generating Processes from Specifications using the Relation Manipulation System RelView. Search on Bibsonomy RelMiS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andrea Formisano 0001, Eugenio G. Omodeo, Marta Simeoni A graphical approach to relational reasoning. Search on Bibsonomy RelMiS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Diego Del Gobbo, Ali Mili 0001 An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System. Search on Bibsonomy RelMiS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1David Lorge Parnas The Tabular Method for Relational Documentation. Search on Bibsonomy RelMiS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese Prototyping and Programming with Relations. Search on Bibsonomy RelMiS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Eugenio G. Omodeo, Ernst-Erich Doberkat Algebraic semantics of ER-models in the context of the calculus of relations. Search on Bibsonomy RelMiS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wolfram Kahl Refinement and Development of Programs from Relational Specifications. Search on Bibsonomy RelMiS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ridha Khédri Requirements Scenarios Formalization Technique: N Versions Towards One Good Version. Search on Bibsonomy RelMiS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wolfram Kahl, David Lorge Parnas, Gunther Schmidt 0001 RelMiS 2001 - Preface. Search on Bibsonomy RelMiS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wolfram Kahl, David Lorge Parnas, Gunther Schmidt 0001 (eds.) First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001 Search on Bibsonomy RelMiS The full citation details ... 2001 DBLP  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license