@InProceedings{soft-mfcs2011,
 author = {Jacek Chrz{\k a}szcz and Aleksy Schubert},
 title = {The role of polymorphism in the characterisation of complexity by soft types},
 booktitle = {Proceedings of the 36th international conference on Mathematical Foundations of Computer Science, MFCS'11},
 year = {2011},
 isbn = {978-3-642-22992-3},
 location = {Warsaw, Poland},
 pages = {219--230},
 numpages = {12},
 series    = {Lecture Notes in Computer Science},
 volume    = {6907}, 
 url = {http://dl.acm.org/citation.cfm?id=2034006.2034030},
 acmid = {2034030},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@InProceedings{cart-service2011,
 author = {Pawe{\l} Brach and Jacek Chrz{\k a}szcz and Janusz Jab{\l}onowski
	and Jakub {\'S}wiat{\l}y},
 title = {A distributed service oriented system for {GUI} map generation},
 booktitle = {Proceedings of the 12th International Conference on Computer Systems and Technologies},
 series = {CompSysTech '11},
 year = {2011},
 isbn = {978-1-4503-0917-2},
 location = {Vienna, Austria},
 pages = {69--74},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/2023607.2023621},
 doi = {http://doi.acm.org/10.1145/2023607.2023621},
 acmid = {2023621},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {GUI, GUI map, automatic GUI map generator, distributed computations, service oriented system},
} 


@InProceedings{cart-arch2011,
  title =	"Cartographer: Architecture of a Distributed System for
		 Automated {GUI} Map Generation",
  author =	"Pawe{\l} Brach and Jacek Chrz{\k a}szcz and Janusz Jab{\l}onowski
		 and Jakub {\'S}wiat{\l}y",
  booktitle =	"Proceedings of the International MultiConference of
		 Engineers and Computer Scientists 2011 Vol I, {IMECS}
		 '11, March 16 - 18, 2011, Hong Kong",
  publisher =	"Newswood Limited",
  organization = "International Association of Engineers",
  year = 	"2011",
  editor =	"S. I. Ao and Oscar Castillo and Craig Douglas and
		 David Dagan Feng and Jeong-A Lee",
  series =	"Lecture Notes in Engineering and Computer Science",
  ISBN = 	"978-988-18210-3-4",
  pages =	"761--766",
}

@article{shortbc2010,
  title = "A Dozen Instructions Make {J}ava Bytecode",
  journal = "Electronic Notes in Theoretical Computer Science",
  volume = "264",
  number = "4",
  pages = "19--34",
  year = "2011",
  note = "Proceedings of Bytecode 2010",
  issn = "1571-0661",
  doi = "DOI: 10.1016/j.entcs.2011.02.003",
  url = "http://www.sciencedirect.com/science/article/B75H1-526KXYF-2/2/ca28bd82d049bd355cc9cb64cd0f6320",
  author = "Jacek Chrz{\k a}szcz and Patryk Czarnik and Aleksy Schubert",
  keywords = "bytecode",
  keywords = "semantics"
}
%note = "Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2010)",

@InProceedings{chrzaszcze10itp,
  author =	 {Daria Walukiewicz-Chrz{\k a}szcz and Jacek Chrz{\k a}szcz},
  title =	 {Inductive Consequences in the Calculus of Constructions},
  booktitle =	 {Interactive Theorem Proving, ITP 2010},
  publisher =	 {Springer},
  volume =       6172,
  series =	 {LNCS},
  year =	 2010,
  pages =	 {450--465},
}
%  editor =      {M. Kaufmann and L. Paulson},
%  booktitle =	 {ITP 2010},


%InProceedings{shortbc2010,
%  author =    {Jacek Chrz{\k a}szcz and Patryk Czarnik and Aleksy Schubert},
%  title =     {A dozen instructions make {J}ava bytecode},
%  booktitle = {Bytecode Semantics, Verification, Analysis and Transformation, Bytecode 2010},
%  pages = {11--25},
%  year = 2010,
%  publisher = {},
 %}
 
@InProceedings{bml-fmco08,
  author = 	 {Jacek Chrz{\k a}szcz and Marieke Huisman and Aleksy Schubert},
  title = 	 {{BML} and related tools},
  booktitle = {Proceedings of FMCO'2008},
  year = 	 2009,
  editor = 	 {M. Bonsangue and E. Madelaine and F. de Boer},
  series = 	 {LNCS},
  volume = 	 5751,
  pages     = {278-297},
  publisher = {Springer-Verlag}
}

@Article{chrzaszcze08lmcs,
  author = 	 {Daria Walukiewicz-Chrz{\k a}szcz and Jacek Chrz{\k a}szcz},
  title = 	 {Consistency and completeness of rewriting in the Calculus of
  Constructions},
  journal = 	 {Logical Methods of Computer Science},
  volume = 4,
  number = {3:8},
  year = 	 2008,
  note = 	 {SPECIAL ISSUE: Selected Papers of ``International Joint
                  Conference on Automated Reasoning 2006''. 
                  DOI: 10.2168/LMCS-4(3:8)2008}
}

@InProceedings{umbra08,
  author = {Aleksy Schubert and Jacek Chrz{\k a}szcz and Tomasz Batkiewicz 
            and Jaros{\l}aw Paszek and Wojciech W{\k a}s},
  title = {Technical Aspects of Class Specification in {J}ava Byte Code},
  booktitle = {Proceedings of Bytecode'08},
  editor = {A. Cortesi and F. Logozzo},
  pages = {},
  publisher = {},
  year = 2008,
}

@InProceedings{rewriting07jpj,
  author = 	 {Jacek Chrz{\k a}szcz and Daria Walukiewicz-Chrz{\k a}szcz},
  title = 	 {Towards rewriting in {C}oq},
  booktitle = {Jouannaud Festschrift},
  pages = 	 {113--131},
  year = 	 2007,
  editor = 	 {H. Comon-Lundth and C. Kirchner and H. Kirchner},
  volume = 	 4600,
  series = 	 {LNCS},
  publisher = {Springer-Verlag}}

@InProceedings{papuq07pate,
  author = 	 {Jakub Sakowicz and Jacek Chrz{\k a}szcz},
  title = 	 {Papuq: a {C}oq assistant},
  booktitle = {Proceedings of PATE'07},
  pages = 	 {79--96},
  year = 	 2007,
  editor = 	 {H. Geuvers and P. Courtieu},
  publisher = {}}

@InProceedings{passwords06set,
  author = 	 {Aleksy Schubert and Jacek Chrz{\k a}szcz},
  title = 	 {{ESC/J}ava2 as a tool to ensure security in the source code of {J}ava applications},
  booktitle =	 {Proceedings of SET'2006},
  year =	 2006,
  series =	 {IFIP},
  publisher =	 {Springer},
  pages =	 {337--348}
}

@InProceedings{minik06set,
  author = 	 {Jacek Chrz{\k a}szcz and Tomasz Stachowicz and Andrzej G{\k a}sienica-Samek and Aleksy Schubert},
  title = 	 {Minik: A Tool for Maintaining Proper {J}ava Code Structure},
  booktitle =	 {Proceedings of SET'2006},
  year =	 2006,
  series =	 {IFIP},
  publisher =    {Springer},
  pages =	 {361--372}
}

@InProceedings{canapa06pppj,
  author = 	 {Maciej Cielecki and J{\k e}drzej Fulara and Krzysztof Jakubczyk and {\L}ukasz Jancewicz and Jacek Chrz{\k a}szcz and Aleksy Schubert and {\L}ukasz Kami{\'n}ski},
  title = 	 {Propagation of {JML} non-null annotations in {J}ava programs},
  booktitle =	 {Proceedings of PPPJ'2006},
  year =	 2006,
  publisher =	 {ACM},
  pages = 	 {135--140},
}

@InProceedings{chrzaszcze06ijcar,
  author = 	 {Daria Walukiewicz-Chrz{\k a}szcz and Jacek Chrz{\k a}szcz},
  title = 	 {Consistency and completeness of rewriting in the Calculus of
  Constructions},
  booktitle =    {Proceedings of IJCAR'2006},
  publisher =	 {Springer},
  series =	 {LNAI},
  volume =       4130,
  year =	 2006,
  pages = 	 {619--631},
}

@InProceedings{chrzjoua06goguen,
  author = 	 {Jacek Chrz{\k a}szcz and Jean-Pierre Jouannaud},
  title = 	 {From {OBJ} to {ML} to {C}oq}, 
  booktitle =    {Algebra, Meaning and Computation. Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday},
  publisher =	 {Springer},
  series =	 {LNCS},
  editors =      {K. Futatsugi et al.},
  volume =	 4060,
  year =	 2006,
  pages =        {216--234},
}

@InProceedings{kotek05kkio,
  author = 	 {Andrzej G{\k a}sienica-Samek and Tomasz Stachowicz and Jacek Chrz{\k a}szcz and Aleksy Schubert},
  title = 	 {{KOTEK}: {C}lustering of {T}he {E}nterprise {C}ode},
  booktitle =	 {Software Engineering: Evolution and Emerging Technologies},
  pages =	 {412--417},
  year =	 2005,
  editor =	 {Krzysztof Zieli\'nski and Tomasz Szmuc},
  volume =	 130,
  publisher =	 {IOS Press}
}

@PhdThesis{chrzaszcz04phd,
  author = 	 {Jacek Chrz{\k a}szcz},
  title = 	 {Modules in Type Theory with Generative Definitions},
  school = 	 {Warsaw University and University of Paris-Sud},
  year = 	 2004,
  month =	 {Jan}
}

@InProceedings{chrzaszcz03types,
  author =	 {Jacek Chrz{\k a}szcz},
  title =	 {Modules in {C}oq Are and Will Be Correct},
  editor =	 {Stefano Berardi and Mario Coppo and Ferruccio
                  Damiani},
  booktitle =	 {Types for Proofs and Programs, International
                  Workshop, TYPES 2003, Torino, Italy, April 30 - May
                  4, 2003, Revised Selected Papers},
  publisher =	 {Springer},
  series =	 {LNCS},
  volume =	 3085,
  year =	 2004,
  pages =	 {130--146},
}

@InProceedings{chrzaszcz03tphols,
  author = 	 {Jacek Chrz{\k a}szcz},
  title = 	 {Implementation of Modules in the {C}oq System},
  booktitle =    {Proceedings of the Theorem Proving in Higher Order Logics
16th International Conference},
  pages = 	 {270--286},
  year = 	 2003,
  editor =	 {David Basin and Burkhart Wolff},
  volume =	 2758,
  series = 	 {LNCS},
  address = 	 {Rome, Italy},
  month = 	 sep,
  publisher =	 {Springer}
}

@InProceedings{chrzaszcz98mfcs,
  author = 	 {Jacek Chrz{\k a}szcz},
  title = 	 {Polymorphic Subtyping Without Distributivity},
  booktitle = 	 {Mathematical Foundations of Computer Science},
  pages =	 {346--355},
  year =	 1998,
  editor =	 {Lubos Brim and Josef Gruska and Jiri Zlatuska},
  volume =	 1450,
  series =	 {LNCS},
  address =	 {Brno, Czech Republic},
  month =	 {August},
  publisher =	 {Springer}
}

@TechReport{chrzaszcz98tr,
  author =       {Jacek Chrz{\k a}szcz},
  title =        {Polymorphic Subtyping Without Distributivity},
  institution =  {Institute of Informatics, Warsaw University},
  year =         1998,
  number =       {TR 98-03 (252)}, 
  month =        {August},
  note =         {full version of the MFCS98 paper}
}

@MastersThesis{chrzaszcz97mgr,
  author =       {Jacek Chrz{\k a}szcz},
  title =        {Os{\l}abianie polimorficzne bez aksjomatu rozdzielno{\'s}ci},
  school =       {Uniwersytet Warszawski},
  year =         1997,
  month =        {September},
  note =         {in polish. (Polimorphic subtyping without the
distributivity axiom)}
}

@Misc{chrzaszcz97dea,
  author =       {Jacek Chrz{\k a}szcz},
  title =        {Compl{\'e}tude de syst{\`e}mes de r{\'e}{\'e}criture d'ordre
sup{\'e}rieur},
  howpublished = {Universit{\'e} de Paris-Sud},
  year =         1997,
  month =        {July},
  note =         {m{\'e}moire de stage de DEA}   
}