The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1988-1995 (18) 1996-1999 (16) 2000-2004 (21) 2005-2007 (17) 2008-2009 (21) 2010-2013 (17) 2014-2016 (26) 2017-2018 (30) 2019-2020 (38) 2021 (20) 2022 (33) 2023 (36) 2024 (1)
Publication types (Num. hits)
article(125) book(1) inproceedings(164) phdthesis(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 67 occurrences of 38 keywords

Results
Found 294 publication records. Showing 294 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
19Tian He 0003, Quanqin Shao, Wei Cao, Lin Huang, Lulu Liu Satellite-Observed Energy Budget Change of Deforestation in Northeastern China and its Climate Implications. Search on Bibsonomy Remote. Sens. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Cesar Guerreiro Diniz, Arlesson Antonio de Almeida Souza, Diogo Correa Santos, Mirian Correa Dias, Nelton Cavalcante da Luz, Douglas Rafael Vidal de Moraes, Janaina Sant Ana Maia, Alessandra Rodrigues Gomes, Igor da Silva Narvaes, Dalton de Morisson Valeriano, Luis Eduardo Pinheiro Maurano, Marcos Adami DETER-B: The New Amazon Near Real-Time Deforestation Detection System. Search on Bibsonomy IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Thiago Nunes Kehl, Viviane Todt, Maurício Roberto Veronez, Sílvio César Cazella Real time deforestation detection using ANN and Satellite images - The Amazon Rainforest study case Search on Bibsonomy 2015   DOI  RDF
19Bernadette Riesner, Gernot Tragler Financing the Reduction of Emissions from Deforestation: A Differential Game Approach. Search on Bibsonomy LSSC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Jean-François Mas, Gabriela Cuevas Identifying Local Deforestation Patterns Using Geographically Weighted Regression Models. Search on Bibsonomy GISTAM (Selected Papers) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Jean-François Mas, Gabriela Cuevas Local Deforestation Patterns in Mexico - An Approach using Geographiccally Weighted Regression. Search on Bibsonomy GISTAM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19João Paulo Fernandes, Jácome Cunha, João Saraiva, Alberto Pardo Watch Out for that Tree! A Tutorial on Shortcut Deforestation. Search on Bibsonomy CEFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
19Fulong Chen 0001, Huadong Guo, Natarajan Ishwaran, Wei Zhou 0009, Ruixia Yang, Linhai Jing, Fang Chen 0004, Hongcheng Zeng Synthetic Aperture Radar (SAR) Interferometry for Assessing Wenchuan Earthquake (2008) Deforestation in the Sichuan Giant Panda Site. Search on Bibsonomy Remote. Sens. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Eduardo Fávero Pacheco da Luz, Felipe R. S. Correa, Daniel L. González, François Grey, Fernando Manuel Ramos The ForestWatchers: A Citizen Cyberscience Project for Deforestation Monitoring in the Tropics. Search on Bibsonomy Hum. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Leonardo Zandonadi Moura, Aline Brignol Menke Rural landholding mapping and deforestation detection using rapideye® images and NDVI. Search on Bibsonomy IGARSS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Xuejun Wang, Yuxing Zhang, Enping Yan, Guosheng Huang, Chunxiang Cao, Xiliang Ni Deforestation area estimation in China based on Landsat data. Search on Bibsonomy IGARSS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Shojiro Tanaka, Ryuei Nishii Re-evaluation of topographic attributes with human population in deforestation framework with spatial dependency. Search on Bibsonomy IGARSS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
19Carlos M. Souza Jr., João V. Siqueira, Marcio H. Sales, Antônio V. Fonseca, Júlia G. Ribeiro, Izaya Numata, Mark A. Cochrane, Christopher P. Barber, Dar A. Roberts, Jos Barlow Ten-Year Landsat Classification of Deforestation and Forest Degradation in the Brazilian Amazon. Search on Bibsonomy Remote. Sens. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Johannes Reiche, Carlos M. Souza Jr., Dirk H. Hoekman, Jan Verbesselt, Haimwant Persaud, Martin Herold Feature Level Fusion of Multi-Temporal ALOS PALSAR and Landsat Data for Mapping and Monitoring of Tropical Deforestation and Forest Degradation. Search on Bibsonomy IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Alberto Pardo, João Paulo Fernandes, João Saraiva Multiple Intermediate Structure Deforestation by Shortcut Fusion. Search on Bibsonomy SBLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Yong Pang, Lianhua Zhang, Chengquan Huang, Xinfang Yu, Zengyuan Li Automatic deforestation detection using time series Landsat images in a tropical forest of China. Search on Bibsonomy IGARSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Kondwani G. Munthali, Yuji Murayama Extending agent-based land-use/-cover change models to tropical deforestation: a focus on farm-based decision making in tropical subsistence farming. Search on Bibsonomy Int. J. Geogr. Inf. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
19Sharifah Mastura Syed Abdullah Spatial and temporal analysis of deforestation and forest degradation in Selangor: Implication to carbon stock above ground. Search on Bibsonomy DMO The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
19Anthony K. Milne, Anthea L. Mitchell, Mark L. Williams, Ian Tapley, Steffen Kuntz Sensor capabilities for deforestation and forest degradation. Search on Bibsonomy IGARSS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
19Jan Verbesselt, Manos Kalomenopoulos, Carlos M. Souza Jr., Martin Herold Near real-time deforestation monitoring in tropical ecosystems using satellite image time series. Search on Bibsonomy IGARSS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
19Adeline M. Maciel, Marcelino Pereira dos Santos Silva, Maria Isabel Sobral Escada Mining frequent substructures from deforestation objects. Search on Bibsonomy IGARSS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
19Arief Wijaya, Erika Romijn, Saipul Rahman, Martin Herold, Louis Verchot Assessment of deforestation drivers and national carbon emissions using remote sensing analysis. Search on Bibsonomy IGARSS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
19Ram Avtar, Haruo Sawada, Rikie Suzuki Use of DEMs data to estimate height changes due to Deforestation. Search on Bibsonomy IGARSS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
19Alexis Dorais, Jeffrey A. Cardille Strategies for Incorporating High-Resolution Google Earth Databases to Guide and Validate Classifications: Understanding Deforestation in Borneo. Search on Bibsonomy Remote. Sens. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Egidio Arai, Yosio Edemir Shimabukuro, Gabriel Pereira, Nandamudi L. Vijaykumar A Multi-Resolution Multi-Temporal Technique for Detecting and Mapping Deforestation in the Brazilian Amazon Rainforest. Search on Bibsonomy Remote. Sens. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Nilson Clementino Ferreira, Laerte Guimarães Ferreira, Manuel Eduardo Ferreira, Mercedes Bustamante, Jean P. H. B. Ometto Assessing deforestation related carbon emission in the Brazilian Savanna based on moderate resolution imagery. Search on Bibsonomy IGARSS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Megumi Maruyama, Yasushi Yamaguchi 0002 Analysis of deforestation in Mato Grosso using multi-temporal Landsat TM Imageries. Search on Bibsonomy IGARSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Ryuei Nishii, Shojiro Tanaka An application of novel zero-one inflated distributions with spatial dependence for the deforestation modeling. Search on Bibsonomy IGARSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Shojiro Tanaka, Ryuei Nishii Nonlinear Regression Models to Identify Functional Forms of Deforestation in East Asia. Search on Bibsonomy IEEE Trans. Geosci. Remote. Sens. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Osamu Isoguchi, Masanobu Shimada, Yumiko Uryu A Preliminary Study on Deforestation Monitoring in Sumatra Island by PALSAR. Search on Bibsonomy IGARSS (3) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Hoonyol Lee Mapping Deforestation and Age of Evergreen Trees by Applying a Binary Coding Method to Time-Series Landsat November Images. Search on Bibsonomy IEEE Trans. Geosci. Remote. Sens. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Wei-Lwun Lu, James J. Little, Alla Sheffer, Hongbo Fu 0001 Deforestation: Extracting 3D Bare-Earth Surface from Airborne LiDAR Data. Search on Bibsonomy CRV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Maosong Xu, Fengli Zhang, Zhongsheng Xia, Huaze Gong Polarimetric SAR Data for Forest and Deforestation Mapping in Guizhou Province, Southwest of China. Search on Bibsonomy IGARSS (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Shojiro Tanaka, Ryuei Nishii Non-linear regression models to identify functional forms of deforestation. Search on Bibsonomy IGARSS (4) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Florence Baillarin, Carlos Souza, Ghislain Gonzales Use of Formosat-2 Satellite Imagery to Detect Near Real Time Deforestation in Amazonia. Search on Bibsonomy IGARSS (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Júlio Bandeira Guerra, Corina da Costa Freitas, José Claudio Mura Evaluating the Potential of L Band PolSAR Data to Discriminate Deforestation Increment Areas in Amazon Rain Forest. Search on Bibsonomy IGARSS (4) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Majid Azizi Deforestation and the Development of the Iranian Wood Industry. Search on Bibsonomy OR Insight The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Niandry Moreno, Raquel Quintero, Magdiel Ablan, Rodrigo Barros, Jacinto A. Dávila, Hirma Ramírez, Giorgio Tonella, Miguel F. Acevedo Biocomplexity of deforestation in the Caparo tropical forest reserve in Venezuela: An integrated multi-agent and cellular automata model. Search on Bibsonomy Environ. Model. Softw. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Rodrigo B. Lorena, Eric F. Lambin Linking spatial patterns of deforestation to land use using satellite and field data. Search on Bibsonomy IGARSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Shojiro Tanaka, Ryuei Nishii Deforestation due to population and relief energy through spatially-correlated logit models. Search on Bibsonomy IGARSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Driss Haboudane, El Mustapha Bahri Deforestation detection and monitoring in cedar forests of the moroccan Middle-Atlas mountains. Search on Bibsonomy IGARSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Geoff W. Hamilton Higher Order Deforestation. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2006 DBLP  BibTeX  RDF
19Guiomar Martín-Herrán, Pierre Cartigny, Estelle Motte, Mabel Tidball Deforestation and foreign transfers: a Stackelberg differential game approach. Search on Bibsonomy Comput. Oper. Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Kenneth Rose Lumberjack: terrain model determination through virtual deforestation. Search on Bibsonomy SIGGRAPH Research Posters The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Liana O. Anderson, Yosio Edemir Shimabukuro, Ruth S. DeFries, Douglas C. Morton Assessment of deforestation in near real time over the Brazilian Amazon using multitemporal fraction images derived from Terra MODIS. Search on Bibsonomy IEEE Geosci. Remote. Sens. Lett. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Raimundo Almeida-Filho, Ake Rosenqvist, Yosio Edemir Shimabukuro, João Roberto dos Santos Evaluation and perspectives of using multitemporal L-band SAR data to monitor deforestation in the Brazilian Amazônia. Search on Bibsonomy IEEE Geosci. Remote. Sens. Lett. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Ning Sun, Xiubin Li A summary of the effects of afforestation and deforestation on annual water yields. Search on Bibsonomy IGARSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Karima Fredj, Guiomar Martín-Herrán, Georges Zaccour Slowing deforestation pace through subsidies: a differential game. Search on Bibsonomy Autom. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Jean-François Mas, Henri Puig, José Luis Palacio, Atahualpa Sosa-López Modelling deforestation using GIS and artificial neural networks. Search on Bibsonomy Environ. Model. Softw. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Yosio Edemir Shimabukuro, Valdete Duarte, Liana O. Anderson, Egidio Arai, Dalton de Morisson Valeriano, Fernando Del Bon Espírito-Santo, L. C. M. Aulicino Deforestation detection in Brazilian Amazon region in a near real time using Terra MODIS daily data. Search on Bibsonomy IGARSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Christian Tottrup Using NOAA pathfinder data to assess deforestation in the tropical highlands of mainland southeast asia. Search on Bibsonomy IGARSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19C. H. Vasconcelos, Evlyn Novo Influence of precipitation, deforestation and Tucurui reservoir operation on malaria incidence rates in southeast Para, Brazil. Search on Bibsonomy IGARSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Sören Hese, Christiane Schmullius, Heiko Balzter Afforestation, Re-, and Deforestation monitoring in Siberia - accuracy requirements and first results. Search on Bibsonomy IGARSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19J. Robin B. Cockett Deforestation, program transformation, and cut-elimination. Search on Bibsonomy CMCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Geoff W. Hamilton Extending Higher-Order Deforestation: Transforming Programs to Eliminate Even More Trees. Search on Bibsonomy Scottish Functional Programming Workshop The full citation details ... 2001 DBLP  BibTeX  RDF
19Ravi Srivastava, Amit Kaldate Evolving Cooperative Ecosystems: A Multi-agent Simulation of Deforestation Activities. Search on Bibsonomy Artificial Evolution The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Olaf Chitil Type-inference based deforestation of functional programs. (PDF / PS) Search on Bibsonomy 2000   RDF
19Olaf Chitil Type-Inference Based Short Cut Deforestation (Nearly) without Inlining. Search on Bibsonomy IFL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19Armin Kühnemann Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers. Search on Bibsonomy Fuji International Symposium on Functional and Logic Programming The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel 0001 Declarative Program Transformation: A Deforestation Case-Study. Search on Bibsonomy PPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19Helmut Seidl, Morten Heine Sørensen Constraints to Stop Deforestation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Helmut Seidl, Morten Heine Sørensen Constraints to Stop Higher-Order Deforestation. Search on Bibsonomy POPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
19Étienne Duris Functional Programming and Attribute Grammars Deforestation. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
19Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel 0001 Attribute Grammars and Functional Programming Deforestation. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
19Andrew John Gill Cheap deforestation for non-strict functional languages. Search on Bibsonomy 1996   RDF
19Akihiko Takano, Erik Meijer 0001 Shortcut Deforestation in Calculational Form. Search on Bibsonomy FPCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
19Simon David Marlow Deforestation for higher-order functional programs. Search on Bibsonomy 1995   RDF
19Valmir Carneiro Barbosa, Ricardo José Machado, Frederico dos S. Liporace A neural system for deforestation monitoring on Landsat images of the Amazon Region. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
19Andrew John Gill, Simon L. Peyton Jones Cheap Deforestation in Practice: An Optimizer for Haskell. Search on Bibsonomy IFIP Congress (1) The full citation details ... 1994 DBLP  BibTeX  RDF
19Robert Glück, Jesper Jørgensen Generating Transformers for Deforestation and Supercompilation. Search on Bibsonomy SAS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
19Andrew John Gill, John Launchbury, Simon L. Peyton Jones A Short Cut to Deforestation. Search on Bibsonomy FPCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
19Simon Marlow, Philip Wadler Deforestation for Higher-Order Functions. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
19W.-N. Chin Generalising Deforestation for All First-Order Functional Programs. Search on Bibsonomy JTASPEFT/WSA The full citation details ... 1991 DBLP  BibTeX  RDF
19Geoff W. Hamilton, Simon B. Jones Extending Deforestation for First Order functional Programs. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
19Philip Wadler Deforestation: Transforming Programs to Eliminate Trees. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
19Philip Wadler Deforestation: Transforming Programs to Eliminate Trees. Search on Bibsonomy ESOP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
17Catherine M. Banks, John A. Sokolowski Circular inter-dependencies and system of systems: an inter-disciplinary approach for modeling global warming. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  BibTeX  RDF biosphere, circular inter-dependencies, system of systems, population dynamics, complex modeling
17Shaocan Jiang, Luming Fang, Xiaoying Huang An Idea of Special Cloud Computing in Forest Pests' Control. Search on Bibsonomy CloudCom The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Forest Pests, Special Cloud, Cloud Computing, Data Center, SAAS
17Marta Burzanska, Krzysztof Stencel, Piotr Wisniewski 0001 Pushing Predicates into Recursive SQL Common Table Expressions. Search on Bibsonomy ADBIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Christoph Stasch, Krzysztof Janowicz, Arne Bröring, Ilka Reis, Werner Kuhn A Stimulus-Centric Algebraic Approach to Sensors and Observations. Search on Bibsonomy GSN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Joice Seleme Mota, Gilberto Câmara, Maria Isabel Sobral Escada, Olga Regina Fradico de Oliveira Bittencourt, Leila Maria Garcia Fonseca, Lúbia Vinhas Case-Based Reasoning for Eliciting the Evolution of Geospatial Objects. Search on Bibsonomy COSIT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF evolving objects, Case-Based Reasoning, Spatio-temporal data
17Olivier Danvy From Reduction-Based to Reduction-Free Normalization. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Ziying Jiang The road extension model in the land change modeler for ecological sustainability of IDRISI. Search on Bibsonomy GIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF land change model, GIS, pattern, location, road network
17Guillaume Bonfante Some Programming Languages for Logspace and Ptime. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Leonid Bolotnyy, Gabriel Robins Multi-Tag Radio Frequency Identification Systems. Search on Bibsonomy AutoID The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Neil Ghani, Tarmo Uustalu, Varmo Vene Build, Augment and Destroy, Universally. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Wojciech Szatzschneider, Monique Jeanblanc, Teresa Kwiatkowska Environment and Financial Markets. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Jens P. Secher, Morten Heine Sørensen From checking to inference via driving and dag grammars. Search on Bibsonomy PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF inference, supercompilation, program inversion
17Michael Leuschel, Stefan Gruner Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Ben Gorte Change Detection by Classification of a Multi-temporal Image. Search on Bibsonomy Integrated Spatial Databases The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Ricardo José Machado, Valmir Carneiro Barbosa, Paulo Alexandre Neves Learning in the combinatorial neural model. Search on Bibsonomy IEEE Trans. Neural Networks The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Valérie Gouranton Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Michael Sperber, Peter Thiemann 0001 Two for the Price of One: Composing Partial Evaluation and Compilation. Search on Bibsonomy PLDI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
17David 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
Displaying result #201 - #294 of 294 (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