Search results for "regular expressions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	François Lustman	Specifying Transaction-Based Information Systems with Regular Expressions.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	transaction-based information systems, interactive information systems, transformational paradigm, classical Waterfall development model, transaction-oriented method, concurrent regular expressions, operational requirements, connect/disconnect transactions, all-or-nothing principle, serial product automaton, concurrent expression, formal specification, formal specification, information systems, systems analysis, systems analysis, transaction processing, formal language, regular expressions, software specification, SPA, high-level specification
3	Claus Brabrand, Jakob G. Thomsen	Typed and unambiguous pattern matching on strings using regular expressions.	PPDP	2010	DBLP DOI BibTeX RDF	static analysis, pattern matching, type inference, parsing, regular expressions, ambiguity, disambiguation
3	Jinseong Jeon, Keoncheol Shin, Hwansoo Han	Abstracting access patterns of dynamic memory using regular expressions.	TACO	2009	DBLP DOI BibTeX RDF	field affinity, layout transformation, pool allocation, regular expressions, Access patterns
3	Geert Jan Bex, Wouter Gelade, Wim Martens, Frank Neven	Simplifying XML schema: effortless handling of nondeterministic regular expressions.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	deterministic regular expressions, upa, xml schema
3	Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren	Learning deterministic regular expressions for the inference of schemas from XML data.	WWW	2008	DBLP DOI BibTeX RDF	XML, regular expressions, schema inference
3	Viliam Geffert, Carlo Mereghetti, Beatrice Palano	More Concise Representation of Regular Languages by Automata and Regular Expressions.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF	regular expressions, descriptional complexity, Pushdown automata, straight line programs
3	Giorgio Ghelli, Dario Colazzo, Carlo Sartiani	Linear time membership in a class of regular expressions with interleaving and counting.	CIKM	2008	DBLP DOI BibTeX RDF	xml, regular expressions, xml schema
3	Norman H. Cohen, Karl Trygve Kalleberg	EventScript: an event-processing language based on regular expressions with actions.	LCTES	2008	DBLP DOI BibTeX RDF	sensors, regular expressions, actuators, event processing, reactive programs
3	Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer	A characterization of regular expressions under bisimulation.	J. ACM	2007	DBLP DOI BibTeX RDF	regular expressions, Bisimulation equivalence
3	José Miguel Blanco Arbe, Ana Sánchez Ortega, Jesús Ibáñez Mártinez-Conde	Formal languages through web forms and regular expressions.	SIGCSE Bulletin	2007	DBLP DOI BibTeX RDF	regular expressions, JavaScript, web forms
3	Sailesh Kumar, Balakrishnan Chandrasekaran, Jonathan S. Turner, George Varghese	Curing regular expressions matching algorithms from insomnia, amnesia, and acalculia.	ANCS	2007	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection
3	Sailesh Kumar, Sarang Dharmapurikar, Fang Yu, Patrick Crowley, Jonathan S. Turner	Algorithms to accelerate multiple regular expressions matching for deep packet inspection.	SIGCOMM	2006	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection
3	Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng	Duration-constrained regular expressions.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Regular expressions, Hybrid automata, Duration Calculus
3	Pavel Azalov, Michelle Cullen, Robert Rinish	ReExpress: a tutor for regular expressions mentoring with technology.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	online learning, regular expressions, information technology education, web-based tutor, example-based learning
3	Chee Yong Chan, Minos N. Garofalakis, Rajeev Rastogi	RE-tree: an efficient index structure for regular expressions.	VLDB J.	2003	DBLP DOI BibTeX RDF	Sampling-based approximations, Regular expressions, Index structure, Size measures
3	Lucian Ilie, Sheng Yu	Constructing NFA s by Optimal Use of Positions in Regular Expressions.	CPM	2002	DBLP DOI BibTeX RDF	right-invariant equivalence, $varepsilon$-elimination, algorithms, regular expressions, positions, partial derivatives, quotients, regular expression matching, nondeterministic finite automata
3	Ville Laurikari	NFAs with Tagged Transitions, Their Conversion to Deterministic Automata and Application to Regular Expressions. (PDF / PS)	SPIRE	2000	DBLP DOI BibTeX RDF	tagged transitions, automata conversion, input string position tracking, last-use tracking, nondeterministic Mealy machines, string processing, substring addressing, lookahead operator, regular expressions, finite automata, formal semantics, deterministic automata, nondeterministic finite automata
3	Charles L. A. Clarke, Gordon V. Cormack	On the Use of Regular Expressions for Searching Text.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	regular expressions, SGML, regular languages
3	Eugene Asarin, Paul Caspi, Oded Maler	A Kleene Theorem for Timed Automata.	LICS	1997	DBLP DOI BibTeX RDF	Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory
3	Henning Fernau	Valuations, regular expressions, and fractal geometry.	Appl. Algebra Eng. Commun. Comput.	1995	DBLP DOI BibTeX RDF	(Unambiguous) regular expressions, Structure generating function, Iterated function systems, Formal power series, Valuations, Fractal geometry
3	Fevzi Belli, Karl-Erwin Großpietsch	Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	fault tolerance properties, formal overview, sequential behavior, single-system components, model layers, stepwise-refined specification, multistory shelving system model, formal specification, formal specification, Petri nets, fault tolerant computing, software reliability, redundancy, error detection, regular expressions, system behavior, complex software systems, predicate/transition net, system description
2	Victor S. Grishchenko	Deep hypertext with embedded revision control implemented in regular expressions.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF
2	Trevor Jim, Yitzhak Mandelbaum, David Walker	Semantics and algorithms for data-dependent grammars.	POPL	2010	DBLP DOI BibTeX RDF	ambiguous grammars, context-sensitive grammars, data-dependent grammars, earley parsing, l-attributed grammars, regular right-sides, scannerless parsing, semantic predicates, automata, regular expressions, transducers, ebnf
2	William B. Langdon, Joanna Rowsell, Andrew P. Harrison	Creating regular expressions as mRNA motifs with GP to predict human exon splitting.	GECCO	2009	DBLP DOI BibTeX RDF	HDONA, affymetrix genechip, alternative splicing of homosapiens exons, biological interpretation of computer generated motifs, gene expression and regulation, integration of genetic programming into bioinformatics, genetic algorithms, genetic programming, bioinformatics, regular expression, grammar, microarray analysis, alternative splicing, strongly typed genetic programming
2	Benjamin Carle, Paliath Narendran	On Extended Regular Expressions.	LATA	2009	DBLP DOI BibTeX RDF
2	Dag Hovland	Regular Expressions with Numerical Constraints and Automata with Counters.	ICTAC	2009	DBLP DOI BibTeX RDF
2	Wouter Gelade, Marc Gyssens, Wim Martens	Regular Expressions with Counting: Weak versus Strong Determinism.	MFCS	2009	DBLP DOI BibTeX RDF
2	Hermann Gruber, Markus Holzer	Tight Bounds on the Descriptional Complexity of Regular Expressions.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
2	Johnny Tsung Lin Ho, Guy G. Lemieux	PERG-Rx: a hardware pattern-matching engine supporting limited regular expressions.	FPGA	2009	DBLP DOI BibTeX RDF	fpga, pattern matching, regular expression, antivirus
2	Hermann Gruber, Markus Holzer, Michael Tautschnig	Short Regular Expressions from Finite Automata: Empirical Results.	CIAA	2009	DBLP DOI BibTeX RDF
2	Jonathan Rohrer, Kubilay Atasu, Jan van Lunteren, Christoph Hagleitner	Memory-efficient distribution of regular expressions for fast deep packet inspection.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	regular expression, hardware acceleration, network intrusion detection, DFA, deep packet inspection
2	Dario Colazzo, Giorgio Ghelli, Carlo Sartiani	Efficient asymmetric inclusion between regular expression types.	ICDT	2009	DBLP DOI BibTeX RDF	language inclusion, XML, regular expressions
2	Daniele Paolo Scarpazza, Gregory F. Russell	High-performance regular expression scanning on the Cell/B.E. processor.	ICS	2009	DBLP DOI BibTeX RDF	multi-core, regular expressions, cell processor
2	William B. Langdon, Andrew P. Harrison	Evolving Regular Expressions for GeneChip Probe Performance Prediction.	PPSN	2008	DBLP DOI BibTeX RDF
2	Leticia I. Gómez, Alejandro A. Vaisman	RE-SPaM: Using Regular Expressions for Sequential Pattern Mining in Trajectory Databases.	ICDM Workshops	2008	DBLP DOI BibTeX RDF
2	Roberto Trasarti, Francesco Bonchi, Bart Goethals	Sequence Mining Automata: A New Technique for Mining Frequent Sequences under Regular Expressions.	ICDM	2008	DBLP DOI BibTeX RDF
2	Cong Tian, Zhenhua Duan	Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions.	TAMC	2008	DBLP DOI BibTeX RDF	Propositional Projection Temporal Logic, B chi automata, ?-regular expression, expressiveness
2	Haiming Chen, Lei Chen	Inclusion Test Algorithms for One-Unambiguous Regular Expressions.	ICTAC	2008	DBLP DOI BibTeX RDF	One-unambiguous regular expression, algorithm, inclusion
2	Wouter Gelade	Succinctness of Regular Expressions with Interleaving, Intersection and Counting.	MFCS	2008	DBLP DOI BibTeX RDF
2	Hermann Gruber, Markus Holzer	Provably Shorter Regular Expressions from Deterministic Finite Automata.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
2	Michela Becchi, Patrick Crowley	Extending finite automata to efficiently match Perl-compatible regular expressions.	CoNEXT	2008	DBLP DOI BibTeX RDF
2	Chia-Tien Dan Lo, Yi-Gang Tai	Highly Space Efficient Counters for Perl Compatible Regular Expressions in FPGAs.	ARC	2008	DBLP DOI BibTeX RDF
2	Berteun Damman, Tingting Han, Joost-Pieter Katoen	Regular Expressions for PCTL Counterexamples.	QEST	2008	DBLP DOI BibTeX RDF
2	Naiyong Jin, Huibiao Zhu	ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions.	ISoLA	2008	DBLP DOI BibTeX RDF	Alternating Automata, Memoryful Synchronization, Satisfiability
2	Efim B. Kinber	On Learning Regular Expressions and Patterns Via Membership and Correction Queries.	ICGI	2008	DBLP DOI BibTeX RDF
2	James Moscola, John W. Lockwood, Young H. Cho	Reconfigurable content-based router using hardware-accelerated language parser.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	parser hardware, XML, pattern matching, Parsing, regular expressions, content-based routing
2	Anthony Cox, Maryanne Fisher	Examining Programmers Cognitive Skills Using Regular Language.	ACHI	2008	DBLP DOI BibTeX RDF	cognitive skills, programming skills, program comprehension, formal language, regular expressions, regular languages
2	Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek	Matchete: Paths through the Pattern Matching Jungle.	PADL	2008	DBLP DOI BibTeX RDF	binary data formats, Java, Pattern matching, XPath, regular expressions
2	Chetan Kumar, Nishith Kumar, Sarani Rangarajan, Narayanaswamy Balakrishnan, Kanagaraj Sekar	A Method to Find Sequentially Separated Motifs in Biological Sequences (SSMBS).	PRIB	2008	DBLP DOI BibTeX RDF	protein and nucleotide sequences, sequence motifs, Regular expressions
2	Marco Almeida, Nelma Moreira, Rogério Reis	Antimirov and Mosses's Rewrite System Revisited.	CIAA	2008	DBLP DOI BibTeX RDF	regular expression equivalence, minimal automata, regular expressions, rewriting systems, regular languages, derivatives, partial derivatives
2	Kathi Fisler	Two-Dimensional Regular Expressions for Compositional Bus Protocols.	FMCAD	2007	DBLP DOI BibTeX RDF
2	Theodore Johnson, S. Muthukrishnan, Irina Rozenbaum	Monitoring Regular Expressions on Out-of-Order Streams.	ICDE	2007	DBLP DOI BibTeX RDF
2	João Bispo, Ioannis Sourdis, João M. P. Cardoso, Stamatis Vassiliadis	Synthesis of Regular Expressions Targeting FPGAs: Current Status and Open Issues.	ARC	2007	DBLP DOI BibTeX RDF
2	Grigore Rosu	An Effective Algorithm for the Membership Problem for Extended Regular Expressions.	FoSSaCS	2007	DBLP DOI BibTeX RDF
2	Michela Becchi, Patrick Crowley	An improved algorithm to accelerate regular expression evaluation.	ANCS	2007	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection
2	Tomas Hruby, Kees van Reeuwijk, Herbert Bos	Ruler: high-speed packet matching and rewriting on NPUs.	ANCS	2007	DBLP DOI BibTeX RDF	TDFA, regular expressions, network processors, deep packet inspection
2	Abhishek Mitra, Walid A. Najjar, Laxmi N. Bhuyan	Compiling PCRE to FPGA for accelerating SNORT IDS.	ANCS	2007	DBLP DOI BibTeX RDF	deep payload inspection, nondeterministic nite automata, intrusion detection system, regular expressions
2	Michela Becchi, Patrick Crowley	A hybrid finite automaton for practical deep packet inspection.	CoNEXT	2007	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection, NFA
2	Ahmet Cetinkaya	Regular expression generation through grammatical evolution.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	regular expressions, grammatical evolution
2	Christopher W. Brown, Eric A. Hardisty	RegeXeX: an interactive system providing regular expression exercises.	SIGCSE	2007	DBLP DOI BibTeX RDF	education, regular expressions, theory of computing
2	Shoham Ben-David, Dana Fisman, Sitvanit Ruah	Temporal Antecedent Failure: Refining Vacuity.	CONCUR	2007	DBLP DOI BibTeX RDF	Vacuity, SVA, Antecedent failure, Model checking, Temporal logic, Regular expressions, PSL
2	Fevzi Belli, Axel Hollmann, Nimal Nissanke	Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Analysis and Testing, Risk Graphs, Safety, User Interactions, Regular Expressions, Event Sequence Graphs
2	Georg Schnitger	Regular Expressions and NFAs Without epsilon-Transitions.	STACS	2006	DBLP DOI BibTeX RDF
2	Henry Larkin	Variables and Reversibility in Object Oriented Regular Expressions.	CIT	2006	DBLP DOI BibTeX RDF
2	Brett D. Estrade, A. Louise Perkins, John M. Harris	Explicitly Parallel Regular Expressions.	IMSCCS	2006	DBLP DOI BibTeX RDF
2	Bart Jacobs	A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
2	Jiming Ma, Haibin Zhu, Wenqian Shang	The Construction Approach of Regular Expressions from Finite Automata Including Multi-Node Loops.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
2	Sailesh Kumar, Jonathan S. Turner, John Williams	Advanced algorithms for fast and scalable deep packet inspection.	ANCS	2006	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection
2	Fang Yu, Zhifeng Chen, Yanlei Diao, T. V. Lakshman, Randy H. Katz	Fast and memory-efficient regular expression matching for deep packet inspection.	ANCS	2006	DBLP DOI BibTeX RDF	deep packet, intrusion detection, inspection, regular expressions, DFA
2	Ugo Galassi, Attilio Giordana	Learning Regular Expressions from Noisy Sequences.	SARA	2005	DBLP DOI BibTeX RDF
2	Gregor Gramlich, Georg Schnitger	Minimizing NFA's and Regular Expressions.	STACS	2005	DBLP DOI BibTeX RDF
2	Jyrki Niemi, Lauri Carlson	Modelling the Semantics of Calendar Expressions as Extended Regular Expressions.	FSMNLP	2005	DBLP DOI BibTeX RDF
2	Henning Fernau	Algorithms for Learning Regular Expressions.	ALT	2005	DBLP DOI BibTeX RDF
2	Jos C. M. Baeten, Flavio Corradini	Regular Expressions in Process Algebra.	LICS	2005	DBLP DOI BibTeX RDF
2	José João Morais, Nelma Moreira, Rogério Reis	Acyclic Automata with Easy-to-Find Short Regular Expressions.	CIAA	2005	DBLP DOI BibTeX RDF
2	Yo-Sub Han, Derick Wood	Shorter Regular Expressions from Finite-State Automata.	CIAA	2005	DBLP DOI BibTeX RDF
2	Joshua J. Cogliati, Frances W. Goosey, Michael T. Grinder, Bradley A. Pascoe, Rockford J. Ross, Cheston J. Williams	Realizing the promise of visualization in the theory of computing.	ACM Journal of Educational Resources in Computing	2005	DBLP DOI BibTeX RDF	hypertextbook, learning applets, active learning, Computer science education, regular expressions, finite state automata, regular languages, theory of computing, regular grammars
2	Wim Martens, Frank Neven, Thomas Schwentick	Complexity of Decision Problems for Simple Regular Expressions.	MFCS	2004	DBLP DOI BibTeX RDF
2	Marcella Anselmo, Dora Giammarresi, Maria Madonia	Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
2	Michiel Frishert, Bruce W. Watson	Combining Regular Expressions with (Near-)Optimal Brzozowski Automata.	CIAA	2004	DBLP DOI BibTeX RDF
2	Jonathan Lee, Jeffrey Shallit	Enumerating Regular Expressions and Their Languages.	CIAA	2004	DBLP DOI BibTeX RDF
2	Bryan Ford	Parsing expression grammars: a recognition-based syntactic foundation.	POPL	2004	DBLP DOI BibTeX RDF	GTDPL, TDPL, packrat parsing, parsing expression grammars, scannerless parsing, syntactic predicates, unified grammars, regular expressions, context-free grammars, lexical analysis, BNF
2	Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli	Synchronized regular expressions.	Acta Inf.	2003	DBLP DOI BibTeX RDF
2	Catalin Dima	Regular Expressions with Timed Dominoes.	DMTCS	2003	DBLP DOI BibTeX RDF
2	Hiroaki Yamamoto	A New Translation from Semi-extended Regular Expressions into NFAs and Its Application to an Approximate Matching Problem.	ISAAC	2003	DBLP DOI BibTeX RDF
2	Michiel Frishert, Loek G. Cleophas, Bruce W. Watson	The Effect of Rewriting Regular Expressions on Their Accepting Automata.	CIAA	2003	DBLP DOI BibTeX RDF
2	Damien Sereni, Oege de Moor	Static analysis of aspects.	AOSD	2003	DBLP DOI BibTeX RDF	meet-over-all-paths, compilers, analysis, regular expressions, aspects
2	Lucian Ilie, Baozhen Shan, Sheng Yu	Fast Algorithms for Extended Regular Expression Matching and Searching.	STACS	2003	DBLP DOI BibTeX RDF	extended regular expressions, algorithms, complexity, pattern matching, finite automata
2	Eugene Asarin, Paul Caspi, Oded Maler	Timed regular expressions.	J. ACM	2002	DBLP DOI BibTeX RDF	Kleene theorem, timed languages, timed automata
2	Orna Kupferman, Sharon Zuhovitzky	An Improved Algorithm for the Membership Problem for Extended Regular Expressions.	MFCS	2002	DBLP DOI BibTeX RDF
2	Holger Petersen	The Membership Problem for Regular Expressions with Intersection Is Complete in LOGCFL.	STACS	2002	DBLP DOI BibTeX RDF
2	R. Ian Bull, Andrew Trevors, Andrew J. Malton, Michael W. Godfrey	Semantic Grep: Regular Expressions + Relational Abstraction. (PDF / PS)	WCRE	2002	DBLP DOI BibTeX RDF
2	Sebastian Seibert	Efficient Transformations from Regular Expressions to Finite Automata.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
2	Minos N. Garofalakis, Rajeev Rastogi, Kyuseok Shim	Mining Sequential Patterns with Regular Expression Constraints.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	Data mining, constraints, regular expressions, finite automata, sequential patterns
2	Lucian Ilie, Sheng Yu	Algorithms for Computing Small NFAs.	MFCS	2002	DBLP DOI BibTeX RDF	follow relations, invariant equivalences, algorithms, regular expressions, positions, partial derivatives, quotients, nondeterministic finite automata
2	Cezar Câmpeanu, Kai Salomaa, Sheng Yu	Regex and Extended Regex.	CIAA	2002	DBLP DOI BibTeX RDF	regex, extended regex, programming languages, formal languages, Regular expressions
2	Alfredo Benso, Stefano Di Carlo, Giorgio Di Natale, Paolo Prinetto, Luca Tagliaferri	Control-Flow Checking via Regular Expressions.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
2	Hiroaki Yamamoto	A New Recognition Algorithm for Extended Regular Expressions.	ISAAC	2001	DBLP DOI BibTeX RDF
2	Hiroaki Yamamoto	An Automata-Based Recognition Algorithm for Semi-extended Regular Expressions.	MFCS	2000	DBLP DOI BibTeX RDF
2	Marek Trabalka, Mária Bieliková	Realization of Syntactic Parser for Inflectional Language Using XML and Regular Expressions.	TSD	2000	DBLP DOI BibTeX RDF