|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | Mark 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](Pics/bibsonomy.png) |
K ![Elsevier The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Andrei Arusoaie, Dorel Lucanu, Vlad Rusu |
Towards a K Semantics for OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K ![In: Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011., pp. 81-96, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Traian-Florin Serbanuta |
Rewriting Semantics and Analysis of Concurrency Features for a C-like Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K ![In: Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011., pp. 167-182, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Irina Mariuca Asavoae |
Abstract Semantics for Alias Analysis in K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K ![In: Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011., pp. 97-110, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Codruta Gîrlea, Grigore Rosu |
Abstract Semantics for K Module Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K ![In: Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011., pp. 127-149, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Stefanescu |
MatchC: A Matching Logic Reachability Verifier Using the K Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K ![In: Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011., pp. 183-198, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mark Hills 0001 |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K ![In: Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011., pp. 1-2, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu |
The K Primer (version 3.3). ![Search on Bibsonomy](Pics/bibsonomy.png) |
K ![In: Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011., pp. 57-80, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu, Traian-Florin Serbanuta |
K Overview and SIMPLE Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K ![In: Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011., pp. 3-56, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mihail Asavoae |
K Semantics for Assembly Languages: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K ![In: Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011., pp. 111-125, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mereuta, Gheorghe Grigoras |
Parsing K definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K ![In: Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011., pp. 151-166, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mark Hills 0001, Grigore Rosu |
Towards a Module System for K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 187-205, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
K, modularity, rewriting logic, language semantics |
1 | Nicholas Hopper, Eugene Y. Vasserman |
On the effectiveness of k;-anonymity against traffic analysis and surveillance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPES ![In: Proceedings of the 2006 ACM Workshop on Privacy in the Electronic Society, WPES 2006, Alexandria, VA, USA, October 30, 2006, pp. 9-18, 2006, ACM, 1-59593-556-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
k, mass surveillance, anonymity, statistical disclosure |
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|