Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2003-2022 (8)
Publication types (Num. hits)
article(3) inproceedings(5)
Venues (Conferences, Journals, ...)
ACM Trans. Comput. Log.(1) DAC(1) GECCO(1) J. Appl. Log.(1) J. Comput. Neurosci.(1) Software Engineering & Managem...(1) TPDL(1) TPHOLs(1)
Authors
Asif Ekbal(1) Björn Duderstadt(1) Christian Motika(1) Conor Ryan(1) Franco Montagna(1) Hammad Majeed(1) Heinrich Wansing(1) Insa Fuhrmann(1) J. Michael Herrmann(1) Jens Brandt 0001(1) Joaquín Aguado(1) Klaus Schneider 0001(1) Mayank Agarwal(1) Michael Mendler(1) Norbert Michael Mayer(1) Norihiro Kamide(1) More (+10 of total 25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 10 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
39Prabhat Kumar Bharti, Tirthankar Ghosal, Mayank Agarwal, Asif Ekbal BetterPR: A Dataset for Estimating the Constructiveness of Peer Review Comments. Search on Bibsonomy TPDL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
39Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien Sequential Constructiveness, SCCharts for Safety-Critical Applications. Search on Bibsonomy Software Engineering & Management The full citation details ... 2015 DBLP  BibTeX  RDF
39Norihiro Kamide, Heinrich Wansing Combining linear-time temporal logic with constructiveness and paraconsistency. Search on Bibsonomy J. Appl. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
39Hammad Majeed, Conor Ryan On the constructiveness of context-aware crossover. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF context-aware crossover, cache, context, fitness, crossover, constructive
36Stephen A. Edwards Making cyclic circuits acyclic. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF acyclic circuits, cyclic circuits, constructiveness, resynthesis
28Simone Bova, Franco Montagna Proof search in Hájek's basic logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF countermodel building, Fuzzy logic, automated deduction
28Jens Brandt 0001, Klaus Schneider 0001 Formal Reasoning About Causality Analysis. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Norbert Michael Mayer, J. Michael Herrmann, Theo Geisel Shaping of Receptive Fields in the Visual Cortex During Retinal Maturation. Search on Bibsonomy J. Comput. Neurosci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF neural maps, receptive field development, retinal filter, visual cortex, natural images
Displaying result #1 - #8 of 8 (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