Vlad Rusu - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged analysis

Combining Theorem Proving and Narrowing for Rewriting-Logic SpecificationsVlad Rusu. tap 2010: 135-150 [doi]

Better bioinformatics through usability analysisDavide Bolchini, Anthony Finkelstein, Vito Perrone, Sylvia Nagl. bioinformatics, 25(3):406-412, 2009. [doi]

Bifurcation Analysis of a General Class of Nonlinear Integrate-and-Fire NeuronsJonathan Touboul. siamam, 68(4):1045-1079, 2008. [doi]

::::qpcR::::: an R package for sigmoidal model selection in quantitative real-time polymerase chain reaction analysisChristian Ritz, Andrej-Nikolai Spiess. bioinformatics, 24(13):1549-1551, 2008. [doi]

Image Analysis and Recognition, 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. ProceedingsAurélio C. Campilho, Mohamed S. Kamel, editors, Volume 5112 of Lecture Notes in Computer Science, Springer, 2008.

Closing the Gap Between Theory and Practice: New Measures for On-Line Algorithm AnalysisReza Dorrigiv, Alejandro López-Ortiz. walcom 2008: 13-24 [doi]

Neon: A Library for Language Usage AnalysisJurriaan Hage, Peter van Keeken. SLE 2008: 35-53 [doi]

Comprehending implementation recipes of framework-provided concepts through dynamic analysisAbbas Heydarnoori, Krzysztof Czarnecki. OOPSLA 2007: 819-820 [doi]

TuningFork: a platform for visualization and analysis of complex real-time systemsDavid F. Bacon, Perry Cheng, David Grove. OOPSLA 2007: 854-855 [doi]

9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paraná, BrazilIEEE Computer Society, 2007.

Why does electron sharing lead to covalent bonding? A variational analysisKlaus Ruedenberg, Michael W. Schmidt. jcc, 28(1):391-410, 2007. [doi]

Why does electron sharing lead to covalent bonding? A variational analysisKlaus Ruedenberg, Michael W. Schmidt. jcc, 28(14):2389, 2007. [doi]

A generic usage analysis with subeffect qualifiersJurriaan Hage, Stefan Holdermans, Arie Middelkoop. ICFP 2007: 235-246 [doi]

Genome-wide analysis of core promoter elements from conserved human and mouse orthologous pairsVictor X. Jin, Gregory A. Singer, Francisco J. Agosto-Perez, Sandya Liyanarachchi, Ramana V. Davuluri. bmcbi, 7:114, 2006. [doi]

Image Analysis and Recognition, Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part IIAurélio C. Campilho, Mohamed S. Kamel, editors, Volume 4142 of Lecture Notes in Computer Science, Springer, 2006.

Document Analysis Systems VII, 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006, ProceedingsHorst Bunke, A. Lawrence Spitz, editors, Volume 3872 of Lecture Notes in Computer Science, Springer, 2006.

Adaptive Analysis of On-line AlgorithmsReza Dorrigiv, Alejandro López-Ortiz. Dagstuhl 2007: [doi]

Symbolic Test Selection Based on Approximate AnalysisBertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva. TACAS 2005: 349-364 [doi]

Extracting a data flow analyser in constructive logicDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. TCS, 342(1):56-78, 2005. [doi]

Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, ProceedingsNicolas Halbwachs, Lenore D. Zuck, editors, Volume 3440 of Lecture Notes in Computer Science, Springer, 2005.

Extracting a Data Flow Analyser in Constructive LogicDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. ESOP 2004: 385-400 [doi]

Analysis of a Parallel MOEA Solving the Multi-objective Quadratic Assignment ProblemMark P. Kleeman, Richard O. Day, Gary B. Lamont. gecco 2004: 402-403 [doi]

Image Analysis and Recognition: International Conference, ICIAR 2004, Porto, Portugal, September 29-October 1, 2004, Proceedings, Part IIAurélio C. Campilho, Mohamed S. Kamel, editors, Volume 3212 of Lecture Notes in Computer Science, Springer, 2004.

Document Analysis Systems VI, 6th International Workshop, DAS 2004, Florence, Italy, September 8-10, 2004, ProceedingsSimone Marinai, Andreas Dengel, editors, Volume 3163 of Lecture Notes in Computer Science, Springer, 2004.

Precise Analysis of String ExpressionsAske Simon Christensen, Anders Møller, Michael I. Schwartzbach. SAS 2003: 1-18 [doi]

Software Acquisition: A Business Strategy AnalysisBarbara Farbey, Anthony Finkelstein. RE 2001: 76-83 [doi]

6th International Conference on Document Analysis and Recognition (ICDAR 2001), 10-13 September 2001, Seattle, WA, USAIEEE Computer Society, 2001.

Cognitive Structures of Software Evaluation: A Means-End Chain Analysis of QualityBernard Wong, D. Ross Jeffery. PROFES 2001: 6-26 [doi]

Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, ProceediSusanne Graf, Michael I. Schwartzbach, editors, Volume 1785 of Lecture Notes in Computer Science, Springer, 2000.

Analysis of two-step index structure for complex spatial objectsYong-Ju Lee, Chin-Wan Chung. isci, 125(1-4):133-152, 2000.

On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and AbstractionVlad Rusu, Eli Singerman. TACAS 1999: 178-192 [doi]

Analysis of Compressed Document Images for Dominant Skew, Multiple Skew, and Logotype DetectionA. Lawrence Spitz. cviu, 70(3):321-334, 1998. [doi]

Task-System Analysis Using Slope-Parametric Hybrid AutomataAugusto Burgueño, Vlad Rusu. europar 1997: 1262-1273

Analysis of Slope-Parametric Hybrid AutomataFrédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu. hybrid 1997: 75-80

Analysis of Nearest Neighbor Query Performance in Multidimensional Index StructuresGuang-Ho Cha, Ho-Hyun Park, Chin-Wan Chung. DEXA 1997: 498-507

4th International Conference Document Analysis and Recognition (ICDAR 97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, ProceedingsIEEE Computer Society, 1997.

Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, ProceedingsEd Brinksma, editor, Volume 1217 of Lecture Notes in Computer Science, Springer, 1997.

The comparison of geometric and electronic properties of molecular surfaces by neural networks: Application to the analysis of corticosteroid-binding globulin activity of steroidsSoheila Anzali, Gerhard Barnickel, Michael Krug, Jens Sadowski, Markus Wagener, Johann Gasteiger, Jaroslaw Polanski. jcamd, 10(6):521-534, 1996.

Special issue on non-conventional pattern analysis in remote sensingElisabetta Binaghi, Pietro Alessandro Brivio, Anna Rampini, Robert A. Schowengerdt. prl, 17(13):1323-1324, 1996. [doi]

European Computing Curricula: A Guide and Comparative AnalysisAnthony Finkelstein. cj, 36(4):299-319, 1993.

Invariant-Theoretic Methods in Scene Analysis and Structural MechanicsHenry Crapo. JSC, 11(5/6):523-548, 1991.

Configuration Management = Interface Control + Version Control + Analysis ControlAlexander L. Wolf. SCM 1988: 401-404

Scene Analysis and Geometric HomologyHenry Crapo, Juliette Ryan. compgeom 1986: 125-132 [doi]

The Analysis of Concurrent Systems, Cambridge, September 12-16, 1983, ProceedingsB. Tim Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray, editors, Volume 207 of Lecture Notes in Computer Science, Springer, 1985.

Analysis of N-TreesMarkku Tamminen. ipl, 16(3):131-137, 1983.

Merging Performance and Cost-Benefit Analysis in Computer System EvaluationGiacomo Bucci, Dario Maio. Computer, 15(9):23-31, 1982.

Buffer Performance Analysis of Communication Processors During Slowdown at Network ControlWe-Min Chow, Lin S. Woo. ibmrd, 21(3):264-272, 1977.

Analysis of the Berlekamp-Massey Linear Feedback Shift-Register Synthesis AlgorithmFred G. Gustavson. ibmrd, 20(3):204-212, 1976.

The Mathematical Analysis of the Computer System Modeled as a Two Stage Cyclic QueueWilliam R. Franta. ACTA, 6:187-209, 1976.

Analysis of global pattern featuresD. J. H. Moore, D. J. Parker. PR, 6(3-4):149-164, 1974. [doi]

runs on WebDSL