|
|
Venues (Conferences, Journals, ...)
|
|
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 |
111 | Gianfranco Lamperti, Michele Melchiori, Marina Zanella |
On Multisets in Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 147-216, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
107 | Manfred Kudlek, Victor Mitrana |
Normal Forms of Grammars, Finite Automata, Abstract Families, and Closure Properties of Multiset Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 135-146, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
105 | Dwaine 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](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2003, 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 - December 4, 2003, Proceedings, pp. 188-207, 2003, Springer, 3-540-20592-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
96 | Taishin Y. Nishida |
Multiset and K -Subset Transforming Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 255-266, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
94 | Allan Aasbjerg Nielsen |
Multiset canonical correlations analysis and multispectral, truly multitemporal remote sensing data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 11(3), pp. 293-305, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
85 | Agostino Dovier, Carla Piazza, Gianfranco Rossi |
Multiset Constraints and P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 103-122, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
83 | Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya |
Decidability of Safety Properties of Timed Multiset Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 165-184, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
real-time systems, timed automata, decidability, timed Petri nets |
83 | Pascal Fradet, Daniel Le Métayer |
Type Checking for a Multiset Rewriting Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 126-140, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multiset rewriting, verification, invariant, graph grammars, type checking |
76 | Max I. Kanovich |
Bijections between Partitions by Two-Directional Rewriting Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 44-58, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiset rewriting, partition identities, termination, combinatorics, confluence, strong normalization, Church-Rosser property, integer partitions |
74 | Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Victor Mitrana |
Multiset Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 69-84, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
72 | Toby Walsh |
Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 724-738, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
72 | Iliano 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](Pics/bibsonomy.png) |
ISSS ![In: Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, pp. 356-383, 2002, Springer, 3-540-00708-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
66 | Dale Miller 0001 |
Specifications Using Multiple-Conclusion Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 3-4, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
63 | Paolo Bottoni, Bernd Meyer 0001, Francesco Parisi-Presicce |
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 45-68, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
61 | E. V. Krishnamurthy, Venu K. Murthy, Vikram Krishnamurthy |
Biologically inspired rule-based multiset programming paradigm for soft-computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the First Conference on Computing Frontiers, 2004, Ischia, Italy, April 14-16, 2004, pp. 140-149, 2004, ACM, 1-58113-741-9. The full citation details ...](Pics/full.jpeg) |
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 |
61 | Jorge Nakahara Jr., Daniel Santana de Freitas, Raphael Chung-Wei Phan |
New Multiset Attacks on Rijndael with Large Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mycrypt ![In: Progress in Cryptology - Mycrypt 2005, First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceedings, pp. 277-295, 2005, Springer, 3-540-28938-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
higher-order multiset attacks, cryptanalysis, Rijndael |
55 | Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001 |
On the minimum common integer partition problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 5(1), pp. 12:1-12:18, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
approximation algorithm, combinatorial optimization, NP-hard, computational biology, Subset sum, integer partition |
55 | Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001 |
On the Minimum Common Integer Partition Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAC ![In: Algorithms and Complexity, 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings, pp. 236-247, 2006, Springer, 3-540-34375-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Rainer Gemulla, Wolfgang Lehner, Peter J. Haas |
Maintaining bernoulli samples over evolving multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pp. 93-102, 2007, ACM, 978-1-59593-685-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Bernoulli multiset sampling, incremental sample maintenance |
54 | Mazen El-Sayed, Daniel Pacholczyk |
Reasoning under Vagueness Expressed by Nuanced Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings, pp. 382-394, 2003, Springer, 3-540-40494-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multiset theory, many-valued logic, vagueness, knowledge representation and reasoning, imprecision |
54 | Mazen El-Sayed, Daniel Pacholczyk |
A Symbolic Approach to Vagueness Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part III, pp. 109-119, 2003, Springer, 3-540-40196-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multiset theory, many-valued logic, vagueness, knowledge representation and reasoning, imprecision |
54 | Athanassios Tzouvaras |
The Logic of Multisets Continued: The Case of Disjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 75(3), pp. 287-304, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
disjunctive multiset, Horn fragment, semantics of the Horn fragment, linear logic, Multiset |
52 | Wolfgang Reisig |
The Linear Theory of Multiset Based Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 287-298, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
50 | Aaron Williams |
Loopless generation of multiset permutations using a constant number of variables by prefix shifts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009, pp. 987-996, 2009, SIAM, 978-0-89871-680-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Sadaaki Miyamoto, Kiyotaka Mizutani |
Fuzzy Multiset Model and Methods of Nonlinear Document Clustering for Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004, Proceedings, pp. 273-283, 2004, Springer, 3-540-22555-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Francisco-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](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers, pp. 612-626, 2001, Springer, 3-540-42959-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
50 | Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov |
Relating Strands and Multiset Rewriting for Security Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, CSFW '00, Cambridge, England, UK, July 3-5, 2000, pp. 35-51, 2000, IEEE Computer Society, 0-7695-0671-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
50 | Paolo Ciancarini, Daniela Fogli, Mauro Gaspari |
A Logic Language based on GAMMA-like Multiset Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, pp. 83-101, 1996, Springer, 3-540-60983-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
50 | Nachum Dershowitz, Zohar Manna |
Proving termination with Multiset Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings, pp. 188-202, 1979, Springer, 3-540-09510-1. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
50 | Solange Coupet-Grimal, William Delobel |
An effective proof of the well-foundedness of the multiset path ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 17(6), pp. 453-469, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Well-foundedness, Multiset path order, Termination, Constructive logic |
50 | Sitt Sen Chok, Kim Marriott |
Automatic Construction of User Interfaces from Constraint Multiset Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 242-249, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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 |
46 | Apostolos Syropoulos |
Mathematics of Multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 347-358, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
46 | Solomon Marcus |
Tolerance Multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 217-224, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
46 | Manfred Kudlek, Carlos Martín-Vide, Gheorghe Paun |
Toward a Formal Macroset Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 123-134, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
44 | A. Kumar, J. Xu, J. Wang |
Space-Code Bloom Filter for Efficient Per-Flow Traffic Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 24(12), pp. 2327-2339, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Gabriel Ciobanu, Viorel Mihai Gontineac |
Algebraic and Coalgebraic Aspects of Membrane Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers, pp. 181-198, 2005, Springer, 3-540-30948-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Anarta Ghosh, Nicolai Petkov |
Robustness of Shape Descriptors to Incomplete Contour Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 27(11), pp. 1793-1804, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
COIL, depletion, distance multiset, Gollin, ICR test, object recognition, shape, occlusion, MPEG-7, psychophysics, Contour, deletion, incompleteness, shape context |
44 | Paola Flocchini, Evangelos Kranakis, Nicola Santoro, Danny Krizanc, Flaminia L. Luccio |
Sorting Multisets in Anonymous Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 275-280, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed algorithms, sorting, leader election, anonymous network, multiset |
39 | Kun-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](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 51(3), pp. 257-268, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
VLIW DSP processor, optimizing context switch overhead, microkernel design |
39 | David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas |
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 283-298, 2008, Springer, 978-3-540-68854-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Hans-Jörg Kreowski, Sabine Kuske |
Graph Multiset Transformation as a Framework for Massively Parallel Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 351-365, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Simon McGregor |
Neural Network Processing for Multiset Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2007, 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part I, pp. 460-470, 2007, Springer, 978-3-540-74689-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Gheorghe Paun, Gabriel Thierrin |
Multiset Processing by Means of Systems of Finite State Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIA ![In: Automata Implementation, 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers, pp. 140-157, 1999, Springer, 3-540-42812-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Paola Alimonti, Paola Flocchini, Nicola Santoro |
Finding the Extrema of a Distributed Multiset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 8th International Workshop, WDAG '94, Terschelling, The Netherlands, September 29 - October 1, 1994, Proceedings, pp. 164-178, 1994, Springer, 3-540-58449-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
39 | Dieter Hofbauer |
Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings, pp. 347-358, 1990, Springer, 3-540-53162-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
39 | Patrick Truong, Fabrice Guillemin |
Estimating Local Cardinalities in a Multidimensional Multiset. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMS ![In: Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings, pp. 172-175, 2007, Springer, 978-3-540-72985-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Local Cardinality, Top-talkers, Real-time data mining, Network monitoring and security, Multiset, Cardinality |
35 | Vinay Gautam 0003 |
l-Valued Multiset Automata and l-Valued Multiset Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Math. Nat. Comput. ![In: New Math. Nat. Comput. 17(1), pp. 175-189, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Dmitri V. Fomin |
Is the Multiset of n Integers Uniquely Determined by the Multiset of Its s-sums? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 126(5), pp. 400-417, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Mona Hosny, Mahmoud Raafat |
On generalization of rough multiset via multiset ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 33(2), pp. 1249-1261, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
35 | Amr Zakaria, Sunil Jacob John, Sobhy A. El-Sheikh |
Generalized rough multiset via multiset ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 30(3), pp. 1791-1802, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
35 | K. P. Girish, Sunil Jacob John |
Multiset topologies induced by multiset relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 188, pp. 298-313, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
35 | K. P. Girish, Sunil Jacob John |
Rough Multiset and Its Multiset Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets XIV, pp. 62-80, 2011, Springer, 978-3-642-21562-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
35 | Manfred Kudlek, Patrick Totzke, Georg Zetzsche |
Properties of Multiset Language Classes Defined by Multiset Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 93(1-3), pp. 235-244, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Cristian 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](Pics/bibsonomy.png) |
WMP ![Springer, 3-540-43063-6 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Jürgen Dassow |
Parikh Mapping and Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 85-102, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Adam Obtulowicz |
On P Systems with Active Membranes Solving the Integer Factorization Problem in a Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 267-286, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Yasuhiro Suzuki, Yoshi Fujiwara, Junji Takabayashi, Hiroshi Tanaka |
Artificial Life Applications of a Class of P Systems: Abstract Rewriting Systems on Multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 299-346, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Madhu Mutyam, Kamala Krithivasan |
Universality Results for Some Variants of P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 237-254, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer |
Gamma and the Chemical Reaction Model: Fifteen Years After. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 17-44, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Sadaaki Miyamoto |
Fuzzy Multisets and Their Generalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 225-236, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Fernando 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](Pics/bibsonomy.png) |
WMP ![In: 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], pp. 1-16, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Guojie Song, Bin Cui 0001, Baihua Zheng, Kunqing Xie, Dongqing Yang |
Accelerating sequence searching: dimensionality reduction method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 20(3), pp. 301-322, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Sequence similarity search, Sequence embedding, Index, Dimension reduction |
33 | Guojie Song, Bin Cui 0001, Baihua Zheng, Kunqing Xie, Dongqing Yang |
Squeezing Long Sequence Data for Efficient Similarity Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Progress in WWW Research and Development, 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings, pp. 438-449, 2008, Springer, 978-3-540-78848-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Oscar H. Ibarra, Hsu-Chun Yen |
On Deterministic Catalytic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers, pp. 163-175, 2005, Springer, 3-540-31023-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Abhishek Kumar 0003, Jun (Jim) Xu, Li (Erran) Li, Jia Wang 0001 |
Space-code bloom filter for efficient traffic flow measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Conference ![In: Proceedings of the 3rd ACM SIGCOMM Internet Measurement Conference, IMC 2003, Miami Beach, FL, USA, October 27-29, 2003, pp. 167-172, 2003, ACM, 1-58113-773-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
data structures, network measurement, bloom filter, traffic analysis, statistical inference |
33 | Arye Barkan, Haim Kaplan |
Partial Alphabetic Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings, pp. 114-125, 2002, Springer, 3-540-44180-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Venu K. Murthy, E. V. Krishnamurthy |
Gamma Programming Paradigm and Heterogeneous Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 273-281, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Entity- relationship (ER) model, Gamma model, Hetereogeneous Programming, Lattice, Distributed Programming, Multisets, Tuplespaces, Diffusing computation, Parallel programming paradigm |
33 | Jyrki Katajainen, Tomi Pasanen |
Sorting Multisets Stably in Minimum Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: Algorithm Theory - SWAT '92, Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992, Proceedings, pp. 410-421, 1992, Springer, 3-540-55706-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Fritz Henglein |
Generic discrimination: sorting and paritioning unshared data in linear time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 91-102, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order |
33 | Iliano Cervesato, Mark-Oliver Stehr |
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(1-2), pp. 3-35, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multiset rewriting, Specification, Security protocol, Dependent types |
33 | Haitao Dan, Robert M. Hierons, Steve Counsell |
A Thread-tag Based Semantics for Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 173-182, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Partially ordered multiset, Thread tag, Semantics, Concurrency, Object-Oriented, Sequence Diagram |
33 | Mazen El-Sayed, Daniel Pacholczyk |
A Qualitative Reasoning with Nuanced Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, pp. 283-295, 2002, Springer, 3-540-44190-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Multiset theory, Many-valued logic, Vagueness, Knowledge representation and reasoning, Imprecision |
33 | Sanjoy K. Baruah, Shun-Shii Lin |
Improved scheduling of generalized pinwheel task systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan, pp. 73-79, 1997, IEEE Computer Society, 0-8186-8073-3. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 1858, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Kevin S. Beyer, Rainer Gemulla, Peter J. Haas, Berthold Reinwald, Yannis Sismanis |
Distinct-value synopses for multiset operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 52(10), pp. 87-95, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | José M. Sempere |
Translating Multiset Tree Automata into P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers, pp. 394-402, 2008, Springer, 978-3-540-95884-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Sébastien Macé, Éric Anquetil |
Design of a Pen-Based Electric Diagram Editor Based on Context-Driven Constraint Multiset Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Human-Computer Interaction. Interaction Platforms and Techniques, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 418-428, 2007, Springer, 978-3-540-73106-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
on-line interpretation, structured document analysis, software assessing, visual languages, Pen-based interfaces, incremental parsing |
28 | Sébastien Macé |
Context-Driven Constraint Multiset Grammars with Incremental Parsing for On-line Structured Document Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paraná, Brazil, pp. 442-446, 2007, IEEE Computer Society, 978-0-7695-2822-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | José M. Sempere, Damián López |
Characterizing Membrane Structures Through Multiset Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, pp. 428-437, 2007, Springer, 978-3-540-77311-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Uday Seelam, Chien-Chung Chan |
A Study of Data Reduction Using Multiset Decision Tables. ![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. 362-367, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Claude-Guy Quimper, Toby Walsh |
The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers, pp. 1-13, 2005, Springer, 3-540-34215-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 138-152, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Artiom Alhazov, Dragos Sburlan |
Ultimately Confluent Rewriting Systems. Parallel Multiset-Rewriting with Permitting or Forbidding Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers, pp. 178-189, 2004, Springer, 3-540-25080-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Jeong-Yup Lee, Robert V. Moody, Boris Solomyak |
Consequences of Pure Point Diffraction Spectra for Multiset Substitution Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 29(4), pp. 525-560, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Kiyotaka Mizutani, Sadaaki Miyamoto |
Fuzzy Multiset Model for Information Retrieval and Clustering Using a Kernel Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings, pp. 417-421, 2003, Springer, 3-540-20256-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli |
On Representing Biological Systems through Multiset Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers, pp. 415-426, 2003, Springer, 3-540-20221-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli |
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM-ACNS ![In: Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings, pp. 86-99, 2003, Springer, 3-540-40797-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | John C. Mitchell |
Multiset Rewriting and Security Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 19-22, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Tadao Takaoka |
An O(1) Time Algorithm for Generating Multiset Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 10th International Symposium, ISAAC '99, Chennai, India, December 16-18, 1999, Proceedings, pp. 237-246, 1999, Springer, 3-540-66916-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Hugh McEvoy, Pieter H. Hartel |
Local Linear Logic for Locality Consciousness in Multiset Transformation ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, pp. 357-379, 1995, Springer, 3-540-60359-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Joost Engelfriet |
A Multiset Semantics for the pi-Calculus with Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 7-21, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Bing-Chao Huang, Michael A. Langston |
Stable Set and Multiset Operations in Optimal Time and Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas, USA, pp. 288-293, 1988, ACM, 0-89791-263-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Sara Cohen |
Equivalence of queries that are sensitive to multiplicities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(3), pp. 765-785, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Bag semantics, Set semantics, Combined semantics, Datalog, Query equivalence |
22 | Linmin Yang, Yong Wang, Zhe Dang |
Automata on Multisets of Communicating Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings, pp. 242-257, 2008, Springer, 978-3-540-85193-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Michael R. Fellows, Guillaume Fertin, Danny Hermelin, Stéphane Vialette |
Sharp Tractability Borderlines for Finding Connected Motifs in Vertex-Colored Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 340-351, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
Comparing the Expressive Power of Well-Structured Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 99-114, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
well-structured systems, language theory, Expressiveness |
22 | Sachin Agarwal 0001, Vikas Chauhan, Ari Trachtenberg |
Bandwidth Efficient String Reconciliation Using Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 17(11), pp. 1217-1225, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Efficient file synchronization, string reconstruction, rsync |
22 | Sara Cohen |
Equivalence of queries combining set and bag-set semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, USA, pp. 70-79, 2006, ACM, 1-59593-318-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
bag semantics, combined semantics, set semantics, Datalog, query equivalence |
22 | David P. Woodruff |
Better Approximations for the Minimum Common Integer Partition Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX-RANDOM ![In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006, Proceedings, pp. 248-259, 2006, Springer, 3-540-38044-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Francesco Bernardini, Marian Gheorghe 0001 |
Cell communication in tissue P systems: universality results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(9), pp. 640-649, 2005. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|