Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for FOAS with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995 (1) 2004 (1) 2010 (1)
Publication types (Num. hits)
inproceedings(3)
Venues (Conferences, Journals, ...)
HICSS (1)(1) LICS(1) SIGSOFT FSE(1)
Authors
Andrei Popescu 0001(1) Christopher J. Osborn(1) Elsa L. Gunter(1) Ireneusz Karkowski(1) Klaus Ostermann(1) Mira Mezini(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 12 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
66Ireneusz Karkowski Architectural synthesis with possibilistic programming. Search on Bibsonomy HICSS (1) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF possibilistic programming, fuzzy mathematical programming, simultaneous scheduling, FOAS, computational complexity, computational complexity, fuzzy logic, high level synthesis, high-level synthesis, circuit CAD, mathematical programming, possibility theory
59Mira Mezini, Klaus Ostermann Variability management with feature-oriented programming and aspects. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF feature-oriented, product lines, aspect-oriented, variability management
46Andrei Popescu 0001, Elsa L. Gunter, Christopher J. Osborn Strong Normalization for System F by HOAS on Top of FOAS. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Higher-Order Abstract Syntax, Isabelle/HOL, System F
Displaying result #1 - #3 of 3 (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