|
|
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 |
67 | D. 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](Pics/bibsonomy.png) |
PARELEC ![In: Fifth International Conference on Parallel Computing in Electrical Engineering (PARELEC 2006), 13-17 September 2006, Bialystok, Poland, pp. 37-42, 2006, IEEE Computer Society, 0-7695-2554-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Full subcube recognition, k-ary n-cube systems, isomorphic partitioning, processor allocation |
67 | D. Doreen Hephzibah Miriam, T. Srinivasan 0001 |
A Fast and Efficient Isomorphic Task Allocation Scheme for K-Ary N-Cube Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11-13, 2006, Braga, Portugal, pp. 165-174, 2006, Springer, 978-0-387-39361-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Full subcube recognition, k-ary n-cube systems, isomorphic partitioning, processor allocation |
59 | Chengyi Zhang, Bencheng Wei, Guohui Chen |
On Consistency of Fuzzy Clustering Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 110-113, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Isomorphic Classification, Fuzzy clustering, Fuzzy relation, Order relation |
51 | Sabine Bachl, Franz-Josef Brandenburg |
Computing and Drawing Isomorphic Subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers, pp. 74-85, 2002, Springer, 3-540-00158-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Ivan Poupyrev, Suzanne Weghorst, Sidney S. Fels |
Non-isomorphic 3D rotational techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the CHI 2000 Conference on Human factors in computing systems, The Hague, The Netherlands, April 1-6, 2000., pp. 540-547, 2000, ACM, 1-58113-216-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
6DOF input devices, interactive 3D rotations, interaction techniques, 3D user interfaces, motor control |
51 | Sabine Bachl |
Isomorphic Subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 7th International Symposium, GD'99, Stirín Castle, Czech Republic, September 1999, Proceedings, pp. 286-296, 1999, Springer, 3-540-66904-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
50 | Qihai 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](Pics/bibsonomy.png) |
ISIP ![In: International Symposium on Information Processing, ISIP 2008 / International Pacific Workshop on Web Mining, and Web-Based Application, WMWA 2008, Moscow, Russia, 23-25 May 2008, pp. 139-143, 2008, IEEE Computer Society, 978-0-7695-3151-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Knowlege Discovering, Information Temperature, Data mining, Isomorphic |
43 | Xiangxue Jia, Jian Zhang 0001 |
A Powerful Technique to Eliminate Isomorphism in Finite Model Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 318-331, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
LNH, DASH, scheme, Isomorphism, symmetry breaking |
43 | Tsau Young Lin |
Mining Associations by Linear Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 4th IEEE International Conference on Data Mining (ICDM 2004), 1-4 November 2004, Brighton, UK, pp. 154-161, 2004, IEEE Computer Society, 0-7695-2142-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
feature, association, deduction, bitmaps, granules |
42 | Mohammad Shafkat Amin, Anupam Bhattacharjee, Hasan M. Jamil |
A cytoscape based framework for efficient sub-graph isomorphic protein-protein interaction motif lookup. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1572-1576, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Cytoscape plugin, subgraph isomorphism, protein-protein interaction network |
42 | Chengyi Zhang, Haiyan Fu |
Isomorphic Fuzzy Sets and Fuzzy Approximation Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 296-306, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fuzzy equivalent relation, granule computing, rough sets, fuzzy sets, approximation space |
42 | Tamjidul 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](Pics/bibsonomy.png) |
CIBCB ![In: Proceedings of the 2006 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, CIBCB 2006, Renaissance Hotel Downtown, Toronto, Ontario, Canada, September 28-29, 2006, pp. 1-8, 2006, IEEE, 1-4244-0623-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Moonsoo 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](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(5), pp. 645-657, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
performance evaluation, partitioning, job scheduling, processor allocation, k-ary n-cube |
41 | Peter L. Bartlett, Shahar Mendelson, Petra Philips |
Local Complexities for Empirical Risk Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Learning Theory, 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004, Proceedings, pp. 270-284, 2004, Springer, 3-540-22282-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
concentration inequalities, isomorphic coordinate projections, data-dependent complexity, Statistical learning theory, empirical risk minimization, generalization bounds |
41 | Offer Shai, Kenneth Preiss |
Isomorphic Representations and Well-Formedness of Engineering Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 15(4), pp. 303-314, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Isomorphic representations, Planetary gear systems, Trusses, Well-formedness, Graph theory, Dynamic systems |
34 | Chengyi Zhang, Qingan Zheng |
The Isomorphism and Homomorphism of Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (3) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 3, pp. 711-716, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Hong Du |
On the Isomorphisms of Smooth Algebraic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994, pp. 15-19, 1994, ACM, 0-89791-638-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
34 | Peter R. de Waal |
Marginals of DAG-Isomorphic Independence Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 192-203, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Stefaan De Winter |
Non-isomorphic semipartial geometries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 47(1-3), pp. 3-9, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AMS Classification 51E14 |
34 | Partha Biswas, Girish Venkataramani |
Comprehensive isomorphic subtree enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2008 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 177-186, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
subtree isomorphism, subtree matching algorithm, embedded systems |
34 | Csaba Mengyán |
On the number of pairwise non-isomorphic minimal blocking sets in PG(2, q). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 45(2), pp. 259-267, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
AMS classification 51E21 |
34 | Florin Panaite, Freddy Van Oystaeyen |
Some Bialgebroids Constructed by Kadison and Connes-Moscovici are Isomorphic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(5-6), pp. 627-632, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 16W30 |
34 | Mingxin He, Wenjun Xiao |
A Unified Addressing Schema for Hexagonal and Honeycomb Networks with Isomorphic Cayley Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (1) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 1, pp. 363-368, 2006, IEEE Computer Society, 0-7695-2581-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Addressing Schema, Hexagonal Networks, Honeycomb Networks, Routing, Cellular Networks, Cayley Graphs, Interconnection Architectures |
34 | Xiajiong Shen, Zongtian Liu, Qing Zhang, Yun Li, Baisheng Shi |
Isomorphic generating of concept lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005, pp. 249-252, 2005, IEEE, 0-7803-9017-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Yongge Wang |
The algebraic structure of the isomorphic types of tally, polynomial time computable sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 41(3), pp. 215-244, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Xudong 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](Pics/bibsonomy.png) |
PRIMA ![In: Approaches to Intelligent Agents, Second Pacific Rim International Workshop on Multi-Agents, PRIMA '99, Kyoto, Japan, December 2-3, 1999, Proceedings, pp. 211-225, 1999, Springer, 3-540-66823-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
distributed expert system, uncertainty, Multi-agent, algebra |
34 | Sophie 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](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings, pp. 277-287, 1995, Springer, 3-540-60246-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Heiko Dörr |
Bypass Strong V-Structures and Find an Isomorphic Labelled Subgraph in Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994, Proceedings, pp. 305-318, 1994, Springer, 3-540-59071-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
34 | Hugo Herbelin |
A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, pp. 61-75, 1994, Springer, 3-540-60017-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Roberto Cignoli, Daniele Mundici, Mirko Navara |
Kleene-Isomorphic s -Complete MV-Algebras with Product are Isomorphic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 12(1-2), pp. 1-8, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
33 | Jason Braasch, Susan R. Goldman |
College Students' Understandings of Pressurized Air Movement: Do Isomorphic Questions Elicit Isomorphic Answers? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLS ![In: Making a Difference...: Proceedings of the 7th International Conference for the Learning Sciences, ICLS 2006, Bloomington, IN, USA, June 27 - July 1, 2006, 2006, International Society of the Learning Sciences. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
33 | Balázs Biró |
Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 30(2), pp. 262-267, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
33 | Balázs Biró, Saharon Shelah |
Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 53(3), pp. 846-853, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Shaohua Teng, Wei Zhang 0005, Xiufen Fu, Naiqi Wu |
Cooperative Intrusion Detection Model Based on State Transition Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (Selected Papers) ![In: Computer Supported Cooperative Work in Design IV, 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers, pp. 419-431, 2007, Springer, 978-3-540-92718-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Cooperative intrusion detection, Isomorphic transformation, Crucial operation, Scenario, State transition, Topological order |
33 | Vitaly Surazhsky, Craig Gotsman |
Controllable morphing of compatible planar triangulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 20(4), pp. 203-231, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Compatible triangulations, controllable Morphing, isomorphic triangulations, linear Morph, local Control, self-intersection elemination, morphing |
26 | Robin Bergenthum, Robert Lorenz 0001, Sebastian Mauser |
Faster Unfolding of General Petri Nets Based on Token Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 13-32, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Jean-Lou De Carufel, Jules Desharnais |
Demonic Algebra with Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 120-134, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Tsau Young Lin |
Mathematical Foundation of Association Rules - Mining Associations by Solving Integral Linear Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Mining and knowledge Discovery ![In: Foundations of Data Mining and knowledge Discovery, pp. 21-42, 2005, Springer, 978-3-540-26257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Robert D. Kleinberg, Jon M. Kleinberg |
Isomorphism and embedding problems for infinite limits of scale-free graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2005, Vancouver, British Columbia, Canada, January 23-25, 2005, pp. 277-286, 2005, SIAM, 0-89871-585-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | Pavel Valtr 0001 |
Davenport-Schinzel Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 23(1), pp. 151-184, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (2000): 52C10, 68R15, 05C78, 68U05 |
26 | Roger L. Norton |
Information systems as implementations (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 388, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Volker Diekert |
Some Remarks on Presentations by Finite Church-Rosser Thue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings, pp. 272-285, 1987, Springer, 3-540-17219-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Michael Bauland, Edith Hemaspaandra |
Isomorphic Implication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 44(1), pp. 117-139, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Computational complexity, Constraints, Propositional logic, Logic in computer science, Isomorphism problem |
25 | Michael Bauland, Edith Hemaspaandra |
Isomorphic Implication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings, pp. 119-130, 2005, Springer, 3-540-28702-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Hans-Joachim Klein 0001 |
Retrieval of Isomorphic Substructures in Crystallographic Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 21-23 June 2004, Santorini Island, Greece, pp. 255-264, 2004, IEEE Computer Society, 0-7695-2146-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Bernd S. W. Schröder |
On Ordered Sets with Isomorphic Marked Maximal Cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 20(4), pp. 299-327, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
reconstruction, rigid, ordered set |
25 | Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri |
Approximating the Maximum Isomorphic Agreement Subtree Is Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 11th Annual Symposium, CPM 2000, Montreal, Canada, June 21-23, 2000, Proceedings, pp. 119-128, 2000, Springer, 3-540-67633-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Andre Folkers, Hanan Samet, Aya Soffer |
Processing Pictorial Queries with Multiple Instances Using Isomorphic Subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 4051-4054, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Michael I. Hartley |
All Polytopes Are Quotients, and Isomorphic Polytopes Are Quotients by Conjugate Subgroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 21(2), pp. 289-298, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Svetoslav M. Markov |
Isomorphic Embeddings of Abstract Interval Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 3(3), pp. 199-207, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Eizyu Hirowatari, Setsuo Arikawa |
Partially Isomorphic Generalization and Analogical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-94, European Conference on Machine Learning, Catania, Italy, April 6-8, 1994, Proceedings, pp. 363-366, 1994, Springer, 3-540-57868-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Himanshu Gupta, Rephael Wenger |
Constructing pairwise disjoint paths with few links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 3(3), pp. 26, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Link paths, isomorphic triangulations, noncrossing, polygon |
24 | Elli 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](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 13(1), pp. 31-69, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
isomorphic models, UML, testing, reuse, re-engineering, structured designs, OO |
24 | Teo Chun Yew, Hailiza Kamarulhaili, Putra Sumari |
Message Recovery Signature Scheme Using Complementary Elliptic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMAG ![In: 2003 International Conference on Geometric Modeling and Graphics, GMAG'03, London, England, July 16-18, 2003, pp. 106-110, 2003, IEEE Computer Society, 0-7695-1985-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Isomorphic Curves, Complementary Curves, Imbedding Plaintexts, Elliptic Curve Cryptosystems, Signature Scheme, Message Recovery |
24 | Darwen Rau, José A. B. Fortes, Howard Jay Siegel |
Destination Tag Routing Techniques Based on a State Model for the IADM Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(3), pp. 274-285, 1992. The full citation details ...](Pics/full.jpeg) |
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 |
17 | Gabriel Ciobanu, Sergiu Rudeanu |
Final and sequential behaviours of M-automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 46(5), pp. 361-374, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Robert Atkey |
Syntax for Free: Representing Syntax with Binding Using Parametricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 35-49, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Trevor J. M. Bench-Capon, Thomas F. Gordon |
Isomorphism and argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The 12th International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 8-12, 2009, Barcelona, Spain, pp. 11-20, 2009, ACM, 978-1-60558-597-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Paul Brodhead, Bjørn Kjos-Hanssen |
The Strength of the Grätzer-Schmidt Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings, pp. 59-67, 2009, Springer, 978-3-642-03072-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
computability theory, lattice theory |
17 | Guram Bezhanishvili, Nick Bezhanishvili |
Profinite Heyting Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(3), pp. 211-227, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 06D20, Secondary 06D50, 54F05 |
17 | Vsevolod F. Lev |
The rectifiability threshold in abelian groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 28(4), pp. 491-497, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 11P70, 11B75 |
17 | Rumen D. Dimitrov |
A class of S30{Sigmas30} modular lattices embeddable as principal filters in L*(VJPY)L^{\ast}(Vinfinity). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(2), pp. 111-132, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03D25, 06C05, 03C57 |
17 | James Ostrowski, Jeff T. Linderoth, Fabrizio Rossi, Stefano Smriglio |
Constraint Orbital Branching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 13th International Conference, IPCO 2008, Bertinoro, Italy, May 26-28, 2008, Proceedings, pp. 225-239, 2008, Springer, 978-3-540-68886-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Pennerath, Géraldine Polaillon, Amedeo Napoli |
Mining Intervals of Graphs to Extract Characteristic Reaction Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 11th International Conference, DS 2008, Budapest, Hungary, October 13-16, 2008. Proceedings, pp. 210-221, 2008, Springer, 978-3-540-88410-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Johannes Köbler, Oleg Verbitsky 0001 |
From Invariants to Canonization in Parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings, pp. 216-227, 2008, Springer, 978-3-540-79708-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Slawomir Grzonkowski, Wojciech Zaremba, Maciej Zaremba, Bill McDaniel |
Extending web applications with a lightweight zero knowledge proof authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTST ![In: CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008, pp. 65-70, 2008, ACM, 978-1-60558-046-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
web 2.0 authentication, protocols, web 2.0, password, graph isomorphism, zero knowledge proof |
17 | Eva Jelínková, Jan Kratochvíl |
On Switching to H-Free Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 379-395, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Zena M. Ariola, Hugo Herbelin, Amr Sabry |
A proof-theoretic foundation of abortive continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(4), pp. 403-429, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Callcc, Minimal logic, Intuitionistic logic, Classical logic |
17 | Jae-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](Pics/bibsonomy.png) |
MIRAGE ![In: Computer Vision/Computer Graphics Collaboration Techniques, Third International Conference, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007, Proceedings, pp. 389-399, 2007, Springer, 978-3-540-71456-9. The full citation details ...](Pics/full.jpeg) |
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 |
17 | Dengxin Li, Hong-Jian Lai, Yehong Shao, Mingquan Zhan |
Hamiltonian Connected Line Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III, pp. 377-380, 2007, Springer, 978-3-540-72587-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Hourglass, Hourglass-Free, Hamiltonian Connected, Line Graph |
17 | Daniel Král |
Computing Representations of Matroids of Bounded Branch-Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings, pp. 224-235, 2007, Springer, 978-3-540-70917-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ryan C. Harkins, John M. Hitchcock, Aduri Pavan |
Strong Reductions and Isomorphism of Complete Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 168-178, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Qing 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](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 8(3), pp. 225-239, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Telecom industry, Competitive local exchange carriers, Institutional isomorphism, Business models, Institutional theory |
17 | Douglas Cenzer, Zia Uddin |
Logspace Complexity of Functions and Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 75-84, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Complexity, Computability, Computable Model Theory |
17 | Masaaki Harada, Clement W. H. Lam, Vladimir D. Tonchev |
Symmetric (4,4)-Nets and Generalized Hadamard Matrices Over Groups of Order 4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 34(1), pp. 71-87, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Hamada conjecture, affine design, generalized Hadamard matrix, quantum code |
17 | Scott Dick |
Toward complex fuzzy logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 13(3), pp. 405-414, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Chengyi Zhang |
Fuzzy sets and quotient spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005, pp. 350-353, 2005, IEEE, 0-7803-9017-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini |
On the equivalence and rewriting of aggregate queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 40(8), pp. 529-584, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Taneli Huuskonen, Tapani Hyttinen, Mika Rautila |
On potential isomorphism and non-structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(1), pp. 85-120, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Potential isomorphism - Ehrenfeucht-Fraïssé game |
17 | Alex X. Liu, Mohamed G. Gouda |
Diverse Firewall Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 595-604, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Frank Atanassow, Johan Jeuring |
Inferring Type Isomorphisms Generically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, pp. 32-53, 2004, Springer, 3-540-22380-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Hitoshi Furusawa |
A Free Construction of Kleene Algebras with Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, pp. 129-141, 2004, Springer, 3-540-22380-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Vincent Berry, François Nicolas |
Maximum Agreement and Compatible Supertrees (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 15th Annual Symposium, CPM 2004, Istanbul,Turkey, July 5-7, 2004, Proceedings, pp. 205-219, 2004, Springer, 3-540-22341-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Tsau Young Lin |
Mining Un-interpreted Generalized Association Rules by Linear Inequalities: Descriptive/Deductive Data Mining Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 204-212, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
granular data model, data mining, association rules, feature, attribute, bitmap indexes |
17 | Eldar Fischer |
The difficulty of testing for isomorphism against a graph that is given in advance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, IL, USA, June 13-16, 2004, pp. 391-397, 2004, ACM, 1-58113-852-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
graph isomorphism, property testing, regularity lemma |
17 | Josep M. Brunat, Antonio Montes |
The characteristic ideal of a finite, connected, regular graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings, pp. 50-57, 2004, ACM, 1-58113-827-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
characteristic ideal, galois graph, polynomial digraph, polynomial graph, strongly polynomial graph, variety of a pairing, pairing, connected component, conjecture |
17 | Barry A. Balof, Kenneth P. Bogart |
Simple Inductive Proofs of the Fishburn and Mirkin Theorem and the Scott-Suppes Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 20(1), pp. 49-51, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
unit interval order, interval order |
17 | Dietrich Kuske |
Is Cantor's Theorem Automatic? ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, pp. 332-345, 2003, Springer, 3-540-20101-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Charles C. Chiang, Qing Su, Ching-Shoei Chiang |
Wirelength reduction by using diagonal wire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, Washington, DC, USA, April 28-29, 2003, pp. 104-107, 2003, ACM, 1-58113-677-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
45° routing, diagonal routing, routing, steiner tree |
17 | Telikepalli Kavitha |
Efficient Algorithms for Abelian Group Isomorphism and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 277-288, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Gunnar Brinkmann, Brendan D. McKay |
Posets on up to 16 Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 19(2), pp. 147-179, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
canonical construction path, algorithm, enumeration, poset |
17 | Diederik Aerts, Eva Colebunders, A. Van der Voorde, B. Van Steirteghem |
On the Amnestic Modification of the Category of State Property Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(5), pp. 469-480, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
closure space, state property system, amnestic modification |
17 | José Espírito Santo |
An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings, pp. 352-366, 2002, Springer, 3-540-00010-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tony Shaska |
Genus 2 Curves with (3, 3)-Split Jacobian and Large Automorphism Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANTS ![In: Algorithmic Number Theory, 5th International Symposium, ANTS-V, Sydney, Australia, July 7-12, 2002, Proceedings, pp. 205-218, 2002, Springer, 3-540-43863-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Ugo A. Buy, Gaurav Singal |
Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 717-722, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Petri net generation, Petri nets, concurrency, automatic verification, transition systems, reachability graph |
17 | Jirí Rachunek |
Groups of Automorphisms of Tournaments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 18(4), pp. 349-357, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
group of automorphisms, l-group, wal-group, chain, tournament |
17 | Alan Saalfeld |
Area-preserving piecewise affine mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Seventeenth Annual Symposium on Computational Geometry, Medford, MA, USA, June 3-5, 2001, pp. 90-95, 2001, ACM, 1-58113-357-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
authalic transformations, piecewise affine homemorphisms |
17 | Gilles Audemard, Laurent Henocque |
The eXtended Least Number Heuristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 427-442, 2001, Springer, 3-540-42254-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Graç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](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 6(2), pp. 139-178, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | John Harding, Mirko Navara |
Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 17(3), pp. 239-254, 2000. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|