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) LICS(1) SIGSOFT FSE(1)
Authors
Andrei Popescu(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
2Ireneusz Karkowski Architectural synthesis with possibilistic programming. Search on Bibsonomy HICSS 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
1Andrei Popescu, 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
1Mira 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
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.