Search results for "Infix"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	Oleg V. Kudinov, Victor L. Selivanov	Definability in the Infix Order on Words.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF	Infix order, least fixed point, biinterpretability, definability, automorphism, first-order theory
59	Ludwig Staiger	Rich omega-Words and Monadic Second-Order Arithmetic.	CSL	1997	DBLP DOI BibTeX RDF
50	Clifton Kussmaul	Novel language syntax to enhance readability: white space, parameter sets, & control structures.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	infix objects, multiple parameter sets, white space, control structures
48	Mihai Oltean, Crina Grosan	Solving Classification Problems Using Infix Form Genetic Programming.	IDA	2003	DBLP DOI BibTeX RDF
48	Clifford A. Reiter	Infix, Cut and Finite Automata.	APL	1995	DBLP DOI BibTeX RDF	APL, J
39	Jan-Henrik Altenbernd	On Bifix Systems and Generalizations.	LATA	2008	DBLP DOI BibTeX RDF
39	Atef Bader, Shangping Ren, Husein Armouti	Delta Changes for OO Software Adaptation: Pervasive or Invasive?	HICSS	2005	DBLP DOI BibTeX RDF	Weaving Rules, functionality slice, Aspect-Oriented, Software Adaptation, Join Points
39	Annika Aasa	Precedences in Specifications and Implementations of Programming Languages. (long version: TCS 142(1): 3-26 (1995))	PLILP	1991	DBLP DOI BibTeX RDF
31	Chuan Cai, Xun Lai, Wei Su 0008, Lian Li, Paul S. Wang	A Web-Based Mathematical User Interface for E-Science System.	GCC	2009	DBLP DOI BibTeX RDF	OpenMath, Infix, Mathematical Formula Editing, Interactive Geometry System, XML, SVG, e-Science, DOM, LaTex
28	Haiyan Liu, Rongdong Cui, Tianjie Zhang	n-PS-codes, 2-infix-outfix codes and some related classes of codes.	Acta Informatica	2024	DBLP DOI BibTeX RDF
28	Michael Martini, Daniel Schuster 0001, Wil M. P. van der Aalst	Mining Frequent Infix Patterns from Concurrency-Aware Process Execution Variants. (PDF / PS)	Proc. VLDB Endow.	2023	DBLP DOI BibTeX RDF
28	Adam Paszke, Ningning Xie	Infix-Extensible Record Types for Tabular Data.	TyDe@ICFP	2023	DBLP DOI BibTeX RDF
28	Jakub Michaliszyn, Jan Otop, Piotr Wieczorek	Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix.	CONCUR	2023	DBLP DOI BibTeX RDF
28	Daniel Schuster 0001, Niklas Föcking, Sebastiaan J. van Zelst, Wil M. P. van der Aalst	Conformance Checking for Trace Fragments Using Infix and Postfix Alignments.	CoRR	2022	DBLP DOI BibTeX RDF
28	Hyunjoon Cheon, Joonghyuk Hahn, Yo-Sub Han	On the Decidability of Infix Inclusion Problem.	DLT	2022	DBLP DOI BibTeX RDF
28	Daniel Schuster 0001, Niklas Föcking, Sebastiaan J. van Zelst, Wil M. P. van der Aalst	Conformance Checking for Trace Fragments Using Infix and Postfix Alignments.	CoopIS	2022	DBLP DOI BibTeX RDF
28	Marc-André Bélanger, Marc Feeley	A Scheme Foreign Function Interface to JavaScript Based on an Infix Extension.	ELS	2021	DBLP BibTeX RDF
28	Stavros Konstantinidis	Every Regular Bifix Code is a Finite Union of Regular Infix Codes.	J. Autom. Lang. Comb.	2020	DBLP DOI BibTeX RDF
28	Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer	InFix: Automatically Repairing Novice Program Inputs.	ASE	2019	DBLP DOI BibTeX RDF
28	Marco Cognetta, Yo-Sub Han, Soon Chan Kwon	Online Infix Probability Computation for Probabilistic Finite Automata.	ACL (1)	2019	DBLP DOI BibTeX RDF
28	Marco Cognetta, Yo-Sub Han, Soon Chan Kwon	Incremental Computation of Infix Probabilities for Probabilistic Finite Automata.	EMNLP	2018	DBLP DOI BibTeX RDF
28	Tarek Sakakini, Suma Bhat, Pramod Viswanath	Fixing the Infix: Unsupervised Discovery of Root-and-Pattern Morphology.	CoRR	2017	DBLP BibTeX RDF
28	Ryosuke Kojima, Taisuke Sato	Goal and Plan Recognition via Parse Trees Using Prefix and Infix Probability Computation.	ILP	2014	DBLP DOI BibTeX RDF
28	Jon Rafkind	Syntactic Extension for Languages with Implicitly Delimited and Infix Syntax.		2013	RDF
28	Yi-Hua Edward Yang, Oguzhan Erdem, Viktor K. Prasanna	High Performance IP Lookup on FPGA with Combined Length-Infix Pipelined Search.	FCCM	2011	DBLP DOI BibTeX RDF
28	Mark-Jan Nederhof, Giorgio Satta	Computation of Infix Probabilities for Probabilistic Context-Free Grammars.	EMNLP	2011	DBLP BibTeX RDF
28	Elena V. Pribavkina, Emanuele Rodaro	State Complexity of Prefix, Suffix, Bifix and Infix Operators on Regular Languages.	Developments in Language Theory	2010	DBLP DOI BibTeX RDF
28	Yo-Sub Han, Yajun Wang, Derick Wood	Infix-free Regular Expressions and Languages.	Int. J. Found. Comput. Sci.	2006	DBLP DOI BibTeX RDF
28	Dongyang Long, Weijia Jia 0001, Jian Ma 0008, Duanning Zhou	k-p-Infix codes and semaphore codes.	Discret. Appl. Math.	2001	DBLP DOI BibTeX RDF
28	Marlene Gerhardt	Generierung und praxisbezogene Optimierung von Infix-Analysatoren für LR-Grammatiken.		1999	RDF
28	Dongyang Long, Jian Ma 0008, Duanning Zhou	Structure of 3-Infix-Outfix Maximal Codes.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
28	Masami Ito, Gabriel Thierrin	Congruences, Infix and Cohesive Prefix Codes.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
28	Masami Ito, Helmut Jürgensen, Huei-Jan Shyr, Gabriel Thierrin	Outfix and Infix Codes and Related Classes of Languages.	J. Comput. Syst. Sci.	1991	DBLP DOI BibTeX RDF
28	Michael P. Barnett, Rui Xu	Infix to prefix conversion as a PST reduction.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
28	Y. N. Srikant, Priti Shankar	A new parallel algorithm for parsing arithmetic infix expressions.	Parallel Comput.	1987	DBLP DOI BibTeX RDF
28	Shimon Cohen	Simplicity = efficiency = readability a simple infix to prefix algorithm.	ACM SIGPLAN Notices	1981	DBLP DOI BibTeX RDF
28	Edward M. Reingold	Infix to Prefix Translation: The Insufficiency of a Pushdown Stack.	SIAM J. Comput.	1972	DBLP DOI BibTeX RDF
20	Bo Cui 0001, Lila Kari, Shinnosuke Seki	On the Reversibility of Parallel Insertion, and Its Relation to Comma Codes.	CAI	2009	DBLP DOI BibTeX RDF
20	Jose Falcon, William R. Cook	Gel: A Generic Extensible Language.	DSL	2009	DBLP DOI BibTeX RDF
20	Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink	Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime.	Haskell	2008	DBLP DOI BibTeX RDF	left-corner transform, typed abstract syntax, typed transformations, type systems, haskell, meta programming, gadt, parser combinators
20	Wei Su 0008, Paul S. Wang, Lian Li	An On-line MathML Editing Tool for Web Applications.	IMSCCS	2007	DBLP DOI BibTeX RDF
20	Yo-Sub Han, Derick Wood	Overlap-Free Regular Languages.	COCOON	2006	DBLP DOI BibTeX RDF
20	Natasa Jonoska, Kalpana Mahalingam, Junghuei Chen	Involution codes: with application to DNA coded languages.	Nat. Comput.	2005	DBLP DOI BibTeX RDF	DNA codes, Watson-Crick involution, codes
20	Syuzi Okamura, Isao Matushima, Yoneo Yano	The Effective Learning Support Strategy for Self Learning with Problem-Based Learning.	C5	2005	DBLP DOI BibTeX RDF
20	Yo-Sub Han, Derick Wood	A New Linearizing Restriction in the Pattern Matching Problem.	FCT	2005	DBLP DOI BibTeX RDF	string pattern matching, design and analysis of algorithms, Automata and formal languages
20	Slim Kanoun, Adel M. Alimi, Yves Lecourtier	Affixal Approach for Arabic Decomposable Vocabulary Recognition: A Validation on Printed Word in Only One Font.	ICDAR	2005	DBLP DOI BibTeX RDF
20	Michael Domaratzki	Trajectory-based codes.	Acta Informatica	2004	DBLP DOI BibTeX RDF
20	Joseph M. Morris	Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy.	MPC	2004	DBLP DOI BibTeX RDF
20	Ayal Z. Pinkus, Serge Winitzki	YACAS: A Do-It-Yourself Symbolic Algebra Environment.	AISC	2002	DBLP DOI BibTeX RDF
20	Antony A. Faustini, William W. Wadge	An eductive interpreter for Lucid.	PLDI	1987	DBLP DOI BibTeX RDF	LUCID