Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Jyrki Katajainen, Tomi Pasanen |
Sorting Multisets Stably in Minimum Space. |
Acta Informatica |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Marcel Rupf, James L. Massey |
Optimum sequence multisets for synchronous code-division multiple-access channels. |
IEEE Trans. Inf. Theory |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Wayne D. Blizard |
Dedekind Multisets and Function Shells. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Daniel E. Loeb |
Towards the critical problem: on the coalgebraic relation between sets and multisets. |
Discret. Math. |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Daniel E. Cooke |
A High Level Programming Language Based Upon Ordered Multisets. |
SEKE |
1993 |
DBLP BibTeX RDF |
|
19 | Ursula Martin, Elizabeth Scott |
The order types of termination orderings on monadic terms, strings and multisets |
LICS |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Steffen Hölldobler, Michael Thielscher |
On Logic Programming with Multisets. |
ICLP Workshop on Logic Programming with Sets |
1993 |
DBLP BibTeX RDF |
|
19 | Jyrki Katajainen, Tomi Pasanen |
Sorting Multisets Stably in Minimum Space. |
SWAT |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Yuan-Long Jeang, Jhing-Fa Wang, Jau-Yien Lee |
On the Performance Guarantees of the Minimum Multisets Binding (MMB) Problem. |
J. Inf. Sci. Eng. |
1991 |
DBLP BibTeX RDF |
|
19 | J. Ian Munro, Venkatesh Raman 0001 |
Sorting Multisets and Vectors In-Place. |
WADS |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Michel Cosnard, Jean Duprat, Afonso Ferreira |
The Complexity of Searching in X+Y and Other Multisets. |
Inf. Process. Lett. |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Ian Anderson 0001 |
An Erdös-Ko-Rado theorem for multisets. |
Discret. Math. |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Jerzy W. Grzymala-Busse |
Learning from Examples based on Rough Multisets. |
ISMIS |
1987 |
DBLP BibTeX RDF |
|
19 | Wolfram Büttner |
Unification in Datastructure Multisets. |
J. Autom. Reason. |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Edward A. Bender, John S. Devitt, L. Bruce Richmond |
Partitions of multisets II. |
Discret. Math. |
1984 |
DBLP DOI BibTeX RDF |
|
19 | N. G. de Bruijn |
Denumerations of rooted trees and multisets. |
Discret. Appl. Math. |
1983 |
DBLP DOI BibTeX RDF |
|
19 | Donald B. Johnson 0001, Samuel D. Kashdan |
Lower Bounds for Selection in X+Y and Other Multisets. |
J. ACM |
1978 |
DBLP DOI BibTeX RDF |
|
19 | J. Ian Munro, Philip M. Spira |
Sorting and Searching in Multisets. |
SIAM J. Comput. |
1976 |
DBLP DOI BibTeX RDF |
|
19 | Edward A. Bender |
Partitions of multisets. |
Discret. Math. |
1974 |
DBLP DOI BibTeX RDF |
|
13 | Gabriel Juhás, Robert Lorenz 0001, Jörg Desel |
Unifying Petri Net Semantics with Token Flows. |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Jean Fanchon, Rémi Morin |
Pomset Languages of Finite Step Transition Systems. |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Gunnar Wilken, Andreas Weiermann |
Complexity of Gödel's T in lambda-Formulation. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
Typed ?-Calculus, Gödel’s T, Termination, Rewrite System, Strong Normalization |
13 | Sadaaki Miyamoto |
Generalized Bags, Bag Relations, and Applications to Data Analysis and Decision Making. |
MDAI |
2009 |
DBLP DOI BibTeX RDF |
Generalized bag, s-norm, bag relation, decision making, data analysis, convex function |
13 | Rada Chirkova, Michael R. Genesereth |
Equivalence of SQL queries in presence of embedded dependencies. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
embedded dependencies, conjunctive queries, query equivalence |
13 | Rajeev Goré, Linda Postniece, Alwen Tiu |
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Baudoin Collard, François-Xavier Standaert |
A Statistical Saturation Attack against the Block Cipher PRESENT. |
CT-RSA |
2009 |
DBLP DOI BibTeX RDF |
|
13 | David A. Basin, Samuel J. Burri, Günter Karjoth |
Dynamic Enforcement of Abstract Separation of Duty Constraints. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Patrick Maier 0001 |
Deciding Extensions of the Theories of Vectors and Bags. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Wies, Ruzica Piskac, Viktor Kuncak |
Combining Theories with Shared Set Operations. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001 |
On the minimum common integer partition problem. |
ACM Trans. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
approximation algorithm, combinatorial optimization, NP-hard, computational biology, Subset sum, integer partition |
13 | Zbigniew Bonikowski, Urszula Wybraniec-Skardowska |
Vagueness and Roughness. |
Trans. Rough Sets |
2008 |
DBLP DOI BibTeX RDF |
vague knowledge, membership relation, vague logic, rough sets, knowledge, vagueness, vague sets, roughness |
13 | Qingping Tao, Stephen D. Scott 0001, N. V. Vinodchandran, Thomas Takeo Osugi, Brandon Mueller |
Kernels for Generalized Multiple-Instance Learning. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel |
Essence : A constraint language for specifying combinatorial problems. |
Constraints An Int. J. |
2008 |
DBLP DOI BibTeX RDF |
Specification languages, Constraint programming, Combinatorial problems, Constraint languages, Constraint modelling |
13 | Jean-Louis Giavitto, Olivier Michel 0001, Antoine Spicher |
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems. |
Software-Intensive Systems and New Computing Paradigms |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Thom W. Frühwirth |
Welcome to Constraint Handling Rules. |
Constraint Handling Rules |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Cheng-Wei Luo, Hsiao-Fei Liu, Peng-An Chen, Kun-Mao Chao |
Minkowski Sum Selection and Finding. |
ISAAC |
2008 |
DBLP DOI BibTeX RDF |
Bioinformatics, Sequence analysis, Minkowski sum |
13 | Ruzica Piskac, Viktor Kuncak |
Linear Arithmetic with Stars. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Johannes Fischer 0001, Veli Mäkinen, Niko Välimäki |
Space Efficient String Mining under Frequency Constraints. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Josep Carmona 0001, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev |
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Xiaojian Liu, Xuejun Liu, Jianxin Li, Yanzhi Zhao, Zhixue Wang |
Refinement of UML Interaction for Correct Embedded System Design. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Stephan Falke 0001, Deepak Kapur |
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Nuria Gómez Blas, Luis F. Mingo, Juan Castellanos |
Networks of evolutionary processors with a self-organizing learning. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Qing Wang 0002, Klaus-Dieter Schewe |
Towards a Logic for Abstract MetaFinite State Machines. |
FoIKS |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Oscar H. Ibarra |
Computing with Cells: Membrane Systems. |
ISPAN |
2008 |
DBLP DOI BibTeX RDF |
Membrane computing, P system, spiking neural P system |
13 | Mónica Cardona, M. Àngels Colomer, Mario J. Pérez-Jiménez, Delfí Sanuy, Antoni Margalida |
Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study. |
Workshop on Membrane Computing |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu |
Defining and Executing P Systems with Structured Data in K. |
Workshop on Membrane Computing |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Oana Agrigoroaiei, Gabriel Ciobanu |
Dual P Systems. |
Workshop on Membrane Computing |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Victor J. Martínez, Abraham Gutiérrez, Luis Fernando de Mingo López |
Circuit FPGA for Active Rules Selection in a Transition P System Region. |
ICONIP (2) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Ray Hill, Harold N. Ward |
A geometric approach to classifying Griesmer codes. |
Des. Codes Cryptogr. |
2007 |
DBLP DOI BibTeX RDF |
05B25, 94B65, AMS Classifications 94B27, 51E21 |
13 | Perttu Salmela, Chung-Ching Shen, Shuvra S. Bhattacharyya, Jarmo Takala |
Synthesis of DSP Architectures Using Libraries of Coarse-Grain Configurations. |
SiPS |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Object-Based Programming. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo |
Specifying Parameterized Data Structures in Maude. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Linmin Yang, Zhe Dang, Oscar H. Ibarra |
Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing. |
UC |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Shankara Narayanan Krishna |
On the Computational Power of Flip-Flop Proteins on Membranes. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
Universality, Membrane Computing, Register Machines |
13 | José M. Sempere, Damián López |
Characterizing Membrane Structures Through Multiset Tree Automata. |
Workshop on Membrane Computing |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Josep Aguilar-Saborit, Pedro Trancoso, Victor Muntés-Mulero, Josep Lluís Larriba-Pey |
Dynamic count filters. |
SIGMOD Rec. |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Claudia Perlich, Foster J. Provost |
Distribution-based aggregation for relational learning with identifier attributes. |
Mach. Learn. |
2006 |
DBLP DOI BibTeX RDF |
networks, aggregation, relational learning, identifiers |
13 | Shyh-Kwei Chen |
An Exact Closed-Form Formula for d-Dimensional Quadtree Decomposition of Arbitrary Hyperrectangles. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
regular decomposition, geometric data, combinatorial enumeration, binary coding system, Quadtree |
13 | Sven Hartmann, Sebastian Link |
Horn clauses and functional dependencies in complex-value databases. |
ADC |
2006 |
DBLP BibTeX RDF |
logic in databases, functional dependency, Horn clause, complex values, implication problem |
13 | Yasuhiro Suzuki, Hiroshi Tanaka |
Modeling p53 Signaling Pathways by Using Multiset Processing. |
Applications of Membrane Computing |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Artiom Alhazov, Dragos Sburlan |
Static Sorting P Systems. |
Applications of Membrane Computing |
2006 |
DBLP DOI BibTeX RDF |
|
13 | T. S. Jayram, Phokion G. Kolaitis, Erik Vee |
The containment problem for REAL conjunctive queries with inequalities. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
bag semantics, bag-set semantics, conjunctive queries, undecidability, query containment, inequalities |
13 | Gheorghe Paun |
Learning computing models from cells and tissues: P systems. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Deepak Kapur, Rupak Majumdar, Calogero G. Zarba |
Interpolation for data structures. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
CEGAR, data structure verification, interpolation |
13 | Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001 |
On the Minimum Common Integer Partition Problem. |
CIAC |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Dale Miller 0001 |
Collection analysis for Horn clause programs. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
static analysis, linear logic, Horn clauses, proof search |
13 | Adam Koprowski |
Certified Higher-Order Recursive Path Ordering. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Victor J. Martínez, Fernando Arroyo, Abraham Gutiérrez, Luis Fernández |
Hardware Implementation of a Bounded Algorithm for Application of Rules in a Transition P-System. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
13 | David P. Woodruff |
Better Approximations for the Minimum Common Integer Partition Problem. |
APPROX-RANDOM |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Jetty Kleijn, Maciej Koutny |
Synchrony and Asynchrony in Membrane Systems. |
Workshop on Membrane Computing |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Francesco Bernardini, Marian Gheorghe 0001 |
Cell communication in tissue P systems: universality results. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
Tissue, Membrane computing, Turing computability |
13 | Anna Pagh, Rasmus Pagh, S. Srinivasa Rao 0001 |
An optimal Bloom filter replacement. |
SODA |
2005 |
DBLP BibTeX RDF |
|
13 | Paolo Ferragina, Fabrizio Luccio, Giovanni Manzini, S. Muthukrishnan 0001 |
Structuring labeled trees for optimal succinctness, and beyond. |
FOCS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Vladimir A. Bashkin, Irina A. Lomazova |
Similarity of Generalized Resources in Petri Nets. |
PaCT |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Kee Siong Ng |
Generalization Behaviour of Alkemic Decision Trees. |
ILP |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Dario Pescini, Daniela Besozzi, Giancarlo Mauri |
Investigating Local Evolutions in Dynamical Probabilistic P Systems. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Damián López, José M. Sempere |
Editing Distances Between Membrane Structures. |
Workshop on Membrane Computing |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Taïeb Mellouli, Leena Suhl |
Rotation Planning of Locomotive and Carriage Groups with Shared Capacities. |
ATMOS |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Artiom Alhazov, Carlos Martín-Vide, Linqiang Pan |
Solving Graph Problems by P Systems with Restricted Elementary Active Membranes. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac |
Higher-Order Chemical Programming Style. |
UPP |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Qingping Tao, Stephen Donald Scott, N. V. Vinodchandran, Thomas Takeo Osugi |
SVM-based generalized multiple-instance learning via approximate box counting. |
ICML |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Andrés Cordón-Franco, Fernando Sancho-Caparrini |
Approximating Non-discrete P Systems. |
Workshop on Membrane Computing |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Blass, Yuri Gurevich |
Abstract state machines capture parallel algorithms. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
ASM thesis, postulates for parallel computation, Parallel algorithm, abstract state machine |
13 | Prasanna Ganesan, Hector Garcia-Molina, Jennifer Widom |
Exploiting hierarchical domain structure to compute similarity. |
ACM Trans. Inf. Syst. |
2003 |
DBLP DOI BibTeX RDF |
data mining, collaborative filtering, Similarity measures, hierarchy |
13 | Miguel Delgado 0001, María J. Martín-Bautista, Daniel Sánchez 0001, María Amparo Vila Miranda |
On a Characterization of Fuzzy Bags. |
IFSA |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Denis Lugiez |
Counting and Equality Constraints for Multitree Automata. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Kazunori Ueda, Norio Kato |
The Language Model LMNtal. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Natsuki Ishida, Shin'ichiro Matsuo, Wakaha Ogata |
Divisible Voting Scheme. |
ISC |
2003 |
DBLP DOI BibTeX RDF |
Secure electronic voting and homomorphic encryption |
13 | Matthias Colin, Xavier Thirioux, Marc Pantel |
Temporal Logic Based Static Analysis for Non-uniform Behaviours. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Toby Walsh |
Consistency and Propagation with Multiset Constraints: A Formal Viewpoint. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Andrew Eisenberg, Jim Melton |
SQL/XML is Making Good Progress. |
SIGMOD Rec. |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Jean Fanchon, Rémi Morin |
Regular Sets of Pomsets with Autoconcurrency. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Rudolf Freund |
Energy-Controlled P Systems. |
WMC-CdeA |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Shankara Narayanan Krishna, Lakshmanan Kuppusamy, Raghavan Rama 0001 |
Tissue P Systems with Contextual and Rewriting Rules. |
WMC-CdeA |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Carlos Martín-Vide, Juan Pazos, Gheorghe Paun, Alfonso Rodríguez-Patón |
A New Class of Symbolic Abstract Neural Nets: Tissue P Systems. |
COCOON |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Carmelo Del Valle, Miguel Toro, Rafael Ceballos, Jesús S. Aguilar-Ruiz |
A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Carlos Martín-Vide, Gheorghe Paun |
Computing with Membranes (P Systems): Universality Results. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Denis Rinfret, Patrick E. O'Neil, Elizabeth J. O'Neil |
Bit-Sliced Index Arithmetic. |
SIGMOD Conference |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Max I. Kanovich |
The Expressive Power of Horn Monadic Linear Logic. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Oliver Haase, Andreas Henrich |
A Hybrid Representation of Vague Collections for Distributed Object Management Systems. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
Distributed systems (H.2.4), distributed databases (C.2.4), query processing (H.2.4), query languages (H.2.3), inaccessibility, vagueness |