Jan Vitek - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged pattern matching

Matchete: Paths through the Pattern Matching JungleMartin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek. PADL 2008: 150-166 [doi]

Software Quality Improvement Via Pattern MatchingRadu Kopetz, Pierre-Etienne Moreau. FASE 2008: 296-300 [doi]

Anti-pattern Matching ModuloClaude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. LATA 2008: 275-286 [doi]

Multi-Character Processor Array for Pattern Matching in Network Intrusion Detection SystemYeim-Kuan Chang, Ming-Li Tsai, Yu-Ru Chung. aina 2008: 991-996 [doi]

Interaction Nets With Nested Pattern MatchingAbubakar Hassan, Shinya Sato. ENTCS, 203(1):79-92, 2008. [doi]

Anti-pattern MatchingClaude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. ESOP 2007: 110-124 [doi]

Warnings for pattern matchingLuc Maranget. JFP, 17(3):387-421, 2007. [doi]

Formal Validation of Pattern Matching codeClaude Kirchner, Pierre-Etienne Moreau, Antoine Reilles. Dagstuhl 2006: [doi]

High Performance Pattern Matching with Dynamic Load Balancing on Heterogeneous SystemsJin Hwan Park, Bernard A. Demirdag. pdp 2006: 285-290 [doi]

Synchronous Dataflow Pattern MatchingGrégoire Hamon. ENTCS, 153(4):37-54, 2006. [doi]

Approximate fingerprinting to accelerate pattern matchingRamaswamy Ramaswamy, Lukas Kencl, Gianluca Iannaccone. imc 2006: 301-306 [doi]

Formal validation of pattern matching codeClaude Kirchner, Pierre-Etienne Moreau, Antoine Reilles. ppdp 2005: 187-197 [doi]

A Pre-Processing Algorithm for String Pattern MatchingLaurence Boxer. amcs 2005: 29-32

Basic Pattern Matching Calculi: a Fresh View on Matching FailureWolfram Kahl. FLOPS 2004: 276-290 [doi]

High performance data compression method with pattern matching for biomedical ECG and arterial pulse waveformsWen-Shiung Chen, Lili Hsieh, Shang-Yuan Yuan. cmpb, 74(1):11-27, 2004. [doi]

A Polynomial-Time Algorithm for the Matching of Crossing Contact-Map PatternsJens Gramm. tcbb, 1(4):171-180, 2004. [doi]

Correctness of substring-preprocessing in Boyer-Moore s pattern matching algorithmFrank A. Stomp. TCS, 290(1):59-78, 2003.

New Algorithm for Point Pattern MatchingYasser El-Sonbaty, M. A. Ismail. jcis 2002: 890-893

A Weak Calculus with Explicit Operators for Pattern Matching and SubstitutionJulien Forest. RTA 2002: 174-191 [doi]

Efficient and Robust Feature Extraction and Pattern Matching of Time Series by a Lattice StructureWan Po Man Polly, Man Hon Wong. CIKM 2001: 271-278

Hierarchical fuzzy pattern matching for the regional comparison of land use mapsConrad Power, Alvin Simms, Roger White. gis, 15(1):77-100, 2001. [doi]

An Applied Point Pattern Matching Problem: Comparing 2D Patterns of Protein PpotsDAM, 93(1):75-88, 1999. [doi]

Two- and Higher-Dimensional Pattern Matching in Optimal Expected TimeJuha Kärkkäinen, Esko Ukkonen. SICOMP, 29(2):571-589, 1999.

On the Role of Pattern Matching in Information TheoryAaron D. Wyner, Jacob Ziv, A. J. Wyner. TIT, 44(6):2045-2056, 1998.

Combinatorial Pattern Matching, 8th Annual Symposium, CPM 97, Aarhus, Denmark, June 30 - July 2, 1997, ProceedingsAlberto Apostolico, Jotun Hein, editors, Volume 1264 of Lecture Notes in Computer Science, Springer, 1997.

Optimal Pattern Matching on dDimensional MeshesFouzia Moussouni, Christian Lavault. opodis 1997: 45-60

Combinatorial Pattern Matching, 7th Annual Symposium, CPM 96, Laguna Beach, California, USA, June 10-12, 1996, ProceedingsDaniel S. Hirschberg, Eugene W. Myers, editors, Volume 1075 of Lecture Notes in Computer Science, Springer, 1996.

Identifying parallelism in pattern matchingJohn A. Keane, A. J. Grant. eurosim 1996: 119-126

How the Character Comparison Order Shapes the Shift Function of On-Line Pattern Matching AlgorithmsLivio Colussi, Laura Toniolo. TCS, 163(1&2):117-144, 1996. [doi]

Combinatorial Pattern Matching, 6th Annual Symposium, CPM 95, Espoo, Finland, July 5-7, 1995, ProceedingsZvi Galil, Esko Ukkonen, editors, Volume 937 of Lecture Notes in Computer Science, Springer, 1995.

Column segmentation by white space pattern matchingMasaharu Ozaki. icdar 1995: 134 [doi]

Multiple Matching of Rectangular PatternsRamana M. Idury, Alejandro A. Schäffer. iandc, 117(1):78-90, February 1995.

Rigid body constrained noisy point pattern matchingSalvatore D. Morgera, P. Lie Chin Cheong. TIP, 4(5):630-641, 1995. [doi]

Approximate Pattern Matching with SamplesTadao Takaoka. isaac 1994: 234-242

An Efficient Algorithm for Matching Multiple PatternsJang-Jong Fan, Keh-Yih Su. tkde, 5(2):339-351, 1993. [doi]

Combinatorial Pattern Matching, 4th Annual Symposium, CPM 93, Padova, Italy, June 2-4, 1993, ProceedingsAlberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber, editors, Volume 684 of Lecture Notes in Computer Science, Springer, 1993.

Combinatorial Pattern Matching, Third Annual Symposium, CPM 92, Tucson, Arizona, USA, April 29 - May 1, 1992, ProceedingsAlberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber, editors, Volume 644 of Lecture Notes in Computer Science, Springer, 1992.

Optimal Parallel Algorithms for Multidimensional Image Template Matching and Pattern MatchingAhmed Saoudi, Maurice Nivat. icpia 1992: 240-246

Deterministic Sampling - A New Technique for Fast Pattern MatchingUzi Vishkin. SICOMP, 20(1):22-40, 1991.

Recognition and positioning of three-dimensional objects by combining matchings of primitive local patternsShinji Umeyama, T. Kasvand, M. Hospital. cvgip, 44(1):58-76, 1988. [doi]

Register Allocation in a Pattern Matching Code GeneratorW. R. van Biljon, D. A. Sewry, M. A. Mulders. SPE, 17(8):521-531, 1987.

Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern MatchingThierry Boy de la Tour, Ricardo Caferra. AAAI 1987: 95-99

Conditional Declarations and Pattern MatchingAntony J. T. Davie. pos 1985: 273-275 [doi]

Optimal Parallel Pattern Matching in StringsUzi Vishkin. iandc, 67(1-3):91-113, October/November/December 1985.

From Pattern-Directed to Adapter-Driven Computation via Function-Applying MatchingHarold Boley. gi 1983: 86-100

On String Pattern Matching: A New Model with a Polynomial Time AlgorithmKen-Chih Liu. SICOMP, 10(1):118-140, 1981.

The Complexity of Pattern Matching for a Random StringAndrew Chi-Chih Yao. SICOMP, 8(3):368-387, 1979.

A Compact Function for Regular Expression Pattern MatchingMartin Richards. SPE, 9(7):527-534, 1979.

Pattern Matching and Call by PatternGiorgio Levi, Franco Sirovich. gi 1975: 491-499

Linear Pattern Matching AlgorithmsPeter Weiner. focs 1973: 1-11

runs on WebDSL