Search results for "r-regular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu	Parametric regular path queries.	PLDI	2004	DBLP DOI BibTeX RDF	data tructures, graph query languages, optimization, algorithms, model checking, program analysis, regular expressions, memoization, precomputation, regular path queries
52	Marie-Pierre Béal, Dominique Perrin	On the generating sequences of regular languages on k symbols.	J. ACM	2003	DBLP DOI BibTeX RDF	Generating sequences, rational sequences, regular sequences, regular languages
51	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
48	Anthony Cox, Maryanne Fisher	Examining Programmer's Cognitive Skills Using Regular Language.	ACHI	2008	DBLP DOI BibTeX RDF	cognitive skills, programming skills, program comprehension, formal language, regular expressions, regular languages
48	Heping Zhang	Regular Coronoids and Ear Decompositions of Plane Elementary Bipartite Graphs.	CJCDGCGT	2005	DBLP DOI BibTeX RDF	Regular coronoid, normal coronoid, plane elementary bipartite graph, regular decomposition, perfect matching, ear decomposition
48	Lucian Ilie, Sheng Yu 0001	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
48	Lucian Ilie, Baozhen Shan, Sheng Yu 0001	Fast Algorithms for Extended Regular Expression Matching and Searching.	STACS	2003	DBLP DOI BibTeX RDF	extended regular expressions, algorithms, complexity, pattern matching, finite automata
44	Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi	Regular Vacuity.	CHARME	2005	DBLP DOI BibTeX RDF
44	Ramón Béjar, Felip Manyà	A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas.	ESCQARU	1999	DBLP DOI BibTeX RDF
44	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 J. Educ. Resour. Comput.	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
41	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
41	Sergey A. Afonin	The View Selection Problem for Regular Path Queries.	LATIN	2008	DBLP DOI BibTeX RDF	view selection problem, semigroups of regular languages, regular path queries
41	Li Sheng, Yongming Li 0001	Regular grammars with truth values in lattice-ordered monoid and their languages.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Fuzzy finite automata, Fuzzy regular grammar, Fuzzy regular language, Lattice-ordered monoid
41	Ioannis Sourdis, João Bispo, João M. P. Cardoso, Stamatis Vassiliadis	Regular Expression Matching in Reconfigurable Hardware.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	network security, pattern matching, regular expression, reconfigurable hardware
41	Sailesh Kumar, Sarang Dharmapurikar, Fang Yu 0002, 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
41	Yanxi Liu 0001, Wen-Chieh Lin, James Hays	Near-regular texture analysis and manipulation.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	deformation field, near-regular texture, texture manipulation, texture replacement, texture synthesis, texture analysis
41	J. Divyasree, H. Rajashekar, Kuruvilla Varghese	Dynamically reconfigurable regular expression matching architecture.	ASAP	2008	DBLP DOI BibTeX RDF
41	Anne Brüggemann-Klein, Derick Wood	Deterministic Regular Languages.	STACS	1992	DBLP DOI BibTeX RDF	Classification Automata and formal languages, esp. formal models in document processing
40	Attila Kondacs, John Watrous	On the Power of Quantum Finite State Automata.	FOCS	1997	DBLP DOI BibTeX RDF	quantum finite state automata, non-regular language, finite automata, finite state automata, regular languages
40	Till Plewe	Quotient Maps of Locales.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closed surjections, simple coverings, singly generated frame extensions, extremal epimorphisms, regular epimorphisms, quotient maps, weak quotient maps, equationally closed subframes, locales
38	Josep Rifà-Coma	On a Categorial Isomorphism between a Class of Completely Regular Codes and a Class of Distance Regular Graphs.	AAECC	1990	DBLP DOI BibTeX RDF
37	Xin Li 0009, Marc Moreno Maza, Wei Pan 0001	Computations modulo regular chains.	ISSAC	2009	DBLP DOI BibTeX RDF	fast polynomial arithmetic, regular chain, regular gcd, polynomial systems, triangular decomposition, subresultants
37	Wen-Chieh Lin, Yanxi Liu 0001	A Lattice-Based MRF Model for Dynamic Near-Regular Texture Tracking.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	Near-regular texture, dynamic near-regular texture tracking, texture replacement, visual tracking, video editing, model-based tracking
37	Artur Jez	Conjunctive Grammars Can Generate Non-regular Unary Languages.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF	Conjunctive grammars, unary alphabet, non-regular languages, regular languages
37	Akira Hiraki, Jack H. Koolen	A Note on Regular Near Polygons.	Graphs Comb.	2004	DBLP DOI BibTeX RDF	Regular near polygon, Distance-regular graph
37	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
37	Jarke J. van Wijk	Symmetric tiling of closed surfaces: visualization of regular maps.	ACM Trans. Graph.	2009	DBLP DOI BibTeX RDF	regular maps, surface topology, meshes, tiling, tessellation, mathematical visualization
37	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
37	Christopher W. Brown 0001, Eric A. Hardisty	RegeXeX: an interactive system providing regular expression exercises.	SIGCSE	2007	DBLP DOI BibTeX RDF	education, regular expressions, theory of computing
37	Yacine Boufkhad, Olivier Dubois 0002, Yannet Interian, Bart Selman	Regular Random k-SAT: Properties of Balanced Formulas.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	regular, satisfiability, phase transition, Boolean formulae, k-SAT
37	Yanxi Liu 0001, Yanghai Tsin, Wen-Chieh Lin	The Promise and Perils of Near-Regular Texture.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	near-regular texture, texture synthesis, lattice, texture analysis, symmetry groups
37	Burak Emir	Compiling regular patterns to sequential machines.	SAC	2005	DBLP DOI BibTeX RDF	regular patterns, matching, sequential machines
37	Abdullah N. Arslan	Regular Expression Constrained Sequence Alignment.	CPM	2005	DBLP DOI BibTeX RDF	dynamic programming, pattern matching, Regular expression, sequence alignment, finite automaton
37	William Duckworth, Bernard Mans	Randomised Algorithms for Finding Small Weakly-Connected Dominating Sets of Regular Graphs.	CIAC	2003	DBLP DOI BibTeX RDF	weakly-connected, dominating sets, random regular graphs
37	Slawomir Lasota 0001	Behavioural Constructor Implementation for Regular Algebras.	LPAR	2000	DBLP DOI BibTeX RDF	regular algebras, behavioural constructor implementation, proofs of behavioural properties, Algebraic specifications, observational equivalence
37	Felip Manyà, Ramón Béjar, Gonzalo Escalada-Imaz	The satisfiability problem in regular CNF-formulas.	Soft Comput.	1998	DBLP DOI BibTeX RDF	Multiple-valued regular CNF-formulas, benchmarks, threshold, satisfiability problem
37	Ergun Akleman, Jianer Chen	Regular meshes.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF
37	Hiroyuki Izumi, Yasuyoshi Inagaki, Namio Honda	A Complete Axiom System for Algebra of Closed-Regular Expression.	ICALP	1984	DBLP DOI BibTeX RDF
37	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
37	Kung Fu Ng, Wei Hong Yang	Regularities and their relations to error bounds.	Math. Program.	2004	DBLP DOI BibTeX RDF	epigraph, linearly regular, property (G), strong CHIP, tangent cone, positive linear functional, graph, regular, error bound, normal cone, multifunction
37	Elena Zheleva, Abdullah N. Arslan	Fast Motif Search in Protein Sequence Databases.	CSR	2006	DBLP DOI BibTeX RDF	motif search, PROSITE pattern, heuristic, suffix tree, preprocessing, regular expression matching
34	Ömer Egecioglu	Strongly Regular Grammars and Regular Approximation of Context-Free Languages.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
34	Ergun Akleman, Jianer Chen	Regular Mesh Construction Algorithms using Regular Handles.	SMI	2006	DBLP DOI BibTeX RDF
34	Thomas Eiter, Georg Gottlob, Thomas Schwentick	Second-Order Logic over Strings: Regular and Non-regular Fragments.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
34	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
34	Jean Paul Stromboni	Partitioning regular computational graphs.	EUROMICRO	1997	DBLP DOI BibTeX RDF	regular computational graph partitioning, massive applications, computational graph, array processing operations, strong regularity, dependence vectors, loop parameters, periodic dependence constraints, small example regular graph, parallel processing, program analysis, signal processing, parallel machine, nested loops, application program, array signal processing, application designer, loop nests
34	Yang Zeng, Santosh G. Abraham	Partitioning regular grid applications with irregular boundaries for cache-coherent multiprocessors.	IPPS	1995	DBLP DOI BibTeX RDF	partitioning regular grid applications, irregular boundaries, cache-coherent multiprocessors, regular grid, domain decomposition techniques, message passing multiprocessors, false coherency traffic, cache line, coalescing algorithm, domain decomposition algorithm, Indian Ocean circulation application, KSR1 multiprocessor, coherency traffic, message passing, multiprocessing systems, interprocessor communication
33	Renato J. Cintra, Todor V. Cooklev	Robust image watermarking using non-regular wavelets.	Signal Image Video Process.	2009	DBLP DOI BibTeX RDF	Non-regular wavelets, JPEG compression, Robust watermarking
33	Peter McMullen	Regular Apeirotopes of Dimension and Rank 4.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Apeirotope, Abstract, Rank, Regular, Dimension, Polytope, Realization
33	Cheng-Hung Lin, Hsien-Sheng Hsiao	Hierarchical state machine architecture for regular expression pattern matching.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	pattern matching, regular expression, state machine
33	Haiming Chen, Lei Chen	Inclusion Test Algorithms for One-Unambiguous Regular Expressions.	ICTAC	2008	DBLP DOI BibTeX RDF	One-unambiguous regular expression, algorithm, inclusion
33	Syed Khairuzzaman Tanbeer, Chowdhury Farhan Ahmed, Byeong-Soo Jeong, Young-Koo Lee	RP-Tree: A Tree Structure to Discover Regular Patterns in Transactional Database.	IDEAL	2008	DBLP DOI BibTeX RDF	regular pattern, cyclic pattern, Data mining, pattern mining
33	Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne	Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical or Not on the Minimal Deterministic Automaton of Pref(L).	CIAA	2008	DBLP DOI BibTeX RDF	minimal automaton, geometrical language, geometricity test, temporal validation, Finite automata, regular languages
33	Miad Faezipour, Mehrdad Nourani	Constraint Repetition Inspection for Regular Expression on FPGA.	Hot Interconnects	2008	DBLP DOI BibTeX RDF	Non-deterministic Finite Automata, Constraint Repetition Inspection, Regular Expression, Network Intrusion Detection System
33	Yi-Hua E. Yang, Weirong Jiang, Viktor K. Prasanna	Compact architecture for high-throughput regular expression matching on FPGA.	ANCS	2008	DBLP DOI BibTeX RDF	BRAM, FPGA, intrusion detection, finite state machine, regular expression, NFA
33	Victor L. Selivanov	Fine Hierarchy of Regular Aperiodic omega -Languages.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF	acceptor, regular aperiodic ?-language, Wagner hierarchy, reducibility, Automaton, transducer
33	Ahmet Cetinkaya	Regular expression generation through grammatical evolution.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	regular expressions, grammatical evolution
33	Fang Yu 0002, 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
33	Jeong Han Kim, Van H. Vu	Generating random regular graphs.	STOC	2003	DBLP DOI BibTeX RDF	configuration model, concentration, inequality, random regular graph
33	D. Gnanaraj Thomas, M. Humrosia Begam, K. G. Subramanian 0001, S. Gnanasekaran	Learning of Regular Bi-omega Languages.	ICGI	2002	DBLP DOI BibTeX RDF	local bi-$omega$ languages, recognizable bi-$omega$ languages, rational bi-adherence languages, B$ddot{u}$chi local bi-$omega$ languages, regular bi-$omega$ languages, Learning algorithm
33	Burkhard Monien, Robert Preis	Upper Bounds on the Bisection Width of 3- and 4-Regular Graphs.	MFCS	2001	DBLP DOI BibTeX RDF	local improvement, graph partitioning, regular graphs, bisection width
33	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi	Answering Regular Path Queries Using Views.	ICDE	2000	DBLP DOI BibTeX RDF	semistructured databases, query answering using views, integration, query rewriting, regular path queries
33	Donald G. Bailey	Detecting Regular Patterns Using Frequency Domain Self-Filtering.	ICIP (1)	1997	DBLP DOI BibTeX RDF	regular patterns, frequency domain self-filtering, frequency content, image processing, interpolation, noise, detection, smoothing, enhancement, extrapolation, spatial domain, band-pass filters, spatial frequencies, bandpass filtering
33	Giorgos Vasiliadis, Michalis Polychronakis, Spyros Antonatos, Evangelos P. Markatos, Sotiris Ioannidis	Regular Expression Matching on Graphics Hardware for Intrusion Detection.	RAID	2009	DBLP DOI BibTeX RDF
33	Christof Löding	Reachability Problems on Regular Ground Tree Rewriting Graphs.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
33	Brett D. Estrade, A. Louise Perkins, John M. Harris	Explicitly Parallel Regular Expressions.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
33	Sébastien Limet, Pierre Pillot	Solving First Order Formulae of Pseudo-Regular Theory.	ICTAC	2005	DBLP DOI BibTeX RDF
33	Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini	Self-embedded context-free grammars with regular counterparts.	Acta Informatica	2004	DBLP DOI BibTeX RDF
33	Dhruva R. Chakrabarti, Prithviraj Banerjee	A Novel Compilation Framework for Supporting Semi-Regular Distributions in Hybrid Applications.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
33	M. Zafar Ullah Khan, M. Mubashir Hussain, Dil Muhammad Akbar Hussain	Design and Implementation of a Selective Harmonic Elimination SPWM Strategy-Based Inverter.	IMTIC	2008	DBLP DOI BibTeX RDF	Sinusoidal Pulse Width Modulation (SPWM), Selective Harmonic Elimination SPWM (SHE SPWM), Total Harmonic Distortion (THD), Natural Sampling SPWM, Regular Sampled Asymmetric SPWM, Modified Asymmetric Regular Sampled SPWM, Regular Sampled Symmetric SPWM, PIC Microcontroller, Gate Drive Amplifier (GDA), MATLAB
33	Pablo Barceló, Carlos A. Hurtado, Leonid Libkin, Peter T. Wood	Expressive languages for path queries over graph-structured data.	PODS	2010	DBLP DOI BibTeX RDF	regular relations, conjunctive queries, graph databases, regular path queries
33	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
33	Doran Wilde, Sanjay V. Rajopadhye	The naive execution of affine recurrence equations.	ASAP	1995	DBLP DOI BibTeX RDF	algorithmic languages, regular arrays, ALPHA language, computer aided design methodology, regular array architectures, algorithmic specification, imperative sequential language C, applicative caching, 1-dimensional storage, formal specification, circuit CAD, hardware description languages, nested loops, polyhedron, transformational approach, C-code, affine recurrence equations
33	Jirí Síma, Jirí Wiedermann	Theory of Neuromata.	J. ACM	1998	DBLP DOI BibTeX RDF	emptiness problem, finite neural networks, string acceptors, regular expressions, descriptional complexity, Hopfield networks
30	Oscar Moreno, Victor A. Zinoviev	Some sufficient conditions for 4-regular graphs to have 3-regular subgraphs.	Algebraic Coding	1993	DBLP DOI BibTeX RDF
30	T. V. Lakshman, Victor K. Wei	Distributed Computing on Regular Networks with Anonymous Nodes.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	anonymous nodes, communication-delay product, efficiency objective, sumlike operations, finite projective planes, metrically regular graphs, distributed algorithms, distributed algorithms, distributed computing, distributed computations, message passing, hypercubes, hypercube networks, information dissemination, trade-off, message complexity, sparse graphs, regular networks
30	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
30	Jinseong Jeon, Keoncheol Shin, Hwansoo Han	Abstracting access patterns of dynamic memory using regular expressions.	ACM Trans. Archit. Code Optim.	2009	DBLP DOI BibTeX RDF	field affinity, layout transformation, pool allocation, regular expressions, Access patterns
30	JinGang Xie, QingPing Tan, GuoRong Cao	Modeling and Analyzing Web Service Behavior with Regular Flow Nets.	WISM	2009	DBLP DOI BibTeX RDF	regular flow net, symbolic coverability tree, Web service behavior
30	Dana Pardubská, Martin Plátek, Friedrich Otto	Parallel Communicating Grammar Systems with Regular Control.	CAI	2009	DBLP DOI BibTeX RDF	parallel communicating grammar system, regular control, bounded communication complexity, freely rewriting restarting automaton
30	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
30	Jianning Wang, Manuel M. Oliveira, Haitao Zhang, Arie E. Kaufman	Reconstructing regular meshes from points.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Regular mesh, Point parameterization, Cut handling, Surface reconstruction
30	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
30	Olufemi Komolafe, David A. Harle	An holistic framework for regular virtual topology design.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	multi-processor interconnection architectures, regular virtual topology design, graph theory, combinatorial optimization, WDM networks
30	Zhihong He, Guojun Li, Dawei Ding, Quanhui Liu	Componentwise Complementary Cycles in Almost Regular 3-Partite Tournaments.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	almost regular, componentwise complementary cycles, tournament
30	Michal Koucký 0001	Circuit Complexity of Regular Languages.	CiE	2007	DBLP DOI BibTeX RDF	circuit complexity, regular languages
30	Nelma Moreira, Rogério Reis	Interactive manipulation of regular objects with FAdo.	ITiCSE	2005	DBLP DOI BibTeX RDF	interactive visual tools, e-learning, automata theory, regular languages
30	Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng	Duration-constrained regular expressions.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Regular expressions, Hybrid automata, Duration Calculus
30	Niklas Broberg, Andreas Farre, Josef Svenningsson	Regular expression patterns.	ICFP	2004	DBLP DOI BibTeX RDF	pattern matching, haskell, regular expressions
30	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
30	Eitan Altman, Bruno Gaujal, Arie Hordijk	Regular Ordering and Applications in Control Policies.	Discret. Event Dyn. Syst.	2002	DBLP DOI BibTeX RDF	schur convexity, regular ordering balanced sequences, (max, plus) algebra, admission control
30	Till Plewe, Ales Pultr, Anna Tozzi	Regular Monomorphisms of Hausdorff Frames.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	Hausdorff property, regular monomorphisms resp. epimorphisms, quotient mappings, locales, frames
30	Dan R. Ghica, Guy McCusker	Reasoning about Idealized ALGOL Using Regular Languages.	ICALP	2000	DBLP DOI BibTeX RDF	ALGOL-like languages, regular languages, Game semantics
30	Noga Alon, Michael Krivelevich, Ilan Newman, Mario Szegedy	Regular Languages Are Testable with a Constant Number of Queries.	FOCS	1999	DBLP DOI BibTeX RDF	testing, randomized algorithms, regular languages
30	Swarup Mohalik, Ramaswamy Ramanujam	A Presentation of Regular Languages in the Assumption - Commitment Framework.	ACSD	1998	DBLP DOI BibTeX RDF	assumption-commitment, distributed systems, Regular languages
30	Eugene W. Myers	A Four Russians Algorithm for Regular Expression Pattern Matching.	J. ACM	1992	DBLP DOI BibTeX RDF	Four Russians paradigm, node listing, regular expression, finite automaton
30	Paul Havlak, Ken Kennedy	An Implementation of Interprocedural Bounded Regular Section Analysis.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	interprocedural bounded regular section analysis, subarrays, production compiler, high-level language constructs, programmingsupport systems, LINPACK library, linear algebra subroutines, RiceCompiler Evaluation Program Suite, RiCEPS, application codes, scientific disciplines, modular programming style, parallel programming, program testing, program compilers, dependence analysis, optimizing compilers, procedure calls
30	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
30	Stanko Dimitrov, Parameshwaran Krishnan, Colin L. Mallows, Jean Meloche, Shalini Yajnik	r3: Resilient Random Regular Graphs.	DISC	2008	DBLP DOI BibTeX RDF
30	Noga Alon, Asaf Shapira, Uri Stav	Can a Graph Have Distinct Regular Partitions?	COCOON	2007	DBLP DOI BibTeX RDF