The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2006 (1) 2008 (1) 2011 (10) 2014 (1)
Publication types (Num. hits)
inproceedings(12) proceedings(1)
Venues (Conferences, Journals, ...)
K(11) WADT(1) WPES(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mark Hills 0001 (eds.) Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011. Search on Bibsonomy K The full citation details ... 2014 DBLP  BibTeX  RDF
1Andrei Arusoaie, Dorel Lucanu, Vlad Rusu Towards a K Semantics for OCL. Search on Bibsonomy K The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Traian-Florin Serbanuta Rewriting Semantics and Analysis of Concurrency Features for a C-like Language. Search on Bibsonomy K The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Irina Mariuca Asavoae Abstract Semantics for Alias Analysis in K. Search on Bibsonomy K The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Codruta Gîrlea, Grigore Rosu Abstract Semantics for K Module Composition. Search on Bibsonomy K The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrei Stefanescu MatchC: A Matching Logic Reachability Verifier Using the K Framework. Search on Bibsonomy K The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mark Hills 0001 Preface. Search on Bibsonomy K The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu The K Primer (version 3.3). Search on Bibsonomy K The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Grigore Rosu, Traian-Florin Serbanuta K Overview and SIMPLE Case Study. Search on Bibsonomy K The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mihail Asavoae K Semantics for Assembly Languages: A Case Study. Search on Bibsonomy K The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Radu Mereuta, Gheorghe Grigoras Parsing K definitions. Search on Bibsonomy K The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mark Hills 0001, Grigore Rosu Towards a Module System for K. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF K, modularity, rewriting logic, language semantics
1Nicholas Hopper, Eugene Y. Vasserman On the effectiveness of k;-anonymity against traffic analysis and surveillance. Search on Bibsonomy WPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF k, mass surveillance, anonymity, statistical disclosure
Displaying result #1 - #13 of 13 (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