The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1939-1976 (15) 1977-1979 (19) 1980-1982 (20) 1983-1984 (15) 1985 (66) 1986 (27) 1987 (40) 1988 (45) 1989 (33) 1990 (56) 1991 (40) 1992 (58) 1993 (74) 1994 (64) 1995 (62) 1996 (68) 1997 (69) 1998 (87) 1999 (125) 2000 (145) 2001 (166) 2002 (170) 2003 (156) 2004 (216) 2005 (263) 2006 (246) 2007 (282) 2008 (213) 2009 (198) 2010 (97) 2011 (73) 2012 (79) 2013 (208) 2014 (190) 2015 (112) 2016 (83) 2017 (99) 2018 (105) 2019 (115) 2020 (107) 2021 (105) 2022 (91) 2023 (92) 2024 (19)
Publication types (Num. hits)
article(936) book(11) incollection(46) inproceedings(3550) phdthesis(27) proceedings(43)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3116 occurrences of 1787 keywords

Results
Found 4613 publication records. Showing 4613 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
71William E. Howden, Bruce Wieand QDA-A Method for Systematic Informal Program Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF QDA, systematic informal program analysis, program properties, Quick Defect Analysis, comments analysis, abstract program model, hypothesis-driven method, operational flight program, formal specification, formal verification, specification, program verification, program verification, programming theory, program debugging, program diagnostics, program validity, code reading
64Wing Lok Yeung, Karl R. P. H. Leung A Synergistic Interweaving of Formal and Informal Methods. Search on Bibsonomy COMPSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Informal Methods, JSD, Formal Methods, CSP, Structured Methods, Method Integration
64Robert S. Fish, Robert E. Kraut, Robert W. Root, Ronald E. Rice Evaluating Video as a Technology for Informal Communication. Search on Bibsonomy CHI The full citation details ... 1992 DBLP  DOI  BibTeX  RDF desktop videoconferencing, informal meetings, collaboration, video, group work
60David A. Mejia, Alberto L. Morán, Jesús Favela Supporting Informal Co-located Collaboration in Hospital Work. Search on Bibsonomy CRIWG The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mobile informal co-located collaboration, Informal interactions, hospital work
52Jennifer Stoll, W. Keith Edwards, Elizabeth D. Mynatt Informal interactions in nonprofit networks. Search on Bibsonomy CHI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF informal coordination, nonprofit organizations, organizational networks, interorganizational information systems
52Liwei Dai, Andrew Sears, Rich Goldman Shifting the focus from accuracy to recallability: A study of informal note-taking on mobile information technologies. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Informal notes, recognition-based text entry, mobile device, recognition error
52Kevin R. Glass, Chantelle Morkel, Shaun Bangay Duplicating road patterns in south african informal settlements using procedural techniques. Search on Bibsonomy Afrigraph The full citation details ... 2006 DBLP  DOI  BibTeX  RDF informal settlement, subdivision, L-systems, procedural modeling, Voronoi, city modeling
50Andrew Aberdein Managing Informal Mathematical Knowledge: Techniques from Informal Logic. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
50Shun'ichi Tano, Tatsuhiro Takayama, Mitsuru Iwata, Tomonori Hashiyama Wearable Computer for Ubiquitous Informal Communication. Search on Bibsonomy ICDCS Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
46Kai Fischbach, Peter A. Gloor, Detlef Schoder Analysis of Informal Communication Networks - A Case Study. Search on Bibsonomy Bus. Inf. Syst. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Analysis of social networks, Social badges, Communication networks, Informal communications, Knowledge worker, Communications analysis
46Tobias Nelkner, Johannes Magenheim, Wolfgang Reinhardt 0001 PLME as a Cognitive Tool for Knowledge Achievement and Informal Learning. Search on Bibsonomy WCCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Open Flexible Learning, Support Services for Learning, Communication, Social Networks, Knowledge Representation, Informal Learning, Lifelong Learning
46Michael B. Twidale Over the Shoulder Learning: Supporting Brief Informal Learning. Search on Bibsonomy Comput. Support. Cooperative Work. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF help giving, interface design, computer supported collaborative learning, informal learning, workplace learning
46Damon J. Cook, Brian P. Bailey Designers' use of paper and the implications for informal tools. Search on Bibsonomy OZCHI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF early design, informal tools, sketching, digital ink
46Yang Li 0059, James A. Landay, Zhiwei Guan, Xiangshi Ren, Guozhong Dai Sketching informal presentations. Search on Bibsonomy ICMI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF gestures, rapid prototyping, sketching, storyboards, pen-based computers, informal presentation, zooming user interface (ZUI)
44Martin Giese, Rogardt Heldal From Informal to Formal Specifications in UML. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Guillaume Lussier, Hélène Waeselynck Informal Proof Analysis Towards Testing Enhancement. Search on Bibsonomy ISSRE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur Modelling project coordination in a multi-agent framework. Search on Bibsonomy WETICE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF project coordination modelling, traditional management structures, formal structures, informal dynamic organisational structures, aircraft industry, DESIRE modelling framework, informal multi-agent model, communication, requirements, software agents, engineering, information exchange, virtual organisations, cooperative problem solving, concurrent design, multi-agent framework
39Júlio Cesar dos Reis, Rodrigo Bonacin, Maria Cecília Martins Mobile Phone Interfaces for Informal Education. Search on Bibsonomy HCI (12) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mobile Collaborative Learning, Communities of Practice, Informal Education
39Margarida Lucas, António Moreira 0002 Bridging Formal and Informal Learning - A Case Study on Students' Perceptions of the Use of Social Networking Tools. Search on Bibsonomy EC-TEL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF connectivism, case study, distributed cognition, informal learning, Social Web
39Dejin Zhao, Mary Beth Rosson How and why people Twitter: the role that micro-blogging plays in informal communication at work. Search on Bibsonomy GROUP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Twitter, informal communication, micro-blog
39Christopher Lucas 0002, Heather Huntsinger After the class: informal training support through the Penn State technology training community. Search on Bibsonomy SIGUCCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF training, communities of practice, informal learning, learning communities, drupal
39Xiaomu Zhou, Mark S. Ackerman, Kai Zheng 0002 I just don't know why it's gone: maintaining informal information use in inpatient care. Search on Bibsonomy CHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cpoe, informal information, psychosocial information, shift change, cscw, medical informatics, organizational memory, electronic patient records, medical records
39Jesper Kjeldskov, Jeni Paay, Kenton O'Hara, Ross T. Smith, Bruce H. Thomas FrostWall: a dual-sided situated display for informal collaboration in the corridor. Search on Bibsonomy OZCHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dual-sided interface, informal collaboration, ubiquitous computing, situated display
39Michael S. Horn Tangible computer programming for informal science learning. Search on Bibsonomy IDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF informal science learning, science museums, education, children, tangible UIs, programming languages
39Hendrik Drachsler, Hans G. K. Hummel, Rob Koper Navigation support for learners in informal learning environments. Search on Bibsonomy RecSys The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ontology, recommender systems, collaborative filtering, informal learning, technology enhanced learning, learning networks
39Leilah Blakeney Lyons Scaffolding cooperative multi-device activities in an informal learning environment. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2007 DBLP  DOI  BibTeX  RDF co-located cooperation, distributed scaffolding, multi-device interfaces, simulations, complex systems, informal learning, multi-user interfaces, microworlds
39Kyung-Joong Kim 0001, Sung-Bae Cho Integrated Model for Informal Inference Based on Neural Networks. Search on Bibsonomy ICONIP (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Informal Inference, Behavior Network, Neural Networks, Pattern Recognition, Robot Control, Fuzzy Integral
39Airong Luo, Judith S. Olson Informal communication in collaboratories. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2006 DBLP  DOI  BibTeX  RDF collaboration, informal communication, collaboratories
39Yang Li 0059, James A. Landay Informal prototyping of continuous graphical interactions by demonstration. Search on Bibsonomy UIST The full citation details ... 2005 DBLP  DOI  BibTeX  RDF informal prototyping, sketching, direct manipulation, programming by demonstration, pen-based user interfaces, continuous interactions
39Robert S. Friedman, Marc Sequeira Application development for informal learning environments: where IT education, community outreach, baseball and history intersect. Search on Bibsonomy SIGITE Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF informal learning environments, participatory design, application development
39Mike Kendall Exploring the Role of Informal Learning in Real-Life Learning. Search on Bibsonomy Information and Communication Technologies and Real-Life Learning The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Informal learning, competencies, learning communities, social impact, citizens
39Christopher P. Fuhrman Lightweight models for interpreting informal specifications. Search on Bibsonomy Requir. Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Informal specifications, Iterative software development, Lightweight models, Request for Comments (RFC), Trivial File Transfer, Protocol (TFTP)SPIN, Process, PROMELA
39Anoop K. Sinha, James A. Landay Capturing user tests in a multimodal, multidevice informal prototyping tool. Search on Bibsonomy ICMI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF informal prototyping, multidevice, pen and speech input, multimodal, sketching, mobile interface design
39Mark S. Ackerman, David W. McDonald Collaborative Support for Informal Information in Collective Memory Systems. Search on Bibsonomy Inf. Syst. Frontiers The full citation details ... 2000 DBLP  DOI  BibTeX  RDF community memory, informal information, information refining, collaborative help, information retrieval, computer-supported cooperative work, CSCW, information systems, CMC, computer-mediated communications, information access, organizational memory, help, group memory, corporate memory, incremental formalization
39Kanth Miriyala, Mehdi T. Harandi Automatic Derivation of Formal Software Specifications From Informal Descriptions. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF formal software specifications, common problem-solving techniques, difference-based reasoning, informal description, SPECIFIER, previously solved problem, analogy mapping, formal specification, data structures, software tools, interactive system, analogy, automatic programming, schemas, data types, problem-solving process
39Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi Informal and Formal Requirements Specification Languages: Bridging the Gap. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF informal languages, requirements specification languages, rule-based method, payroll system, payroll data processing, formal specification, specification languages, systems analysis, formal languages, formal languages, structured analysis, VDM, Vienna development method
39Michal Jacovi, Vladimir Soroka, Sigalit Ur Why do we ReachOut?: functions of a semi-persistent peer support tool. Search on Bibsonomy GROUP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF informal communication, peer support, workplace collaboration
38Yongsuk Kim, Sirkka L. Jarvenpaa Formal Boundary Spanning and Informal Boundary Spanning in Cross-Border Knowledge Sharing: A Case Study. Search on Bibsonomy HICSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38James A. Landay Informal Tools for Designing Anywhere, Anytime, Anydevice User Interfaces. Search on Bibsonomy Diagrams The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Michael J. Carey 0001, Daniela Florescu, Zachary G. Ives, Ying Lu, Jayavel Shanmugasundaram, Eugene J. Shekita, Subbu N. Subramanian XPERANTO: Publishing Object-Relational Data as XML. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Thorsten Fiebig, Guido Moerkotte Evaluating Queries on Structure with eXtended Access Support Relations. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Jayavel Shanmugasundaram, Kristin Tufte, David J. DeWitt, Jeffrey F. Naughton, David Maier 0001 Architecting a Network Query Engine for Producing Partial Results. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Aldo Bongio, Stefano Ceri, Piero Fraternali, Andrea Maurino Modeling Data Entry and Operations in WebML. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Albrecht Schmidt 0002, Martin L. Kersten, Menzo Windhouwer, Florian Waas Efficient Relational Storage and Retrieval of XML Documents. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Haruo Hosoya, Benjamin C. Pierce XDuce: A Typed XML Processing Language (Preliminary Report). Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Panagiotis G. Ipeirotis, Luis Gravano, Mehran Sahami Automatic Classification of Text Databases Through Query Probing. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36AnHai Doan, Pedro M. Domingos, Alon Y. Levy Learning Source Description for Data Integration. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36David W. Embley, Li Xu Record Location and Reconfiguration in Unstructured Multiple-Record Web Documents. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36George A. Mihaila, Louiqa Raschid, Maria-Esther Vidal Using Quality of Data Metadata for Source Selection and Ranking. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Luping Quan, Li Chen 0016, Elke A. Rundensteiner Argos: Efficient Refresh in an XQL-Based Web Caching System. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Anja Theobald, Gerhard Weikum Adding Relevance to XML. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo Version Management of XML Documents. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Qiong Luo 0001, Jeffrey F. Naughton, Rajasekar Krishnamurthy, Pei Cao, Yunrui Li Active Query Caching for Database Web Servers. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Meike Klettke, Holger Meyer 0001 XML and Object-Relational Database Systems - Enhancing Structural Mappings Based on Statistics. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Donald D. Chamberlin, Jonathan Robie, Daniela Florescu Quilt: An XML Query Language for Heterogeneous Data Sources. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Neel Sundaresan, Jeonghee Yi, Anita W. Huang Using Metadata to Enhance a Web Information Gathering System. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Taher H. Haveliwala, Aristides Gionis, Piotr Indyk Scalable Techniques for Clustering the Web. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Arnaud Sahuguet Everything You Ever Wanted to Know About DTDs, But Were Afraid to Ask. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Nuno Maria, Mário J. Silva Theme-based Retrieval of Web News. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Gösta Grahne, Alex Thomo An Optimization Technique for Answering Regular Path Queries. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
36Arnaud Sahuguet, Fabien Azavant Web Ecology: Recycling HTML Pages as XML Documents Using W4F. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Stefano Ceri, Piero Fraternali, Andrea Maurino, Stefano Paraboschi One-to-One Personalization of Data-Intensive Web Sites. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Bertram Ludäscher, Yannis Papakonstantinou, Pavel E. Velikhov A Framework for Navigation-Driven Lazy Mediators. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Kai-Uwe Sattler, Michael Höding Adapter Generation for Extracting and Querying Data from Web. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Corin R. Anderson, Alon Y. Levy, Daniel S. Weld Declarative Web Site Management with Tiramisu. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36William W. Cohen Some Practical Observations on Integration of Web Information. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik EquiX Easy Querying in XML Databases. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36David Maier 0001, Lois M. L. Delcambre Superimposed Information for the Internet. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Roy Goldman, Jason McHugh, Jennifer Widom From Semistructured Data to XML: Migrating the Lore Data Model and Query Language. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Orkut Buyukkokten, Junghoo Cho, Hector Garcia-Molina, Luis Gravano, Narayanan Shivakumar Exploiting Geographical Location Information of Web Pages. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Daniela Florescu, Alon Y. Levy, Dan Suciu, Khaled Yagoub Run-Time Management of Data Intensive Web Sites. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Birgit Pröll, Werner Retschitzegger, Harald Sighart, Heinrich Starck Ready for Prime Time - Pre-Generation of Web Pages in TIScover. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Alexandros Labrinidis, Nick Roussopoulos On the Materialization of WebViews. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Giansalvatore Mecca, Paolo Merialdo, Paolo Atzeni, Valter Crescenzi The (Short) Araneus Guide to Web-Site Development. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Hartmut Liefke Horizontal Query Optimization on Ordered Semistructured Data. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi Query Answering Using Views for Data Integration over the Web. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Catriel Beeri, Yariv Tzaban SAL: An Algebra for Semistructured Data and XML. Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 1999 DBLP  BibTeX  RDF
36Malcolm P. Atkinson 0001, Peter Buneman, Ronald Morrison (eds.) Data Types and Persistence, Informal Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, UK, August 1985 Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Peter Buneman Data Types For Data Base Programming. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Antonio Albano, Giorgio Ghelli, Renzo Orsini The Implementation of Galileo's Persistent Values. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36G. Lawrence Krablin Building Flexible Multilevel Transactions in a Distributed Persistent Environment. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36James E. Donahue Integrating Programming Languages with Database Systems. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Malcolm S. Powell Adding Programming Facilities to an Abstract Data Store. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36David C. J. Matthews An Overview of the Poly Programming Language. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Rishiyur S. Nikhil Functional Databases, Functional Languages. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Ian F. Currie Fileestore and Modes in Flex. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Malcolm P. Atkinson 0001, Ronald Morrison Types, Bindings and Parameters in a Persistent Environment. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Hassan Aït-Kaci Integrating Data Type Inheritance into Logic Programming. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36William E. Weihl Linguistic Support for Atomic Data Types. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Alexander Borgida Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Christopher L. F. Haynes Data Privacy in a Persistent Environment. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Peter M. D. Gray, David S. Moffat, J. B. H. du Boulay Persistent Prolog: A Secondary Storage Manager for Prolog. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Christopher L. F. Haynes The Exploitation of Persistence. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Jon Fairbairn A New Type-Checker for a Functional Language. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Cliff B. Jones, T. N. Nipkow, Mario Wolczko MDB: A Graph-Like Persistent Database. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Luca Cardelli, David B. MacQueen Persistence and Type Abstraction. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36T. H. Merrett Persistence and Aldat. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36K. T. Sridhar, C. A. R. Hoare JSD Expressed in CSP. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Stanley B. Zdonik, Peter Wegner A Database Approach to Languages, Libraries and Environments. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
36Antonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi The Type System of Galileo. Search on Bibsonomy Data Types and Persistence (Appin), Informal Proceedings The full citation details ... 1985 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 4613 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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