Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Chi Tat Chong, Liang Yu |
Recursion Theory - Computational Aspects of Definability. |
|
2015 |
RDF |
|
13 | Son Thanh Cao |
On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases. |
ICCSAMA |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Roussanka Loukanova |
Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion. |
FQAS |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Juan L. Reutter, Adrián Soto, Domagoj Vrgoc |
Recursion in SPARQL. |
ISWC (1) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Brigitte Pientka, Andreas Abel 0001 |
Well-Founded Recursion over Contextual Objects. |
TLCA |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal |
Programming and Reasoning with Guarded Recursion for Coinductive Types. |
FoSSaCS |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ravi Chugh |
IsoLATE: A Type System for Self-recursion. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond |
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Minming Ni, Jianping Pan 0001, Miao Hu, Zhangdui Zhong |
Recursion-Based Analysis for Information Propagation in Vehicular Ad Hoc Networks. |
GLOBECOM |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski |
Eliminating Recursion from Monadic Datalog Programs on Trees. |
MFCS (1) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Giulia Pedrielli, Szu Hui Ng |
Kriging-based simulation-optimization: a stochastic recursion perspective. |
WSC |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir |
On Verifying Hennessy-Milner Logic with Recursion at Runtime. |
RV |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Steven Phillips, William H. Wilson |
Cognitive architecture and second-order systematicity: categorical compositionality and a (co)recursion model of systematic learning. |
CogSci |
2015 |
DBLP BibTeX RDF |
|
13 | Jun Lai, Emiel Krahmer, Jan Sprenger |
The learnability of Auditory Center-embedded Recursion. |
CogSci |
2015 |
DBLP BibTeX RDF |
|
13 | Paul Downen, Philip Johnson-Freyd, Zena M. Ariola |
Structures for structural recursion. |
ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Renée A. McCauley, Brian Hanks, Sue Fitzgerald, Laurie Murphy |
Recursion vs. Iteration: An Empirical Study of Comprehension Revisited. |
SIGCSE |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Matic Horvat, Ann A. Copestake, Bill Byrne |
Hierarchical Statistical Semantic Realization for Minimal Recursion Semantics. |
ICWS |
2015 |
DBLP BibTeX RDF |
|
13 | Hiroshi Unno 0001, Tachio Terauchi |
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Thom W. Frühwirth |
A devil's advocate against termination of direct recursion. |
PPDP |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Jesús Sánchez Cuadrado |
Recursion and Iteration Support in USE Validator with AnATLyzer. |
OCL@MoDELS |
2015 |
DBLP BibTeX RDF |
|
13 | Chao Su, Heyan Huang, Shumin Shi, Ping Jian |
Chinese Text Analysis Based on Minimal Recursion Semantics. |
CLSW |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Omar AlZoubi, Davide Fossati, Barbara Di Eugenio, Nick E. Green, Mehrdad Alizadeh, Rachel Harsley |
A Hybrid Model for Teaching Recursion. |
SIGITE |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Coraluppi, Craig Carthel |
Generalizations to the track-oriented MHT recursion. |
FUSION |
2015 |
DBLP BibTeX RDF |
|
13 | Christopher W. Fletcher, Ling Ren 0001, Albert Kwon, Marten van Dijk, Srinivas Devadas |
Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM. |
ASPLOS |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Naoki Nishida 0001, Germán Vidal |
Conversion to tail recursion in term rewriting. |
J. Log. Algebraic Methods Program. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Nathanael Leedom Ackerman |
Sheaf Recursion and a Separation Theorem. |
J. Symb. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Sato Kentaro |
Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories. |
J. Symb. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | C. T. Chong, Wei Li 0050, Yue Yang 0004 |
Nonstandard Models in Recursion Theory and Reverse Mathematics. |
Bull. Symb. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Mike Burrell, J. Robin B. Cockett, Brian F. Redmond |
Safe recursion revisited I: Categorical semantics for lower complexity. |
Theor. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Kenneth R. Paap, Derek Partridge |
Recursion Isn't Necessary for Human Language Processing: NEAR (Non-iterative Explicit Alternatives Rule) Grammars are Superior. |
Minds Mach. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Wolfgang Jeltsch |
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. |
MSFP |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Naohi Eguchi |
Proving Termination of Unfolding Graph Rewriting for General Safe Recursion. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Thomas Powell 0001 |
Parametrised bar recursion: A unifying framework for realizability interpretations of classical dependent choice. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Paulo Oliva, Thomas Powell 0001 |
Bar recursion over finite partial functions. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Ashutosh Gupta 0001, Corneliu Popeea, Andrey Rybalchenko |
Generalised Interpolation by Solving Recursion-Free Horn Clauses |
HCVS |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt 0002 |
Guarding (Co)Recursion in Coalgebraic Logic Programming. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Ugo Dal Lago, Sara Zuppiroli |
Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version). |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Mingsheng Ying |
Quantum Recursion and Second Quantisation: Basic Ideas and Examples. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | Martín Hötzel Escardó, Paulo Oliva |
Bar Recursion and Products of Selection Functions. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
13 | David J. Lobina |
Probing recursion. |
Cogn. Process. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Natasa Jonoska, Daria Karpenko |
Active Tile Self-assembly, Part 2: Self-Similar Structures and Structural Recursion. |
Int. J. Found. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ugo Dal Lago, Sara Zuppiroli, Maurizio Gabbrielli |
Probabilistic Recursion Theory and Implicit Computational Complexity. |
Sci. Ann. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Kathiravan Srinivasan, Kanakaraj Jaganathan |
Super-resolution Techniques based on Temporal Recursion using Optimal and Real Parameters. |
Smart Comput. Rev. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Sérgio Medeiros 0001, Fabio Mascarenhas, Roberto Ierusalimschy |
Left recursion in Parsing Expression Grammars. |
Sci. Comput. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Francesco Bartolucci, Silvia Pandolfi |
A New Constant Memory Recursion for Hidden Markov Models. |
J. Comput. Biol. |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Baltasar Trancón y Widemann, Michael Hauhs |
Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Elisabeth Lien, Milen Kouylekov |
UIO-Lien: Entailment Recognition using Minimal Recursion Semantics. |
SemEval@COLING |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ugo Dal Lago, Sara Zuppiroli |
Probabilistic Recursion Theory and Implicit Computational Complexity. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Edward M. Reingold |
Four Apt Elementary Examples of Recursion. |
Language, Culture, Computation (1) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Elynn Lee, Victoria Shan, Bradley Beth, Calvin Lin |
A structured approach to teaching recursion using cargo-bot. |
ICER |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Colleen M. Lewis |
Exploring variation in students' correct traces of linear recursion. |
ICER |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Yang Xu 0023, Terry Regier |
Numeral systems across languages support efficient communication: From approximate numerosity to recursion. |
CogSci |
2014 |
DBLP BibTeX RDF |
|
13 | Jun Lai, Emiel Krahmer, Jan Sprenger |
Studying Frequency Effects in Learning Center-embedded Recursion. |
CogSci |
2014 |
DBLP BibTeX RDF |
|
13 | Elisabeth Lien |
Using Minimal Recursion Semantics for Entailment Recognition. |
EACL |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Jinghua Zhang, Mustafa Atay, Emanuel Smith, Elvira R. Caldwell, Elva J. Jones |
Using a game-like module to reinforce student understanding of recursion. |
FIE |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Grigory Fedyukovich, Natasha Sharygina |
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Michael Wirth |
The Canny Skipper - A Puzzle For Demonstrating Data Structures And Recursion. |
WCCCE |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Steven J. Ramsay |
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida |
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Son Thanh Cao, Linh Anh Nguyen |
An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination. |
ADBIS (2) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Rasmus Ejlers Møgelberg |
A type theory for productive coprogramming via guarded recursion. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Konstantinos Mamouras |
On the Hoare theory of monadic recursion schemes. |
CSL-LICS |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Maciej M. Syslo, Anna Beata Kwiatkowska |
Introducing Students to Recursion: A Multi-facet and Multi-tool Approach. |
ISSEP |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Schwencke |
Compositional and effectful recursive specification formats: distributive laws and the semantics of recursion. |
|
2014 |
RDF |
|
13 | Sara Zuppiroli |
Probabilistic Recursion Theory and Implicit Computational Complexity. |
|
2014 |
RDF |
|
13 | Wei Li 0050 |
Friedberg numbering in fragments of Peano Arithmetic and α-recursion theory. |
J. Symb. Log. |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Colin G. Bailey |
Some jump-like operations in β-recursion theory. |
J. Symb. Log. |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Debora R. Hammond |
Reflections on recursion and the evolution of learning. |
Kybernetes |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Arnab K. Shaw, Anindya Sao Paul, Robert Williams |
Eigen-Template-Based HRR-ATR with Multi-Look and Time-Recursion. |
IEEE Trans. Aerosp. Electron. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Abdul-Majid Wazwaz |
(2 + 1)-Dimensional Burgers equations BE(m + n + 1): Using the recursion operator. |
Appl. Math. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Qinlong Wang, Wentao Huang, Haitao Wu |
Linear recursion formulas of generalized focus quantities and applications. |
Appl. Math. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Xia Hong 0001, Richard J. Mitchell 0001, Sheng Chen 0001 |
System identification of Wiener systems with B-spline functions using De Boor recursion. |
Int. J. Syst. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
13 | S. S. Marchenkov |
Bounded monotone recursion and multihead automata. |
Program. Comput. Softw. |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Alexander I. Legalov, Oleg V. Nepomnyaschy, Ivan V. Matkovsky, Mariya S. Kropacheva |
Tail recursion transformation in functional dataflow parallel programs. |
Autom. Control. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Philipp Rümmer, Hossein Hojjat, Viktor Kuncak |
The Relationship between Craig Interpolation and Recursion-Free Horn Clauses |
CoRR |
2013 |
DBLP BibTeX RDF |
|
13 | |
A theory of function-induced-orders to study recursion termination. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
13 | Stefan Milius, Tadeusz Litak |
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion. |
FICS |
2013 |
DBLP DOI BibTeX RDF |
|
13 | David I. Spivak |
The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits |
CoRR |
2013 |
DBLP BibTeX RDF |
|
13 | Sergio Rajsbaum, Michel Raynal, Panagiota Fatourou |
An Introductory Tutorial to Concurrency-Related Distributed Recursion. |
Bull. EATCS |
2013 |
DBLP BibTeX RDF |
|
13 | Yujun Yang, Douglas J. Klein |
A recursion formula for resistance distances and its applications. |
Discret. Appl. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Nathaniel Charlton, Bernhard Reus |
Specification patterns for reasoning about recursion through the store. |
Inf. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Elizabeth M. Niese |
A new recursion for three-column combinatorial Macdonald polynomials. |
J. Comb. Theory, Ser. A |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo |
Extending the power of datalog recursion. |
VLDB J. |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández |
Formalizing a Broader Recursion Coverage in SQL. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Gianluca Frison, John Bagterp Jørgensen |
Efficient implementation of the Riccati recursion for solving linear-quadratic control problems. |
CCA |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández |
Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. |
LPAR (short papers) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Dominique Devriese, Ilya Sergey, Dave Clarke 0001, Frank Piessens |
Fixing idioms: a recursion primitive for applicative DSLs. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch |
Small Induction Recursion. |
TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Joe Tessler, Bradley Beth, Calvin Lin |
Using cargo-bot to provide contextualized learning of recursion. |
ICER |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Lukasz Czajka 0001 |
Partiality and Recursion in Higher-Order Logic. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Koichi Fujima, Sohei Ito, Naoki Kobayashi 0001 |
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Valentin Blot, Colin Riba |
On Bar Recursion and Choice in a Classical Setting. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Everardo Bárcenas, Jesús Lavalle |
Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals. |
MICAI (1) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Luke Ong |
Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Cem Bozsahin |
Natural Recursion Doesn't Work That Way: Automata in Planning and Syntax. |
PT-AI |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Robert Atkey, Conor McBride |
Productive coprogramming with guarded recursion. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Abel 0001, Brigitte Pientka |
Wellfounded recursion with copatterns: a unified approach to termination and productivity. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
Unifying structured recursion schemes. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001 |
Structural recursion for querying ordered graphs. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|