Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "RCRA@FLoC"( http://dblp.L3S.de/Venues/RCRA@FLoC )

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

Publication years (Num. hits)
2018 (6)
Publication types (Num. hits)
inproceedings(5) proceedings(1)
Venues (Conferences, Journals, ...)
RCRA@FLoC(6)
Authors
Enrico Tronci(2) Toni Mancini(2) Agostino Scialanca(1) Alberto Finzi(1) Annalisa Massini(1) Brigitte Leeners(1) Cristina Baroglio(1) Federico Mari(1) Filiberto Lanciotti(1) Giovanni Amendola(1) Igor Melatti(1) Ivano Salvo(1) Marco Maratea(1) Matteo Baldoni(1) Mauro Vallati(1) Paul Tarau(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Paul Tarau Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic. Search on Bibsonomy RCRA@FLoC The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Amendola Towards Quantified Answer Set Programming. Search on Bibsonomy RCRA@FLoC The full citation details ... 2018 DBLP  BibTeX  RDF
1Toni Mancini, Enrico Tronci, Agostino Scialanca, Filiberto Lanciotti, Alberto Finzi, Riccardo Guarneri, Silvia Di Pompeo Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network. Search on Bibsonomy RCRA@FLoC The full citation details ... 2018 DBLP  BibTeX  RDF
1Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners Computing Personalised Treatments through In Silico Clinical Trials. Search on Bibsonomy RCRA@FLoC The full citation details ... 2018 DBLP  BibTeX  RDF
1Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi 0001 Accountability and Responsibility in Business Processes via Agent Technology. Search on Bibsonomy RCRA@FLoC The full citation details ... 2018 DBLP  BibTeX  RDF
1Marco Maratea, Mauro Vallati (eds.) Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018. Search on Bibsonomy RCRA@FLoC The full citation details ... 2018 DBLP  BibTeX  RDF
Displaying result #1 - #6 of 6 (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