Wojciech Mostowski's BibTeX Entries - Revision history

Ceres at 09:56, 11 August 2022

2022-08-11T09:56:24Z

Ceres at 09:19, 11 August 2022

2022-08-11T09:19:22Z

Ceres at 11:33, 10 August 2022

2022-08-10T11:33:31Z

Ceres at 13:44, 15 December 2020

2020-12-15T13:44:06Z

Ceres at 08:16, 4 April 2019

2019-04-04T08:16:38Z

Ceres at 19:51, 25 March 2019

2019-03-25T19:51:35Z

Ceres at 13:07, 15 March 2019

2019-03-15T13:07:57Z

Ceres at 08:00, 15 March 2019

2019-03-15T08:00:21Z

Ceres at 20:13, 14 March 2019

2019-03-14T20:13:48Z

Ceres at 20:56, 13 March 2019

2019-03-13T20:56:52Z

← Older revision		Revision as of 09:56, 11 August 2022
Line 1:		Line 1:
		+	<div id="Mostowski2022b"><pre>
		+	@Inbook{Mostowski2022b,
		+	title = {Implications of Deductive Verification on Research Quality},
		+	author = {Wojciech Mostowski},
		+	editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Einar Broch Johnsen},
		+	booktitle = {The Logic of Software. A Tasting Menu of Formal Methods},
		+	year = 2022,
		+	publisher = {Springer International Publishing},
		+	pages = {370--381},
		+	series = {LNCS},
		+	volume = {13360},
		+	doi = {10.1007/978-3-031-08166-8_17}
		+	}
		+	</pre></div>
		+
	<div id="Mostowski2022"><pre>		<div id="Mostowski2022"><pre>
	@Inbook{Mostowski2022,		@Inbook{Mostowski2022,

@@ Line 12: / Line 12: @@
    doi =          {10.1007/978-3-031-04673-5_6}
+}
-</pre>
+</pre></div>
 <div id="Mostowski2020"><pre>
@@ Line 27: / Line 40: @@
    doi =          {10.1007/978-3-030-64354-6_7}
+}
-</pre>
+</pre></div>
 <div id="Mostowski2018"><pre>
@@ Line 40: / Line 53: @@
    pages =        {31--45}
+}
-</pre>
+</pre></div>
 <div id="HalmstadGCDC2016"><pre>
@@ Line 55: / Line 68: @@
    year =         2017
+}
-</pre>
+</pre></div>
 <div id="MostowskiUlbrich2016"><pre>

@@ Line 1: / Line 1: @@
 <div id="Mostowski2020"><pre>
 @Inbook{Mostowski2020,
@@ Line 4: / Line 19: @@
    author =       {Mostowski, Wojciech},
    editor =       {Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and H{\"a}hnle, Reiner and Ulbrich, Mattias},
-   bookTitle =    {Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY},
+   booktitle =    {Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY},
    year =         2020,
    publisher =    {Springer International Publishing},

← Older revision		Revision as of 13:44, 15 December 2020
Line 1:		Line 1:
		+	<div id="Mostowski2020"><pre>
		+	@Inbook{Mostowski2020,
		+	title = {From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java},
		+	author = {Mostowski, Wojciech},
		+	editor = {Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and H{\"a}hnle, Reiner and Ulbrich, Mattias},
		+	bookTitle = {Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY},
		+	year = 2020,
		+	publisher = {Springer International Publishing},
		+	pages = {177--203},
		+	series = {LNCS},
		+	volume = {12345},
		+	doi = {10.1007/978-3-030-64354-6_7}
		+	}
		+	</pre>
		+
	<div id="Mostowski2018"><pre>		<div id="Mostowski2018"><pre>
	@Article{Mostowski2018,		@Article{Mostowski2018,

@@ Line 75: / Line 75: @@
    title =        {{VerifyThis} -- {Verification} Competition with a Human Factor},
    author =       {Gidon Ernst and Marieke Huisman and Wojciech Mostowski and Mattias Ulbrich},
-   editor =       {D. Beyer et al.},
+   editor =       {Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen},
-   booktitle =    {TACAS 2019, Part III},
+   booktitle =    {Tools and Algorithms for the Construction and Analysis of Systems, Part III, 25 Years of TACAS: TOOLympics},
    year =         2019,
-   publisher =    {Springer International Publishing},
+   publisher =    {Springer, Cham},
    series =       {LNCS},
    volume =       {11429},
-   doi =          {10.1007/978-3-030-17502-3_12},
+  pages =        {176--195},
-  note =         {To appear}
+   doi =          {10.1007/978-3-030-17502-3_12}
+}
 </pre></div>

@@ Line 68: / Line 68: @@
    doi =          {10.1007/s10270-004-0058-x},
    publisher =    {Springer}
+}
 </pre></div>

@@ Line 254: / Line 254: @@
    publisher =    {Springer},
    series =       {LNICST},
    volume =       {96},
    year =         2012
@@ Line 269: / Line 270: @@
    pages =        {17--32},
    series =       {LNCS},
    volume =       {6527},
    publisher =    {Springer}
@@ Line 282: / Line 284: @@
    year =         2010,
    series =       {LNCS},
    volume =       {6035},
    month =        {April},
@@ Line 297: / Line 300: @@
    address =      {Louvain-la-Neuve, Belgium},
    month =        {November},
    note =         {Available on-line}
+}
@@ Line 310: / Line 314: @@
    editor =       {Mar\'{i}a Alpuente and Byron Cook and Christophe Joubert},
    series =       {LNCS},
    pages =        {207--209},
    volume =       {5825},
@@ Line 322: / Line 327: @@
    booktitle =    {eSmart 2008, Proceedings},
    year =         {2008},
    month =        {September}
+}
@@ Line 334: / Line 340: @@
    year =         {2008},
    series =       {LNCS},
    volume =       5189,
    month =        {September},
@@ Line 346: / Line 353: @@
    title =        {Fingerprinting Passports},
    booktitle =    {NLUUG 2008 Spring Conference on Security, Proceedings},
    month =        {May},
    year =         2008
@@ Line 360: / Line 368: @@
    month =        {July},
    volume =       {259},
    series =       {CEUR WS}
+}
@@ Line 370: / Line 379: @@
    booktitle =    {Proceedings, e-Smart 2006, Sophia-Antipolis, France, September 20--22},
    note =         {Available on-line},
    year =         2006
+}
@@ Line 383: / Line 393: @@
    editor =       {Jayadev Misra and Tobias Nipkow and Emil Sekerinski},
    series =       {LNCS},
    pages =        {444--459},
    volume =       {4085},
@@ Line 399: / Line 410: @@
    pages =        {357--371},
    series =       {LNCS},
    month =        {April},
    publisher =    {Springer}
@@ Line 414: / Line 426: @@
    year =         2005,
    volume =       {3362},
-   series =       {LNCS}
+   series =       {LNCS},
+}
 </pre></div>
@@ Line 428: / Line 441: @@
    volume =       {102C},
    series =       {ENTCS},
    month =        {November},
    publisher =    {Elsevier}
@@ Line 443: / Line 457: @@
    volume =       {2621},
    series =       {LNCS},
    month =        {April},
    publisher =    {Springer}
@@ Line 459: / Line 474: @@
    publisher =    {Springer},
    series =       {LNCS},
    volume =       {2306},
    year =         2002
@@ Line 472: / Line 488: @@
    month =        {March},
    editor =       {T. Clarke and A. Evans and K. Lano},
-   note =         {Available on-line}
+   note =         {Available on-line},
+}
 </pre></div>

@@ Line 20: / Line 20: @@
    journal =      {Transactions on Intelligent Transportation Systems, Special Issue on GCDC},
    publisher =    {IEEE},
    doi =          {10.1109/TITS.2017.2752359},
    year =         2017

@@ Line 277: / Line 277: @@
    title =        {Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings},
    booktitle =    {Smart Card Research and Advanced Application Conference CARDIS 2010, Proceedings, Passau, Germany},
    year =         2010,
    series =       {LNCS},

@@ Line 556: / Line 556: @@
    volume =       4334,
    year =         2007,
    pages =        {375--405}
+}
@@ Line 570: / Line 571: @@
    volume =       4334,
    year =         2007,
    pages =        {533--568}
+}