Michal Walickis bilde
Michal
Walicki
Førsteamanuensis
Besøksadresse: 
HIB - Thormøhlensgt. 55
5020 Bergen
Postadresse: 
Postboks 7803
5020 Bergen
Telefon: 
+47 55 58 41 78
Last ned visittkort
Bøker
  • Walicki, Michal. 2012. Introduction to mathematical logic. World Scientific. 268 sider. ISBN: 978-981-4343-87-9.
Tidsskriftartikler
  • Dyrkolbotn, Sjur Kristoffer; Walicki, Michal. 2014. Propositional discourse logic. Synthese. 191: 863-899. doi: 10.1007/s11229-013-0297-x
  • Bezem, Marcus Aloysius; Grabmayer, Clemens; Walicki, Michal. 2012. Expressive power of digraph solvability. Annals of Pure and Applied Logic. 163: 200-213. doi: 10.1016/j.apal.2011.08.004
  • Dyrkolbotn, Sjur Kristoffer; Walicki, Michal. 2012. Kernels in digraphs which are not kernel-perfect. Discrete Mathematics. 312: 2498-2505. doi: 10.1016/j.disc.2012.05.004
  • Walicki, Michal; Dyrkolbotn, Sjur Kristoffer. 2012. Finding kernels or solving SAT. Journal of Discrete Algorithms. 10: 146-164. doi: 10.1016/j.jda.2011.11.004
  • Walicki, Michal; Ferreira, Diogo R. 2011. Sequence partitioning for process mining with unlabeled event logs. Data & Knowledge Engineering. 70: 821-841. doi: 10.1016/j.datak.2011.05.003
  • Walicki, Michal; Ferreira, Diogo R. 2010. Mining Sequences for Patterns with Non-Repeating Symbols. IEEE Transactions on Evolutionary Computation. 8 sider.
  • Walicki, Michal. 2009. Reference, paradoxes and truth. Synthese. 171: 195-226. doi: 10.1007/s11229-008-9392-9
  • Walicki, Michal; Bezem, Marcus Aloysius; Szajnkenig, Wojciech. 2009. Developing bounded reasoning. Journal of Logic, Language and Information. 18: 97-129. doi: 10.1007/s10849-008-9070-9
  • Ågotnes, Thomas; Walicki, Michal. 2008. Complete axiomatisations of properties of finite sets. Logic journal of the IGPL (Print). 16: 293-313. doi: 10.1093/jigpal/jzn008
  • Bezem, Marcus Aloysius; Langholm, Tore; Walicki, Michal. 2007. Completeness and Decidability in Sequence Logic. Lecture Notes in Computer Science. 4790: 123-137.
  • Walicki, Michal. 2007. Modalities as interactions between the classical and the intuitionistic logics. Logic and Logical Philosophy. 15: 193-215.
  • Lamo, Yngve; Walicki, Michal. 2006. Quantifier-free logic for nondeterministic theories. Theoretical Computer Science. 355. 13 sider.
  • Walicki, Michal; Ågotnes, Thomas. 2006. Strongly complete axiomatizations of "knowing at most" in syntactic structures. Lecture Notes in Computer Science. 3900: 57-76. doi: 10.1007/11750734_4
  • Ågotnes, Thomas; Walicki, Michal. 2006. Complete axiomatizations of finite syntactic epistemic states. Lecture Notes in Computer Science. 3904: 33-50. doi: 10.1007/11691792_3
  • Walicki, Michal. 2005. Bireachability and Final Multialgebras. Lecture Notes in Computer Science. 3629: 408-423.
  • Lamo, Y; Walicki, Michal. 2004. Combining specification formalisms in the "general logic" of multialgebras. Lecture Notes in Computer Science. 2755: 328-342.
  • Lamo, Yngve; Walicki, Michal. 2004. Combining specification formalisms in the "general logic" of multialgebras. Lecture Notes in Computer Science. 2755: 328-342.
  • Lamo, Yngve; Walicki, Michal. 2003. Quantifier-free logic for multialgebraic theories. Electronical Notes in Theoretical Computer Science. 84: 1-13.
  • Lamo, Yngve; Walicki, Michal. 2003. Combining Specification Formalisms in the General Logic of Multialgebras. Lecture Notes in Computer Science. 2755: 328-342.
  • Lamo, Yngve; Walicki, Michal. 2002. Composotion and refinement of specifications of parameterized data types. Electronical Notes in Theoretical Computer Science. 70: 1-18.
  • Lamo, Yngve; Walicki, Michal. 2001. Specification of parameterized programs - persistency revisited. Nordic Journal of Computing. 8: 298-323.
  • Walicki, Michal; Haveraaen, Magne; Meldal, Sigurd. 2001. Computation Algebras. Mathematical Structures in Computer Science. 11: 597-636.
  • Lamo, Yngve; Walicki, Michal. 2000. Modeling partiality by nondeterminism. Norsk Informatikk Konferanse, Bodø. 210: ?.
  • Walicki, Michal; Meldal, Sigurd. 1997. Singular and Plural Nondeterministic Parameters. SIAM journal on computing (Print). 26.
  • Walicki, Michal; Meldal, Sigurd. 1997. Algebraic Approaches to Nondeterminism: an Overview. ACM Computing Surveys. 29.
  • Walicki, Michal; Meldal, Sigurd. 1996. Singular and Plural Nondeterministic Parameters. SIAM journal on computing (Print).
  • Walicki, Michal; Broy, Manfred. 1995. Structured specifications and Implementation of Nondeterministic Data Types. Nordic Journal of Computing. 2: 358-395.
  • Walicki, Michal; Meldal, S. 1995. Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. ACM Transactions on Programming Languages and Systems. 17: 366-393.
Rapporter/avhandlinger
  • Walicki, Michal Anton S; Bezem, Marcus Aloysius; Grabmayer, Clemens. 2010. Expressive power of digraph solvability. Utrecht University. 23 sider.
  • Walicki, Michal. 2006. Universal Multialgebra. Department of Informatics, University of Bergen. 42 sider.
  • Walicki, Michal. 2006. Modalities as Interactions between Classical and Intuitionistic Logics. Universitetet i Bergen, Institutt for Informatikk, Bergen. 31 sider.
  • Walicki, Michal; Wolter, Uwe Egbert. 2006. Universal Multialgebra II. Universitetet i Bergen, Institutt for Informatikk, Bergen. 54 sider.
  • Walicki, Michal; Wolter, Uwe Egbert; Stecher, Jack Douglas. 2006. A Category for Studying the Standardization of Reporting Languages. 314. Universitetet i Bergen. Institutt for Informatikk, Bergen.
  • Walicki, Michal; Wolter, Uwe; Stecher, Jack. 2006. A category for studying the standardization of reporting languages. Department of Informatics, University of Bergen. 14 sider.
  • Lamo, Yngve; Walicki, Michal. 2002. Logic with equality for multialgebras - an application of Rasiowa-Sikorski technique. Reports in Informatics. 227. MANGLER.
  • Lamo, Yngve; Walicki, Michal. 2002. Quantifier-free logic for multialgebraic theories. Reports in Informatics. 228. MANGLER.
  • Ågotnes, Thomas; Walicki, Michal. 2002. Only Explicitly Knowing. Reports in Informatics. 224. MANGLER.
  • Lamo, Yngve; Walicki, Michal. 2000. The institution of multialgebras. Institutt for Informatikk, Uniersitetet i Bergen, Bergen, Norway. 11 sider.
  • Lamo, Yngve; Walicki, Michal. 2000. The institution of multialgebras. Institutt for Informatikk, Uniersitetet i Bergen, Bergen, Norway. 11 sider.
  • Lamo, Yngve; Walicki, Michal. 1999. Modeling partiality by nondeterminism - from abstract specifications to flexible error handling. Department of Informatics, University of Bergen, Bergen, Norway. 35 sider.
  • Lamo, Yngve; Walicki, Michal. 1999. Modeling partiality by nondeterminism - from abstract specifications to flexible error handling. Institutt for Informatikk, Uniersitetet i Bergen, Bergen, Norway. 35 sider.
  • Pliuskevicius, Regimantas; Walicki, Michal; Sakaluskaite, Jurate; Pliuskeviciene, Aida. 1999. A logic of set-valued functions: Cut-elimination and other improvements. Department of Informatics, University of Bergen, Bergen, Norway. 41 sider.
  • Walicki, Michal; Bialasik, Marcin. 1997. Ralations, Multialgebras and Homomorphisms. Tech.rep.. 838. Institute of Computer Science, Polish Academy of Science.
  • Walicki, Michal; Haveraaen, Magne; Meldal, Sigurd. 1996. Communication Algebras. Reports in Informatics. 117. Institutt for Informatikk, UiB.
  • Meldal, S.; Walicki, Michal. 1995. Nondeterministic Operators in Algebraic Frameworks. Technical Report. CSL-TR-. Stanford University.
  • Meldal, S.; Walicki, Michal. 1995. Algebraic Approaches to Nondeterminism - an Overview. Technical Report. 104. Institutt for informatikk, UiB-MatNat.
  • Walicki, Michal. 1995. Introduction to Logic - Lecture Notes. Institutt for informatikk, UiB-MatNat.
  • Krauciukas, V.; Walicki, Michal. 1994. Reasoning and Rewriting with Set-Relations l: Ground Completeness. Report in Informatics. 92. UiB-MatNat: Institutt for informatikk.
  • Walicki, Michal. 1994. Singular and Plural Nondeterministic Parameters. Report in Informatics. 96. UiB-MatNat: Institutt for informatikk.
  • Walicki, Michal. 1993. Calculi for algebraic specification of nondeterminism; three completeness results. Report in Informatics. 75. Department of Informatics, University of Bergen.
  • Walicki, Michal. 1993. Algebraic specifications of nondeterminism. Avhandling, Dr.Scient. [Mangler utgivernavn].
  • Walicki, Michal. 1992. Calculii for non-deterministic specifications: Three completeness results. Report in Informatics. 75. [Mangler utgivernavn].
  • Walicki, Michal; Skakkebæk, J. U.; Sankar, S. 1991. The Stanford Ada Style Checker. Stanford University.
Bokkapitler
  • Walicki, Michal; Svanberg, Paul Simon. 2009. Finite, Reasoning and Interacting Agents. kapitel, sider 225-230. I:
    • dos Reis, Antonio Palma. 2009. Proceedings of Intelligent Systems and Agents 2009. IADIS Press. 264 sider. ISBN: 9789728924874.
  • Walicki, Michal; Wolter, Uwe Egbert. 2009. Universal Multialgebra. chapter 2, sider 27-93. I:
    • Terikhovsky, Oleg N.; Burton, William N. 2009. New Topics in Theoretical Computer Science. Nova Science Publishers, Inc.. 315 sider. ISBN: 978-1-60456-100-5.
  • Walicki, Michal. 2006. A brief history of symbolic logic. kapittel, sider . I:
    • Moe, Richard Elling, et al. 2006. KOGVIT-101. Institutt for infomedievitenskap, Bergen.
  • Walicki, Michal; Bezem, Marc; Szajnkenig, Wojciech. 2006. A strongly complete logic of dense time intervals. 11, sider 124-135. I:
    • Ågotnes, Thomas; Alechina, Natasha. 2006. Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 06). ESSLLI, Malaga, Spain. 135 sider.
  • Walicki, Michal; Stecher, Jack; Wolter, Uwe Egbert. 2006. The choice of standards for a reporting language. artikkel. I:
    • Goncharov, S; Downey, R; Ono, H. 2006. Mathematical Logic in Asia (Proceedings of the 9th Asian Logic Conference). World Scientific. ISBN: 981-270-045-5.
  • Walicki, Michal; Walicki, Michal; Wolter, Uwe Egbert; Stecher, Jack Douglas. 2006. The Choice of Standards for a Reporting Language. 328. I:
    • 2006. Mathematical Logic in Asia. World Scientific. 328 sider.

Se fullstendig oversikt over publikasjoner i CRIStin.

check my web-page http://www.ii.uib.no/~michal