The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1964-1977 (16) 1978-1982 (17) 1983-1985 (16) 1986-1988 (22) 1989-1990 (19) 1991-1992 (20) 1993-1994 (26) 1995 (24) 1996 (20) 1997 (27) 1998 (27) 1999 (33) 2000 (44) 2001 (36) 2002 (51) 2003 (54) 2004 (71) 2005 (56) 2006 (75) 2007 (86) 2008 (81) 2009 (59) 2010 (21) 2011-2012 (21) 2013-2014 (35) 2015-2016 (34) 2017 (23) 2018 (20) 2019 (21) 2020 (31) 2021 (26) 2022 (33) 2023 (41) 2024 (7)
Publication types (Num. hits)
article(567) book(1) incollection(8) inproceedings(615) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 650 occurrences of 522 keywords

Results
Found 1193 publication records. Showing 1193 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
67D. Doreen Hephzibah Miriam, T. Srinivasan 0001, R. Deepa 0001 An Efficient SRA Based Isomorphic Task Allocation Scheme for k - ary n - cube Massively Parallel Processors. Search on Bibsonomy PARELEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Full subcube recognition, k-ary n-cube systems, isomorphic partitioning, processor allocation
67D. Doreen Hephzibah Miriam, T. Srinivasan 0001 A Fast and Efficient Isomorphic Task Allocation Scheme for K-Ary N-Cube Systems. Search on Bibsonomy DIPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Full subcube recognition, k-ary n-cube systems, isomorphic partitioning, processor allocation
59Chengyi Zhang, Bencheng Wei, Guohui Chen On Consistency of Fuzzy Clustering Analysis. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Isomorphic Classification, Fuzzy clustering, Fuzzy relation, Order relation
51Sabine Bachl, Franz-Josef Brandenburg Computing and Drawing Isomorphic Subgraphs. Search on Bibsonomy GD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Ivan Poupyrev, Suzanne Weghorst, Sidney S. Fels Non-isomorphic 3D rotational techniques. Search on Bibsonomy CHI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF 6DOF input devices, interactive 3D rotations, interaction techniques, 3D user interfaces, motor control
51Sabine Bachl Isomorphic Subgraphs. Search on Bibsonomy GD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
50Qihai Zhou, Tao Huang, Yuanxin Zhang, Hongyu Wu, Zhongjun Li, Xun Lin Discovering Focused Information and Mining Information Focus Based on Isomorphic Information Temperature. Search on Bibsonomy ISIP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Knowlege Discovering, Information Temperature, Data mining, Isomorphic
43Xiangxue Jia, Jian Zhang 0001 A Powerful Technique to Eliminate Isomorphism in Finite Model Search. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF LNH, DASH, scheme, Isomorphism, symmetry breaking
43Tsau Young Lin Mining Associations by Linear Inequalities. Search on Bibsonomy ICDM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF feature, association, deduction, bitmaps, granules
42Mohammad Shafkat Amin, Anupam Bhattacharjee, Hasan M. Jamil A cytoscape based framework for efficient sub-graph isomorphic protein-protein interaction motif lookup. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Cytoscape plugin, subgraph isomorphism, protein-protein interaction network
42Chengyi Zhang, Haiyan Fu Isomorphic Fuzzy Sets and Fuzzy Approximation Space. Search on Bibsonomy ICFIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fuzzy equivalent relation, granule computing, rough sets, fuzzy sets, approximation space
42Tamjidul Hoque, Madhu Chetty, Laurence S. Dooley Non-Isomorphic Coding in Lattice Model and its Impact for Protein Folding Prediction Using Genetic Algorithm. Search on Bibsonomy CIBCB The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Moonsoo Kang, Chansu Yu, Hee Yong Youn, Ben Lee, Myungchul Kim 0001 Isomorphic Strategy for Processor Allocation in k-Ary n-Cube Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF performance evaluation, partitioning, job scheduling, processor allocation, k-ary n-cube
41Peter L. Bartlett, Shahar Mendelson, Petra Philips Local Complexities for Empirical Risk Minimization. Search on Bibsonomy COLT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF concentration inequalities, isomorphic coordinate projections, data-dependent complexity, Statistical learning theory, empirical risk minimization, generalization bounds
41Offer Shai, Kenneth Preiss Isomorphic Representations and Well-Formedness of Engineering Systems. Search on Bibsonomy Eng. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Isomorphic representations, Planetary gear systems, Trusses, Well-formedness, Graph theory, Dynamic systems
34Chengyi Zhang, Qingan Zheng The Isomorphism and Homomorphism of Fuzzy Sets. Search on Bibsonomy FSKD (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Hong Du On the Isomorphisms of Smooth Algebraic Curves. Search on Bibsonomy ISSAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
34Peter R. de Waal Marginals of DAG-Isomorphic Independence Models. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Stefaan De Winter Non-isomorphic semipartial geometries. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMS Classification 51E14
34Partha Biswas, Girish Venkataramani Comprehensive isomorphic subtree enumeration. Search on Bibsonomy CASES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF subtree isomorphism, subtree matching algorithm, embedded systems
34Csaba Mengyán On the number of pairwise non-isomorphic minimal blocking sets in PG(2, q). Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF AMS classification 51E21
34Florin Panaite, Freddy Van Oystaeyen Some Bialgebroids Constructed by Kadison and Connes-Moscovici are Isomorphic. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 16W30
34Mingxin He, Wenjun Xiao A Unified Addressing Schema for Hexagonal and Honeycomb Networks with Isomorphic Cayley Graphs. Search on Bibsonomy IMSCCS (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Addressing Schema, Hexagonal Networks, Honeycomb Networks, Routing, Cellular Networks, Cayley Graphs, Interconnection Architectures
34Xiajiong Shen, Zongtian Liu, Qing Zhang, Yun Li, Baisheng Shi Isomorphic generating of concept lattices. Search on Bibsonomy GrC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Yongge Wang The algebraic structure of the isomorphic types of tally, polynomial time computable sets. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Xudong Luo, Chengqi Zhang, Ho-fung Leung A Class of Isomorphic Transformations for Integrating EMYCIN-Style and PROSPECTOR-Style Systems into a Rule-Based Multi-Agent System. Search on Bibsonomy PRIMA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF distributed expert system, uncertainty, Multi-agent, algebra
34Sophie Fischer, Lane A. Hemaspaandra, Leen Torenvliet Witness-Isomorphic Reductions and the Local Search Problem (Extended Abstract). (full version: http://www.cs.rochester.edu/trs/theory-trs.html) Search on Bibsonomy MFCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
34Heiko Dörr Bypass Strong V-Structures and Find an Isomorphic Labelled Subgraph in Linear Time. Search on Bibsonomy WG The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
34Hugo Herbelin A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
33Roberto Cignoli, Daniele Mundici, Mirko Navara Kleene-Isomorphic s -Complete MV-Algebras with Product are Isomorphic. Search on Bibsonomy J. Multiple Valued Log. Soft Comput. The full citation details ... 2006 DBLP  BibTeX  RDF
33Jason Braasch, Susan R. Goldman College Students' Understandings of Pressurized Air Movement: Do Isomorphic Questions Elicit Isomorphic Answers? Search on Bibsonomy ICLS The full citation details ... 2006 DBLP  BibTeX  RDF
33Balázs Biró Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
33Balázs Biró, Saharon Shelah Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras. Search on Bibsonomy J. Symb. Log. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
33Shaohua Teng, Wei Zhang 0005, Xiufen Fu, Naiqi Wu Cooperative Intrusion Detection Model Based on State Transition Analysis. Search on Bibsonomy CSCWD (Selected Papers) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Cooperative intrusion detection, Isomorphic transformation, Crucial operation, Scenario, State transition, Topological order
33Vitaly Surazhsky, Craig Gotsman Controllable morphing of compatible planar triangulations. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Compatible triangulations, controllable Morphing, isomorphic triangulations, linear Morph, local Control, self-intersection elemination, morphing
26Robin Bergenthum, Robert Lorenz 0001, Sebastian Mauser Faster Unfolding of General Petri Nets Based on Token Flows. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Jean-Lou De Carufel, Jules Desharnais Demonic Algebra with Domain. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Tsau Young Lin Mathematical Foundation of Association Rules - Mining Associations by Solving Integral Linear Inequalities. Search on Bibsonomy Foundations of Data Mining and knowledge Discovery The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Robert D. Kleinberg, Jon M. Kleinberg Isomorphism and embedding problems for infinite limits of scale-free graphs. Search on Bibsonomy SODA The full citation details ... 2005 DBLP  BibTeX  RDF
26Pavel Valtr 0001 Davenport-Schinzel Trees. Search on Bibsonomy Comb. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF AMS Subject Classification (2000): 52C10, 68R15, 05C78, 68U05
26Roger 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
26Volker Diekert Some Remarks on Presentations by Finite Church-Rosser Thue Systems. Search on Bibsonomy STACS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
25Michael Bauland, Edith Hemaspaandra Isomorphic Implication. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Computational complexity, Constraints, Propositional logic, Logic in computer science, Isomorphism problem
25Michael Bauland, Edith Hemaspaandra Isomorphic Implication. Search on Bibsonomy MFCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Hans-Joachim Klein 0001 Retrieval of Isomorphic Substructures in Crystallographic Databases. Search on Bibsonomy SSDBM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Bernd S. W. Schröder On Ordered Sets with Isomorphic Marked Maximal Cards. Search on Bibsonomy Order The full citation details ... 2003 DBLP  DOI  BibTeX  RDF reconstruction, rigid, ordered set
25Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri Approximating the Maximum Isomorphic Agreement Subtree Is Hard. Search on Bibsonomy CPM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Andre Folkers, Hanan Samet, Aya Soffer Processing Pictorial Queries with Multiple Instances Using Isomorphic Subgraphs. Search on Bibsonomy ICPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Michael I. Hartley All Polytopes Are Quotients, and Isomorphic Polytopes Are Quotients by Conjugate Subgroups. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Svetoslav M. Markov Isomorphic Embeddings of Abstract Interval Systems. Search on Bibsonomy Reliab. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Eizyu Hirowatari, Setsuo Arikawa Partially Isomorphic Generalization and Analogical Reasoning. Search on Bibsonomy ECML The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
24Himanshu Gupta, Rephael Wenger Constructing pairwise disjoint paths with few links. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Link paths, isomorphic triangulations, noncrossing, polygon
24Elli Georgiadou, Eleni Berki, Maria del Brezo Cordero, Margaret Ross 0001, Geoff Staples Towards Formalised Guidelines for Migrating Structured Designs to UML: A Case Study. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF isomorphic models, UML, testing, reuse, re-engineering, structured designs, OO
24Teo Chun Yew, Hailiza Kamarulhaili, Putra Sumari Message Recovery Signature Scheme Using Complementary Elliptic Curves. Search on Bibsonomy GMAG The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Isomorphic Curves, Complementary Curves, Imbedding Plaintexts, Elliptic Curve Cryptosystems, Signature Scheme, Message Recovery
24Darwen Rau, José A. B. Fortes, Howard Jay Siegel Destination Tag Routing Techniques Based on a State Model for the IADM Network. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1992 DBLP  DOI  BibTeX  RDF IADM network, inverse augmented data manipulator, universal rerouting algorithm, indirect binary n-cube network, routing, lower bound, fault tolerant computing, multiprocessor interconnection networks, isomorphic, permutation routing, necessary and sufficient conditions, reroutability, state model
17Gabriel Ciobanu, Sergiu Rudeanu Final and sequential behaviours of M-automata. Search on Bibsonomy Acta Informatica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Robert Atkey Syntax for Free: Representing Syntax with Binding Using Parametricity. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Trevor J. M. Bench-Capon, Thomas F. Gordon Isomorphism and argumentation. Search on Bibsonomy ICAIL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Paul Brodhead, Bjørn Kjos-Hanssen The Strength of the Grätzer-Schmidt Theorem. Search on Bibsonomy CiE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF computability theory, lattice theory
17Guram Bezhanishvili, Nick Bezhanishvili Profinite Heyting Algebras. Search on Bibsonomy Order The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 06D20, Secondary 06D50, 54F05
17Vsevolod F. Lev The rectifiability threshold in abelian groups. Search on Bibsonomy Comb. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 11P70, 11B75
17Rumen D. Dimitrov A class of S30{Sigmas30} modular lattices embeddable as principal filters in L*(VJPY)L^{\ast}(Vinfinity). Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03D25, 06C05, 03C57
17James Ostrowski, Jeff T. Linderoth, Fabrizio Rossi, Stefano Smriglio Constraint Orbital Branching. Search on Bibsonomy IPCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Frédéric Pennerath, Géraldine Polaillon, Amedeo Napoli Mining Intervals of Graphs to Extract Characteristic Reaction Patterns. Search on Bibsonomy Discovery Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Johannes Köbler, Oleg Verbitsky 0001 From Invariants to Canonization in Parallel. Search on Bibsonomy CSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Slawomir Grzonkowski, Wojciech Zaremba, Maciej Zaremba, Bill McDaniel Extending web applications with a lightweight zero knowledge proof authentication. Search on Bibsonomy CSTST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF web 2.0 authentication, protocols, web 2.0, password, graph isomorphism, zero knowledge proof
17Eva Jelínková, Jan Kratochvíl On Switching to H-Free Graphs. Search on Bibsonomy ICGT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Zena M. Ariola, Hugo Herbelin, Amr Sabry A proof-theoretic foundation of abortive continuations. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Callcc, Minimal logic, Intuitionistic logic, Classical logic
17Jae-Won Cho, Min-Su Kim, Sébastien Valette, Ho-Youl Jung, Rémy Prost A 3-D Mesh Sequence Coding Using the Combination of Spatial and Temporal Wavelet Analysis. Search on Bibsonomy MIRAGE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF 3D mesh sequence, temporal wavelet analysis, spatial wavelet analysis, progressive transmission, lossless compression, lossy compression, irregular mesh, multi-resolution representation
17Dengxin Li, Hong-Jian Lai, Yehong Shao, Mingquan Zhan Hamiltonian Connected Line Graphs. Search on Bibsonomy International Conference on Computational Science (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Hourglass, Hourglass-Free, Hamiltonian Connected, Line Graph
17Daniel Král Computing Representations of Matroids of Bounded Branch-Width. Search on Bibsonomy STACS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Ryan C. Harkins, John M. Hitchcock, Aduri Pavan Strong Reductions and Isomorphism of Complete Sets. Search on Bibsonomy FSTTCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Qing Hu 0003, C. Derrick Huang The rise and fall of the competitive local exchange carriers in the U.S.: An institutional perspective. Search on Bibsonomy Inf. Syst. Frontiers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Telecom industry, Competitive local exchange carriers, Institutional isomorphism, Business models, Institutional theory
17Douglas Cenzer, Zia Uddin Logspace Complexity of Functions and Structures. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Complexity, Computability, Computable Model Theory
17Masaaki Harada, Clement W. H. Lam, Vladimir D. Tonchev Symmetric (4,4)-Nets and Generalized Hadamard Matrices Over Groups of Order 4. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Hamada conjecture, affine design, generalized Hadamard matrix, quantum code
17Scott Dick Toward complex fuzzy logic. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Chengyi Zhang Fuzzy sets and quotient spaces. Search on Bibsonomy GrC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini On the equivalence and rewriting of aggregate queries. Search on Bibsonomy Acta Informatica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Taneli Huuskonen, Tapani Hyttinen, Mika Rautila On potential isomorphism and non-structure. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Potential isomorphism - Ehrenfeucht-Fraïssé game
17Alex X. Liu, Mohamed G. Gouda Diverse Firewall Design. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Frank Atanassow, Johan Jeuring Inferring Type Isomorphisms Generically. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Hitoshi Furusawa A Free Construction of Kleene Algebras with Tests. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Vincent Berry, François Nicolas Maximum Agreement and Compatible Supertrees (Extended Abstract). Search on Bibsonomy CPM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Tsau Young Lin Mining Un-interpreted Generalized Association Rules by Linear Inequalities: Descriptive/Deductive Data Mining Approach. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF granular data model, data mining, association rules, feature, attribute, bitmap indexes
17Eldar Fischer The difficulty of testing for isomorphism against a graph that is given in advance. Search on Bibsonomy STOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF graph isomorphism, property testing, regularity lemma
17Josep M. Brunat, Antonio Montes The characteristic ideal of a finite, connected, regular graph. Search on Bibsonomy ISSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF characteristic ideal, galois graph, polynomial digraph, polynomial graph, strongly polynomial graph, variety of a pairing, pairing, connected component, conjecture
17Barry A. Balof, Kenneth P. Bogart Simple Inductive Proofs of the Fishburn and Mirkin Theorem and the Scott-Suppes Theorem. Search on Bibsonomy Order The full citation details ... 2003 DBLP  DOI  BibTeX  RDF unit interval order, interval order
17Dietrich Kuske Is Cantor's Theorem Automatic? Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Charles C. Chiang, Qing Su, Ching-Shoei Chiang Wirelength reduction by using diagonal wire. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF 45° routing, diagonal routing, routing, steiner tree
17Telikepalli Kavitha Efficient Algorithms for Abelian Group Isomorphism and Related Problems. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Gunnar Brinkmann, Brendan D. McKay Posets on up to 16 Points. Search on Bibsonomy Order The full citation details ... 2002 DBLP  DOI  BibTeX  RDF canonical construction path, algorithm, enumeration, poset
17Diederik Aerts, Eva Colebunders, A. Van der Voorde, B. Van Steirteghem On the Amnestic Modification of the Category of State Property Systems. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF closure space, state property system, amnestic modification
17José Espírito Santo An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Tony Shaska Genus 2 Curves with (3, 3)-Split Jacobian and Large Automorphism Group. Search on Bibsonomy ANTS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Ugo A. Buy, Gaurav Singal Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Petri net generation, Petri nets, concurrency, automatic verification, transition systems, reachability graph
17Jirí Rachunek Groups of Automorphisms of Tournaments. Search on Bibsonomy Order The full citation details ... 2001 DBLP  DOI  BibTeX  RDF group of automorphisms, l-group, wal-group, chain, tournament
17Alan Saalfeld Area-preserving piecewise affine mappings. Search on Bibsonomy SCG The full citation details ... 2001 DBLP  DOI  BibTeX  RDF authalic transformations, piecewise affine homemorphisms
17Gilles Audemard, Laurent Henocque The eXtended Least Number Heuristic. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa, Dalcidio Moraes Claudio A Coherence Space of Rational Intervals for a Construction of IR. Search on Bibsonomy Reliab. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
17John Harding, Mirko Navara Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups. Search on Bibsonomy Order The full citation details ... 2000 DBLP  DOI  BibTeX  RDF orthomodular lattice, orthomodular poset, measure, state, center, automorphism group
Displaying result #1 - #100 of 1193 (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