1.
|
New algorithms for a java decompiler and their implementation in Soot Miecznikowski, Jerome
|
2.
|
Spark : a flexible points-to analysis framework for Java Lhoták, Ondr̆ej
|
3.
|
Dynamic profiling and trace creation Berndl, Marc
|
4.
|
Implementation of an information retrieval system for stock option analysis Lu, Xiaofan
|
5.
|
Calculating the probability of an LTL formula over a labeled Markov chain Eliosoff, Jacob
|
6.
|
Step: a framework for the efficient encoding of general trace data Brown, Rhodes Hart Fraser
|
7.
|
Hydrogeochemistry of the upper Banyu Pahit River valley, Kawah Ijen volcano, Indonesia Palmer, Stephanie
|
8.
|
Verifying finite-state properties of large-scale programs Bodden, Eric
|
9.
|
Mepiquat chloride application on cotton at variable rate. MAGALHAES, P. S. G. - QUEIROS, L. R. - GADANHA, C. D.
|
10.
|
TORNADO: an automated pipeline for de novo hybrid genome assembly based on free software packages for sanger and next generation sequencing technologies (NGS). HERAI, R. H. - COSTA, G. G. D. L. - R. JÚNIOR, O. - VIDAL, R. O. - NASCIMENTO, L. C. - PARIZZI, L. P. - PEREIRA, G. G. A. - CARAZZOLLE, M. F.
|