kth.se
Publications
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-314581
Direct link
http://kth.diva-portal.org/smash/record.jsf?pid=diva2:1674996
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Preface
Bennaceur, A.
Hähnle, R.
Meinke, Karl
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Theoretical Computer Science, TCS.
ORCID iD:
0000-0002-9706-5008
2018 (English)
In:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag , 2018, Vol. 11026, p. V-VI
Conference paper, Published paper (Other academic)
Place, publisher, year, edition, pages
Springer Verlag , 2018. Vol. 11026, p. V-VI
Series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743 ; 11026
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:kth:diva-314581
Scopus ID:
2-s2.0-85051136219
OAI: oai:DiVA.org:kth-314581
DiVA, id:
diva2:1674996
Conference
International Dagstuhl Seminar 16172 Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2016, Wadern, 24 April 2016 through 27 April 2016
Note
QC 20220622
Part of proceedings: ISBN 978-331996561-1
Preface
Available from:
2022-06-22
Created:
2022-06-22
Last updated:
2022-06-25
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Scopus
Authority records
Meinke, Karl
Search in DiVA
By author/editor
Meinke, Karl
By organisation
Theoretical Computer Science, TCS
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 21 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-314581
Direct link
http://kth.diva-portal.org/smash/record.jsf?pid=diva2:1674996
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.46.0
|
WCAG
|
KTH Library
|
DiVA support
|
Register in DiVA
|
Posting your thesis
|
SwePub
DiVA
Logotyp