|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
203 | Martin Bravenboer, Yannis Smaragdakis |
Strictly declarative specification of sophisticated points-to analyses. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
DOOP, datalog, bdds, points-to analysis, declarative |
56 | Yutaka Yanagisawa, Masahiko Tsukamoto, Shojiro Nishio |
Deductive Object-Oriented Programming for Knowledge-base Independence. |
DOOD |
1995 |
DBLP DOI BibTeX RDF |
|
39 | Dhiren A. Audich, Rozita Dara 0001, Blair Nonnecke |
Improving Readability of Online Privacy Policies through DOOP: A Domain Ontology for Online Privacy. |
Digit. |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis |
Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
39 | Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman |
The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. |
ACM SIGSOFT Softw. Eng. Notes |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Endre Barta, Endre Sebestyén, Tamás B. Pálfy, Gábor Tóth, Csaba P. Ortutay, László Patthy |
DoOP: Databases of Orthologous Promoters, collections of clusters of orthologous upstream sequences from chordates and plants. |
Nucleic Acids Res. |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Erwin Aitenbichler, Jussi Kangasharju, Max Mühlhäuser |
Experiences with MundoCore. |
PerCom Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|