The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1951-1954 (26) 1961-1974 (24) 1975-1976 (24) 1977-1978 (23) 1979-1980 (22) 1981 (35) 1982-1983 (40) 1984 (29) 1985 (21) 1986 (95) 1987 (63) 1988 (35) 1989 (199) 1990 (127) 1991 (140) 1992 (131) 1993 (397) 1994 (154) 1995 (290) 1996 (178) 1997 (400) 1998 (339) 1999 (329) 2000 (798) 2001 (514) 2002 (558) 2003 (506) 2004 (945) 2005 (719) 2006 (1271) 2007 (1191) 2008 (1500) 2009 (1257) 2010 (2172) 2011 (1391) 2012 (1187) 2013 (1206) 2014 (1323) 2015 (1333) 2016 (1305) 2017 (1419) 2018 (2170) 2019 (1954) 2020 (1570) 2021 (1667) 2022 (1532) 2023 (1431) 2024 (258)
Publication types (Num. hits)
article(9387) book(63) data(4) incollection(1077) inproceedings(23301) phdthesis(28) proceedings(438)
Venues (Conferences, Journals, ...)
Softwaretechnik-Trends(1469) Libr. Trends(1346) SOFSEM(1225) PRICAI(915) EUSPN/ICTH(896) ICETET(878) SoMeT(754) ICWET(702) CoRR(607) IEA/AIE(605) MIWAI(395) FTDCS(369) Rough Sets and Current Trends ...(365) IHSED(338) RSCTC(330) ICWE Workshops(313) More (+10 of total 3598)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6391 occurrences of 3462 keywords

Results
Found 34298 publication records. Showing 34298 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
18Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter W. M. Koopman (eds.) Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, June 2-4, 2009. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2009 DBLP  BibTeX  RDF
18Marcin Gorawski, Marcin Bugdol Cost Model for X-BR-tree. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Leticia I. Gómez, Bart Kuijpers, Alejandro A. Vaisman Querying and Mining Trajectory Databases Using Places of Interest. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Jose-Norberto Mazón, Juan Trujillo 0001 Data Warehousing Meets MDA. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Alfredo Cuzzocrea, Wei Wang 0011 Pushing Theoretically-Founded Probabilistic Guarantees in. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Panos Vassiliadis, Alkis Simitsis Near Real Time ETL. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Kurt Stockinger, John Cieslewicz, Kesheng Wu, Doron Rotem, Arie Shoshani Using Bitmap Index for Joint Queries on Structured and Text Data. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Franck Ravat, Olivier Teste, Ronan Tournier, Gilles Zurfluh Designing and Implementing OLAP Systems from XML Documents. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Alain Casali, Sébastien Nedjar, Rosine Cicchetti, Lotfi Lakhal Closed Cube Lattices. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Kamel Boukhalfa, Ladjel Bellatreche, Zaia Alimazighi HP&BJI: A Combined Selection of Data Partitioning and Join. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Franck Ravat, Olivier Teste Personalization and OLAP Databases. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Valéria Cesário Times, Robson do Nascimento Fidalgo, Rafael Leão da Fonseca, Joel da Silva, Anjolina Grisi de Oliveira A Metamodel for the Specification of Geographical Data. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Khaled Jouini, Geneviève Jomier Design and Analysis of Index Structures in MultiVersion Data. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Torben Bach Pedersen Warehousing The World: A Vision for Data Warehouse Research. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Carlo Combi, Barbara Oliboni, Giuseppe Pozzi Modeling and Querying Temporal Semistructured Data. Search on Bibsonomy New Trends in Data Warehousing and Data Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren Generic Programming for Domain Reasoners. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2009 DBLP  BibTeX  RDF
18Jing Guo, Jeyarajan Thiyagalingam, Sven-Bodo Scholz Towards Compiling SAC to CUDA. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2009 DBLP  BibTeX  RDF
18Ian Zerny On Graph Rewriting, Reduction and Evaluation. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2009 DBLP  BibTeX  RDF
18Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén An Operational Semantics for Distributed Lazy Evaluation. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2009 DBLP  BibTeX  RDF
18Thomas Horstmeyer, Rita Loogen Graph-based Communication in Eden. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2009 DBLP  BibTeX  RDF
18Daniel W. H. James, Ralf Hinze A Reflection-based Proof Tactic for Lattices in Coq. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2009 DBLP  BibTeX  RDF
18Tom Nielsen, Tom Matheson, Henrik Nilsson Braincurry: A Domain-specific Language for Integrative Neuroscience. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2009 DBLP  BibTeX  RDF
18Wolfram Kahl Haskell Module Tools for Liberating Type Class Design. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2009 DBLP  BibTeX  RDF
18Mustafa Aswad, Phil Trinder, Abdallah Al Zain, Greg Michaelson, Jost Berthold Low Pain vs No Pain Multi-core Haskells. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2009 DBLP  BibTeX  RDF
18Wolfgang Jeltsch Signals, Not Generators! Search on Bibsonomy Trends in Functional Programming The full citation details ... 2009 DBLP  BibTeX  RDF
18Liyang Hu, Graham Hutton Compiling Concurrency Correctly: Cutting out the Middle Man. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2009 DBLP  BibTeX  RDF
18Aleksander Zgrzywa, Kazimierz Choros, Andrzej Sieminski (eds.) New Trends in Multimedia and Network Information Systems Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  BibTeX  RDF
18Peter Achten, Pieter W. M. Koopman, Marco T. Morazán (eds.) Proceedings of the Nineth Symposium on Trends in Functional Programming, TFP 2008, Nijmegen, The Netherlands, May 26-28, 2008. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
18Dariusz Ciesla, Zbigniew Telec, Bogdan Trawinski, Robert Widz Problems of Data Quality in an Integrated Cadastral Information System. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Jinlin Guo, Songyang Lao, Haitao Liu, Jiang Bu Localizing and Extracting Caption in News Video Using Multi-Frame Average. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Przemyslaw Kazienko Web-Based Recommender Systems and User Needs - the Comprehensive View. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Adrianna Kozierkiewicz Determination of Opening Learning Scenarios in Intelligent Tutoring Systems. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Jakub Piskorski, Hristo Tanev, Martin Atkinson, Erik Van der Goot Cluster-Centric Approach to News Event Extraction. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Dariusz Król 0001, Aleksander Lupa Code and Data Propagation on a PC's Multi-Agent System. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Lothar Lemnitzer, Piklu Gupta, Holger Wunsch Acquisition of a New Type of Lexical-Semantic Relation from German Corpora. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Janusz Sobecki Image Identification Based on the Pupil Size Analysis During Human-Computer Interaction. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Andrzej Sieminski Mining Local Buffer Data. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Przemyslaw Kazienko, Pawel Kolodziejski Adaptive System for the Integration of Recommendation Methods with Social Filtering Enhancement. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Krzysztof Cabaj Data Mining Approach to Analysis of Computer Logs Using New Patterns. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Grzegorz Ploszajski Technical Metadata and Standards for Digitisation of Cultural Heritage in Poland. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Artur Janicki, Bartlomiej Ksiezak Packet Loss Concealment Algorithm for VoIP Transmission in Unreliable Networks. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Jolanta Mizera-Pietraszko, Aleksander Zgrzywa Translation Accuracy Influence on the Retrieval Results. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Karol Kaim, Mateusz Lenar Modelling Agent Behaviours in Simulating Transport Corridors Using Prometheus and Jason. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Kazimierz Choros, Michal Gonet Effectiveness of Video Segmentation Techniques for Different Categories of Videos. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Luminita Dumitriu, Marian Viorel Craciun, Adina Cocu, Cristina Segal Pre-processing Techniques for the QSAR Problem. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Veslava Osinska, Piotr Bala Classification Visualization across Mapping on a Sphere. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Pawel Benecki, Adam Switonski Estimation of Similarity between Colour Images. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Günther Hölbling, Wolfgang Pfnür, Harald Kosch SMiLE - Session Mobility in mobiLe Environments. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Marcin Gorawski, Michal Gorawski, Michal Faruga STAH-TREE: Quality Tests of Hybrid Index for Spatio-Temporal Aggregation. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Tadeusz Lasota, Bogdan Trawinski, Krzysztof Trawinski An Attempt to Use the KEEL Tool to Evaluate Fuzzy Models for Real Estate Appraisal. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Andrzej Sieminski Evaluation of Internet Connections. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Marcin Gorawski, Kamil Dowlaszewicz Optimization of Top-k Spatial Preference Queries' Execution Process Based on Similarity of Preferences. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Elzbieta Kukla Application of Swarm Intelligence in E-Learning Systems. Search on Bibsonomy New Trends in Multimedia and Network Information Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Brian Campbell 0001 Prediction of linear memory usage for first-order functional programs. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
18Liyang Hu, Graham Hutton Towards a Verified STM. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
18Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra A Leaner Specification for GADTs. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
18Neil Sculthorpe, Henrik Nilsson Optimisation of Dynamic, Hybrid Signal Function Networks. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
18Louis-Julien Guillemette, Stefan Monnier One Vote for Type Families in Haskell! Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
18Alejandro Tamalet, Olha Shkaravska, Marko C. J. D. van Eekelen Size Analysis of Algebraic Data Type. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
18Neil Ghani, Patricia Johann Short Cut Fusion for Effects. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
18Edwin C. Brady, Christoph A. Herrmann, Kevin Hammond Lightweight Invariants with Full Dependent Types. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
18Wouter Swierstra, Thorsten Altenkirch Dependent Types for Distributed Arrays. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
18Tom Schrijvers, Martin Sulzmann Confluence for Functional Dependencies. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
18Emanuele Covino, Giovanni Pani Complexity Certification of C++ Template Metaprogramming. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
18Marko C. J. D. van Eekelen (eds.) Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18Marco T. Morazán (eds.) Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, New York, USA, April 2-4. 2007. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18Henrik Nilsson (eds.) Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18Chunkai Zhang, Hong Hu An Evolved Recurrent Neural Network and Its Application. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Simona Doboli, Ali A. Minai Latent Attractors: A General Paradigm for Context-Dependent Neural Computation. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Elias Kyriakides, Marios M. Polycarpou Short Term Electric Load Forecasting: A Tutorial. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Yuan Kang, Min-Hwei Chu, Min-Chou Chen The Artificial Neural Network Applied to Servo Control System. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Joseph P. Herbert, Jingtao Yao 0001 GTSOM: Game Theoretic Self-organizing Maps. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Yong Liu 0012 How to Generate Different Neural Networks. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Yan Liu 0003, Bojan Cukic, Johann Schumann, Michael Jiang Performance Analysis of Dynamic Cell Structures. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Tianping Chen Universal Approach to Study Delayed Dynamical Systems. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Takashi Kuremoto, Tsuyoshi Eto, Kunikazu Kobayashi, Masanao Obayashi A Hippocampus-Neocortex Model for Chaotic Association. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Ji Zhu, Hui Zou Variable Selection for the Linear Support Vector Machine. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Jigang Wang, Predrag Neskovic, Leon N. Cooper Selecting Data for Fast Support Vector Machines Training. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Fredrik Linåker, Masumi Ishikawa Robot Localization Using Vision. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Yun Yang 0003, Ke Chen 0001 Combining Competitive Learning Networks of Various Representations for Sequential Data Clustering. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Erfu Yang, Dongbing Gu, Huosheng Hu Performance Improvement for Formation-Keeping Control Using a Neural Network HJI Approach. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Ping Sun, Xin Yao 0001 A Gradient-Based Forward Greedy Algorithm for Space Gaussian Process Regression. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Bao-Liang Lu, Jing Li A Min-Max Modular Network with Gaussian-Zero-Crossing Function. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Soowhan Han, Imgeun Lee A Robust Blind Neural Equalizer Based on Higher-Order Cumulants. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Qingxiang Wu, T. Martin McGinnity, Liam P. Maguire, Brendan P. Glackin, Ammar Belatreche Learning Mechanisms in Networks of Spiking Neurons. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Kar-Ann Toh, Quoc-Long Tran, Dipti Srinivasan Hyperbolic Function Networks for Pattern Classification. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Yanlai Li, David Zhang 0001 Modular Neural Networks and Their Applications in Biometrics. Search on Bibsonomy Trends in Neural Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Nehir Sönmez, Cristian Perfumo, Srdjan Stipic, Adrián Cristal, Osman S. Unsal, Mateo Valero unreadTVar: Extending Haskell Software Transactional Memory for Performance. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs 0001, Erik Poll, Sjaak Smetsers AHA: Amortized Heap Space Usage Analysis. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18Florian Loitsch, Manuel Serrano Hop Client-Side Compilation. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18David Herman, Aaron Tomb, Cormac Flanagan Space-Efficient Gradual Typing. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18Fredrik Lindblad Property Directed Generation of First-Order Test Data. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18Jessica Gronski, Cormac Flanagan Unifying Hybrid Types and Contracts. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18Gudmund Grov, Greg Michaelson Towards a Box Calculus for Hierarchical Hume. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18Sylvain Conchon, Jean-Christophe Filliâtre, Julien Signoles Designing a Generic Graph Library Using ML Functors. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18Matthew R. Lakin, Andrew M. Pitts A Metalanguage for Structural Operational Semantics. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18Edwin C. Brady, James McKinna, Kevin Hammond Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
18James P. Ziliak Understanding Poverty Rates and Gaps: Concepts, Trends, and Challenges. Search on Bibsonomy Found. Trends Microeconomics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Hans-Wolfgang Loidl (eds.) Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2006 DBLP  BibTeX  RDF
18Ryo Hanai, Tomoharu Ugawa, Masashi Yoneda, Masahiro Yasugi, Taiichi Yuasa Memory usage improvement using runtime alias detection. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2006 DBLP  BibTeX  RDF
Displaying result #501 - #600 of 34298 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][>>]
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