The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1936-1963 (18) 1964-1966 (20) 1967-1968 (16) 1969-1971 (19) 1972-1973 (30) 1974 (29) 1975 (43) 1976 (26) 1977 (62) 1978 (35) 1979 (21) 1980 (70) 1981 (85) 1982 (92) 1983 (71) 1984 (49) 1985 (68) 1986 (100) 1987 (154) 1988 (211) 1989 (199) 1990 (270) 1991 (190) 1992 (239) 1993 (280) 1994 (307) 1995 (332) 1996 (305) 1997 (431) 1998 (530) 1999 (632) 2000 (746) 2001 (902) 2002 (1061) 2003 (1164) 2004 (1578) 2005 (2033) 2006 (2176) 2007 (2606) 2008 (2413) 2009 (1959) 2010 (898) 2011 (511) 2012 (501) 2013 (584) 2014 (494) 2015 (580) 2016 (585) 2017 (605) 2018 (557) 2019 (583) 2020 (590) 2021 (571) 2022 (667) 2023 (627) 2024 (124)
Publication types (Num. hits)
article(6201) book(224) data(1) incollection(850) inproceedings(22336) phdthesis(314) proceedings(123)
Venues (Conferences, Journals, ...)
WG(1315) ACIVS(991) CoRR(706) SIGCSE(361) HICSS(261) GPCE(213) ITiCSE(160) Database Technologies: Concept...(159) WSC(140) SAC(131) DASFAA(124) CogSci(108) ICALT(107) ACM Multimedia(105) ICCS(102) ISCO(100) More (+10 of total 4766)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21168 occurrences of 7577 keywords

Results
Found 30049 publication records. Showing 30049 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
18Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert T. Jones Semantic Resolution for E-commerce. Search on Bibsonomy WRAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Gisela Harras Concepts in Linguistics - Concepts in Natural Language. Search on Bibsonomy ICCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
18Susanne Albers Invited Lecture: Online Algorithms: A Study of Graph-Theoretic Concepts. Search on Bibsonomy WG The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Adrian Popescu 0001, Gregory Grefenstette Spatiotemporal mapping of Wikipedia concepts. Search on Bibsonomy JCDL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF spatial-temporal, interaction, wikipedia, cultural, concept, multilinguism
17Haiyan Xu 0001, Keith W. Hipel, D. Marc Kilgour Matrix Representation of Solution Concepts in Multiple-Decision-Maker Graph Models. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17John P. Dwyer, Steven J. Landry Separation Assurance and Collision Avoidance Concepts for the Next Generation Air Transportation System. Search on Bibsonomy HCI (9) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF separation assurance, roles and responsibilities, automation, Air traffic control
17William C. Kreahling Using computer graphics to explore object oriented concepts using C. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ?????, inheritance, polymorphism
17Yoshiaki Okubo, Makoto Haraguchi Finding Top-N Pseudo Formal Concepts with Core Intents. Search on Bibsonomy MLDM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Andry Rakotonirainy, Seng Wai Loke, Patricia Obst Social Awareness Concepts to Support Social Computing. Search on Bibsonomy CSE (4) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Nida Meddouri, Mondher Maddouri Boosting Formal Concepts to Discover Classification Rules. Search on Bibsonomy IEA/AIE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Data mining, Machine Learning, Boosting, Classification rules, Formal Concept
17Chaitanya Chemudugunta, America Holloway, Padhraic Smyth, Mark Steyvers Modeling Documents by Combining Semantic Concepts with Unsupervised Statistical Learning. Search on Bibsonomy ISWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ontologies, tagging, unsupervised learning, topic models
17Gang Wu, Juanzi Li, Ling Feng, Kehong Wang Identifying Potentially Important Concepts and Relations in an Ontology. Search on Bibsonomy ISWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Youjin Chang, Jun Wang 0012, Mounia Lalmas Generation of Query-Biased Concepts Using Content and Structure for Query Reformulation. Search on Bibsonomy NLDB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concept generation, feature extraction, relevance feedback, structure, query reformulation
17Aman Shakya, Hideaki Takeda 0001, Vilas Wuwongse Consolidating User-Defined Concepts with StYLiD. Search on Bibsonomy ASWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concept consolidation, multiple conceptualizations, social Semantic Web, information sharing, linked data, Structured data
17Youssef Balouki, Mohamed Bouhdadi Using BPEL for Behavioural Concepts in ODP Enterprise Language. Search on Bibsonomy Virtual Enterprises and Collaborative Networks The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17João Paulo A. Almeida, Giancarlo Guizzardi A Semantic Foundation for Role-Related Concepts in Enterprise Modelling. Search on Bibsonomy EDOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Mei-Ling Shyu, Shu-Ching Chen, Min Chen 0009, Chengcui Zhang, Kanoksri Sarinnapakorn Capturing high-level image concepts via affinity relationships in image database retrieval. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Markov Model Mediator (MMM), Principal Component Analysis (PCA), Content-Based Image Retrieval (CBIR)
17Youngbo Suh, Cheol Lee, Joobong Song, Minjoo Jung, Myung Hwan Yun An Evaluation Framework for the Design Concepts of Tangible Interface on New Collaborative Work Support System. Search on Bibsonomy HCI (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Concept Evaluation, CPV, Technology Trends Analysis, HTA, Scenario, Conceptual Design
17Szabolcs Rozsnyai, Josef Schiefer, Alexander Schatten Concepts and models for typing events for event-based systems. Search on Bibsonomy DEBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF service oriented architecture, complex event processing, event model, event stream processing
17Henry Anaya-Sánchez, Rafael Berlanga Llavori, Aurora Pons-Porrata Retrieval of Relevant Concepts from a Text Collection. Search on Bibsonomy CAEPIA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Dong Wang 0022, Zhikun Wang, Xirong Li 0001, Xiaobing Liu, Jianmin Li 0001, Bo Zhang 0010 Mapping Query to Semantic Concepts: Leveraging Semantic Indices for Automatic and Interactive Video Retrieval. Search on Bibsonomy ICSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Frank Steinicke, Timo Ropinski, Gerd Bruder, Klaus H. Hinrichs Interscopic User Interface Concepts for Fish Tank Virtual Reality Systems. Search on Bibsonomy VR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Ke Zhao, Gangwei Hu, Wei Xu, Yatao Li Research on Models of Concept and Relation between Concepts Adapted for Semantic Disambiguation of Natural Language. Search on Bibsonomy IEEE ICCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Veronika A. Vanden Abeele, Veerle Van Rompaey Introducing human-centered research to game design: designing game concepts for and with senior citizens. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ethnography, participatory design, game design, elderly, human-centered design, senior citizens
17Michael Brenner 0002, Markus Garschhammer, Martin Sailer, Thomas Schaaf CMDB - Yet Another MIB? On Reusing Management Model Concepts in ITIL Configuration Management. Search on Bibsonomy DSOM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Rong Yan, Ming-yu Chen 0001, Alexander G. Hauptmann Mining Relationship Between Video Concepts using Probabilistic Graphical Models. Search on Bibsonomy ICME The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Wei-Hao Lin, Alexander G. Hauptmann Which Thousand Words are Worth a Picture? Experiments on Video Retrieval using a Thousand Concepts. Search on Bibsonomy ICME The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Stéphane Ayache, Georges Quénot, Jérôme Gensel, Shin'ichi Satoh 0001 Using Topic Concepts for Semantic Video Shots Classification. Search on Bibsonomy CIVR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Mohsen Afsharchi, Behrouz H. Far, Jörg Denzinger Learning Non-Unanimous Ontology Concepts to Communicate with Groups of Agents. Search on Bibsonomy IAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Remco M. Dijkman A Basis for Constructing and Evaluating Design Concepts. Search on Bibsonomy EDOC Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17George A. Vouros, Konstantinos Kotis Extending HCONE-Merge by Approximating the Intended Meaning of Ontology Concepts Iteratively. Search on Bibsonomy ESWC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Baowen Xu, Dazhou Kang, Jianjiang Lu, Yanhui Li, Jixiang Jiang Mapping Fuzzy Concepts Between Fuzzy Ontologies. Search on Bibsonomy KES (3) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Yelizaveta Marchenko, Tat-Seng Chua, Irina Aristarkhova Analysis and Retrieval of Paintings Using Artistic Color Concepts. Search on Bibsonomy ICME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke Applying Multi-agent Concepts to Dynamic Plug-In Architectures. Search on Bibsonomy AOSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke Multi-agent concepts as basis for dynamic plug-in software architectures. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF modeling, multi-agent systems, components, high-level Petri nets, renew, reference nets, nets-within-nets, dynamic software architectures, plug-in architectures, mulan
17Barbara Heller, Heinrich Herre, Kristin Lippoldt Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework. Search on Bibsonomy DILS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Matthias Meyer 0001, Lothar Wendehals Teaching object-oriented concepts with Eclipse. Search on Bibsonomy eTX The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Milind R. Naphade, John R. Smith A Hybrid Framework for Detecting the Semantics of Concepts and Context. Search on Bibsonomy CIVR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Jingchun Liu, Bir Bhanu Learning Semantic Visual Concepts from Video. Search on Bibsonomy ICPR (2) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Alexandre Delteil, Catherine Faron, Rose Dieng Building Concept Lattices by Learning Concepts from RDF Graphs Annotating Web Documents. Search on Bibsonomy ICCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Alberto Paccanaro, Geoffrey E. Hinton Learning Distributed Representations of Concepts Using Linear Relational Embedding. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF feature learning, learning structured data, generalization on relational data, Linear Relational Embedding, concept learning, Distributed representations
17Daniel Amyot, Gunter Mussbacher On the Extension of UML with Use Case Maps Concepts. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
17Zunaid Kazi, Yael Ravin Who's Who? Identifying Concepts and Entities across Multiple Documents. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
17Ulrike Lechner, Yao-Hua Tan Communities in Electronic Commerce: Concepts, Models and Formal Aspects - Introduction. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
17Younghyun Han, Kunwoo Lee Virtual Function Generators: Representing and Reusing Underlying Design Concepts in Conceptual Synthesis of Mechanisms for Function Generation. Search on Bibsonomy ICCBR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Ernst Ellmer, Christian Huemer, Dieter Merkl, Günther Pernul Automatic Classification of Semantic Concepts in View Specifications. Search on Bibsonomy DEXA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
17Volker Tschammer, Klaus-Peter Eckert, Jane Hall, Gerd Schürmann, Linda Strick OAI - Concepts for Open Systems Cooperation. Search on Bibsonomy Process in Distributed Operating Systems and Distributed Systems Management The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
17Yngve Lindsjørn, Dag I. K. Sjøberg Database Concepts Discussed in Object-Oriented Perspective. Search on Bibsonomy ECOOP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
17Egon Börger, Wolfram Schulte Initialization problems for Java. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java, Compiler, Virtual machine, Programming language
17Rajesh K. Mansharamani, Prasad Kallepalli, Harsha Veerabhadraiah, Benny Mathew RVGEN: a tool for generation of random variates. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Random variates, Random number generation
17M. Elizabeth C. Hull, Peter N. Nicholl, Philip Houston, Niall Rooney Towards a visual approach for component-based software development. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Software frames, Reuse, Visual programming, Distributed objects, Component-based software development, Client/server, Development environments, Legacy code, Object technology, Software methodologies
17Beverly A. Sanders Using atomic await commands to develop concurrent programs in Java. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Atomic await, Java, Concurrent programming
17Gustav Pomberger Editorial. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
17Mark H. Lee Model-based reasoning: a principled approach for software engineering. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Software modelling, Qualitative reasoning, Model-based systems
17Luke Wildman, Colin J. Fidge, David A. Carrington Computer-aided development of a real-time program. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Software engineering, Verification, Formal methods, Refinement, Tool support, Real-time programming
17Jorma Sajaniemi, Kari Ikonen VinEd - A system for program manipulation through user-definable simultaneous views. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Program views, Program editing, Programming environment, Program comprehension
17Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, Frantisek Plásil, Gustav Pomberger, Wolfgang Pree, Michael Stal, Clemens A. Szyperski What characterizes a (software) component? Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Component versus object/class, Component versus module, Software component
17Anton Deimel The SAP R/3 Business Framework. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF BAPI, Business Framework, SAP R/3, Software architecture, Distributed computing, Object orientation, Component
17Yan Zhou, Dawn Wilkins, Robert P. Cook Neural network control for a fire-fighting robot. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Fire fighting, Neural network, Robotics, Control algorithm
17Jürgen Lampe Depot4 - A generator for dynamically extensible translators. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Translator generator, Java, Domain-specific languages, Extensibility, Oberon, EBNF
17Mark A. Toleman, Jim Welsh Systematic evaluation of design choices for software development tools. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Guideline review, Language-based editors, Predictive models, Experimental studies, Software development tools
17Clemens A. Szyperski Emerging component software technologies - a strategic comparison. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF CORBA, Component software, JavaBeans, Componentware, COM
17Adele Goldberg 0001 A reuse business model. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Reuse Expert Services Model, Decision framework, Reuse business model, Software reuse, Software components, Component technology
17Frantisek Plásil, Michael Stal An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF COM/DCOM, Software architecture, Distributed computing, Design patterns, CORBA, Distributed objects, Java RMI
17Gustav Pomberger Editorial. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Gerard Parr, Kevin Curran Dynamic multimedia protocol stacks. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Object frameworks, Distributed systems, Multimedia, Middleware, Protocol, Continuous media
17Juergen Henn IBM San Francisco - Object-oriented infrastructure and reusable business components for distributed, multi-platform business applications - implemented entirely in Java. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF San Francisco, Java, Software architecture, Object-orientation, Distributed object computing, Componentware
17Atanas Radenski Module embedding. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Module embedding, Object-oriented programming, Reuse, Inheritance, Extensibility, Module, Code reuse
17Manfred Broy A uniform mathematical concept of a component (Appendix to M. Broy et al.: "What characterizes a (software) component?". Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Black box specification, Component, Componentware
17Philipp A. Heuberger The minimal user interface of a simple refinement tool. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Proof editing, Formal methods, Theorem proving, Refinement calculus
17Robert P. Cook An on-line C++ class: implementation and experience. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF C++ server, Classroom project, Database, On-line testing
17Jiannong Cao 0001, Mathew Pole A Software Environment for Simulating Distributed Task-Scheduling Algorithms. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Tsong Yueh Chen, Chi Keen Low Error Detection in C++ through Dynamic Data Flow Analysis. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Antonio Corradi, Letizia Leonardi, Franco Zambonelli An Object-Oriented Approach to Structured Parallel Programming. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Ralf Salomon Improving the Preformance of Genetic Algorithms through Derandomization. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Jürgen Lampe Statistics about Modules of the Oberon System. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Michael Franz The Programming Language Lagoona - A Fresh Look at Object-Orientation. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Guido Deinhammer A New Adaptive Coding Scheme and its Application to LZ-Based Data Compression. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Wolfgang Pree Component-Based Software Development - A New Paradigm in Software Engineering? Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Fran Hrebabetzky Closed-Loop Control with Oberon. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Gerhard Goos Sather-K - The Language. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Paul McCartney A Usability Study of End-User Construction of Distributed Multimedia Applications. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Xavier Crégut, Bernard Coulette PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Bart Childs, Johannes Sametinger Analysis of Literate Programs from the Viewpoint of Reuse. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Manfred Broy Towards a Mathematical Concept of a Component and its Use. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Jinyun Xue, Ruth Davis A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Roland Carl Backhouse, Richard Verhoeven, Olaf Weber Math/pad: A System for On-Line Preparation of Mathematical Documents. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1997 DBLP  BibTeX  RDF
17Tiziana Margaria, Bernhard Steffen Foreword. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
17Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun Incremental Formalization: A Key to Industrial Success. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
17Rance Cleaveland, V. Natarajan 0001, Steve Sims, Gerald Lüttgen Modeling and Verifying Distributed Systems Using Priorities: A Case Study. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
17Jan Bredereke Detection of Feature Interactions in Intelligent Networks by Verification. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
17Ralph-Johan Back, Kaisa Sere From Action Systems to Modular Systems. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
17Bernhard Steffen, Tiziana Margaria, Andreas Claßen Heterogeneous Analysis and Verification for Distributed Systems. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
17Gavin Lowe Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
17Anna Ciampolini, Evelina Lamma, Paola Mello An Optimized Implementation of a Dynamic Modular Logic Language. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
17Robert P. Cook The Type Extensible Architecture of a Simple Database System. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
17Christian Stary Integrating Workflow Representations into User Interaface Design Representations. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
17Niklaus Wirth Tasks versus Threads: An Alternative Multiprocessing Paradigm. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
17Robert P. Cook, Krishnan Pillaipakkamnatt An Introduction to Opaque Types. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
17Gerard J. Holzmann Early Fault Detection Tools. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1996 DBLP  BibTeX  RDF
Displaying result #601 - #700 of 30049 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][>>]
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