The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1952-1973 (16) 1974-1977 (22) 1978-1979 (19) 1980-1981 (19) 1982-1983 (24) 1984 (26) 1985 (42) 1986 (17) 1987 (52) 1988 (59) 1989 (56) 1990 (80) 1991 (86) 1992 (105) 1993 (131) 1994 (128) 1995 (160) 1996 (175) 1997 (203) 1998 (312) 1999 (353) 2000 (484) 2001 (508) 2002 (749) 2003 (800) 2004 (1127) 2005 (1328) 2006 (1464) 2007 (1675) 2008 (1582) 2009 (1269) 2010 (482) 2011 (335) 2012 (311) 2013 (340) 2014 (341) 2015 (444) 2016 (464) 2017 (479) 2018 (484) 2019 (622) 2020 (649) 2021 (582) 2022 (543) 2023 (603) 2024 (166)
Publication types (Num. hits)
article(6234) book(23) data(2) incollection(156) inproceedings(13258) phdthesis(210) proceedings(33)
Venues (Conferences, Journals, ...)
CoRR(1038) DAMDID/RCDL(228) J. Comput. Phys.(162) ESWC(135) AAMAS(131) AAAI(115) HICSS(113) ER (Workshops)(110) CP(109) DG.O(91) HCI (4)(88) J. Sci. Comput.(88) DAMDID/RCDL (Selected Papers)(86) IJCAI(85) SAC(81) DAMDID/RCDL (Supplementary Pro...(77) More (+10 of total 3748)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13156 occurrences of 5811 keywords

Results
Found 19916 publication records. Showing 19916 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
67Sally Rice, John F. Roddick, Denise de Vries Defining and implementing domains with multiple types using mesodata modelling techniques. Search on Bibsonomy APCCM The full citation details ... 2006 DBLP  BibTeX  RDF coarse granularity, hierarchical domains, intelligent domains, mesodata, multiply-typed domains, data integration, incomplete information, relational model, intervals, vagueness
45Wilfred Ng Querying Databases with Knowledge Domains. Search on Bibsonomy IDEAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF knowledge domains, data domains, user-defined predicates, Knowledge Relational Algebra, knowledge domain classes, query language classes, computable queries, query, relational algebra
42Hideki Tsuiki Uniform Domains and Uniform Spaces: (Abstract). Search on Bibsonomy Workshop on Domains The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Romain Trinquart, Solange Lemai, Stéphane Cambon One Step on the Left, One Step on the Right, and Back to the Middle: Exploring Temporal Domains in a POP Fashion. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
42Giovanni Sambin Formal topology and domains. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42Andrej Bauer Equilogical spaces and domains with totality. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Sakti P. Ghosh Statistical Relational Databases: Normal Forms. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF statistical relational databases, derived identifier, class identifier, derived class-counts, count domains, compact domains, uniform domains, relational decompositions, statistical abnormalities, outlyers, relational databases, SQL, statistical analysis, query languages, normal forms, structured query language, relational tables
40Carsten Lutz, Maja Milicic A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF concrete domains, tableau algorithm, description logic, decidability
36Reinaldo Matushima, Yeda Regina Venturini, Rony R. M. Sakuragui, Tereza Cristina M. B. Carvalho, Wilson Vicente Ruggiero, Mats Näslund, Makan Pourzandi Multiple personal security domains. Search on Bibsonomy IWCMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF domains composition, security enforcement layer, wireless networks, ad hoc, personal networks, security domains
36Linda G. DeMichiel Resolving Database Incompatibility: An Approach to Performing Relational Operations over Mismatched Domains. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF database incompatibility, mismatched domains, conflicting attributes, common domains, virtual attributes, one-one mappings, attribute mappings, extended relational operators, relational databases, data integrity, relational operations
35Abbas Edalat, Michael B. Smyth Information categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Scott information systems, I-category, categories of domains, Stone spaces, initial algebra, domain equations
34Martín Escardó, Achim Jung (eds.) Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002 Search on Bibsonomy Workshop on Domains The full citation details ... 2004 DBLP  BibTeX  RDF
34Maria Fox 0001, Alexandra M. Coddington (eds.) AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002 Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34Gordon D. Plotkin, A. John Power Computational Effects and Operations: An Overview. Search on Bibsonomy Workshop on Domains The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34John Longley On the Ubiquity of Certain Total Type Structures: (Extended Abstract). Search on Bibsonomy Workshop on Domains The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Dag Normann A Nonstandard Characterisation of the Type-structure of Continuous Functionals Over the Reals. Search on Bibsonomy Workshop on Domains The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Christopher F. Townsend Presenting Locale Pullback Via Directed Complete Posets: Extended Abstract. Search on Bibsonomy Workshop on Domains The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Thierry Vallée Map Theory: From Well-Foundation to Antifoundation. Search on Bibsonomy Workshop on Domains The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Keye Martin, Joël Ouaknine Informatic vs. Classical Differentiation on the Real Line. Search on Bibsonomy Workshop on Domains The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Martín Hötzel Escardó, Achim Jung Preface. Search on Bibsonomy Workshop on Domains The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Amin Farjudian Sequentiality and Piecewise-affinity in Segments of Real-PCF. Search on Bibsonomy Workshop on Domains The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Michael Huth 0001, Shekhar Pradhan Consistent Partial Model Checking. Search on Bibsonomy Workshop on Domains The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Maria Emilia Maietti, Silvio Valentini Exponentiation of Scott Formal Topologies. Search on Bibsonomy Workshop on Domains The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Vincent Schmitt Enriched Categories and Quasi-uniform Spaces. Search on Bibsonomy Workshop on Domains The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Oded Maler Timed Automata as an Underlying Model for Planning and Scheduling. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34Alexandra M. Coddington Handling Durative Actions in a Continuous Planning Framework. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34Minh Binh Do, Subbarao Kambhampati Improving the Temporal Flexibility of Position Constrained Temporal Plans. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34Yannis Dimopoulos, Alfonso Gerevini Temporal Planning through Mixed Integer Programming. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34Amol Dattatraya Mali Encoding Temporal Planning as CSP. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34Stefan Edelkamp Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34Maria Fox 0001, Derek Long Fast Temporal Planning in a Graphplan Framework. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34Fusun Yaman, Dana S. Nau Timeline: An HTN Planner that can Reason about Time. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34Eliseo Marzal, Eva Onaindia, Laura Sebastia An Incremental Temporal Partial-Order Planner. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34John L. Bresina, Richard Dearden, Nicolas Meuleau, David E. Smith 0001, Richard Washington Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34Antonio Garrido A Temporal Planning System for Level 3 Durative Actions of PDDL+. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34Biplav Srivastava Temporal Constraints and the "Physics versus Advice" Issue from a Practical Perspective. Search on Bibsonomy AIPS Workshop on Planning for Temporal Domains The full citation details ... 2002 DBLP  BibTeX  RDF
34Dieter Spreen, Ralf Greb, Holger Schulz, Michel P. Schellekens (eds.) Workshop on Domains IV 1998, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998 Search on Bibsonomy Workshop on Domains The full citation details ... 2000 DBLP  BibTeX  RDF
34Jaap van Oosten, Alex K. Simpson Some axiomatic results in synthetic domain theory. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Jürgen Koslowski Strategies for games with state - An application of the Chu-construction. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Holger Schulz Type two theory of effectivity and Real PCF. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Regina Tix Convex power constructions for continuous d-cones. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Dominique Larchey-Wendling, Didier Galmiche Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Dag Normann The continuous functionals of finite types over the reals. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Victor J. Pollara Free SFP-algebras for truncation-closed sets of inequations. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Lars Birkedal On propositions-as-types in realizability models. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Karl-Heinz Niggl Characterizing polytime through higher type recursion. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Dana S. Scott Effective versions of equilogical spaces. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Dag Normann The Cook-Berger problem - A guide to the solution. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34John Longley Matching typed and untyped realizability. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Pierre Valarcher Intensional semantics of system T of Gödel. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Werner Struckmann A general theorem on the total correctness of programs in a category. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Rudolf Berghammer Soundness of a purely syntactical formalizationof weakest preconditions. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Birgit Elbl Justifying control for logic programs. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Hans-Peter A. Künzi, Michel P. Schellekens The ideal completion is not sequentially adequate. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Giovanni Curi Metric spaces in type theory via formal topology. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Yuri Leonidovich Ershov Sigma predicates of finite types. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Thomas Ehrhard A relative PCF-definability result for strongly stable functions and some corollaries. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Stefano Berardi, Chantal Berline Building continuous webbed models for system F. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Michael Marz A fully abstract model for sequential computation. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Dieter Spreen Preface. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34John R. Cowles, Ruben Gamboa Unique factorization in ACL2: Euclidean domains. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Boyer-Moore logic, Euclidean domains, unique factorization, ACL2
34Martin Lippert, Stefan Roock Adapting XP to complex application domains. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF clients and users, complex application domains, on-site-customer, planning game, extreme programming
33John C. Munson, Darrell S. Werries Measuring software evolution. Search on Bibsonomy IEEE METRICS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF space vehicles, software evolution measurement, sequential software builds, module complexity characteristics, software complexity domains, software system changes, attribute domains, problem indicators, measurement baseline, Space Shuttle Primary Avionics Software System, software metrics, avionics, aerospace computing, evolving software systems
33Jiangling Wan, Michael P. Bieber, Jason Tsong-Li Wang, Peter A. Ng LHM: a logic-based hypertext data model for integrating hypertext and information systems. Search on Bibsonomy HICSS (3) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF LHM, logic-based hypertext data model, common language, independent information domains, logical bridge laws, application elements, data structures, information systems, hypermedia, document management, formal logic, expressive power, application domains, document handling, logic modeling, composite objects, high level descriptions
32Ying Jiang, Guo-Qiang Zhang 0001 Weakly distributive domains (II). Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2007 DBLP  DOI  BibTeX  RDF weakly distributive domain, stable bifinite domain, meet-cpo, stable function, cartesian closed category
32Isabella Mastroeni Algebraic Power Analysis by Abstract Interpretation. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF algebraic power analysis, abstract interpretation, static program analysis, software watermarking, abstract domains
31Parmit K. Chilana, Jacob O. Wobbrock, Amy J. Ko Understanding usability practices in complex domains. Search on Bibsonomy CHI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF complex domains, usability testing and evaluation, collaboration models, usability research
31Ales Pultr, Anna Tozzi Some Categorical Aspects of Information Systems and Domains. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Kleisli and Eilenberg-Moore categories of a monad, information systems, completion, domains
31Carsten Lutz NEXP TIME-complete description logics with concrete domains. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF NExpTime-completeness, concrete domains, domino problem, Computational complexity, description logic, post correspondence problem
31Robert Sugar, Sándor Imre Dynamic Agent Domains in Mobile Agent Based Network Management. Search on Bibsonomy ICN (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Dynamic agent domains, Adaptivity, Mobile agents, Network management
31Mathias Kegelmann Factorisation Systems on Domains. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF factorisation systems, stable domains, domain theory, Cartesian closed categories
31Roberto Giacobazzi, Francesca Scozzari A Logical Model for Relational Abstract Domains. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Heyting completion, condensing analysis, directional types, reduced cardinal power, static analysis, abstract interpretation, constraint logic programming, domains, closure operators, intuitionistic logic
30Francesco Logozzo, Manuel Fähndrich Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF NET framework, bounds checking, numerical domains, static analysis, abstract interpretation, abstract domains
30Michael G. Burke, Barbara G. Ryder A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF intraprocedural domains, critical analysis, incremental iterative data flow analysis algorithms, fixed point iteration solution, interprocedural domains, model, parallel algorithms, parallel programming
29Ping Luo 0001, Fuzhen Zhuang, Hui Xiong 0001, Yuhong Xiong, Qing He 0003 Transfer learning from multiple source domains via consensus regularization. Search on Bibsonomy CIKM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF consensus regularization, classification, transfer learning
29Antoine Miné A Few Graph-Based Relational Numerical Abstract Domains. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Rune Møller Jensen, Manuela M. Veloso OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-deterministic Domains. Search on Bibsonomy Artificial Intelligence Today The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Thierry Coquand, Carl A. Gunter, Glynn Winskel DI-Domains as a Model of Polymorphism. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
29Jose C. Nacher, Tomoshiro Ochiai, Morihiro Hayashida, Tatsuya Akutsu A Bipartite Graph Based Model of Protein Domain Networks. Search on Bibsonomy Complex (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Growing networks, scale-free networks, protein domains
28Efraim Rotem, Avi Mendelson, Ran Ginosar, Uri C. Weiser Multiple clock and voltage domains for chip multi processors. Search on Bibsonomy MICRO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF clock domains, voltage domain, power management, DVFS, chip multi processor
28Guichong Li, Nathalie Japkowicz, Trevor J. Stocki, R. Kurt Ungar Instance Selection by Border Sampling in Multi-class Domains. Search on Bibsonomy ADMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Border Sampling, Multi-class Domains, Class Binarization method, Instance Selection
28Sonia Estévez Martín, Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda Cooperation of constraint domains in the TOY system. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF constraint domains and solvers, domain cooperation, functional and logic programming
28Chuan Lin 0002, Hai Zhou 0001 Clock Skew Scheduling with Delay Padding for Prescribed Skew Domains. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF delay padding, prescribed skew domains, optimal skew scheduling algorithm, domain assignment, sequential circuit, flip-flops, memory elements, clock period, clock skew scheduling
28Piero Fariselli, Daniele Molinini, Rita Casadio, Anders Krogh Prediction of Structurally-Determined Coiled-Coil Domains with Hidden Markov Models. Search on Bibsonomy BIRD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF coiled-coil domains, Hidden Markov models, Protein structure prediction
28Jorge Rodas Osollo, Karina Gibert, J. Emilio Rojo KDSM Methodology for Knowledge Discovery from Ill-Structured Domains Presenting Very Short and Repeated Serial Measures with Blocking Factor. Search on Bibsonomy CCIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Serial Measures, Ill-Structured Domains, Clustering, Classification, Knowledge Discovery
28Wilfred Ng An extension of the relational data model to incorporate ordered domains. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Axiom system, chase rules, language expressiveness, mixed ordering, nonuniform completeness, order-preserving database automorphism, ordered SQL, ordered functional dependencies, ordered relational model, partially ordered domains, partially ordered relational algebra, pointwise ordering, valuation mapping, tableaux, lexicographical ordering, ordered relations, implication problem
27Benny Chor, Mihály Geréb-Graus, Eyal Kushilevitz Private Computations Over the Integers (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF countable domains, private distributed computations, t-private Boolean functions, finite domains
27Debasis Mitra 0001 Topics in Networking Research. Search on Bibsonomy ITC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Roger L. Norton Information systems as implementations (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
26Alberto Carraro, Antonino Salibra Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Hari Krishna Yalamanchili, Nita Parekh Graph Spectral Approach for Identifying Protein Domains. Search on Bibsonomy BICoB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Domain prediction, Protein contact networks, Graph spectral analysis
26Kamalesh Kumar Sharma, Shiv Dutt Joshi Uncertainty Principle for Real Signals in the Linear Canonical Transform Domains. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Ying Jiang, Guo-Qiang Zhang 0001 Weakly Distributive Domains. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Making abstract domains condensing. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF logic program analysis, abstract interpretation, completeness, linear logic, condensation, Abstract domain
26Michael W. Mislove Discrete Random Variables over Domains. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Carsten Lutz, Maja Milicic A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Longbing Cao, Dan Luo 0001, Chao Luo, Li Liu 0033 Ontology Transformation in Multiple Domains. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Márcio Bartz Ceccon, Lisandro Zambenedetti Granville, Maria Janilce Bosquiroli Almeida, Liane Margarida Rockenbach Tarouco Definition and Visualization of Dynamic Domains in Network Management Environments. Search on Bibsonomy ICOIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Satoru Tezuka, Ryôichi Sasaki, Masanori Kataoka Seamless Object Authentication in Different Security Policy Domains. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Franck van Breugel Three Metric Domains of Processes for Bisimulation. Search on Bibsonomy MFPS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 19916 (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