The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1976-1987 (16) 1988-1990 (15) 1991-1993 (15) 1994-1995 (21) 1996-1997 (16) 1998-2000 (40) 2001 (17) 2002 (28) 2003 (27) 2004 (23) 2005 (31) 2006 (29) 2007 (39) 2008 (34) 2009 (36) 2010-2011 (36) 2012 (23) 2013-2014 (30) 2015 (19) 2016 (30) 2017 (20) 2018 (22) 2019 (28) 2020 (22) 2021 (32) 2022 (19) 2023 (21) 2024 (4)
Publication types (Num. hits)
article(305) incollection(10) inproceedings(374) phdthesis(3) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 299 occurrences of 242 keywords

Results
Found 693 publication records. Showing 693 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
111Gianfranco Lamperti, Michele Melchiori, Marina Zanella On Multisets in Database Systems. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
107Manfred Kudlek, Victor Mitrana Normal Forms of Grammars, Finite Automata, Abstract Families, and Closure Properties of Multiset Languages. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
105Dwaine E. Clarke, Srinivas Devadas, Marten van Dijk, Blaise Gassend, G. Edward Suh Incremental Multiset Hash Functions and Their Application to Memory Integrity Checking. Search on Bibsonomy ASIACRYPT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
96Taishin Y. Nishida Multiset and K -Subset Transforming Systems. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
94Allan Aasbjerg Nielsen Multiset canonical correlations analysis and multispectral, truly multitemporal remote sensing data. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
85Agostino Dovier, Carla Piazza, Gianfranco Rossi Multiset Constraints and P Systems. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
83Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya Decidability of Safety Properties of Timed Multiset Rewriting. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time systems, timed automata, decidability, timed Petri nets
83Pascal Fradet, Daniel Le Métayer Type Checking for a Multiset Rewriting Language. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF multiset rewriting, verification, invariant, graph grammars, type checking
76Max I. Kanovich Bijections between Partitions by Two-Directional Rewriting Techniques. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF multiset rewriting, partition identities, termination, combinatorics, confluence, strong normalization, Church-Rosser property, integer partitions
74Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Victor Mitrana Multiset Automata. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
72Toby Walsh Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
72Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. Search on Bibsonomy ISSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
66Dale Miller 0001 Specifications Using Multiple-Conclusion Logic Programs. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
63Paolo Bottoni, Bernd Meyer 0001, Francesco Parisi-Presicce Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
61E. V. Krishnamurthy, Venu K. Murthy, Vikram Krishnamurthy Biologically inspired rule-based multiset programming paradigm for soft-computing. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF biologically-inspired paradigm, closed and open systems, first and second order logic, genetic and molecular computing, probabilistic rule based paradigm, soft computing, DNA
61Jorge Nakahara Jr., Daniel Santana de Freitas, Raphael Chung-Wei Phan New Multiset Attacks on Rijndael with Large Blocks. Search on Bibsonomy Mycrypt The full citation details ... 2005 DBLP  DOI  BibTeX  RDF higher-order multiset attacks, cryptanalysis, Rijndael
55Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001 On the minimum common integer partition problem. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF approximation algorithm, combinatorial optimization, NP-hard, computational biology, Subset sum, integer partition
55Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001 On the Minimum Common Integer Partition Problem. Search on Bibsonomy CIAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54Rainer Gemulla, Wolfgang Lehner, Peter J. Haas Maintaining bernoulli samples over evolving multisets. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Bernoulli multiset sampling, incremental sample maintenance
54Mazen El-Sayed, Daniel Pacholczyk Reasoning under Vagueness Expressed by Nuanced Statements. Search on Bibsonomy ECSQARU The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multiset theory, many-valued logic, vagueness, knowledge representation and reasoning, imprecision
54Mazen El-Sayed, Daniel Pacholczyk A Symbolic Approach to Vagueness Management. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multiset theory, many-valued logic, vagueness, knowledge representation and reasoning, imprecision
54Athanassios Tzouvaras The Logic of Multisets Continued: The Case of Disjunction. Search on Bibsonomy Stud Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF disjunctive multiset, Horn fragment, semantics of the Horn fragment, linear logic, Multiset
52Wolfgang Reisig The Linear Theory of Multiset Based Dynamic Systems. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
50Aaron Williams Loopless generation of multiset permutations using a constant number of variables by prefix shifts. Search on Bibsonomy SODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
50Sadaaki Miyamoto, Kiyotaka Mizutani Fuzzy Multiset Model and Methods of Nonlinear Document Clustering for Information Retrieval. Search on Bibsonomy MDAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
50Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina Verifying an Applicative ATP Using Multiset Relations. Search on Bibsonomy EUROCAST The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
50Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov Relating Strands and Multiset Rewriting for Security Protocol Analysis. Search on Bibsonomy CSFW The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
50Paolo Ciancarini, Daniela Fogli, Mauro Gaspari A Logic Language based on GAMMA-like Multiset Rewriting. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
50Nachum Dershowitz, Zohar Manna Proving termination with Multiset Orderings. Search on Bibsonomy ICALP The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
50Solange Coupet-Grimal, William Delobel An effective proof of the well-foundedness of the multiset path ordering. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Well-foundedness, Multiset path order, Termination, Constructive logic
50Sitt Sen Chok, Kim Marriott Automatic Construction of User Interfaces from Constraint Multiset Grammars. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF constraint multiset grammar specification, sub-diagrams, primitive tokens, automatic error correction, geometric errors, diagram component manipulation, user interfaces, formal specification, semantics, graphical user interfaces, software tools, feedback, visual languages, visual language, error correction, grammars, diagrams, geometry, automatic programming, user interface management systems, pen-based computers, graphic editor, notebook computers, incremental parsing, automatic construction
46Apostolos Syropoulos Mathematics of Multisets. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
46Solomon Marcus Tolerance Multisets. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
46Manfred Kudlek, Carlos Martín-Vide, Gheorghe Paun Toward a Formal Macroset Theory. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44A. Kumar, J. Xu, J. Wang Space-Code Bloom Filter for Efficient Per-Flow Traffic Measurement. Search on Bibsonomy IEEE J. Sel. Areas Commun. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Gabriel Ciobanu, Viorel Mihai Gontineac Algebraic and Coalgebraic Aspects of Membrane Computing. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Anarta Ghosh, Nicolai Petkov Robustness of Shape Descriptors to Incomplete Contour Representations. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF COIL, depletion, distance multiset, Gollin, ICR test, object recognition, shape, occlusion, MPEG-7, psychophysics, Contour, deletion, incompleteness, shape context
44Paola Flocchini, Evangelos Kranakis, Nicola Santoro, Danny Krizanc, Flaminia L. Luccio Sorting Multisets in Anonymous Rings. Search on Bibsonomy IPDPS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF distributed algorithms, sorting, leader election, anonymous network, multiset
39Kun-Yuan Hsieh, Yung-Chia Lin, Chien-Ching Huang, Jenq Kuen Lee Enhancing Microkernel Performance on VLIW DSP Processors via Multiset Context Switch. Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF VLIW DSP processor, optimizing context switch overhead, microkernel design
39David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Hans-Jörg Kreowski, Sabine Kuske Graph Multiset Transformation as a Framework for Massively Parallel Computation. Search on Bibsonomy ICGT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Simon McGregor Neural Network Processing for Multiset Data. Search on Bibsonomy ICANN (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Gheorghe Paun, Gabriel Thierrin Multiset Processing by Means of Systems of Finite State Transducers. Search on Bibsonomy WIA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Paola Alimonti, Paola Flocchini, Nicola Santoro Finding the Extrema of a Distributed Multiset. Search on Bibsonomy WDAG The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
39Dieter Hofbauer Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
39Patrick Truong, Fabrice Guillemin Estimating Local Cardinalities in a Multidimensional Multiset. (PDF / PS) Search on Bibsonomy AIMS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Local Cardinality, Top-talkers, Real-time data mining, Network monitoring and security, Multiset, Cardinality
35Vinay Gautam 0003 l-Valued Multiset Automata and l-Valued Multiset Languages. Search on Bibsonomy New Math. Nat. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
35Dmitri V. Fomin Is the Multiset of n Integers Uniquely Determined by the Multiset of Its s-sums? Search on Bibsonomy Am. Math. Mon. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Mona Hosny, Mahmoud Raafat On generalization of rough multiset via multiset ideals. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Amr Zakaria, Sunil Jacob John, Sobhy A. El-Sheikh Generalized rough multiset via multiset ideals. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
35K. P. Girish, Sunil Jacob John Multiset topologies induced by multiset relations. Search on Bibsonomy Inf. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
35K. P. Girish, Sunil Jacob John Rough Multiset and Its Multiset Topology. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
35Manfred Kudlek, Patrick Totzke, Georg Zetzsche Properties of Multiset Language Classes Defined by Multiset Pushdown Automata. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Cristian Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (eds.) Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View [Workshop on Multiset Processing, WMP 2000, Curtea de Arges, Romania, August 21-25, 2000] Search on Bibsonomy WMP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35Jürgen Dassow Parikh Mapping and Iteration. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Adam Obtulowicz On P Systems with Active Membranes Solving the Integer Factorization Problem in a Polynomial Time. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Yasuhiro Suzuki, Yoshi Fujiwara, Junji Takabayashi, Hiroshi Tanaka Artificial Life Applications of a Class of P Systems: Abstract Rewriting Systems on Multisets. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Madhu Mutyam, Kamala Krithivasan Universality Results for Some Variants of P Systems. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer Gamma and the Chemical Reaction Model: Fifteen Years After. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Sadaaki Miyamoto Fuzzy Multisets and Their Generalizations. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Fernando Arroyo, Angel V. Baranda, Juan Castellanos, Carmen Luengo, Luis F. Mingo Structures and Bio-language to Simulate Transition P Systems on Digital Computers. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Guojie Song, Bin Cui 0001, Baihua Zheng, Kunqing Xie, Dongqing Yang Accelerating sequence searching: dimensionality reduction method. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Sequence similarity search, Sequence embedding, Index, Dimension reduction
33Guojie Song, Bin Cui 0001, Baihua Zheng, Kunqing Xie, Dongqing Yang Squeezing Long Sequence Data for Efficient Similarity Search. Search on Bibsonomy APWeb The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Oscar H. Ibarra, Hsu-Chun Yen On Deterministic Catalytic Systems. Search on Bibsonomy CIAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Abhishek Kumar 0003, Jun (Jim) Xu, Li (Erran) Li, Jia Wang 0001 Space-code bloom filter for efficient traffic flow measurement. Search on Bibsonomy Internet Measurement Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF data structures, network measurement, bloom filter, traffic analysis, statistical inference
33Arye Barkan, Haim Kaplan Partial Alphabetic Trees. Search on Bibsonomy ESA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Venu K. Murthy, E. V. Krishnamurthy Gamma Programming Paradigm and Heterogeneous Computing. Search on Bibsonomy HICSS (1) The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Entity- relationship (ER) model, Gamma model, Hetereogeneous Programming, Lattice, Distributed Programming, Multisets, Tuplespaces, Diffusing computation, Parallel programming paradigm
33Jyrki Katajainen, Tomi Pasanen Sorting Multisets Stably in Minimum Space. Search on Bibsonomy SWAT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Fritz Henglein Generic discrimination: sorting and paritioning unshared data in linear time. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order
33Iliano Cervesato, Mark-Oliver Stehr Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Multiset rewriting, Specification, Security protocol, Dependent types
33Haitao Dan, Robert M. Hierons, Steve Counsell A Thread-tag Based Semantics for Sequence Diagrams. Search on Bibsonomy SEFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Partially ordered multiset, Thread tag, Semantics, Concurrency, Object-Oriented, Sequence Diagram
33Mazen El-Sayed, Daniel Pacholczyk A Qualitative Reasoning with Nuanced Information. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Multiset theory, Many-valued logic, Vagueness, Knowledge representation and reasoning, Imprecision
33Sanjoy K. Baruah, Shun-Shii Lin Improved scheduling of generalized pinwheel task systems. Search on Bibsonomy RTCSA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF generalized pinwheel task systems, ordered pairs, positive integers, preprocessing time, scheduling, processor scheduling, linear-time algorithm, multiset
28 Multiset Semantics. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Kevin S. Beyer, Rainer Gemulla, Peter J. Haas, Berthold Reinwald, Yannis Sismanis Distinct-value synopses for multiset operations. Search on Bibsonomy Commun. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28José M. Sempere Translating Multiset Tree Automata into P Systems. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Sébastien Macé, Éric Anquetil Design of a Pen-Based Electric Diagram Editor Based on Context-Driven Constraint Multiset Grammars. Search on Bibsonomy HCI (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF on-line interpretation, structured document analysis, software assessing, visual languages, Pen-based interfaces, incremental parsing
28Sébastien Macé Context-Driven Constraint Multiset Grammars with Incremental Parsing for On-line Structured Document Interpretation. Search on Bibsonomy ICDAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28José M. Sempere, Damián López Characterizing Membrane Structures Through Multiset Tree Automata. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Uday Seelam, Chien-Chung Chan A Study of Data Reduction Using Multiset Decision Tables. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Claude-Guy Quimper, Toby Walsh The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables. Search on Bibsonomy CSCLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Artiom Alhazov, Dragos Sburlan Ultimately Confluent Rewriting Systems. Parallel Multiset-Rewriting with Permitting or Forbidding Contexts. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Jeong-Yup Lee, Robert V. Moody, Boris Solomyak Consequences of Pure Point Diffraction Spectra for Multiset Substitution Systems. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Kiyotaka Mizutani, Sadaaki Miyamoto Fuzzy Multiset Model for Information Retrieval and Clustering Using a Kernel Function. Search on Bibsonomy ISMIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli On Representing Biological Systems through Multiset Rewriting. Search on Bibsonomy EUROCAST The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. Search on Bibsonomy MMM-ACNS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28John C. Mitchell Multiset Rewriting and Security Protocol Analysis. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Tadao Takaoka An O(1) Time Algorithm for Generating Multiset Permutations. Search on Bibsonomy ISAAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Hugh McEvoy, Pieter H. Hartel Local Linear Logic for Locality Consciousness in Multiset Transformation Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
28Joost Engelfriet A Multiset Semantics for the pi-Calculus with Replication. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
28Bing-Chao Huang, Michael A. Langston Stable Set and Multiset Operations in Optimal Time and Space. Search on Bibsonomy PODS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
22Sara Cohen Equivalence of queries that are sensitive to multiplicities. Search on Bibsonomy VLDB J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bag semantics, Set semantics, Combined semantics, Datalog, Query equivalence
22Linmin Yang, Yong Wang, Zhe Dang Automata on Multisets of Communicating Objects. Search on Bibsonomy UC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Michael R. Fellows, Guillaume Fertin, Danny Hermelin, Stéphane Vialette Sharp Tractability Borderlines for Finding Connected Motifs in Vertex-Colored Graphs. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin Comparing the Expressive Power of Well-Structured Transition Systems. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF well-structured systems, language theory, Expressiveness
22Sachin Agarwal 0001, Vikas Chauhan, Ari Trachtenberg Bandwidth Efficient String Reconciliation Using Puzzles. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Efficient file synchronization, string reconstruction, rsync
22Sara Cohen Equivalence of queries combining set and bag-set semantics. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bag semantics, combined semantics, set semantics, Datalog, query equivalence
22David P. Woodruff Better Approximations for the Minimum Common Integer Partition Problem. Search on Bibsonomy APPROX-RANDOM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Francesco Bernardini, Marian Gheorghe 0001 Cell communication in tissue P systems: universality results. Search on Bibsonomy Soft Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Tissue, Membrane computing, Turing computability
Displaying result #1 - #100 of 693 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
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