Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Christoph Wedler, Christian Lengauer |
On Linear List Recursion in Parallel. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Dag Normann |
Closing the gap between the continuous functionals and recursion in 3E. |
Arch. Math. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Viktor K. Sabelfeld |
The Tree Equivalence Problem for Linear Recursion Schemes. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Marta Z. Kwiatkowska, Gethin Norman |
Probabilistic Metric Semantics for a Simple Language with Recursion. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Catriel Beeri, Tova Milo |
On the Power of Algebras with Recursion. |
SIGMOD Conference |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Johan Bevemyr, Thomas Lindgren, Håkan Millroth |
Exploiting Recursion-Parallelism in Prolog. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Peter Thiemann 0001 |
Optimizing structural recursion in functional programs. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
21 | J. W. de Bakker, J. H. A. Warmerdam |
Metric Pomset Semantics for a Concurrnt Language with Recursion. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
pomsets, metric topology, operational semantics, denotational semantics, true concurrency, proof rule |
21 | John-Jules Ch. Meyer, Erik P. de Vink |
Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Peter B. Henderson, Francisco J. Romero |
Teaching recursion as a problem-solving tool using standard ML. |
SIGCSE |
1989 |
DBLP DOI BibTeX RDF |
ML |
21 | Shawkat Bhuiyan, Jim E. Greer, Gordon I. McCalla |
Mental Models of Recursion and Their Use in the SCENT Programming Advisor. |
KBCS |
1989 |
DBLP DOI BibTeX RDF |
|
21 | David R. Cheriton |
Exploiting recursion to simplify RPC communication architectures. |
SIGCOMM |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Kim Guldstrand Larsen |
Proof System for Hennessy-Milner Logic with Recursion. |
CAAP |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Klaus Indermark, Herbert Klaeren |
Compiling Fibonacci-Like Recursion. |
ACM SIGPLAN Notices |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Ivan B. Liss, Thomas C. McMillan |
Fractals with turtle graphics: a CS2 programming exercise for introducing recursion. |
SIGCSE |
1987 |
DBLP DOI BibTeX RDF |
|
21 | I-Ping Chu, Richard Johnsonbaugh |
Tiling and recursion. |
SIGCSE |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Uwe Schöning |
Lower Bounds by Recursion Theoretic Arguments (Extended Abstract). |
ICALP |
1986 |
DBLP DOI BibTeX RDF |
|
21 | Corrado Böhm |
Reducing Recursion to Iteration by Algebraic Extension. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
subrecursive function theory, Functional programming, initial algebras, algebraic data types, term algebras |
21 | J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer |
Linear Time and Branching Time Semantics for Recursion with Merge. |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Willem P. de Roever |
Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination. |
MFCS |
1976 |
DBLP DOI BibTeX RDF |
|
21 | Klaus Indermark |
Schemes with Recursion on Higher Types. |
MFCS |
1976 |
DBLP DOI BibTeX RDF |
|
14 | Qiusong Yang, Mingshu Li 0001 |
A cut-off approach for bounded verification of parameterized systems. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
cut-off, bounded model checking, parameterized system |
14 | Giuliano Casale |
CoMoM: Efficient Class-Oriented Evaluation of Multiclass Performance Models. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Makoto Hamana |
Initial Algebra Semantics for Cyclic Sharing Structures. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Marilyn C. Cole, Evan Korth, Adam L. Meyers, Sam Pluta |
Musicomputation: a pilot course exploring a pre-college computer science curriculum. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
pre-college computer science education, natural language processing, processing, curriculum development, musical theory |
14 | Gordon D. Plotkin |
Adequacy for Infinitary Algebraic Effects (Abstract). |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Byron Choi, Gao Cong, Wenfei Fan, Stratis Viglas |
Updating Recursive XML Views of Relations. |
J. Comput. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
XML, view update, XML views, XML publishing |
14 | Michael Benedikt, Wenfei Fan, Floris Geerts |
XPath satisfiability in the presence of DTDs. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
XML, Satisfiability, XPath, Containment, DTDs |
14 | Neil J. Bershad |
On Error Saturation Nonlinearities for LMS Adaptation in Impulsive Noise. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Louis L. Scharf, Edwin K. P. Chong, Michael D. Zoltowski, J. Scott Goldstein, Irving S. Reed |
Subspace Expansion and the Equivalence of Conjugate Direction and Multistage Wiener Filters. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner |
An Inflationary Fixed Point Operator in XQuery. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Franck Binard, Amy P. Felty |
Genetic programming with polymorphic types and higher-order functions. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
genetic programming, polymorphism, types, lambda calculus |
14 | Piero A. Bonatti, Fabio Mogavero |
Comparing Rule-Based Policies. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
Rule-based policies, Policy comparison, Policy-aware service selection, Policy compliance, Datalog query containment, Policy verification |
14 | Paraskevas Yiapanis, David J. Haglin, Anna M. Manning, Ken Mayes, John A. Keane |
Variable-grain and dynamic work generation for Minimal Unique Itemset mining. |
CLUSTER |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Mario Bravetti, Gianluigi Zavattaro |
On the Expressive Power of Process Interruption and Compensation. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Lei Huang 0001, Shunjun Wu, Xia Li |
Reduced-Rank MDL Method for Source Enumeration in High-Resolution Array Processing. |
IEEE Trans. Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Byron Choi, Gao Cong, Wenfei Fan, Stratis Viglas |
Updating Recursive XML Views of Relations. |
ICDE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Patricia Johann, Neil Ghani |
Initial Algebra Semantics Is Enough! |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Haisheng Liu, Jean-Philippe Diguet, Christophe Jégo, Michel Jézéquel, Emmanuel Boutillon |
Energy Efficient Turbo Decoder with Reduced State Metric Quantization. |
SiPS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | John Case, Samuel E. Moelius |
Properties Complementary to Program Self-reference. |
MFCS |
2007 |
DBLP DOI BibTeX RDF |
Computability Theory, Programming Language Semantics, Self-Reference |
14 | Fangling Leng, Yubin Bao, Daling Wang, Ge Yu 0001 |
A Clustered Dwarf Structure to Speed Up Queries on Data Cubes. |
DaWaK |
2007 |
DBLP DOI BibTeX RDF |
|
14 | John Case, Samuel E. Moelius |
Characterizing Programming Systems Allowing Program Self-reference. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
Computability Theory, Programming Language Semantics, Self-Reference |
14 | Jooheung Lee, Narayanan Vijaykrishnan, Mary Jane Irwin, Wayne H. Wolf |
An efficient architecture for motion estimation and compensation in the transform domain. |
IEEE Trans. Circuits Syst. Video Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Fred G. Gustavson, Jerzy Wasniewski |
Novel Data Formats and Algorithms for Dense Linear Algebra Computations: Minisymposium Abstract. |
PARA |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Abel 0001 |
Towards Generic Programming with Sized Types. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Thierry Coquand, Arnaud Spiwack |
A Proof of Strong Normalisation using Domain Theory. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Manfred Broy |
From Chaos to Undefinedness. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Mihalis Yannakakis |
Analysis of Recursive Probabilistic Models. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Keiko Nakata 0001, Jacques Garrigue |
Recursive modules for programming. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
applicative functors, the expression problem, type systems, type inference, recursive modules |
14 | Naoki Kobayashi 0001 |
A New Type System for Deadlock-Free Processes. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Aehlig |
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
14 | John R. Woodward |
Invariance of Function Complexity Under Primitive Recursive Functions. |
EuroGP |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Huimin Lin |
Predicate µ-Calculus for Mobile Ambients. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
model checking, mu-calculus, fixpoints, spatial logic, mobile ambients |
14 | Alcino Cunha, Jorge Sousa Pinto, José Proença |
A Framework for Point-Free Program Transformation. |
IFL |
2005 |
DBLP DOI BibTeX RDF |
|
14 | M. R. K. Krishna Rao |
A Class of Prolog Programs with Non-linear Outputs Inferable from Positive Data. |
ALT |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Nachum Dershowitz |
Primitive Rewriting. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Yuxin Deng, Catuscia Palamidessi |
Axiomatizations for Probabilistic Finite-State Behaviors. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | David S. Wise, Craig Citro, Joshua Hursey, Fang Liu, Michael Rainey |
A Paradigm for Parallel Matrix Algorithms: . |
Euro-Par |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Michael Benedikt, Wenfei Fan, Floris Geerts |
XPath satisfiability in the presence of DTDs. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ulrich Berger 0001 |
An Abstract Strong Normalization Theorem. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Tao Liu, Jijun Tang, Bernard M. E. Moret |
Quartet-Based Phylogeny Reconstruction from Gene Orders. |
COCOON |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Rajasekar Krishnamurthy, Venkatesan T. Chakaravarthy, Raghav Kaushik, Jeffrey F. Naughton |
Recursive XML Schemas, Recursive XML Queries, and Relational Storage: XML-to-SQL Query Translation. |
ICDE |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Conrado Martínez, Xavier Molinero |
An Experimental Study of Unranking Algorithms. |
WEA |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof |
Summarizing procedures in concurrent programs. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems |
14 | Samik Basu 0001, Prem Uppuluri |
Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Lionel Elie Mamane |
Surreal Numbers in Coq. |
TYPES |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Hans Langmaack |
An ALGOL-View on Turbo ASM. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Evan Kirshenbaum, Henri Jacques Suermondt |
Using Genetic Programming to Obtain a Closed-Form Approximation to a Recursive Function. |
GECCO (2) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jaco Vermaak, Arnaud Doucet, Patrick Pérez |
Maintaining Multi-Modality through Mixture Tracking. |
ICCV |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth Choudhuri, Sachin V. Chitnis |
High Performance Code Generation through Lazy Activation Records. |
Interaction between Compilers and Computer Architectures |
2003 |
DBLP DOI BibTeX RDF |
Register Utilization, Activation Records, Low Power Optimization, Embedded Systems |
14 | He Hu 0002, Yihe Sun |
Test-Point Selection Algorithm Using Small Signal Model for Scan-Based BIST. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Shantanu Chakrabartty, Gert Cauwenberghs |
Forward Decoding Kernel Machines: A Hybrid HMM/SVM Approach to Sequence Recognition. |
SVM |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Yves Bertot, Venanzio Capretta, Kuntal Das Barman |
Type-Theoretic Functional Semantics. |
TPHOLs |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Amir M. Ben-Amram |
General Size-Change Termination and Lexicographic Descent. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Joon-Sang Park, Michael Penner, Viktor K. Prasanna |
Optimizing Graph Algorithms for Improved Cache Performance. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Linda Stern, Lee Naish |
Visual representations for recursive algorithms. |
SIGCSE |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Paul Blain Levy |
Possible World Semantics for General Storage in Call-By-Value. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Aristide Mingozzi |
State Space Relaxation and Search Strategies in Dynamic Programming. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Andrew M. Pitts |
A Fresh Approach to Representing Syntax with Static Binders in Functional Programming. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Zhanyong Wan, Walid Taha, Paul Hudak |
Real-Time FRP. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
14 | David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz |
How mathematical thinking enchances computer science problem solving. |
SIGCSE |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata |
Security verification of programs with stack inspection. |
SACMAT |
2001 |
DBLP DOI BibTeX RDF |
Java, Java, access control, stack inspection, security verification |
14 | Margaret M. Burnett, Bing Ren, Amy J. Ko, Curtis R. Cook, Gregg Rothermel |
Visually Testing Recursive Programs in Spreadsheet Languages. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Martin Erwig |
Random Access to Abstract Data Types. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
adt, graph algorithm, category theory, catamorphism |
14 | Anjaneya R. Chagam, Partha Dasgupta, Rajkumar Khandelwal, Shashi P. Reddy, Shantanu Sardesai |
Experiments with the CHIME Parallel Processing System. |
HiPC |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Yasuo Matsubara, Hiroyuki Miyagawa |
Ability of Classes of Dataflow Schemata with Timing Dependency. |
ISHPC |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Colin Stirling |
Schema Revisited. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Peter Dybjer, Anton Setzer |
A Finite Axiomatization of Inductive-Recursive Definitions. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Mehul Motani, Chris Heegard |
Computing Weight Distributions of Convolutional Codes via Shift Register Synthesis. |
AAECC |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Ivan Bratko |
Refining Complete Hypotheses in ILP. |
ILP |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Mohamed Cheriet, Joseph N. Said, Ching Y. Suen |
A recursive thresholding technique for image segmentation. |
IEEE Trans. Image Process. |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Joseph Gil, Alon Itai |
The Complexity of Type Analysis of Object Oriented Programs. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Uta Ziegler |
Extending an iterator model for binary trees to backtracking problems. |
SIGCSE |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Ju-wook Jang, Madhusudan Nigam, Viktor K. Prasanna, Sartaj Sahni |
Constant Time Algorithms for Computational Geometry on the Reconfigurable Mesh. |
IEEE Trans. Parallel Distributed Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Schwentick |
Algebraic and Logical Characterizations of Deterministic Linear Time Classes. |
STACS |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Myles F. Barrett, Marshall E. Giguere |
A Note on Covariance and Contravariance Unification. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
C++ |
14 | Weidong Chen 0005, David Scott Warren |
Tabled Evaluation With Delaying for General Logic Programs. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
tabled evaluation, program transformations, stable models, well-founded models |
14 | Neng-Fa Zhou |
Parameter Passing and Control Stack Management in Prolog Implementation Revisited. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
prolog, abstract machine |
14 | Brian T. Howard |
Inductive, Coinductive, and Pointed Types. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Raymond R. Devillers |
Petri Boxes and Finite Precedence. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|