Information Technology Reference
In-Depth Information
285. Smith, B., Ashburner, M., Rosse, C., et al.: The OBO Foundry: coordinated
evolution of ontologies to support biomedical data integration. Nature Biotech-
nology 25(11), 1251-1255 (2007)
286. Smith, C.A.: annaffy: Annotation tools for Affymetrix biological meta-
cessed May 5, 2013)
287. Smith, D.C., Cypher, A., Tesler, L.: Programming by example: novice pro-
gramming comes of age. Communications of the ACM 43, 75-81 (2000)
288. Smith, T.F., Waterman, M.S.: Identification of common molecular subse-
quences. Journal of Molecular Biology 147(1), 195-197 (1981)
289. Smolka, S., Steffen, B.: Priority as extremal probability. In: Baeten, J.C.M.,
Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458, pp. 456-466. Springer,
Heidelberg (1990)
290. Smyth, G.K.: Limma: linear models for microarray data. In: Gentleman, R.,
Carey, V., Dudoit, S., Irizarry, W.H.R. (eds.) Bioinformatics and Computa-
tional Biology Solutions using R and Bioconductor, pp. 397-420. Springer,
New York (2005)
291. Specht, M., Kuhlgert, S., Fufezan, C., Hippler, M.: Proteomics to go: Proteo-
matic enables the user-friendly creation of versatile MS/MS data evaluation
workflows. Bioinformatics (February 2011)
292. Steffen, B.: Characteristic Formulae. In: Ausiello, G., Dezani-Ciancaglini, M.,
Ronchi Della Rocca, S. (eds.) ICALP 1989. LNCS, vol. 372, pp. 723-732.
Springer, Heidelberg (1989)
293. Steffen, B.: Data Flow Analysis as Model Checking. In: Ito, T., Meyer, A.R.
(eds.) TACS 1991. LNCS, vol. 526, pp. 346-364. Springer, Heidelberg (1991)
294. Steffen, B.: Generating data flow analysis algorithms from modal specifica-
tions. Selected Papers of the Conference on Theoretical Aspects of Computer
Software, pp. 115-139. Elsevier Science Publishers B. V., Sendai (1993)
295. Steffen, B.: Generating Data Flow Analysis Algorithms from Modal Specifica-
tions. Science of Computer Programming 21(2), 115-139 (1993)
296. Steffen, B.: Property-oriented expansion. In: Cousot, R., Schmidt, D.A. (eds.)
SAS 1996. LNCS, vol. 1145, pp. 22-41. Springer, Heidelberg (1996)
297. Steffen, B.: Method for incremental synthesis of a discrete technical system
(1998)
298. Steffen, B., Claßen, A., Klein, M., Knoop, J., Margaria, T.: The Fixpoint-
Analysis Machine. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS,
vol. 962, pp. 72-87. Springer, Heidelberg (1995)
299. Steffen, B., Ingolfsdottir, A.: Characteristic Formulae for Processes with Di-
vergence. Information and Computation 110(1), 149-163 (1994)
300. Steffen, B., Knoop, J., Ruthing, O.: The Value Flow Graph: A Program Repre-
sentation for Optimal Program Transformations. In: Jones, N.D. (ed.) ESOP
1990. LNCS, vol. 432, pp. 389-405. Springer, Heidelberg (1990)
301. Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform:
concepts and design. International Journal on Software Tools for Technology
Transfer (STTT) 1(1-2), 9-30 (1997)
302. Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical Service Definition.
Annual Review of Communications of the ACM 51, 847-856 (1997)
303. Steffen, B., Margaria, T., Claßen, A., Braun, V.: Incremental Formalization: A
Key to Industrial Success. Software - Concepts and Tools 17(2), 78-95 (1996)
Search WWH ::
Custom Search