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]

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]

Sensitivity analysis for a system of generalized nonlinear mixed quasi-variational inclusions in q-uniformly smooth Banach spacesJae Ug Jeong, Soo Hwan Kim. amc, 202(1):178-187, 2008. [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]

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.

Statistical challenges in the analysis of two-dimensional difference gel electrophoresis experiments using DeCyder:::TM:::Imola K. Fodor, David O. Nelson, Michelle Alegria-Hartman, Kristin Robbins, Richard G. Langlois, Kenneth W. Turteltaub, Todd H. Corzett, Sandra L. McCutchen-Maloney. bioinformatics, 21(19):3733-3740, 2005. [doi]

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.

NRSAS: Nuclear Receptor Structure Analysis ServersEmmanuel Bettler, Roland Krause, Florence Horn, Gert Vriend. nar, 31(13):3400-3403, 2003.

Analysis of output of all Purkinje cells controlled by one climbing fiber cellWitali L. Dunin-Barkowski. ijon, 44-46:391-400, 2002. [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]

Sensitivity Analysis for Selective Learning by Feedforward Neural NetworksAndries Petrus Engelbrecht. FUIN, 46(3):219-252, 2001.

Specified Resolution Wavelet Analysis of Activation Patterns from BOLD Contrast fMRIVinzenz von Tscharner, Keith R. Thulborn. tmi, 20(8):704-714, 2001.

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.

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.

Harthong-Reeb analysis and digital circlesHubert Holin. vc, 8(1):8-17, 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