Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Joseph R. Shoenfield |
Recursion Theory |
|
2017 |
DOI RDF |
|
13 | Miguel Angel Aguilar, Rainer Leupers, Gerd Ascheid, Juan Fernando Eusse |
Extraction of recursion level parallelism for embedded multicore systems. |
SAMOS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Evgeny Sherkhonov, Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev |
Semantic Faceted Search with Aggregation and Recursion. |
ISWC (1) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Martín-Martín, Oliver Brock |
Cross-modal interpretation of multi-modal sensor streams in interactive perception based on coupled recursion. |
IROS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Valentin Blot |
An interpretation of system F through bar recursion. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Rob J. van Glabbeek |
Lean and full congruence formats for recursion. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Naoki Kobayashi 0001, Étienne Lozes, Florian Bruse |
On the relationship between higher-order recursion schemes and higher-order fixpoint logic. |
POPL |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Paula Severi |
A Light Modality for Recursion. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Monica Bucciarelli, Robert Mackiewicz, Sangeet Khemlani, Philip N. Johnson-Laird |
Recursion in Children's Comprehension and Formulation of Algorithms. |
CogSci |
2017 |
DBLP BibTeX RDF |
|
13 | Maurício de Jesus Dias Martins |
The Cognitive Architecture of Recursion: Behavioral and fMRI Evidence from the Visual, Musical and Motor Domains. |
CogSci |
2017 |
DBLP BibTeX RDF |
|
13 | Oskar Abrahamsson, Magnus O. Myreen |
Automatically Introducing Tail Recursion in CakeML. |
TFP |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Morpurgo |
Nothing to Fear but Fear Itself: Introducing Recursion in Lower Secondary Schools. |
LaTiCE |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Xiaoman Liu, Jijun Liu |
A Double Recursion Algorithm to Image Restoration from Random Limited Frequency Data. |
ICIG (3) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ryota Suzuki 0002, Koichi Fujima, Naoki Kobayashi 0001, Takeshi Tsukada |
Streett Automata Model Checking of Higher-Order Recursion Schemes. |
FSCD |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Martín Hötzel Escardó, Cory M. Knapp |
Partial Elements and Recursion via Dominances in Univalent Type Theory. |
CSL |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Pawel Parys |
The Complexity of the Diagonal Problem for Recursion Schemes. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Jonathon Cai, Richard Shin, Dawn Song |
Making Neural Programming Architectures Generalize via Recursion. |
ICLR |
2017 |
DBLP BibTeX RDF |
|
13 | Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu 0001, Christian Sternagel, René Thiemann, Dmitriy Traytel |
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. |
FroCoS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Mandy Weißbach, Wolf Zimmermann |
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion. |
ESOCC |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Georgios Alexandros Kavvos |
On the semantics of intensionality and intensional recursion. |
|
2017 |
RDF |
|
13 | Berit Grußien |
Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion |
|
2017 |
RDF |
|
13 | Kangil Kim, Robert I. McKay, Nguyen Xuan Hoai |
Recursion-Based Biases in Stochastic Grammar Model Genetic Programming. |
IEEE Trans. Evol. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu |
Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel. |
J. Inf. Process. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Konstantinos Mamouras |
The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes. |
ACM Trans. Comput. Log. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Neil Ghani, Peter G. Hancock |
Containers, monads and induction recursion. |
Math. Struct. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Ana Bove, Alexander Krauss 0001, Matthieu Sozeau |
Partiality and recursion in interactive theorem provers - an overview. |
Math. Struct. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Shuai Han 0002, Desi Luo, Weixiao Meng 0001, Cheng Li 0005 |
Antispoofing RAIM for dual-recursion particle filter of GNSS calculation. |
IEEE Trans. Aerosp. Electron. Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Ryan Martin, Zhen Han |
A semiparametric scale-mixture regression model and predictive recursion maximum likelihood. |
Comput. Stat. Data Anal. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Ernest Schimmerling |
John R. Steel and W. Hugh Woodin, HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III (A. S. Kechris, B. Löwe, and J. R. Steel, editors), Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257-343. |
Bull. Symb. Log. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan |
Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination. |
Parallel Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | |
The Recursion Theorem from a Different Angle. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | |
Kleene's Two Kinds of Recursion. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | John Longley |
The recursion hierarchy for PCF is strict. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi |
Guarded Cubical Type Theory: Path Equality for Guarded Recursion. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Stefan Milius, Tadeusz Litak |
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | |
Total Recursion over Lexicographical Orderings: Elementary Recursive Operators Beyond PR. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Eugenia Ternovska |
Lifted Relational Algebra with Recursion and Connections to Modal Logic. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Lane A. Hemaspaandra, Daniel Rubery |
Recursion-Theoretic Ranking and Compression. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal |
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types. |
Log. Methods Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz |
The Diagonal Problem for Higher-Order Recursion Schemes is Decidable. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Zheng Wang |
Does Your DNS Recursion Really Time Out as Intended? A Timeout Vulnerability of DNS Recursive Servers. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida |
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. |
Log. Methods Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Baltasar Trancón y Widemann |
Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Seokhyun Yoon |
Convergence and Density Evolution of a Low-Complexity MIMO Detector based on Forward-Backward Recursion over a Ring. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson |
Determinizing Monitors for HML with Recursion. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Matthew J. Liberatore |
A Counterexample to the Forward Recursion in Fuzzy Critical Path Analysis Under Discrete Fuzzy Sets. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Sy-David Friedman, Wei Li 0050, Tin Lok Wong |
Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory. |
Arch. Math. Log. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Ralf Hinze, Nicolas Wu |
Unifying structured recursion schemes - An Extended Study. |
J. Funct. Program. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Abel 0001, Brigitte Pientka |
Well-founded recursion with copatterns and sized types. |
J. Funct. Program. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Juan A. Nido Valencia, Julio Solís-Daun, Luis Miguel Villegas-Silva |
A representation of recursively enumerable sets through Horn formulas in higher recursion theory. |
Period. Math. Hung. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Raphaël Cauderlier, Catherine Dubois |
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz |
The Diagonal Problem for Higher-Order Recursion Schemes is Decidable. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Koko Muroya, Naohiko Hoshino, Ichiro Hasuo |
Memoryful geometry of interaction II: recursion and adequacy. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
13 | D. A. Turner |
Recursion Equations as a Programming Language. |
A List of Successes That Can Change the World |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Holger Bock Axelsen, Robin Kaarsgaard |
Join Inverse Categories as Models of Reversible Recursion. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Venanzio Capretta, Tarmo Uustalu |
A Coalgebraic View of Bar Recursion and Bar Induction. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Robert Bruce |
Recursion in Fixed Motor Sequences. |
AICS |
2016 |
DBLP BibTeX RDF |
|
13 | Annemarie Kocab, Ann Senghas, Jesse Snedeker |
Recursion in Nicaraguan Sign Language. |
CogSci |
2016 |
DBLP BibTeX RDF |
|
13 | Jun Lai, Chiara de Jong, Dingguo Gao, Ren Huang, Emiel Krahmer, Jan Sprenger |
The Influence of Language-specific Auditory Cues on the Learnability of Center-embedded Recursion. |
CogSci |
2016 |
DBLP BibTeX RDF |
|
13 | Irina Polyanskaya, Torben Braüner, Patrick Blackburn |
Linguistic recursion and Autism Spectrum Disorder. |
CogSci |
2016 |
DBLP BibTeX RDF |
|
13 | Roussanka Loukanova |
Underspecified Quantification by the Theory of Acyclic Recursion. |
PAAMS (Special Sessions) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Sam Lindley, J. Garrett Morris |
Talking bananas: structural recursion for session types. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Roussanka Loukanova |
Acyclic Recursion with Polymorphic Types and Underpecification. |
ICAART (2) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | David B. Thomas |
Synthesisable recursion for C++ HLS tools. |
ASAP |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi |
Guarded Cubical Type Theory: Path Equality for Guarded Recursion. |
CSL |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Louis Krivine |
Bar Recursion in Classical Realisability: Dependent Choice and Continuum Hypothesis. |
CSL |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Rohan Jacob-Rao, Andrew Cave, Brigitte Pientka |
Mechanizing Proofs about Mendler-style Recursion. |
LFMTP |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Ann A. Copestake, Guy Emerson, Michael Wayne Goodman, Matic Horvat, Alexander Kuhnle, Ewa Muszynska |
Resources for building applications with Dependency Minimal Recursion Semantics. |
LREC |
2016 |
DBLP BibTeX RDF |
|
13 | Carlo Zaniolo, Mohan Yang, Ariyam Das, Matteo Interlandi |
The Magic of Pushing Extrema into Recursion: Simple, Powerful Datalog Programs. |
AMW |
2016 |
DBLP BibTeX RDF |
|
13 | Mandy Weißbach |
Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency. |
ESOCC Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Liang Dai 0002 |
Identification using Convexification and Recursion. |
|
2016 |
RDF |
|
13 | Benjamin G. Rin |
Transfinite recursion and computation in the iterative conception of set. |
Synth. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ales Bizjak, Rasmus Ejlers Møgelberg |
A Model of Guarded Recursion With Clock Synchronisation. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Mazzanti |
Unbounded Recursion and Non-size-increasing Functions. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández |
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder |
Unguarded Recursion on Coinductive Resumptions. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Noah David Schweber |
Transfinite Recursion in Higher Reverse Mathematics. |
J. Symb. Log. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Martín Escardó, Paulo Oliva |
Bar Recursion and Products of Selection Functions. |
J. Symb. Log. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Benjamin Sagalovsky |
Organizing for Lean: autonomy, recursion and cohesion. |
Kybernetes |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Samaneh Mashhadi, Massoud Hadian Dehkordi |
Two verifiable multi secret sharing schemes based on nonhomogeneous linear recursion and LFSR public-key cryptosystem. |
Inf. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Philipp Rümmer, Hossein Hojjat, Viktor Kuncak |
On recursion-free Horn clauses and Craig interpolation. |
Formal Methods Syst. Des. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | A. R. D. Mathias, Nathan J. Bowler |
Rudimentary Recursion, Gentle Functions and Provident Sets. |
Notre Dame J. Formal Log. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Baltasar Trancón y Widemann, Michael Hauhs |
Algebraic-coalgebraic recursion theory of history-dependent dynamical system models. |
Theor. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Marco T. Morazán |
Generative and accumulative recursion made fun for beginners. |
Comput. Lang. Syst. Struct. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera 0001, Ivana Hutarová Vareková |
Runtime analysis of probabilistic programs with unbounded recursion. |
J. Comput. Syst. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Aleksandar Mijatovic, Martijn Pistorius, Johannes Stolte |
Randomisation and recursion methods for mixed-exponential Lévy models, with financial applications. |
J. Appl. Probab. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Dirk Veestraeten |
A Recursion Formula for the Moments of the First Passage Time of the Ornstein-Uhlenbeck Process. |
J. Appl. Probab. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Irene Lobo Valbuena, Moa Johansson |
Conditional Lemma Discovery and Recursion Induction in Hipster. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski |
Eliminating Recursion from Monadic Datalog Programs on Trees. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Jean-Louis Krivine |
Bar recursion in classical realisability : dependent choice and well ordering of R. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Ramón Casares |
Syntax Evolution: Problems and Recursion. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Arthur G. Ryman |
Recursion in RDF Data Shape Languages. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Hanaan Hashim, R. Srikanth 0001 |
The concept of free will as an infinite metatheoretic recursion. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Minming Ni, Jianping Pan 0001, Miao Hu, Zhangdui Zhong |
Recursion-based Analysis for Information Propagation in Vehicular Ad Hoc Networks. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal |
Programming and Reasoning with Guarded Recursion for Coinductive Types. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Alicja Smoktunowicz, Agata Smoktunowicz, Ewa Pawelec |
The three-term recursion for Chebyshev polynomials is mixed forward-backward stable. |
Numer. Algorithms |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Thomas W. Cusick, Bryan Johns |
Recursion orders for weights of Boolean cubic rotation symmetric functions. |
Discret. Appl. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Shui-Hung Hou, Edwin S. H. Hou |
On a Recursion Formula Related to Confluent Vandermonde. |
Am. Math. Mon. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Leszek Aleksander Kolodziejczyk, Keita Yokoyama |
Categorical characterizations of the natural numbers require primitive recursion. |
Ann. Pure Appl. Log. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Arash Ardakani, Mahdi Shabany |
A Novel Area-Efficient VLSI Architecture for Recursion Computation in LTE Turbo Decoders. |
IEEE Trans. Circuits Syst. II Express Briefs |
2015 |
DBLP DOI BibTeX RDF |
|