Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michal Walicki" ( http://dblp.L3S.de/Authors/Michal_Walicki )

  Author page on DBLP  Author page in RDF  Community of Michal Walicki in ASPL-2

Publication years (Num. hits)
1994-2001 (15) 2002-2012 (16)
Publication types (Num. hits)
article(15) inproceedings(16)
Venues (Conferences, Journals, ...)
COMPASS/ADT(2) Electr. Notes Theor. Comput. S...(2) ISAS-SCI(2) Nord. J. Comput.(2) WADT(2) AAMAS(1) ACM Comput. Surv.(1) ACM Trans. Program. Lang. Syst...(1) Ann. Pure Appl. Logic(1) CALCO(1) CLIMA(1) CSL(1) DALT(1) Data Knowl. Eng.(1) FCT(1) IEEE Congress on Evolutionary ...(1) More (+10 of total 26)
Authors
Michal Walicki(31) Sigurd Meldal(9) Yngve Lamo(6) Thomas Ågotnes(4) Marc Bezem(3) Diogo R. Ferreira(2) Valentinas Kriauciukas(2) Adis Hodzic(1) Aida Pliuskeviciene(1) Clemens Grabmayer(1) Magne Haveraaen(1) Manfred Broy(1) Marcin Bialasik(1) Regimantas Pliuskevicius(1) Sjur Dyrkolbotn(1) Tore Langholm(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 31 publication records. Showing 31 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Marc Bezem, Clemens Grabmayer, Michal Walicki Expressive power of digraph solvability. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michal Walicki, Sjur Dyrkolbotn Finding kernels or solving SAT. Search on Bibsonomy J. Discrete Algorithms The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michal Walicki, Diogo R. Ferreira Sequence partitioning for process mining with unlabeled event logs. Search on Bibsonomy Data Knowl. Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michal Walicki, Diogo R. Ferreira Mining sequences for patterns with non-repeating symbols. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michal Walicki, Marc Bezem, Wojtek Szajnkenig Developing Bounded Reasoning. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michal Walicki Reference, paradoxes and truth. Search on Bibsonomy Synthese The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Michal Walicki Complete Axiomatisations of Properties of Finite Sets. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marc Bezem, Tore Langholm, Michal Walicki Completeness and Decidability in Sequence Logic. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yngve Lamo, Michal Walicki Quantifier-free logic for nondeterministic theories. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Michal Walicki Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Michal Walicki Complete Axiomatizations of Finite Syntactic Epistemic States. Search on Bibsonomy DALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Michal Walicki A logic of reasoning, communication and cooperation with syntactic knowledge. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF syntactic knowledge representation, epistemic logic, ATL
1Michal Walicki Bireachability and Final Multialgebras. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yngve Lamo, Michal Walicki Quantifier-free logic for multialgebraic theories. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yngve Lamo, Michal Walicki Composition and refinement of specifications and parameterised data types. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yngve Lamo, Michal Walicki Combining Specification Formalisms in the ?General Logic? of Multialgebras. Search on Bibsonomy WADT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michal Walicki, Magne Haveraaen, Sigurd Meldal Computation Algebras. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Yngve Lamo, Michal Walicki Specification of Parametrized Programs - Persistency Revisited. Search on Bibsonomy Nord. J. Comput. The full citation details ... 2001 DBLP  BibTeX  RDF
1Michal Walicki, Adis Hodzic, Sigurd Meldal Compositional Homomorphisms of Relational Structures. Search on Bibsonomy FCT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Yngve Lamo, Michal Walicki Modeling Partiality by Nondeterminism. Search on Bibsonomy ISAS-SCI The full citation details ... 2001 DBLP  BibTeX  RDF
1Michal Walicki, Sigurd Meldal Nondeterminism vs. Underspecification. Search on Bibsonomy ISAS-SCI The full citation details ... 2001 DBLP  BibTeX  RDF
1Michal Walicki, Sigurd Meldal Singular and Plural Nondeterministic Parameters. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michal Walicki, Marcin Bialasik Categories of relational structures. Search on Bibsonomy WADT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michal Walicki, Sigurd Meldal Algebraic Approaches to Nondeterminism: An Overview. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Michal Walicki, Sigurd Meldal A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF reasoning with nondeterminism, algebraic specifications
1Michal Walicki, Manfred Broy Structured Specifications and Implementation of Nondeterministic Data Types. Search on Bibsonomy Nord. J. Comput. The full citation details ... 1995 DBLP  BibTeX  RDF
1Valentinas Kriauciukas, Michal Walicki Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness. Search on Bibsonomy COMPASS/ADT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Michal Walicki, Sigurd Meldal Generated Models and the omega-Rule: The Nondeterministic Case. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal On Specialization of Derivations in Axiomatic Equality Theories. Search on Bibsonomy LFCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Michal Walicki, Sigurd Meldal Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. Search on Bibsonomy COMPASS/ADT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Valentinas Kriauciukas, Michal Walicki Reasoning and Rewriting with Set-Relations I: Ground Completeness. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #31 of 31 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.