The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Unfold with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1990 (17) 1991-1994 (25) 1995-1997 (17) 1998-1999 (18) 2000-2001 (15) 2002-2004 (25) 2005-2006 (30) 2007-2008 (30) 2009 (15) 2010-2012 (16) 2013-2019 (16) 2020-2023 (22) 2024 (2)
Publication types (Num. hits)
article(61) incollection(1) inproceedings(185) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 203 occurrences of 181 keywords

Results
Found 248 publication records. Showing 248 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
88María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi A fold/unfold transformation framework for rewrite theories extended to CCT. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF code carrying theory, fold/unfold transformation, rewriting logic
88Jirí Vyskocil, Petr Stepánek Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. Search on Bibsonomy MICAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF unfold/fold transformation, homeomorphic embedding, logic programming, prolog, partial deduction
88Jeremy Gibbons, Geraint Jones The Under-Appreciated Unfold. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF anamorphism, co-induction, level-order, functional programing, unfold, fold, traversal, breadth-first, program calculation
78David Sands Total Correctness by Local Improvement in the Transformation of Functional Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF operational equivalence, unfold-fold, program transformation, correctness, improvement
75Francis Alexandre A technique for Transforming Logic Programs by Fold-Unfold Transformations. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF definite program, fold-unfold, program transformation, schema
74Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan An unfold/fold transformation framework for definite logic programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF inductive theorem proving, Logic programming, program transformation, unfolding, folding
64Sukhyun Lim, Hye-Jin Lee, Byeong-Seok Shin Surface Reconstruction for Efficient Colon Unfolding. Search on Bibsonomy GMP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
61Nicoletta De Francesco, Antonella Santone Unfold/Fold Transformations of Concurrent Processes. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
51David Sands 0001 Total Correctness by Local Improvement in Program Transformation. (long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996)) Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
48Tjark Weber, James L. Caldwell Constructively Characterizing Fold and Unfold. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
48Annalisa Bossi, Nicoletta Cocco Preserving Universal Termination through Unfold/Fold. Search on Bibsonomy ALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF universal termination, program transformations
48Manolis Gergatsoulis, Maria Katzouraki Unfold/Fold Transformations For Definite Clause Programs. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
48Saumya K. Debray Unfold/Fold Transformations and Loop Optimization of Logic Programs. Search on Bibsonomy PLDI The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
38Jeremy Gibbons Streaming Representation-Changers. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Nicoletta De Francesco, Antonella Santone A Transformation System for Concurrent Processes. Search on Bibsonomy Acta Informatica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori A Transformation System for CLP with Dynamic Scheduling and CCP. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF concurrent constraint logic programming, transformation, deadlock, coroutining
35Alberto Pettorossi, Maurizio Proietti Perfect Model Checking via Unfold/Fold Transformations. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Graham Hutton Fold and Unfold for Program Semantics. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF CCS
35Torben Amtoft Unfold/fold Transformations Preserving Termination Properties. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
35Taisuke Sato An Equivalence Preserving First Order Unfold/fold Transformation System. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
27Janis Voigtländer Using Circular Programs to Deforest in Accumulating Parameters. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF intermediate results, accumulating arguments, unfold/fold, (short cut) deforestation, tree transducers, program transformation, tupling, circular programs
27Jun Mitani, Hiromasa Suzuki Making papercraft toys from meshes using strip-based approximate unfolding. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Papercraft, Mesh, Simplification, Unfold
26Alberto Pettorossi, Maurizio Proietti, Valerio Senni Automatic Correctness Proofs for Logic Program Transformations. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Tyng-Ruey Chuang, Jan-Li Lin On modular transformation of structural content. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2004 DBLP  DOI  BibTeX  RDF bird-meertens formalism, document transformation and validation, XML, functional programming, ML, modules
26Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verification of Sets of Infinite State Processes Using Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka Verification of Parameterized Systems Using Logic Program Transformations. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Zdzislaw Splawski, Pawel Urzyczyn Type Fixpoints: Iteration vs. Recursion. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Gerardo Hermosillo, Olivier D. Faugeras, José Gomes Unfolding the Cerebral Cortex Using Level Set Methods. Search on Bibsonomy Scale-Space The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen Controlling Conjunctive Partial Deduction. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Annalisa Bossi, Sandro Etalle Transforming Acyclic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF acyclic programs, terminating programs, termination
26Morten Heine Sørensen, Robert Glück, Neil D. Jones Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
23Ningquan Gu, Ruhan He, Lianqing Yu Learning to Unfold Garment Effectively Into Oriented Direction. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
23Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001 Asynchronous unfold/fold transformation for fixpoint logic. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
23Aditya Dixit, Anup Kumar Gupta, Puneet Gupta 0002, Saurabh Srivastava 0003, Ankur Garg UNFOLD: 3-D U-Net, 3-D CNN, and 3-D Transformer-Based Hyperspectral Image Denoising. Search on Bibsonomy IEEE Trans. Geosci. Remote. Sens. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23James P. Bagrow Using fast and slow data to unfold city dynamics. Search on Bibsonomy Nat. Comput. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Romain Sacchi unfold: removing the barriers to sharing and reproducing prospective life-cycle assessment databases. Search on Bibsonomy J. Open Source Softw. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Jung-Ho Hong, Woo-Jeoung Nam, Kyu-Sung Jeon, Seong-Whan Lee Towards Better Visualizing the Decision Basis of Networks via Unfold and Conquer Attribution Guidance. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Joseph O'Rourke Polar Zonohedra Edge-Unfold to Nets. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Olivier Danvy Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM. Search on Bibsonomy J. Funct. Program. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Jung-Ho Hong, Woo-Jeoung Nam, Kyu-Sung Jeon, Seong-Whan Lee Towards Better Visualizing the Decision Basis of Networks via Unfold and Conquer Attribution Guidance. Search on Bibsonomy AAAI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Weiyue Lin, Ting Li, Liu Liu, Qian Zhu 0010 "Unfold and Go Touch": A Portable Method for Making Existing Touchscreens Accessible to Blind and Low Vision People in Self-Service Terminals. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Shunji Fujihara, Yuta Yoshioka, Kimitoshi Yamazaki A Pair of End-Effectors for Unfold-to-Fold a Fabric by Dual-Arm Manipulation. Search on Bibsonomy ROBIO The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Joseph O'Rourke Every Combinatorial Polyhedron Can Unfold with Overlap. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Antara Sengupta, Subhadip Chakraborty, Pabitra Pal Choudhury Chemical characterizations of neurotransmission receptors of human and plant to unfold the evolutionary relationships among them. Search on Bibsonomy Comput. Biol. Chem. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Olivier Danvy Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant. Search on Bibsonomy J. Funct. Program. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001 Asynchronous Unfold/Fold Transformation for Fixpoint Logic. Search on Bibsonomy FLOPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Baobao Li, Xiaofei Zhang 0001, Jianfeng Li 0001, Jinke Cao Direct Position Determination using Distributed Unfold Coprime Arrays with Unknown Mutual Coupling: based on Reduced-Dimension Search. Search on Bibsonomy EITCE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Yiheng Tu, Dimitrios Pantazis, Georgia Wilson, Sheraz Khan 0002, Seppo P. Ahlfors, Jian Kong How expectations of pain elicited by consciously and unconsciously perceived cues unfold over time. Search on Bibsonomy NeuroImage The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Michael Prilla, Oliver Blunk, Irene-Angelica Chounta How Does Collaborative Reflection Unfold in Online Communities? An Analysis of Two Data Sets. Search on Bibsonomy Comput. Support. Cooperative Work. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Thorsten Korpitsch, Shigeo Takahashi, Eduard Gröller, Hsiang-Yun Wu Simulated Annealing to Unfold 3D Meshes and Assign Glue Tabs. Search on Bibsonomy J. WSCG The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Mohamed Yousef, Tom E. Bishop OrigamiNet: Weakly-Supervised, Segmentation-Free, One-Step, Full Page Text Recognition by learning to unfold. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
23Immaculada Baldomá, Santiago Ibáñez 0002, Tere M. Seara Hopf-Zero singularities truly unfold chaos. Search on Bibsonomy Commun. Nonlinear Sci. Numer. Simul. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Mohamed Yousef, Tom E. Bishop OrigamiNet: Weakly-Supervised, Segmentation-Free, One-Step, Full Page Text Recognition by learning to unfold. Search on Bibsonomy CVPR The full citation details ... 2020 DBLP  BibTeX  RDF
23Naoki Kobayashi 0001, Grigory Fedyukovich, Aarti Gupta Fold/Unfold Transformations for Fixpoint Logic. Search on Bibsonomy TACAS (2) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Shannon Patricia Devlin, Jake Ryan Flynn, Sara Lu Riggs How Shared Visual Attention Patterns of Pairs Unfold Over Time when Workload Changes. Search on Bibsonomy ETRA Short Papers The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Pinjiao Zhao, Ke Wang 0005, Guobing Hu, Liangtian Wan Underdetermined DOA Estimation Using Unfold Coprime Array From the Perspective of Sum-Difference Co-Array. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Matteo Tomei, Marcella Cornia, Lorenzo Baraldi 0001, Rita Cucchiara Image-to-Image Translation to Unfold the Reality of Artworks: An Empirical Analysis. Search on Bibsonomy ICIAP (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Hissu Hyvärinen, Roman Beck How Emotions Unfold in Online Discussions After a Terror Attack. Search on Bibsonomy ICIS The full citation details ... 2019 DBLP  BibTeX  RDF
23Hai Lan 0001, Xinshi Zheng, Paul M. Torrens Spark Sensing: A Cloud Computing Framework to Unfold Processing Efficiencies for Large and Multiscale Remotely Sensed Data, with Examples on Landsat 8 and MODIS Data. Search on Bibsonomy J. Sensors The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Llorenç Burgas, Joaquím Meléndez, Joan Colomer, Joaquim Massana, Carles Pous N-dimensional extension of unfold-PCA for granular systems monitoring. Search on Bibsonomy Eng. Appl. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Lefei Liu, Peter Liu, Jiawei Liu, Vickey Chang Unfold income myth: Revolution in income models with advanced machine learning techniques for better accuracy. Search on Bibsonomy Model. Assist. Stat. Appl. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Elisa Mattarelli, Aaron Schecter, Pamela J. Hinds, Noshir Contractor, Cindy Lu, Begum Topac How Co-creation Processes Unfold and Predict Submission Quality in Crowd-based Open Innovation. Search on Bibsonomy ICIS The full citation details ... 2018 DBLP  BibTeX  RDF
23Andrzej Jalowiecki, Wojciech Skarka Generative Modelling Technique Application for Unfold Surface Designs. Search on Bibsonomy TE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Reza Yazdani, José-María Arnau, Antonio González 0001 UNFOLD: a memory-efficient speech recognizer using on-the-fly WFST composition. Search on Bibsonomy MICRO The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Zhonghua Xi, Yunhyeong Kim, Young J. Kim, Jyh-Ming Lien Learning to segment and unfold polyhedral mesh from failures. Search on Bibsonomy Comput. Graph. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
23Neomi Singer, Nori Jacoby, Tamar Lin, Gal Raz, Lavi Shpigelman, Gadi Gilam, Roni Y. Granot, Talma Hendler Common modulation of limbic network activation underlies musical emotions as they unfold. Search on Bibsonomy NeuroImage The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
23Ting Hua, Liang Zhao 0002, Feng Chen 0001, Chang-Tien Lu, Naren Ramakrishnan How events unfold: spatiotemporal mining in social media. Search on Bibsonomy ACM SIGSPATIAL Special The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Ivan Dokmanic, Juri Ranieri, Martin Vetterli Relax and unfold: Microphone localization with Euclidean distance matrices. Search on Bibsonomy EUSIPCO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Peng Qiu Unfold High-Dimensional Clouds for Exhaustive Gating of Flow Cytometry Data. Search on Bibsonomy IEEE ACM Trans. Comput. Biol. Bioinform. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Masanori Nagashima, Tomofumi Kato, Masahiko Sakai, Naoki Nishida 0001 Inverse Unfold Problem and Its Heuristic Solving. Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Jennifer Hackett, Graham Hutton, Mauro Jaskelioff The Under-Performing Unfold: A new approach to optimising corecursive programs. Search on Bibsonomy IFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23S. Domsch, A. Lemke, Sebastian Weingärtner, Lothar R. Schad A novel temporal filtering strategy for functional MRI using UNFOLD. Search on Bibsonomy NeuroImage The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Weiwei Cui, Huamin Qu, Hong Zhou 0004, Wenbin Zhang 0007, Steven Skiena Watch the Story Unfold with TextWheel: Visualization of Large-Scale News Streams. Search on Bibsonomy ACM Trans. Intell. Syst. Technol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Chris T. Bauch, Samit Bhattacharyya Evolutionary Game Theory and Social Learning Can Determine How Vaccine Scares Unfold. Search on Bibsonomy PLoS Comput. Biol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23YingLiang Ma, Rashed Karim, Richard James Housden, Geert Gijsbers, Roland Bullens, Christopher Aldo Rinaldi, Reza Razavi, Tobias Schaeffter, Kawal S. Rhode Cardiac Unfold: A Novel Technique for Image-Guided Cardiac Catheterization Procedures. Search on Bibsonomy IPCAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Peggy St. Jacques, Martin A. Conway, Matthew W. Lowder, Roberto Cabeza Watching My Mind Unfold versus Yours: An fMRI Study Using a Novel Camera Technology to Examine Neural Differences in Self-projection of Self versus Other Perspectives. Search on Bibsonomy J. Cogn. Neurosci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23Geoff W. Hamilton, Neil D. Jones Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23Feng Li 0002, Jun Luo 0001, Chi Zhang 0064, Shi-Qing Xin, Ying He 0001 UNFOLD: uniform fast on-line boundary detection for dynamic 3D wireless sensor networks. Search on Bibsonomy MobiHoc The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23Ben D. Eaton, Silvia Elaluf-Calderwood, Carsten Sørensen, Youngjin Yoo Structural Narrative Analysis as a Means to Unfold the Paradox of Control and Generativity that Lies within Mobile Platforms. Search on Bibsonomy ICMB The full citation details ... 2011 DBLP  DOI  BibTeX  RDF structural narrative analysis, control, generativity, innovation, mobile platforms
23Hirohisa Seki Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23Carlo Vittorio Cannistraci, Timothy Ravasi, Franco Maria Montevecchi, Trey Ideker, Massimo Alessio Nonlinear dimension reduction and clustering by Minimum Curvilinearity unfold neuropathic pain and tissue embryological classes. Search on Bibsonomy Bioinform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Hirohisa Seki On Inductive Proofs by Extended Unfold/Fold Transformation Rules. Search on Bibsonomy LOPSTR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Onur Afacan, William Scott Hoge, Dana H. Brooks, István Ákos Mórocz Increasing Temporal Resolution in Hybrid 3D EPI fMRI Studies Using Unfold. Search on Bibsonomy ISBI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Conor McBride Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Hirohisa Seki On Inductive and Coinductive Proofs via Unfold/Fold Transformations. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23W. Scott Hoge, Huan Tan, Robert A. Kraft Improved PASL EPI acquisitions with parallel imaging and unfold. Search on Bibsonomy ACSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Stefan Haar Unfold and cover: Qualitative diagnosability for Petri Nets. Search on Bibsonomy CDC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Mark Johnson 0001 Transforming Projective Bilexical Dependency Grammars into efficiently-parsable CFGs with Unfold-Fold. Search on Bibsonomy ACL The full citation details ... 2007 DBLP  BibTeX  RDF
23Alberto Pettorossi, Maurizio Proietti, Valerio Senni Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. Search on Bibsonomy Transformation Techniques in Software Engineering The full citation details ... 2005 DBLP  BibTeX  RDF
23A. M. Livshits, Yurii E. Lozovik Cut-and-Unfold Approach to Fullerene Enumeration. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Abhik Roychoudhury, C. R. Ramakrishnan 0001 Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Ginés Moreno A narrowing-based instantiation rule for rewriting-based fold/unfold transformations. Search on Bibsonomy WFLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Hironohu Aoki, Motoki Miura, Jiro Tanaka A Web Site Editing System Based on Unfold/ Fold Operations. Search on Bibsonomy International Conference on Internet Computing The full citation details ... 2002 DBLP  BibTeX  RDF
23Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch When is a function a fold or an unfold? Search on Bibsonomy CMCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Franklyn A. Turbak, J. B. Wells Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees. Search on Bibsonomy PPDP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Alberto Pettorossi, Maurizio Proietti Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan Generalized Unfold/fold Transformation Systems for Normal Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
23Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. Search on Bibsonomy PPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 248 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license