The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1953-1954 (25) 1955 (17) 1959-1961 (28) 1963-1965 (38) 1966 (29) 1967 (47) 1968 (80) 1969 (41) 1970 (22) 1971-1972 (23) 1973-1974 (20) 1975 (16) 1976-1977 (31) 1978 (17) 1979 (23) 1980 (24) 1981 (32) 1982 (42) 1983 (44) 1984 (61) 1985 (54) 1986 (75) 1987 (78) 1988 (93) 1989 (85) 1990 (98) 1991 (103) 1992 (101) 1993 (128) 1994 (110) 1995 (124) 1996 (122) 1997 (146) 1998 (155) 1999 (163) 2000 (176) 2001 (191) 2002 (265) 2003 (284) 2004 (316) 2005 (296) 2006 (323) 2007 (305) 2008 (329) 2009 (329) 2010 (218) 2011 (202) 2012 (213) 2013 (232) 2014 (233) 2015 (261) 2016 (246) 2017 (258) 2018 (240) 2019 (249) 2020 (236) 2021 (219) 2022 (173) 2023 (198) 2024 (52)
Publication types (Num. hits)
article(6444) book(8) incollection(12) inproceedings(1852) phdthesis(23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2246 occurrences of 1341 keywords

Results
Found 8340 publication records. Showing 8339 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
14Jwu-Sheng Hu, Jyun-Ji Wang, Guan-Qun Sun The glove puppet robot: X-puppet. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
14Noriko Hanakawa A Source-Code Based Extraction Way for Micro Processes Influencing Software Complexity. Search on Bibsonomy APSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
14Ramón Zataraín-Cabada, María Lucía Barrón-Estrada, Guillermo Sandoval, J. Moisés Osorio-Velásquez, Eduardo Urías Barrientos, Carlos A. Reyes García Authoring Neuro-fuzzy Tutoring Systems for M and E-Learning. Search on Bibsonomy MICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Distance Learning, Intelligent Tutoring System, Author Tool, M-Learning
14Christof Lutteroth, Gerald Weber End-user GUI customization. Search on Bibsonomy CHINZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF document orientation, layout manager, GUI, constraint programming, end-user development, WYSIWYG
14Jens von Pilgrim, Kristian Duske Gef3D: a framework for two-, two-and-a-half-, and three-dimensional graphical editors. Search on Bibsonomy SOFTVIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF 3D visualization, graphical editing
14Hannu Mäyrä, Mauno Rönkkö Reverse Engineering Functional Classes: A Middleware Case Study. Search on Bibsonomy ITNG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Functional Classes, Middleware, Reverse Engineering, Decompilation, Java Bytecode
14Maria De Marsico A User-Oriented Visual Tool for Advanced Editing of Learning Material. Search on Bibsonomy ICALT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
14Vatcharaphun Rajsiri, Jean-Pierre Lorré, Frédérick Bénaben, Hervé Pingaud Collaborative Process Definition Using An Ontology-Based Approach. Search on Bibsonomy Virtual Enterprises and Collaborative Networks The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
14Dominik Dietrich, Ewaryst Schulz, Marc Wagner 0001 Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
14Iván García-Magariño, Alma Gómez-Rodríguez, Juan Carlos González Moreno Definition of Process Models for Agent-Based Development. Search on Bibsonomy AOSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-agent Systems, Tool, Process, Metamodel, Development, SPEM
14John William Lumley, Roger Gimson, Owen Rees A demonstration of a configurable editing framework. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2008 DBLP  DOI  BibTeX  RDF document editing, functional programming, XSLT, SVG, document construction
14David H. Albonesi Standing on Solid Ground. Search on Bibsonomy IEEE Micro The full citation details ... 2007 DBLP  DOI  BibTeX  RDF interconnects for multicore chips, special-purpose chips, debugging, human-computer interface, microarchitecture, programmability
14Hakan Erdogmus IEEE Software - 2007 and Beyond. Search on Bibsonomy IEEE Softw. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software engineering, volunteer
14Tom Stafford 0001, Patrick Y. K. Chau, Andrew Schwarz, Clinton R. Lanier From the editors. Search on Bibsonomy Data Base The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Vit Kovalcík, Jan Flasar, Jiri Sochor Extensible approach to the virtual worlds editing. Search on Bibsonomy Afrigraph The full citation details ... 2007 DBLP  DOI  BibTeX  RDF VR system, editing virtual worlds
14Y. Jiang, Lide Cao, R. Sankreacha, J. Pignol Software tool for Breast Cancer Brachytherapy Planning using VTK. Search on Bibsonomy IEEE ICCI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Frithjof Dau, Mark Sifer A Formalism for Navigating and Editing XML Document Structure. Search on Bibsonomy DNIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Martyn Dade-Robertson Visual Scenario Representation in the Context of a Tool for Interactive Storytelling. Search on Bibsonomy International Conference on Virtual Storytelling The full citation details ... 2007 DBLP  DOI  BibTeX  RDF INSCAPE, Interactive Story Telling, Topographical Space, GUI, Information Visualisation, Topological Space
14Hans-Martin Pohl, Patrycja Tulinska, Jan-Torsten Milde Efficient Creation of Multi Media eLearning Modules. Search on Bibsonomy HCI (9) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SCORM 2004, creation of content, transformation, modules, XSLT, eLearning, user friendly, LOM, style sheet, lesson
14Sagar Sen, Benoit Baudry, Hans Vangheluwe Domain-Specific Model Editors with Model Completion. Search on Bibsonomy MoDELS (Workshops) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Serge Autexier, Armin Fiedler, Thomas Neumann 0006, Marc Wagner 0001 Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Pradip Bose Looking briefly back, and then forward... Search on Bibsonomy IEEE Micro The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computer architecture, hardware
14Jeanna N. Matthews Operating systems review: looking back and looking forward. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Michel Buffa, Fabien Gandon SweetWiki: semantic web enabled technologies in Wiki. Search on Bibsonomy Int. Sym. Wikis The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ontology, semantic web, Web 2.0, Wiki, social tagging
14Michel Buffa, Fabien Gandon SweetWiki: semantic web enabled technologies in Wiki. Search on Bibsonomy Int. Sym. Wikis The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ontology, semantic web, Web 2.0, Wiki, social tagging
14Cristóbal Romero 0001, Sebastián Ventura, César Hervás-Martínez, Paul De Bra An Authoring Tool for Building Both Mobile Adaptable Tests and Web-Based Adaptive or Classic Tests. Search on Bibsonomy AH The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14William R. Cook Peak Objects. Search on Bibsonomy ECOOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Vincenzo Bonifaci, Camil Demetrescu, Irene Finocchi, Luigi Laura Visual editing of animated algorithms: the Leonardo Web builder. Search on Bibsonomy AVI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF visual interfaces, algorithms animation
14Jie Bao 0001, Zhiliang Hu, Doina Caragea, James M. Reecy, Vasant G. Honavar A Tool for Collaborative Construction of Large Biological Ontologies. Search on Bibsonomy DEXA Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Filipe Barrenho, Teresa Romão, Tiago Martins, Nuno Correia 0001 InAuthoring environment: interfaces for creating spatial stories and gaming activities. Search on Bibsonomy Advances in Computer Entertainment Technology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF spatial stories and games, storyboard authoring, hypermedia, interactive storytelling, visual interfaces, mobile multimedia, location based systems
14Yuzuru Tanaka Knowledge media and meme media architectures from the viewpoint of the phenotype-genotype mapping. Search on Bibsonomy SIGDOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF knowledge media architecture, meme media architecture, reediting, genotype, phenotype, redistribution, DOM tree, compound document
14Jason Kealey, Daniel Amyot Towards the Automated Conversion of Natural-Language use Cases to Graphical use Case Maps. Search on Bibsonomy CCECE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Christoph Stahl, Jens Haupert Taking Location Modelling to New Levels: A Map Modelling Toolkit for Intelligent Environments. Search on Bibsonomy LoCA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF geometric location modelling, intelligent environment, pedestrian navigation
14Youwei Xu, Shengqun Tang, Yan Yang, Yang Xu 0016 Towards a Selective Inference Platform Based on OWL. Search on Bibsonomy Web Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Gerald Stieglbauer, Andreas Werner Modellierung von deterministischer Software in Simulink. Search on Bibsonomy Inform. Forsch. Entwickl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Embedded realtime systems, Model-based software development, Software architecture, Code generation, Model generation, Digital controllers
14Peter B. Henderson Software Engineering Education (SEEd). Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Jing Sun 0002, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik SVG Web Environment for Z Specification Language. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Z formal specification language, Web based tool support, Scalable Vector Graphics
14Ella Tallyn, Boriana Koleva, Brian Logan 0001, Dan Fielding, Steve Benford, Giulia Gelmini-Hornsby, Neil Madden Embodied Reporting Agents as an Approach to Creating Narratives from Live Virtual Worlds. Search on Bibsonomy International Conference on Virtual Storytelling The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Krzysztof Czarnecki 0001, Michal Antkiewicz, Chang Hwan Peter Kim, Sean Lau, Krzysztof Pietroszek fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates. Search on Bibsonomy OOPSLA Companion The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model-driven development, software-product lines, feature modeling, variability management, product configuration
14Dirk Burmeister The Exchangeability of Speech by Cognitive Metaphors. Search on Bibsonomy IV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Minoru Uehara Web CC: A WBT System of Programming for Beginners. Search on Bibsonomy DEXA Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14João Porto de Albuquerque, Holger Isenberg, Heiko Krumm, Paulo Lício de Geus Improving the Configuration Management of Large Network Security Systems. Search on Bibsonomy DSOM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Tal Sobol Shikler, Peter Robinson 0001 Affect Editing in Speech. Search on Bibsonomy ACII The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Robin Abraham, Martin Erwig, Steve Kollmansberger, Ethan Seifert Visual Specifications of Correct Spreadsheets. Search on Bibsonomy VL/HCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Christoph Draxler WebTranscribe - An Extensible Web-Based Speech Annotation Framework. Search on Bibsonomy TSD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
14Don Stewart, Manuel M. T. Chakravarty Dynamic applications from the ground up. Search on Bibsonomy Haskell The full citation details ... 2005 DBLP  DOI  BibTeX  RDF functional programming, dynamic update, extension languages, hot swapping, dynamic applications
14Jonathan Edwards Example centric programming. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2004 DBLP  DOI  BibTeX  RDF integrated development, debugging, eclipse, unit testing, environment, examples
14Dorothy E. Leidner, Wynne W. Chin From the editors. Search on Bibsonomy Data Base The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Jonathan Edwards Example centric programming. Search on Bibsonomy OOPSLA Companion The full citation details ... 2004 DBLP  DOI  BibTeX  RDF debugging, eclipse, unit testing, integrated development environment, examples
14Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi An Algebraic Approach to Bi-directional Updating. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Jesús Favela, Hiroshi Natsu, Cynthia B. Pérez, Omar Robles, Alberto L. Morán, Raul Romero, Ana María Martínez Enríquez, Dominique Decouchant Empirical Evaluation of Collaborative Support for Distributed Pair Programming. Search on Bibsonomy CRIWG The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Kimiaki Shirahama, Yuya Matsuo, Kuniaki Uehara Mining Semantic Structures in Movies. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Steve Whittaker 0001, Brian Amento Semantic speech editing. Search on Bibsonomy CHI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF acoustic representations, speech browsing, speech editing, speech recognition, transcripts, speech retrieval
14Sang-Gyu Jeon, Gihun Son Development of a Power Plant Simulation Tool with Component Expansibility Based on Object Oriented Modeling. Search on Bibsonomy AsiaSim The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Rolf Schwitter Representing Knowledge in Controlled Natural Language: A Case Study. Search on Bibsonomy KES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Andrew Begel Spoken Language Support for Software Development. Search on Bibsonomy VL/HCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Michael Toomim, Andrew Begel, Susan L. Graham Managing Duplicated Code with Linked Editing. Search on Bibsonomy VL/HCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Chien-Chang Hsu, Chang-Wen Deng An Intelligent Interface for Customer Behaviour Analysis from Interaction Activities in Electronic Commerce. Search on Bibsonomy IEA/AIE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Sitt Sen Chok, Kim Marriott Automatic generation of intelligent diagram editors. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Constraint multi-set grammars, diagram interaction, diagram parsing, intelligent diagram, constraint solving, pen-based computing
14Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer Generic Graphical User Interfaces. Search on Bibsonomy IFL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Satish Chandra Gupta, Tien Nhut Nguyen, Ethan V. Munson The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia. Search on Bibsonomy APSEC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Huan Jin, Carsten Maple A Generic Visualisation and Editing Tool for Hierarchical and Object-Oriented Systems. Search on Bibsonomy IV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Daniel Moldt, Heiko Rölke Pattern Based Workflow Design Using Reference Nets. Search on Bibsonomy Business Process Management The full citation details ... 2003 DBLP  DOI  BibTeX  RDF workflow, patterns, IDE, high-level Petri nets, workflow patterns, Renew, Reference nets, nets within nets
14Mikhail Kazakov, Habib Abdulrab A Meta-modeling Approach to Ontological Engineering: DL-Workbench Platform. Search on Bibsonomy Metainformatics The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Mee Young Sung, Do Hyung Lee A Collaborative Multimedia Authoring System. Search on Bibsonomy GCC (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Ki-Hwa Lee, Eui-Hyun Jung, Hang-Bong Kang, Yong-Jin Park A New Agent Framework with Behavior Delegation Using SOAP. Search on Bibsonomy APWeb The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Jinyoung Moon, Daeha Lee, Chankyu Park, Hyunkyu Cho ebXML BP Modeling Toolkit . Search on Bibsonomy EDOC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Jessica K. Hodgins Editorial. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer LISA: An Interactive Environment for Programming Language Development. Search on Bibsonomy CC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Yannis Papakonstantinou, Michalis Petropoulos, Vasilis Vassalos QURSED: querying and reporting semistructured data. Search on Bibsonomy SIGMOD Conference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF XML
14Hong Chen, Nanning Zheng 0001, Lin Liang, Yan Li, Ying-Qing Xu, Heung-Yeung Shum PicToon: a personalized image-based cartoon system. Search on Bibsonomy ACM Multimedia The full citation details ... 2002 DBLP  DOI  BibTeX  RDF multi-modal interaction and integration, non-parametric sampling, user interfaces, applications, lip-syncing, example-based learning
14Yuya Matsuo, Miki Amano, Kuniaki Uehara Mining video editing rules in video streams. Search on Bibsonomy ACM Multimedia The full citation details ... 2002 DBLP  DOI  BibTeX  RDF shot size, video grammar, video material, data mining, video editing
14Mario Batusic, Franz Urban Preparing Tactile Graphics for Traditional Braille Printers with BrlGraphEditor. Search on Bibsonomy ICCHP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Mats Blomquist Braille Contractions in WinBraille. Search on Bibsonomy ICCHP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Bruce H. Thomas, Paul R. Calder Applying cartoon animation techniques to graphical user interfaces. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Animation, graphical user interfaces, direct manipulation, graphics, toolkits
14Kang Zhang 0001, Da-Qian Zhang, Jiannong Cao 0001 Design, Construction, and Application of a Generic Visual Language Generation Environment. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Visual programming, visual languages, graph grammar, language construction
14Michael Priestley Writing, designing, and processing information in the Darwin information typing architecture (DITA). Search on Bibsonomy SIGDOC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF XML
14Eugene Fiume Alain Fournier, 1943-2000: an appreciation. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
14Gregory R. Crane, Jeffrey A. Rydberg-Cox New technology and new roles: the need for "corpus editors". Search on Bibsonomy ACM DL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF hypertext, editing, corpus linguistics
14Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer Compiler/Interpreter Generator System LISA. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
14Robert S. Brewer Improving problem-oriented mailing list archives with MCS. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF knowledge condensation, archives, mailing lists, collective memory
14Robert H. Meyer, Louis A. Oddo, Shannon P. McDonald A Software Tool to Predict SAR Signatures for Building Modeling. Search on Bibsonomy AIPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
14Valérie Issarny, Michel Banâtre, Boris Charpiot, Jean-Marc Menaud Quality of Service and Electronic Newspaper: The Etel Solution. Search on Bibsonomy Advances in Distributed Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
14Haruo Takeda, Masami Yamasaki, Toshio Moriya, Tsuyoshi Minakawa, Fumiko Beniyama, Takafumi Koike A video-based virtual reality system. Search on Bibsonomy VRST The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
14Ivan A. Lisitsyn, Victor N. Kasyanov Higres - Visualization System for Clustered Graphs and Graph Algorithms. Search on Bibsonomy GD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
14Ignacio Gil, Peter M. D. Gray, Graham J. L. Kemp A Visual Interface and Navigator for the P/FDM Object Database. Search on Bibsonomy UIDIS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
14Hugo De Man Design Technology Research and Education for Deep-Submicron Systems of the Next Century. Search on Bibsonomy VTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
14Are Uppman, Jean-Marc Champarnaud Autographe: A Graphical Version of Automate. Search on Bibsonomy Workshop on Implementing Automata The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
14M. Lusini, Enrico Vicario Engineering the usability of visual formalisms: a case study in real time logics. Search on Bibsonomy AVI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF usability engineering, visual formalisms, computer aided verification, real time logics
14Joanne E. Zucco, Bruce H. Thomas, Elena Trichina Interactive animation for visualisation of mapping of parallel programs into parallel processors. Search on Bibsonomy KES (3) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
14M. Lusini, Enrico Vicario Design and Evaluation of a Visual Formalism for Real Time Logics. Search on Bibsonomy Services and Visualization: Towards User-Friendly Design The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
14 Hardware-Software Codesign. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
14Andrew Hussey, David A. Carrington Specifying the UQ* user-interface with Object-Z. Search on Bibsonomy APSEC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF formal methods, specification, Human-computer interface, Object-Z
14Jens-Uwe Möller, Detlev Wiese Editing Conceptual Graphs. Search on Bibsonomy ICCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
14Gerhard Viehstaedt, Mark Minas Graphical Representation and Manipulation of Complex Structures Based on a Formal Model Search on Bibsonomy CAiSE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
14J. Artur Serrano The Use of Semantic Constraints on Diagram Editors. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF diagram editors, state transition networks, entity-relationship data model, unfriendly system, automatic diagram validation, Petri nets, graphical user interfaces, software tools, software tools, visual programming, visual programming, diagrams, graphical interface, semantic constraints, user guidance
14Wei Li 0022 A Logical Framework for Evolution of Specifications. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
14Michael Löwe, Martin Beyer AGG - An Implementation of Algebraic Graph Rewriting. Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
14Michel Wermelinger, José Gabriel Lopes An X-Windows Toolkit for Knowledge Acquisition and Representation Based on Conceptual Structures. Search on Bibsonomy Workshop on Conceptual Graphs The full citation details ... 1992 DBLP  DOI  BibTeX  RDF knowledge representation, natural language processing, graphical interfaces, conceptual structures
14Jun Li, Allen A. Rovick, Joel A. Michael ABASE: A Hypermedia-based Tutoring and Authoring System. Search on Bibsonomy ICCAL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #401 - #500 of 8339 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][>>]
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