Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Paul-Olivier Dehaye, Guo-Niu Han |
A multiset hook length formula and some applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 311(23-24), pp. 2690-2702, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Hans-Jörg Kreowski, Sabine Kuske |
Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 10(2), pp. 961-986, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Bernardini, Robert Brijder, Matteo Cavaliere, Giuditta Franco, Hendrik Jan Hoogeboom, Grzegorz Rozenberg |
On aggregation in multiset-based self-assembly of graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 10(1), pp. 17-38, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Paul Tarau |
Emulating Primality with Multiset Representations of Natural Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings, pp. 218-238, 2011, Springer, 978-3-642-23282-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh |
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, pp. 61-67, 2011, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Ricardo Quislant, Eladio Gutiérrez, Oscar G. Plata, Emilio L. Zapata |
Multiset signatures for transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 25th International Conference on Supercomputing, 2011, Tucson, AZ, USA, May 31 - June 04, 2011, pp. 43-52, 2011, ACM, 978-1-4503-0102-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | António Manuel Rodrigues Manso, Luís Miguel Parreira Correia |
A multiset genetic algorithm for real coded problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Companion Material Proceedings, Dublin, Ireland, July 12-16, 2011, pp. 153-154, 2011, ACM, 978-1-4503-0690-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | António Manuel Rodrigues Manso, Luís Miguel Parreira Correia |
MuGA: multiset genetic algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Companion Material Proceedings, Dublin, Ireland, July 12-16, 2011, pp. 791-794, 2011, ACM, 978-1-4503-0690-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Antoon Bronselaer, Guy De Tré, Daan Van Britsom |
Multiset Merging: The Majority Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eurofuse ![In: Eurofuse 2011 - Workshop on Fuzzy Methods for Knowledge-Based Systems, Douro Wine Region, Régua, Portugal, 21-23 September 2011, pp. 279-292, 2011, Springer, 978-3-642-24000-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Nicolas Oury, Gordon D. Plotkin |
Coloured stochastic multilevel multiset rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, 9th International Conference, CMSB 2011, Paris, France, September 21-23, 2011. Proceedings, pp. 171-181, 2011, ACM, 978-1-4503-0817-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | David Dice, Oleksandr Otenko |
Brief announcement: multilane - a concurrent blocking multiset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011 (Co-located with FCRC 2011), pp. 313-314, 2011, ACM, 978-1-4503-0743-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Satoshi Takumi, Sadaaki Miyamoto |
Text clustering using a multiset model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2011 IEEE International Conference on Granular Computing, GrC-2011, Kaohsiung, Taiwan, November 8-10, 2011, pp. 630-635, 2011, IEEE Computer Society, 978-1-4577-0372-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jyrki Katajainen, S. Srinivasa Rao 0001 |
A compact data structure for representing a dynamic multiset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 110(23), pp. 1061-1066, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Futaba Okamoto, Ebrahim Salehi, Ping Zhang 0004 |
On multiset colorings of graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discuss. Math. Graph Theory ![In: Discuss. Math. Graph Theory 30(1), pp. 137-153, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Matti Pöllä, Timo Honkela |
Negative Selection of Written Language Using Character Multiset Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 25(6), pp. 1256-1266, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Qiang-Sheng Hua, Yuexuan Wang, Dongxiao Yu, Francis C. M. Lau 0001 |
Dynamic programming based algorithms for set multicover and multiset multicover problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(26-28), pp. 2467-2474, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Artiom Alhazov, Sergey Verlan |
Minimization Strategies for Maximally Parallel Multiset Rewriting Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1009.2706, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Fritz Henglein, Ken Friis Larsen |
Generic multiset programming with discrimination-based joins and symbolic Cartesian products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 23(3), pp. 337-370, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Alex Biryukov, Deike Priemuth-Schmid, Bin Zhang 0003 |
Multiset Collision Attacks on Reduced-Round SNOW 3G and SNOW 3G (+) . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 8th International Conference, ACNS 2010, Beijing, China, June 22-25, 2010. Proceedings, pp. 139-153, 2010, 978-3-642-13707-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Fritz Henglein, Ken Friis Larsen |
Generic multiset programming for language-integrated querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010, pp. 49-60, 2010, ACM, 978-1-4503-0251-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Artiom Alhazov, Rudolf Freund, Kenichi Morita |
Reversibility and Determinism in Sequential Multiset Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation - 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010. Proceedings, pp. 21-31, 2010, Springer, 978-3-642-13522-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Fernando Rosa-Velardo |
Depth Boundedness in Multiset Rewriting Systems with Name Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, pp. 161-175, 2010, Springer, 978-3-642-15348-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Fernando Rosa-Velardo |
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers, pp. 191-207, 2010, Springer, 978-3-642-16309-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Kudlek, Patrick Totzke, Georg Zetzsche |
Multiset Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 93(1-3), pp. 221-233, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | K. P. Girish, Sunil Jacob John |
Relations and functions in multiset context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 179(6), pp. 758-768, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh |
Filtering algorithms for the multiset ordering constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 173(2), pp. 299-328, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh |
Multiset Ordering Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0905.3769, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
17 | Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh |
Filtering Algorithms for the Multiset Ordering Constraint ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0903.0460, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
17 | Yi-Ou Li, Tülay Adali, Wei Wang 0018, Vince D. Calhoun |
Joint blind source separation by multiset canonical correlation analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 57(10), pp. 3918-3929, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Venu K. Murthy, E. V. Krishnamurthy |
Multiset of Agents in a Network for Simulation of Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Advances in Nonlinear Dynamics and Synchronization ![In: Recent Advances in Nonlinear Dynamics and Synchronization: Theory and Applications, pp. 153-200, 2009, Springer, 978-3-642-04226-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Qiang-Sheng Hua, Dongxiao Yu, Francis C. M. Lau 0001, Yuexuan Wang |
Exact Algorithms for Set Multicover and Multiset Multicover Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings, pp. 34-44, 2009, Springer, 978-3-642-10630-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Mohammed A. Hasan |
Stable algorithms for multiset canonical correlation analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2009. St. Louis, Missouri, USA, June 10-12, 2009, pp. 1280-1285, 2009, IEEE, 978-1-4244-4523-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Fang Hao, Murali S. Kodialam, T. V. Lakshman, Haoyu Song 0001 |
Fast Multiset Membership Testing Using Combinatorial Bloom Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2009. 28th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 19-25 April 2009, Rio de Janeiro, Brazil, pp. 513-521, 2009, IEEE, 978-1-4244-3513-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo |
Variety Reasoning for Multiset Constraint Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pp. 552-558, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
17 | Dima Damen, David C. Hogg |
Attribute Multiset Grammars for Global Explanations of Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMVC ![In: British Machine Vision Conference, BMVC 2009, London, UK, September 7-10, 2009. Proceedings, pp. 1-11, 2009, British Machine Vision Association, 1-901725-39-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Kiyotaka Mizutani, Ryo Inokuchi, Sadaaki Miyamoto |
Algorithms of nonlinear document clustering based on fuzzy multiset model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 23(2), pp. 176-198, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Matteo Cavaliere, Radu Mardare, Sean Sedwards |
A multiset-based model of synchronizing agents: Computability and robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 391(3), pp. 216-238, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Claribet Piña, Carlos Uzcátegui |
Reconstruction of a word from a multiset of its factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 400(1-3), pp. 70-83, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | |
Privacy Preserving Multiset Union with ElGamal Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2008, pp. 523, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Simon McGregor |
Further results in multiset processing with neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks ![In: Neural Networks 21(6), pp. 830-837, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Bernardini, Robert Brijder, Grzegorz Rozenberg, Claudio Zandron |
Multiset-Based Self-Assembly of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 75(1-4), pp. 49-75, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | Matteo Cavaliere, Rudolf Freund, Marion Oswald, Dragos Sburlan |
Multiset random context grammars, checkers, and transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 372(2-3), pp. 136-151, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Vidya Venkateswaran |
A new class of multiset Wilf equivalent pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 307(21), pp. 2508-2513, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Kevin S. Beyer, Peter J. Haas, Berthold Reinwald, Yannis Sismanis, Rainer Gemulla |
On synopses for distinct-value estimation under multiset operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 199-210, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
distinct-value estimation, synopsis warehouse |
17 | Silvia Heubach, Toufik Mansour |
Avoiding patterns of length three in compositions and multiset permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 36(2), pp. 156-174, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Carla D. Savage, Herbert S. Wilf |
Pattern avoidance in compositions and multiset permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 36(2), pp. 194-201, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Gabriel Ciobanu, Viorel Mihai Gontineac |
Mealy multiset automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 17(1), pp. 111-126, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jae Hong Seo, HyoJin Yoon, Seongan Lim, Jung Hee Cheon, Dowon Hong |
Analysis of Privacy-Preserving Element Reduction of Multiset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2006, pp. 418, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | E. V. Krishnamurthy, Vikram Krishnamurthy |
Multiset Rule-Based Programming Paradigm for Soft-Computing in Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Nature-Inspired and Innovative Computing ![In: Handbook of Nature-Inspired and Innovative Computing - Integrating Classical Models with Emerging Technologies, pp. 77-109, 2006, Springer, 978-0-387-40532-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Matteo Cavaliere, Sean Sedwards |
Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulation and Verification of Dynamic Systems ![In: Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Hagen Höpfner |
Update Relevance under the Multiset Semantics of RDBMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMS ![In: Mobile Informationssysteme - Potentiale, Hindernisse, Einsatz, 1. Fachtagung Mobilität und Mobile Informationssysteme (MMS), 20.-22. Februar 2006, Passau, Germany, pp. 33-44, 2006, GI, 3-88579-170-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Yasuhiro Suzuki, Hiroshi Tanaka |
Modeling p53 Signaling Pathways by Using Multiset Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications of Membrane Computing ![In: Applications of Membrane Computing, pp. 203-214, 2006, Springer, 978-3-540-25017-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Alex Biryukov |
Multiset Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Cryptography and Security ![In: Encyclopedia of Cryptography and Security, 2005, Springer, 978-0-387-23473-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli |
Relating multiset rewriting and process algebras for security protocol analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 13(1), pp. 3-47, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln |
A comparison between strand spaces and multiset rewriting for security protocol analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 13(2), pp. 265-316, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Ziya Arnavut, Meral Arnavut |
Investigation of block-sorting of multiset permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 81(10), pp. 1213-1222, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ranko Lazic 0001, Thomas Christopher Newcomb, Bill Roscoe |
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 61-86, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Nancy A. Durgin, Patrick Lincoln, John C. Mitchell |
Multiset rewriting and the complexity of bounded security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 12(2), pp. 247-311, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | James F. Korsh, Paul LaFollette |
Loopless Array Generation of Multiset Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 47(5), pp. 612-621, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Vincent Vajnovszki |
A loopless algorithm for generating the permutations of a multiset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 307(2), pp. 415-431, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Alexey Petrovsky |
Cluster Anlaysis in Multiset Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISTA ![In: Information Systems Technology and its Applications, International Conference ISTA'2003, June 19-21, 2003, Kharkiv, Ukraine, Proceedings, pp. 109-119, 2003, GI, 3-88579-359-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Sadaaki Miyamoto, Kiyotaka Mizutani |
Fuzzy Multiset Space and c-Means Clustering Using Kernles with Applications to Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 387-395, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Mark-Jan Nederhof, Giorgio Satta, Stuart M. Shieber |
Partially Ordered Multiset Context-free Grammars and Free-word-order Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPT ![In: Proceedings of the Eighth International Conference on Parsing Technologies, IWPT 2003, Nancy, France, April 2003, pp. 171-182, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Buntarou Shizuki, Hideto Yamada, Kazuhisa Iizuka, Jiro Tanaka |
A unified approach for interpreting handwritten strokes using constraint multiset grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 28-31 October 2003, Auckland, New Zealand, pp. 180-182, 2003, IEEE Computer Society, 0-7803-8225-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh |
Multiset Ordering Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, pp. 221-226, 2003, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Manfred Kudlek, Victor Mitrana |
Closure Properties of Multiset Language Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 49(1-3), pp. 191-203, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
17 | Grit Denker, Jonathan K. Millen |
Modeling Group Communication Protocols Using Multiset Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002, pp. 20-39, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | William W. Hager, Yaroslav Krylyuk |
Multiset graph partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Methods Oper. Res. ![In: Math. Methods Oper. Res. 55(1), pp. 1-10, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jyrki Katajainen, Tomi Pasanen |
A Randomized In-Place Algorithm for Positioning the kth Element in a Multiset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: Algorithm Theory - SWAT 2002, 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings, pp. 408-417, 2002, Springer, 3-540-43866-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Kudlek, Victor Mitrana |
Considerations on a Multiset Model for Membrane Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMC-CdeA ![In: Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers, pp. 352-359, 2002, Springer, 3-540-00611-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Sara Brunetti, Alberto Del Lungo, Francesco Del Ristoro |
An Equipartition Property for the Distribution of Multiset Permutation Inversions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 27(1), pp. 41-50, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Chris C. Handley, Derek A. Holton |
Permutations of a Multiset Avoiding Permutations of Length 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 22(8), pp. 1021-1031, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Yoram Hirshfeld, Faron Moller |
Pushdown automata, multiset automata, and Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 256(1-2), pp. 3-21, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Francine Blanchet-Sadri |
On unique, multiset, set decipherability of three-word codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 47(5), pp. 1745-1757, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Agostino Dovier, Carla Piazza, Gianfranco Rossi |
Multiset constraints and P systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 97-112, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Iliano Cervesato |
Typed Multiset Rewriting Specifications of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCSIT ![In: First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000, pp. 8-51, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Catherine S. Greenhill |
An Algorithm for Recognising the Exterior Square of a Multiset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 96-116, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | James F. Korsh, Paul LaFollette |
Multiset Permutations and Loopless Generation of Ordered Trees with Specified Degree Sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 34(2), pp. 309-336, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Chris Hankin, Daniel Le Métayer, David Sands 0001 |
Refining Multiset Tranformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 192(2), pp. 233-258, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo |
Embedding Multiset Constraints into a Lazy Functional Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP/ALP ![In: Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings, pp. 429-444, 1998, Springer, 3-540-65012-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | David Sands, Martin Weichert |
From Gamma to CBS: Refining Multiset Transformations with Broadcasting Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (7) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 265-274, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | James F. Korsh, Seymour Lipschutz |
Generating Multiset Permutations in Constant Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 25(2), pp. 321-335, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Frank Ruskey, Carla D. Savage |
A Gray Code for Combinations of a Multiset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 17(5), pp. 493-500, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Joost Engelfriet |
A Multiset Semantics for the pi-Calculus with Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 153(1&2), pp. 65-94, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Paola Alimonti, Paola Flocchini, Nicola Santoro |
Finding the Extrema of a Distributed Multiset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 37(2), pp. 123-133, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Ziya Arnavut |
Lossless Compression Using Inversions on Multiset Permutations (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: Proceedings of the 6th Data Compression Conference (DCC '96), Snowbird, Utah, USA, March 31 - April 3, 1996., pp. 420, 1996, IEEE Computer Society, 0-8186-7358-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Pierre Banâtre |
Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings, pp. 1-11, 1996, Springer, 3-540-61052-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | David Cohen, Juarez Muylaert Filho |
Introducing a Calculus for Higher-Order Multiset Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings, pp. 124-141, 1996, Springer, 3-540-61052-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Jiazhen Cai, Robert Paige |
Using Multiset Discrimination to Solve Language Processing Problems Without Hashing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 145(1&2), pp. 189-228, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Tom Head, Andreas Weber |
Deciding multiset decipherability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 41(1), pp. 291-297, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | V. Kris Murthy, E. V. Krishnamurthy |
Probabilistic parallel programming based on multiset transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 11(3), pp. 283-293, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Paolo Ciancarini, Daniela Fogli, Mauro Gaspari |
A Logic Language Based on GAMMA-Like Multiset Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP-PRODE ![In: 1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995, pp. 125-138, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Kim Marriott |
Parsing Visual Languages with Constraint Multiset Grammars ![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. 24-25, 1995, Springer, 3-540-60359-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | François Leclerc |
Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings, pp. 312-327, 1995, Springer, 3-540-59048-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Lily Yen |
A Note on Multiset Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 7(1), pp. 152-155, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Owen Rambow |
Multiset-Valued Linear Index Grammars: Imposing Dominance Constraints on Derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cmp-lg/9406009, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Daniel Le Métayer |
Higher-Order Multiset Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 179-200, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Kim Marriott |
Constraint Multiset Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings IEEE Symposium on Visual Languages, St. Louis, Missouri, USA, October 4-7, 1994, pp. 118-125, 1994, IEEE Computer Society, 0-8186-6660-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Owen Rambow |
Multiset-Valued Linear Index Grammars: Imposing Dominance Constraints on Derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: 32nd Annual Meeting of the Association for Computational Linguistics, 27-30 June 1994, New Mexico State University, Las Cruces, New Mexico, USA, Proceedings., pp. 263-270, 1994, Morgan Kaufmann Publishers / ACL. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Jean-Pierre Banâtre, Daniel Le Métayer |
Programming by Multiset Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 36(1), pp. 98-111, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|