The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1968-1980 (15) 1981-1987 (16) 1988-1989 (20) 1990-1991 (21) 1992 (15) 1993-1994 (35) 1995 (26) 1996 (16) 1997 (26) 1998 (27) 1999 (37) 2000 (41) 2001 (37) 2002 (57) 2003 (78) 2004 (81) 2005 (64) 2006 (79) 2007 (102) 2008 (80) 2009 (70) 2010 (31) 2011 (20) 2012 (25) 2013 (23) 2014 (20) 2015 (17) 2016 (21) 2017 (21) 2018 (27) 2019 (18) 2020 (24) 2021 (24) 2022 (20) 2023 (26) 2024 (10)
Publication types (Num. hits)
article(423) book(2) incollection(7) inproceedings(826) phdthesis(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 981 occurrences of 715 keywords

Results
Found 1270 publication records. Showing 1270 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
8Peter Dolog, Jan Stage Designing Interaction Spaces for Rich Internet Applications with UML. Search on Bibsonomy ICWE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software design, Rich Internet Applications, state diagrams, interaction spaces
8Khoo Eng Tat, Tim Robert Merritt, Adrian David Cheok, Mervyn Lian, Kelvin Yeo Age Invaders: User Studies of Intergenerational Computer Entertainment. Search on Bibsonomy ICEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mixed reality entertainment, family entertainment, user-centered design, social computing, game play
8Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. Search on Bibsonomy ECSA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF publish/subscribe style, style composition, software architecture, formal specification, architecture modeling, graph rewriting, dynamic architecture
8Dragan Gasevic, Nima Kaviani, Marek Hatala On Metamodeling in Megamodels. Search on Bibsonomy MoDELS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Christophe Lecoutre, Stéphane Cardon, Julien Vion Path Consistency by Dual Consistency. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Lana Abadie, Paolo Badino, Jean-Philippe Baud, Ezio Corso, Matt Crawford, Shaun De Witt, Flavia Donno, Alberto Forti, Ákos Frohner, Patrick Fuhrmann, Gilbert Grosdidier, Junmin Gu, Jens Jensen, Birger Koblitz, Sophie Lemaitre, Maarten Litmaath, Dmitry Litvintsev, Giuseppe Lo Presti, Luca Magnoni, Tigran Mkrtchyan, Alexander Moibenko, Rémi Mollon, Vijaya Natarajan, Gene Oleynik, Timur Perelmutov, Donald Petravick, Arie Shoshani, Alex Sim, David E. Smith 0003, Massimo Sponza, Paolo Tedesco, Riccardo Zappi Storage Resource Managers: Recent International Experience on Requirements and Multiple Co-Operating Implementations. Search on Bibsonomy MSST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Md Mahmudur Rahman 0003, Varun Sood, Bipin C. Desai, Prabir Bhattacharya Cross-Modal Interaction and Integration with Relevance Feedback for Medical Image Retrieval. Search on Bibsonomy MMM (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Sandip Ray, Jayanta Bhadra A Mechanized Refinement Framework for Analysis of Custom Memories. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Colin F. Snook, Marina Waldén Refinement of Statemachines Using Event B Semantics. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Angélica Caro, Coral Calero, Juan Enriquez de Salamanca, Mario Piattini Refinement of a Tool to Assess the Data Quality in Web Portals. Search on Bibsonomy QSIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Krzysztof Niski, Budirijanto Purnomo, Jonathan D. Cohen 0001 Multi-grained level of detail using a hierarchical seamless texture atlas. Search on Bibsonomy SI3D The full citation details ... 2007 DBLP  DOI  BibTeX  RDF level of detail, parametrization, out-of-core, geometry image, texture atlas
8James Decraene, George G. Mitchell, Barry McMullin, Ciaran Kelly The Holland Broadcast Language and the Modeling of Biochemical Networks. Search on Bibsonomy EuroGP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Broadcast Language, biochemical networks modeling, adaptable representation
8Neculai Curteanu, Diana Trandabat, Mihai Alex Moruz Topic-Focus Articulation Algorithm on the Syntax-Prosody Interface of Romanian. Search on Bibsonomy TSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Susmit Jha, Bryan A. Brady, Sanjit A. Seshia Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjöstedt, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001 Managing Complexity of Automotive Electronics Using the EAST-ADL. Search on Bibsonomy ICECCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Peter F. Linington, Pulitha Lakmith Liyanagama Incorporating Security Behaviour into Business Models Using a Model Driven Approach. Search on Bibsonomy EDOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Anders Jonsson 0001, Andrew G. Barto Active Learning of Dynamic Bayesian Networks in Markov Decision Processes. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Rolf Hennicker, Alexander Knapp Activity-Driven Synthesis of State Machines. Search on Bibsonomy FASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8John P. May, David Saunders 0002, Zhendong Wan Efficient matrix rank computation with application to the study of strongly regular graphs. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF matrix p-rank, out of core methods
8Patrice Perny, Olivier Spanjaard, Louis-Xavier Storme A decision-theoretic approach to robust optimization in multivalued graphs. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Lorenz optima, k best solutions, Shortest path, Minimum spanning tree, Robust optimization, Multicriteria optimization
8Gianni Bosi, Gerhard Herden On a Possible Continuous Analogue of the Szpilrajn Theorem and its Strengthening by Dushnik and Miller. Search on Bibsonomy Order The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 54F05, 06A05, 91B16
8Arindam Banerjee 0001, Joydeep Ghosh Scalable Clustering Algorithms with Balancing Constraints. Search on Bibsonomy Data Min. Knowl. Discov. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF scalable clustering, balanced clustering, sampling, text clustering, constrained clustering, stable marriage problem
8Stefaan Caenepeel, D. Quinn, S. Raianu Duality for Finite Hopf Algebras Explained by Corings. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 16W30, 16S40
8Chao Wang 0001, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi Compositional SCC Analysis for Language Emptiness. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF language emptiness, model checking, BDD, LTL, abstraction refinement
8Matthias Grossglauser, Martin Vetterli Locating mobile nodes with EASE: learning efficient routes from encounter histories alone. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF routing, mobility, location service, mobile wireless networks
8Roberto Cordone, Marco Trubian An exact algorithm for the node weighted Steiner tree problem. Search on Bibsonomy 4OR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Prize collecting, Relax-and-cut, Steiner problem
8Ron Shaw, Neil A. Gordon The Polynomial Degree of the GrassmannianG1, n, 2. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 05C90, 11G25, 14M15, AMS Classification 51E20
8Jesper W. Schneider Concept symbols revisited: Naming clusters by parsing and filtering of noun phrases from citation contexts of concept symbols. Search on Bibsonomy Scientometrics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Jordi Conesa, Antoni Olivé A Method for Pruning Ontologies in the Development of Conceptual Schemas of Information Systems. Search on Bibsonomy J. Data Semantics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Olivier Pietquin, Thierry Dutoit A probabilistic framework for dialog simulation and optimal strategy learning. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Zhendong Yang, Wei Pang, Jinhua Du, Wei Wei 0036, Bo Xu 0002 Some Improvements in Phrase-Based Statistical Machine Translation. Search on Bibsonomy ISCSLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF phrase-based translation, minimum error rate training, phrase-template, re-scoring
8Francisco Nivando Bezerra, E. Werbet, W. B. Silva Client-side content-based refinement for image search in the web. Search on Bibsonomy WebMedia The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Eugene Inseok Chong, Souripriya Das, George Eadon, Jagannathan Srinivasan Supporting Keyword Columns with Ontology-based Referential Constraints in DBMS. Search on Bibsonomy ICDE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Jyotishman Pathak, Samik Basu 0001, Robyn R. Lutz, Vasant G. Honavar MoSCoE: A Framework for Modeling Web Service Composition and Execution. Search on Bibsonomy ICDE Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Huang-Ming Huang, Christopher D. Gill Design and Performance of a Fault-Tolerant Real-Time CORBA Event Service. Search on Bibsonomy ECRTS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble Aspects and Data Refinement. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Larissa Meinicke, Ian J. Hayes Continuous Action System Refinement. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Jim Woodcock 0001, Leo Freitas Z/Eves and the Mondex Electronic Purse. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex
8Junhyung Um, Woo-Cheol Kwon, Sungpack Hong, Young-Taek Kim, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo, Taewhan Kim A systematic IP and bus subsystem modeling for platform-based system design. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Zhonghai Lu, Ingo Sander, Axel Jantsch Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication. Search on Bibsonomy DSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Thomas Santen Stepwise Development of Secure Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Tim McComb, Graeme Smith 0001 Compositional Class Refinement in Object-Z. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Sotirios Liaskos, Alexei Lapouchnian, Yijun Yu, Eric S. K. Yu, John Mylopoulos On Goal-based Variability Acquisition and Analysis. Search on Bibsonomy RE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Cormac Flanagan Hybrid type checking. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF dynamic checking, type systems, contracts, static checking
8Bin Liu 0007, Yici Cai, Qiang Zhou 0001, Xianlong Hong Power driven placement with layout aware supply voltage assignment for voltage island generation in Dual-Vdd designs. Search on Bibsonomy ASP-DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Stefan Edelkamp, Shahid Jabbar Large-Scale Directed Model Checking LTL. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Antoine Vacavant, David Coeurjolly, Laure Tougne Dynamic Reconstruction of Complex Planar Objects on Irregular Isothetic Grids. Search on Bibsonomy ISVC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Mohamed Ali Kâafar, Thierry Turletti, Walid Dabbous A Locating-First Approach for Scalable Overlay Multicast. Search on Bibsonomy IWQoS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Greg Reeve, Steve Reeves Logic and refinement for charts. Search on Bibsonomy ACSC The full citation details ... 2006 DBLP  BibTeX  RDF ZC, refinement, logic, statecharts, reactive systems, Z
8Christian Prehofer Semantic reasoning about feature composition via multiple aspect-weavings. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF feature composition, semantic reasoning and refinement, aspect-oriented programming, feature interaction, feature-oriented programming, modular reasoning, aspect weaving
8Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius Synthesis of Scenario Based Test Cases from B Models. Search on Bibsonomy FATES/RV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Scenarios, Model Based Testing, B-Method
8Junping Zhang, Dewang Chen Constraint K-Segment Principal Curves. Search on Bibsonomy ICIC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Duen Horng Chau, Jacob O. Wobbrock, Brad A. Myers, Brandon Rothrock Integrating isometric joysticks into mobile phones for text entry. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2006 DBLP  DOI  BibTeX  RDF mobile phones, gestures, text entry, pointing, cell phones, text input, Pebbles, unistrokes, EdgeWrite, isometric joysticks, crossing
8Ylva Fernaeus, Jakob Tholander Finding design qualities in a tangible programming space. Search on Bibsonomy CHI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF tangible programming, tangible user interfaces, embodied interaction
8Maria Luisa Bonet, Jordi Levy, Felip Manyà A Complete Calculus for Max-SAT. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Alexander Scivos Reachability and Dependency Calculi: Reasoning in Network Algebras. Search on Bibsonomy Spatial Cognition The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Samin Karim, Budhitama Subagdja, Liz Sonenberg Plans as Products of Learning. Search on Bibsonomy IAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Craig A. Knoblock, Cyrus Shahabi, Ching-Chien Chen, E. Lynn Usery Automatic alignment of vector data and orthoimagery for the national map. Search on Bibsonomy DG.O The full citation details ... 2006 DBLP  DOI  BibTeX  RDF orthoimagery, alignment, vector data, conflation
8Stefan Siersdorfer, Sergej Sizov Automatic Document Organization in a P2P Environment. Search on Bibsonomy ECIR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Monika Záková, Filip Zelezný, Javier A. García-Sedano, Cyril Masia Tissot, Nada Lavrac, Petr Kremen, Javier Molina Relational Data Mining Applied to Virtual Engineering of Product Designs. Search on Bibsonomy ILP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Mirja Pulkkinen Systemic Management of Architectural Decisions in Enterprise Architecture Planning. Four Dimensions and Three Abstraction Levels. Search on Bibsonomy HICSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Takeshi Matsumoto, Hiroshi Saito, Masahiro Fujita Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs. Search on Bibsonomy ISQED The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Boris Jansen, Kenji Nakayama An Adaptive Penalty-Based Learning Extension for Backpropagation and its Variants. Search on Bibsonomy IJCNN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Jan Struyf, Jesse Davis, C. David Page Jr. An Efficient Approximation to Lookahead in Relational Learners. Search on Bibsonomy ECML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Mustafa Jarrar, Stijn Heymans Unsatisfiability Reasoning in ORM Conceptual Schemes. Search on Bibsonomy EDBT Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Philip Miseldine, A. Taleb-Bendiab CA-SPA: Balancing the Crosscutting Concerns of Governance and Autonomy in Trusted Software. Search on Bibsonomy AINA (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Pierre Gurdjos, Peter F. Sturm, Yihong Wu 0002 Euclidean Structure from N geq 2 Parallel Circles: Theory and Algorithms. Search on Bibsonomy ECCV (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Hui Ma 0001, Klaus-Dieter Schewe, Jane Zhao View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. Search on Bibsonomy QSIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Design, Refinement, Data Warehouse, Types, Abstract State Machines
8Gabriel Antoniu, Loïc Cudennec, Sébastien Monnet A Practical Evaluation of a Data Consistency Protocol for Efficient Visualization in Grid Applications. Search on Bibsonomy VECPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF code-coupling applications, visualization, grid, Data consistency
8Bruno Girodias, El Mostapha Aboulhamid, Gabriela Nicolescu A Platform for Refinement of OS Services for Embedded Systems. Search on Bibsonomy DELTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Claudia Pons Heuristics on the Definition of UML Refinement Patterns. Search on Bibsonomy SOFSEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira Automation of Java Card component development using the B method. Search on Bibsonomy ICECCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Ahmed Amine Jerraya, Aimen Bouchhima, Frédéric Pétrot Programming models and HW-SW interfaces abstraction for multi-processor SoC. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF HW/SW interfaces, programming models, heterogeneous MPSoC
8Andreas Herzig, Nicolas Troquard Knowing how to play: uniform choices in logics of agency. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modal logic, logics for agent systems, formal models of agency
8Gianni Bosi, Gerhard Herden On a Strong Continuous Analogue of the Szpilrajn Theorem and its Strengthening by Dushnik and Miller. Search on Bibsonomy Order The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 54F05, 06A05, 91B16
8Guang-Ping Qin, Jin-Zhao Wu Action Refinement for Real-Time Concurrent Processes with Urgency. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF timed event, real-time process algebra, structure, action refinement, urgency
8Andy Way, Nano Gough Controlled Translation in an Example-based Environment: What do Automatic Evaluation Metrics Tell Us? Search on Bibsonomy Mach. Transl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF controlled translation, Marker Hypothesis, evaluation, example-based MT
8Fabio Cuzzolin Algebraic structure of the families of compatible frames of discernment. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF AMS subject classification (2000) 60D05, 28E10, 06C10, 68T37
8Gergely Korodi, Ioan Tabus An efficient normalized maximum likelihood algorithm for DNA sequence compression. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Approximate sequence matching, DNA compression, normalized maximum likelihood model
8Ingrid Verbauwhede, Patrick Schaumont Skiing the embedded systems mountain. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Education, design space exploration, cosimulation
8Chen Fu, Ana L. Milanova, Barbara G. Ryder, David Wonnacott Robustness Testing of Java Server Applications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF def-use testing, test coverage metrics, Java, Reliability, exceptions
8Ziyou Xiong Audio-visual sports highlights extraction using Coupled Hidden Markov Models. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8Antonio Cerone, George J. Milne Property verification of asynchronous systems. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF asynchronous hardware, Formal verification, process algebra, constraint modelling
8Jamie L. Smith, Shawn A. Bohner, D. Scott McCrickard Toward Introducing Notification Technology into Distributed Project Teams. Search on Bibsonomy ECBS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8John Carroll 0001, Stephan Oepen High Efficiency Realization for a Wide-Coverage Unification Grammar. Search on Bibsonomy IJCNLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8Egon Börger Linking the Meaning of Programs to What the Compiler Can Verify. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8Anubhav Gupta 0001, Ofer Strichman Abstraction Refinement for Bounded Model Checking. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8Michael Altenhofen, Egon Börger, Jens Lemcke An Abstract Model for Process Mediation. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8Kevin K. Chang, Nithya Ramanathan, Deborah Estrin, Jens Palsberg D.A.S.: deployment analysis system. Search on Bibsonomy SenSys The full citation details ... 2005 DBLP  DOI  BibTeX  RDF data mining, sensor network, visualization, debugging, analysis, deployment
8Imene Jaballah, Sally Jo Cunningham, Ian H. Witten Managing Personal Documents with a Digital Library. Search on Bibsonomy ECDL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8Sing-Hoi Sze, Yue Lu, Qingwu Yang A Polynomial Time Solvable Formulation of Multiple Sequence Alignment. Search on Bibsonomy RECOMB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke Modeling Dynamic Architectures Using Nets-Within-Nets. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8G. Rajeshwari, Santonu Sarkar SAM: A Tool for Software Architecture Modeling and Performance Analysis. Search on Bibsonomy QEST The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8William L. Harrison, James Hook Achieving Information Flow Security through Precise Control of Effects. Search on Bibsonomy CSFW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8Wei Zhang 0004, Hong Mei 0001, Haiyan Zhao A Feature-Oriented Approach to Modeling Requirements Dependencies. Search on Bibsonomy RE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8Hasan Ogul, Ü. Erkan Mumcuoglu Protein Solvent Accessibility Prediction Using Support Vector Machines and Sequence Conservations. Search on Bibsonomy TAINN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8Julia Padberg, Hans-Jörg Kreowski Loose Semantics of Petri Nets. Search on Bibsonomy Formal Methods in Software and Systems Modeling The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8Juanjuan Jiang, Tarja Systä UML-Based Modeling and Validity Checking of Web Service Descriptions. Search on Bibsonomy ICWS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
8Andrew W. Moore 0002, Denis Zuev Internet traffic classification using bayesian analysis techniques. Search on Bibsonomy SIGMETRICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF internet traffic, traffic identification, flow classification
8Michael Y. K. Cheng, Chris Micacchi, Robin Cohen Adjusting the Autonomy of Collections of Agents in Multiagent Systems. Search on Bibsonomy Canadian AI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #801 - #900 of 1270 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][>>]
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