Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "K"( http://dblp.L3S.de/Venues/K )

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

Publication years (Num. hits)
2011 (10) 2014 (1)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
K(11)
Authors
Grigore Rosu(3) Traian-Florin Serbanuta(3) Andrei Arusoaie(2) Dorel Lucanu(2) Mark Hills 0001(2) Andrei Stefanescu(1) Chucky Ellison(1) Codruta Gîrlea(1) David Lazar(1) Gheorghe Grigoras(1) Irina Mariuca Asavoae(1) Mihail Asavoae(1) Radu Mereuta(1) Vlad Rusu(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 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
Displaying result #1 - #11 of 11 (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