distechweb/publications.html at master · lmkr/distechweb · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<!--
Design by Free CSS Templates
http://www.freecsstemplates.org
Released for free under a Creative Commons Attribution 2.5 License

Name       : TriColor
Description: A two-column, fixed-width design with dark color scheme.
Version    : 1.0
Released   : 20090723

-->
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta name="keywords" content="" />
<meta name="description" content="" />
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<title>DISTECH at Bergen University College </title>
<link href="style.css" rel="stylesheet" type="text/css" media="screen" />
</head>
<body>
<div id="wrapper">
	<div id="banner"> </div>

	<div id="header">
		<div id="logo">
			<h1><a href="">DISTECH -</a></h1>
			<p>Software Technologies for Distributed Systems</p>
		</div>
	</div>
	<!-- end #header -->
	<div id="menu">
		<ul>
			<li><a href="index.html">Home</a></li>
			<li><a href="research.html">Research</a></li>
			<li><a href="people.html">People</a></li>
			<li><a href="publications.html">Publications</a></li>
			<li><a href="links.html">Links</a></li>
		</ul>
	</div>
	<!-- end #menu -->
	<div id="page">
	<div id="page-bgtop">
	<div id="page-bgbtm">
		<div id="content">
			<div class="post">

				<div class="entry">
			        <p class "meta"><img src="images/distechlogo.jpg" width=180px</img></p>
		                </div>

			</div>
		<div style="clear: both;">&nbsp;</div>
		</div>
		<!-- end #content -->
		<div id="sidebar">

<p>Publications [<a href="#p2012">2012</a>] [<a href="#p2011">2011</a>] [<a href="#p2010">2010</a>] [<a href="#p2009">2009</a>]</p>

<a name="p2012"></a>
<h2>Publications 2012 </h2>


<p> Wil M. van der Aalst, M. Ajmone Marsan, G. Franceschinis,
J. Kleijn, L.M. Kristensen (Eds). Transactions on Petri Nets and Other
Models of Concurrency VI. Special issue on Best Papers from Petri Nets
2012 with special section on Networks, Protocols, and
Services. Subseries of Lecture Notes in Computer Science, Springer,
2012.</p>

<p>Uwe Wolter and Yngve Lamo. Proceedings of the 24th Nordic Workshop
on Programming Theory, Bergen, October 2012. Technical report in
Informatics, Department of Informatics, University of Bergen. </p>

<p> A. Rutle, A. Rossini, Y. Lamo and U. Wolter. A formal approach to
the specification and transformation of constraints in MDE. In Journal
of Logic and Algebraic Programming, North-Holland, 2012. </p>

<p> K. Jensen, L.M. Kristensen, and T. Mailund. The Sweep-line State Space Exploration Method. In Theoretical Computer Science, Elsevier, Vol. 429, pp. 169-179, 2012 (in press). </p>

<p> S. Evangelista and L.M. Kristensen. Dynamic State Space Partitioning for External Memory State Space Exploration. In Science of Computer Programming, Elsevier, 2012 (in press). </p>

<p> Yì N. Wáng and Thomas Ågotnes. Public Announcement Logic with Distributed Knowledge: Expressivity, Completeness and Complexity. Accepted by Synthese, to appear </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Measurement of prompt J/psi and beauty hadron production production cross sections at mid-rapidity in pp collisions at beauty hadron production sqrt(s) = 7 TeV}, JHEP 1211 (2012) 065 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Suppression of high transverse momentum D mesons in central Pb-Pb collisions at $\sqrt{s_{NN}}=2.76$ TeV, JHEP 1209 (2012) 112 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Measurement of charm production at central rapidity in proton-proton collisions at sqrt(s) = 2.76 TeV, JHEP 1207 (2012) </p>

<p> Jakob Stamnes and Dhayalan Velauthapillai, ‘Double refraction of a Gaussian beam into a uniaxial crystal’, J. Opt. Soc. Am. A, Vol. 26 Vol. 29, No 2, 2012. </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): J/psi production at low transverse momentum in Pb-Pb collisions at $\sqrt{s_{NN}} = 2.76$ TeV, Phys. Rev. Lett.  109 (2012) 072301 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Measurement of Event Background Fluctuations for Charged Particle Jet Reconstruction in Pb-Pb collisions at $\sqrt{s_{NN}} = 2.76$ TeV, JHEP 1203 (2012) 053 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Underlying Event measurements in pp collisions at $\sqrt{s}$ = 0.9 and 7 TeV with the ALICE experiment at the LHC, JHEP 1207 (2012) 116 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Measurement of charm production at central rapidity in proton-proton collisions at $\sqrt{s} = 7$ TeV, JHEP 1201 (2012) 128 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): J/psi polarization in pp collisions at $\sqrt{s}=7$ TeV,  Phys. Rev. Lett. 108 (2012) 082001 </p>

<p> K. Aamodt et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Particle-yield modification in jet-like azimuthal di-hadron correlations in Pb-Pb collisions at $\sqrt{s_{NN}} = 2.76$ TeV,      Phys. Rev. Lett. 108 (2012) 092301 </p>

<p> L. Marcinkowski and T. Rahman. A FETI-DP method for Crouzeix-Raviart finite element discretization. Computational Methods in Applied Mathematics, vol. 12(1), 2012, pp. 73-91. </p>

<p> T. Rahman and J. Valdman. Fast Matlab assembly of FEM stiffness and mass matrices in 2D and 3D: nodal elements. Appl. Math. Comp., DOI: 10.1016/j.amc.2011.08.043 </p>

<p> J. G. Knudsen, C. Riera, L. E. Danielsen, M. G. Parker, and E. Rosnes, "Random Edge-Local Complementation with Applications to Iterative Decoding of High-Density Parity-Check Codes," IEEE Trans. on Commun., vol. 60, no. 10, pp. 2796 -- 2808, Oct. 2012. </p>

<p> Jon Eivind Vatne: Monomial multiple structures, In Annali Dell’Universita de Ferrara. May 2012, Volume 58, Issue 1, pp 199-215.</p>

<p> L.M. Kristensen and K. Simonsen. Application of Coloured Petri Nets for Functional Validation of Protocol Designs. In special issue of Transactions on Petri Nets and Other Models of Concurrency, Subseries of Lecture Notes in Computer Science, Springer, To appear. </p>

<p>  M.Thambidurai, N.Muthukumarasamy, Dhayalan Velauthapillai, S.Agilan, N.Sabari Arul, N.Murugan, R. Balasundaraprabhu, “Structural, optical and electrical properties of Co doped CdS quantum dots”, Journal of Electronic Materials, Vol 44, 4, 665-672, DOI: 10.1007/s11664-012-1900-5, 2012. </p>

<p> C.K.Senthil Kumaran, S.Agilan, Dhayalan Velauthapillai, N.Muthukumarasamy, M.Thambidurai, T.S.Senthil, “The effect of annealing on the morphology of copper dendrite structure”  Digest Journal of Nanomaterials and Biostructures,  Vol. 7, No. 2, p. 771 - 775 , 2012.</p>

<p> M.Thambidurai, N.Muthukumarasamy, Dhayalan Velauthapillai, Changhee Lee, Synthesis of garland like ZnO nanorods and their application in dye sensitized solar cells, http://dx.doi.org/10.1016/j.matlet.2012.10.036, Materials Letters, 2012. </p>

<p> M. Thambidurai, N. Muthukumarasamy, Dhayalan Velauthapillai, Changhee Lee, Synthesis of ZnO nanorods and their application in quantum dot sensitized solar cells, Journal of Sol-Gel Science and Technology, DOI 10.1007/s10971-012-2907-3, 2012. </p>

<p> Y. Lamo, X. Wang, F. Mantz, W. MacCaull, and A Rutle. DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-) Modelling Environment. Proc. of Computer and Information Science 2012, Studies in Computational Intelligence Volume 429/2012, pp. 37-52. Springer, 2012, Springer </p>

<p> Hege Austrheim Erdal, Matthias Richter, Artur Szostak, and Alberica Toia Monitoringthe data quality of the real-time event reconstruction in the ALICE High Level Trigger, 2012 J. Phys.: Conf. Ser. 396 012019 </p>

<p> F. Prino et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~ 1000 authors): ALICE overview, Proc. Strangeness in Quark Matter,  Cracow, Poland, 18 - 24 Sep 2011, Acta Phys. Pol. B 43 , 4 (2012) 497 </p>

<p>  R. Preghenella et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Identified-particle Production and Spectra with the ALICE Detector in pp and Pb?Pb Collisions at the LHC}, Proc. Strangeness in Quark Matter,  Cracow, Poland, 18 - 24 Sep 2011, Acta Phys. Pol. B 43 4 (2012) 555 </p>

<p> B. Hippolyte et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~ 1000 authors):  Strange and Multi-strange Particle Production at the LHC Energies with ALICE, Proc. Strangeness in Quark Matter,  Cracow, Poland, 18 - 24 Sep 2011, Acta Phys. Pol. B 43 , 4 (2012) 645 </p>

<p>  J. Otwinowski et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): High-p$_{T}$ Processes Measured with ALICE at the LHC, Proc. Strangeness in Quark Matter,  Cracow, Poland, 18 - 24 Sep 2011, Acta Phys. Pol. B 43 , 4 (2012) 713 </p>

<p>  B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Transverse sphericity of primary charged particles in minimum bias proton-proton collisions at $\sqrt{s}=0.9$, 2.76 and 7 TeV}, Eur.  Phys.  J.  C 72 (2012) 2124 </p>

<p>  B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Production of $K^{*0}(892)$ and $\phi(1020)$ in $pp$ collisions at $\sqrt{s}=7$ TeV, Eur.  Phys. J. C 72 (2012) 2183 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): $K^0_s-K^0_s$ correlations in $pp$ collisions at $\sqrt{s}=7$ TeV from the LHC ALICE experiment,Phys. Lett. B  717 (2012) 151-161 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Neutral pion and $\eta$ meson production in proton-proton collisions at $\sqrt{s}=0.9$ TeV and $\sqrt{s}=7$ TeV, Phys. Lett. B 717 (2012) 162-172 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Multi-strange baryon production in pp collisions at $(s)^1/2 = 7 $TeV with ALICE ,Phys. Lett. B 712 (2012) 309-318 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): $J/\psi$ Production as a Function of Charged Particle Multiplicity in $pp$ Collisions at $\sqrt{s} = 7$ TeV, Phys. Lett. B 712 (2012) 165-175 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Light vector meson production in pp collisions at $\sqrt{s}$ = 7 TeV ,Phys. Lett. B 710 (2012) 557-568 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Heavy flavour decay muon production at forward rapidity in proton--proton collisions at $\sqrt{s}$ = 7 TeV, Phys. Lett. B 708 (2012) 265-275 </p>

<p> B. Abelev et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Measurement of Event Background Fluctuations for Charged Particle Jet Reconstruction in Pb-Pb collisions at $\sqrt{s_{NN}} = 2.76$ TeV , JHEP 1203 (2012) 053 </p>

<p> K. Aamodt et al. [ALICE Collaboration] (… J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ~1000 authors): Harmonic decomposition of two-particle angular correlations in Pb-Pb collisions at $\sqrt{s_{NN}} = 2.76$ TeV, Phys. Lett. B 708 (2012) 249 </p>

<p> 	B. Abelev et al. [ALICE Collaboration] (. . . J. Alme, H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, ∼ 1000 authors):Ds meson production at central rapidity in proton–proton collisions at sqrt(s) = 7 TeV, Phys. Lett. B 718 (2012) 279-294 </p>

<p> Kristensen, T. Two Regimes of  Fingerprint Identification – a Comparison.  In American Journal of Computational and Applied Mathematics. Scientific & Academic Publishing, USA. </p>

<p> Vijayshankar Asokan, Dorte Madsen, Dhayalan Velauthapillai, Velaug Myrseth, Pawel Kosinskia, Effect of temperature on the transformation of carbon black into nanotubes, International Journal Advanced Materials Research, Accepted, 2012. </p>

<p> M.Thambidurai, N.Muthukumarasamy, Dhayalan Velauthapillai, Changhee Lee, ‘Chemical bath deposition of ZnO nanorods for dye sensitized solar cell applications’, Journal of Material science: Materials in electronics, DOI 10.1007/s10854-012-1035-8, 2012.</p>


<p> G. Taentzer, F. Mantz and Y. Lamo. Co-transformation of Graphs and
Type Graphs with Application to Model Co-evolution. Proceedings of
International Conference on Graph Transformation, LNCS, pp. 326-340,
Springer, 2012. </p>

<p> A. Rossini, J. de Lara, J, E. Guerra, A. Rutle, and Y. Lamo. A
Graph Transformation-based Semantics for Deep
Metamodelling. Proceedings of AGTIVE 2011, Lecture Notes in Computer
Science, Springer, 2012. </p>

<p> Rutle, A. and MacCaull, W. and Wang, H. and Lamo, Y. A
metamodelling approach to behavioural modelling.  Proceedings of the
Fourth Workshop on Behaviour Modelling-Foundations and Applications},
ACM Digital Library, 2012. </p>

<p> K. Simonsen and L.M. Kristensen. Towards a CPN-based Modelling
Approach for Reconciling Verification and Implementation of Protocol
Models. Accepted for 8th International Workshop on Model-based
Methodologies for Pervasive and Embedded Software. Spinger Lecture
Notes in Computer Science, 2012. </p>

<p> S. Evangelista and L. M. Kristensen. Hybrid On-the-Fly Model
Checking with the Sweep-line Method. In Proc. of International
Conference on Application and Theory of Petri Nets (ICATPN), volume
7347 of LNCS, pages 248-267. Springer, 2012. </p>

<p> S. Evangelista and L. M. Kristensen. Combining the Sweep-Line
Method with the use of an External-memory Priority Queue. In Proc. of
19th International SPIN Workshop on Model Checking of Software. volume
7385 of LNCS, pages 43-61. Springer, 2012. </p>

<p> Hans van Ditmarsch, Tim French, Fernando R. Velazquez-Quesada and
Yi Wang. Knowledge, awareness, and bisimulation. To appear in the
proceedings of TARK 2013, ACM Digital Library </p>

<p> Kristensen, T., Rojas M. Solving the Winner Determination problem
by a Distributed Genetic Algorithm Approach. In Proceedings of IEEE
Conference on Computational Intelligence for Financial Engineering &
Economics, New York, USA. </p>

<p> Piotr Kaźmierczak, Truls Pedersen, Thomas Ågotnes "NorMC: a Norm
Compliance Temporal Logic Model Checker" in Proceedings of the Sixth
Starting Artificial Intelligence Research Symposium (STAIRS 2012),
Montpellier, France, August 2012 </p>

<p> Kristensen, T. Adaptive Algorithms for Data Clustering. Book of
Abstract . MedViz Conference 2012. Haukeland University Hospital,
University of Bergen and Christian Michelsen Reaearch Bergen,
Norway. ISBN 978-82-998920-01.</p>

<p> Florian Mantz, Yngve Lamo and Gabriele Taentzer. Co-Transformation
of Type and Instance Graphs Supporting Merging of Types and
Retyping. Proc. of GCM 2012 Workshop.</p>

<p> Taentzer, G. and Mantz, F. and Lamo, Y. Co-Transformation of
Graphs and Type Graphs With Application to Model
Co-Evolution. Tech. rep., Dep. of Mathematics and Computer Science,
University of Marburg, Germany.</p>

<p> Lamo, Y. and Rutle, A. A metamodel approach to model driven
service development. Proc. of AWOSS 2012 Workshop. </p>

<p> Florian Mantz, Gabriele Taentzer. Meta-model Evolution with Model
Migration based on Graph Transformations. In Proc. of Nordic Workhsop
on Programming Theory, 2012. </p>

<p> K. I. Fagerland Simonsen, L.M. Kristensen and E. Kindler. Code
Generation for Protocols from CPN models Annotated with Pragmatics. In
Proc. of Nordic Workhsop on Programming Theory, 2012 </p>

<p> Sjur Dyrkolbotn, Piotr Kaźmierczak, Erik Parmann, Truls Pedersen. No Big Deal: introducing roles to reduce the size of ATL models <a href="http://arxiv.org/abs/1204.3495">Link</a>


<a name="p2011"></a>
<h2>Publications 2011 </h2>

<p>L.M. Kristensen and L. Petrucci (Eds.). Proc. of 32nd International
Conference on Application and Theory of Petri Nets and Other Models of
Concurrency. Vol. 6709 of Springer Lectures Notes in Computer Science,
2011. [N1]

<p>J. Leite, P. Torroni, T. Ågotnes, G. Boella, and L. van der Torre,
editors. 12th International Workshop, CLIMA XII, Barcelona, Spain,
July 17-18, 2011, Proceedings, volume 6814 of Lecture Notes in
Computer Science/Lecture Notes in Artificial Intelligence. Springer,
2011. [N1]

<p>Thomas Ågotnes, editor. Proceedings of the Fifth European Starting
Artificial Intelligence Researcher Symposium (STAIRS 2010). Number 222
in Frontiers in Artificial Intelligence and Applications. IOS Press,
2011. [N1]

<p>Thomas Ågotnes and Hans van Ditmarsch. What will they say? – public
announcement games. Synthese (Special Section on Knowledge,
Rationality and Action), 179(1):57–85, 2011. [N2/3]

<p>Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter, A Formal
Approach to the Specification and Transformation of Constraints in
MDE. In Journal of Logic and Applied Algebra. In press, 2011. [N2/3]

<p>M. Thambidurai, N. Muthukumarasamy, N. Murugan, Dhayalan
Velauthapillai , S. Agilan, R. Balasundaraprabhu, A mathematical model
to predict the grain size of nanocrystalline CdS thin films based on
the deposition condition used in the sol-gel spin coating method,
Applied Physics A 104, 1129-1136, 2011. [N2/3]

<p>K. Aamodt et al. [ ALICE Collaboration ] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Higher harmonic
anisotropic flow measurements of charged particles in Pb-Pb collisions
at psNN = 2.76 TeV, Phys. Rev. Lett. 107 (2011) 032301. [N2/3]

<p>K. Aamodt et al. [ ALICE Collaboration ] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Two-pion
Bose-Einstein correlations in central Pb-Pb collisions at psNN = 2.76
TeV, Phys. Lett. B696 (2011) 328-337. [N2/3]

<p>T. Kristensen and V. Jakobsen. Interactive Protein Data
Clustering. In Journal of Computer Technology and Application. David
Publishing Company, volume 2, number 10, October 2011, ISSN1934-7332,
Illinois, USA. [N1/1]

<p>Thomas Ågotnes, Wiebe van der Hoek, and Michael Wooldridge. On the
logic of preference and judgment aggregation. Autonomous Agents and
Multi-Agent Systems, 22:4–30, 2011. [N1/1] -- -

<p>M. Westergaard and L.M Kristensen. A Graphical Approach to
Component-based and Extensible Model Checking Platforms. Accepted for
LNCS Transactions on Petri Nets and Other Models of Concurrency,
Springer, 2011. [N1/1]

<p>Dhayalan Velauthapillai, Jakob Stamnes, 'Focusing of
electromagnetic waves into a dielectric slab II. Numerical Results',
J. Europ. Opt. Soc. Rap. Public,11036, Vol 6, DOI:
10.2971/jeos.2011.11036, 2011. [N1/1]

<p>T.S. Senthil, N. Muthukumarasamy, Dhayalan Velauthapillai,
S. Agilan, M. Thambidurai, R. Balasundaraprabhu, Natural dye (cyanidin
3-O-glucoside) sensitized nanocrystalline TiO2 solar cell fabricated
using liquid electrolyte/quasi-solid-state polymer electrolyte,
Renewable Energy 36, 2484-2488, 2011. [N1/1]

<p>M. Thambidurai, N. Muthukumarasamy, Dhayalan Velauthapillai,
N. Sabari Arul, S. Agilan, R. Balasundaraprabhu, Dye-sensitized ZnO
nanorod based photoelectrochemical solar cells with natural dyes
extracted from Ixora coccinea, Mulberry and Beetroot, Journal of
Materials Science: Materials in Electronic 22, 1662-1666, 2011. [N1/1]

<p>M. Thambidurai, N. Muthukumarasamy, Dhayalan Velauthapillai,
N. Murugan, S. Agilan, S. Vasantha, R. Balasundaraprabhu,
Nanocrystalline CdS thin films prepared by sol-gel spin coating,
International Journal of Materials Research, 5, 584-586, 2011. [N1/1]

<p>Senthil kumaran C.K, Agilan S, Dhayalan Velauthapillai,
N. Muthukumarasamy, Thambidurai M, Senthil T.S, and Balasundaraprabhu
R, Synthesis And Characterization Of Selenium Nanowires, ISRN
International Nanotechnology, Volume 2011 (2011), Article ID 589073,
DOI: 10.5402/2011/589073. [N0/0]

<p>M.Thambidurai, N.Muthukumarasamy, Dhayalan Velauthapillai,
S.Agilan, R.Balasundaraprabhu, “Impedance spectroscopy and dielectric
properties of cobalt doped CdS nanoparticles”, Powder Technology,
2011, (in press). [N1/1]

<p>M.Thambidurai, N.Muthukumarasamy, Dhayalan Velauthapillai,
N.Murugan, Jharna Chaudhuri, Siva Parameswaran, Archis Marathe,
N.Sabari Arul, S.Agilan, R. Balasundaraprabhu, Effect of Cr-doping on
the structural and optical properties of CdS nanoparticles prepared by
chemical precipitation method, Journal of Materials Science: Materials
in Electronics, DOI: 10.1007/s10854-011-0454-2, 2011. [N1/1]

<p>M.Thambidurai, N.Muthukumarasamy, Dhayalan Velauthapillai,
S.Agilan, R. Balasundaraprabhu, “Structural, optical and electrical
properties of Co doped CdS quantum dots”, Journal of Electronic
Materials, (Accepted, in press), 2011. [N1/1]

<p>Jakob Stamnes, Dhayalan Velauthapillai, ' Transmission of a
two-dimensional Gaussian beam into a uniaxial crystal', Journal of
Optical Society of America, (JOSA) (Accepted, in press), 2011. [N1/1]

<p>J. Schukraft et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): ALICE results
from the first PbPb run at the CERN LHC, Proc. Quark Matter 2011,
Annecy, France, 2328 May 2011, J. Phys. G G38 (2011) [N1/1]

<p>A. Toia et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Bulk properties
of PbPb collisions at psNN = 2.76 TeV measured by ALICE, Proc. Quark
Matter 2011, Annecy, France, 2328 May 2011, J. Phys. G G38 (2011)
[N1/1]

<p>A. Kisiel et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Femtoscopy of
PbPb and pp collisions at the LHC with the ALICE experiment,
Proc. Quark Matter 2011, Annecy, France, 2328 May 2011, J. Phys. G G38
(2011) [N1/1]

<p>R. Snellings et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Anisotropic
flow at the LHC measured with the ALICE detector, Proc. Quark Matter
2011, Annecy, France, 2328 May 2011, J. Phys. G G38 (2011) [N1/1]

<p>H. Appelshauser et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Particle
production at large transverse momentum with ALICE, Proc. Quark Matter
2011, Annecy, France, 2328 May 2011, J. Phys. G G38 (2011) [N1/1]

<p>M. Floris et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Identified
particles in pp and PbPb collisions at LHC energies with the ALICE
detector, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>J.F. Grosse-Oetringhaus et al. [ALICE Collaboration]
(. . . H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, _ 1000
authors): Hadron correlations in PbPb collisions at psNN = 2.76 with
ALICE, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>A. Dainese et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Heavy-flavour
production in PbPb collisions at the LHC, measured with the ALICE
detector, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>G. Martinez Garcia et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Quarkonium
production measurements with the ALICE detector at the LHC,
Proc. Quark Matter 2011, Annecy, France, 2328 May 2011, J. Phys. G G38
(2011) [N1/1]

<p>C. Loizides et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors):
Charged-particle multiplicity and transverse energy in PbPb collisions
at psNN = 2.76 TeV with ALICE, Proc. Quark Matter 2011, Annecy,
France, 2328 May 2011, J. Phys. G G38 (2011) [N1/1]

<p>M. Poghosyan et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Diffraction
dissociation in protonproton collisions at ps = 0.9, 2.76 and 7 TeV
with ALICE at the LHC, Proc. Quark Matter 2011, Annecy, France, 2328
May 2011, J. Phys. G G38 (2011) [N1/1]

<p>M. Krzewicki et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Elliptic and
triangular flow of identified particles measured with the ALICE
detector at the LHC, Proc. Quark Matter 2011, Annecy, France, 2328 May
2011, J. Phys. G G38 (2011) [N1/1]

<p>A. Bilandzic et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Anisotropic
flow of charged particles at psNN = 2.76 TeV measured with the ALICE
detector , Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>J. Mercado et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Two-pion
BoseEinstein correlations in PbPb collisions at 2.76 TeV with ALICE,
Proc. Quark Matter 2011, Annecy, France, 2328 May 2011, J. Phys. G G38
(2011) [N1/1]

<p>T. Humanic et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): K0sK0 s
correlations in 7 TeV pp collisions from the ALICE experiment at the
LHC, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>X. Zhang et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Heavy flavour
production in the semi-muonic channel at forward rapidity in pp
collisions at ps = 7 TeV and PbPb collisions at psNN = 2.76 = 2.76 TeV
with ALICE, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>S. Masciocchi et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Investigation
of charm and beauty production via semileptonic decays of
heavy-flavour hadrons in pp at 7 TeV and PbPb at 2.76 TeV with ALICE ,
Proc. Quark Matter 2011, Annecy, France, 2328 May 2011, J. Phys. G G38
(2011) [N1/1]

<p>A. Kalweit et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Particle
identification in the ALICE experiment, Proc. Quark Matter 2011,
Annecy, France, 2328 May 2011, J. Phys. G G38 (2011) [N1/1]

<p>M. Chojnacki et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Measurement of
_, K, p transverse momentum spectra with ALICE in protonproton
collisions at 0.9 and 7 TeV, Proc. Quark Matter 2011, Annecy, France,
2328 May 2011, J. Phys. G G38 (2011) [N1/1]

<p>K. Reygers et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Production of
neutral pions and eta-mesons in pp collisions measured with ALICE,
Proc. Quark Matter 2011, Annecy, France, 2328 May 2011, J. Phys. G G38
(2011) [N1/1]

<p>A. Pulvirenti et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Resonance
measurements in pp collisions with the ALICE detector and prospects
for PbPb, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>I. Belikov et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): K0S and _
production in PbPb collisions with the ALICE experiment, Proc. Quark
Matter 2011, Annecy, France, 2328 May 2011, J. Phys. G G38 (2011)
[N1/1]

<p>D.D. Chinellato et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Multi-strange
particle measurements in 7 TeV protonproton and 2.76 TeV PbPb
collisions with the ALICE experiment at the LHC, Proc. Quark Matter
2011, Annecy, France, 2328 May 2011, J. Phys. G G38 (2011) [N1/1]

<p>S. Schuchmann et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): High pT
suppression of _ and K0s in PbPb collisions at psNN = 2.76 TeV with
ALICE, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>A. De Falco et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Vector meson
production in pp collisions at ps = 7 TeV, measured with the ALICE
detector, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>C. Klein-Bosing et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Jet
reconstruction and jet background classification with the ALICE
experiment in PbPb collisions at the LHC, Proc. Quark Matter 2011,
Annecy, France, 2328 May 2011, J. Phys. G G38 (2011) [N1/1]

<p>A.M. Adare et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Triggered
di-hadron correlations in PbPb collisions from the ALICE experiment,
Proc. Quark Matter 2011, Annecy, France, 2328 May 2011, J. Phys. G G38
(2011) [N1/1]

<p>A.R. Timmins et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Untriggered
di-hadron correlations in PbPb collisions at psNN = 2.76 TeV from
ALICE, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>Y. Mao et al. [ALICE Collaboration] (. . . H.A. Erdal, H. Helstrup,
K.F. Hetland, B. Kileng, _ 1000 authors): High-pT particle
correlations in pp collisions at LHC/ALICE, Proc. Quark Matter 2011,
Annecy, France, 2328 May 2011, J. Phys. G G38 (2011) [N1/1]

<p>S. Heckel et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Event-by-event
mean pT fluctuations in pp and PbPb collisions measured by the ALICE
experiment at the LHC, Proc. Quark Matter 2011, Annecy, France, 2328
May 2011, J. Phys. G G38 (2011) [N1/1]

<p>R. Arnaldi et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Measurement of
J/ production in pp collisions at psNN = 2.76 and 7 TeV with ALICE,
Proc. Quark Matter 2011, Annecy, France, 2328 May 2011, J. Phys. G G38
(2011) [N1/1]

<p>P. Pillot et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): J/ production
at forward rapidity in PbPb collisions at psNN = 2.76 TeV, measured
with the ALICE detector, Proc. Quark Matter 2011, Annecy, France, 2328
May 2011, J. Phys. G G38 (2011) [N1/1]

<p>J. Otwinowski et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Charged
particle production at large transverse momentum in PbPb collisions at
psNN = 2.76 TeV measured with ALICE at the LHC, Proc. Quark Matter
2011, Annecy, France, 2328 May 2011, J. Phys. G G38 (2011) [N1/1]

<p>G. Conestra Balbastre et al. [ALICE Collaboration]
(. . . H.A. Erdal, H. Helstrup, K.F. Hetland, B. Kileng, _ 1000
authors): Suppression of neutral pion production at large transverse
momentum measured with the ALICE experiment in PbPb collisions at psNN
= 2.76 TeV, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>T. Peitzmann et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): ALICE detector
upgrades, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>K. Oyama et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Cross-section
normalization in protonproton collisions at psNN = 2.76 and 7 TeV,
with ALICE at the LHC, Proc. Quark Matter 2011, Annecy, France, 2328
May 2011, J. Phys. G G38 (2011) [N1/1]

<p>A. Rossi et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): D meson nuclear
modification factors in PbPb collisions at psNN = 2.76 TeV, measured
with the ALICE detector, Proc. Quark Matter 2011, Annecy, France, 2328
May 2011, J. Phys. G G38 (2011) [N1/1]

<p>P. Christakoglou et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors):
Charge-dependent azimuthal correlations in PbPb collisions at psNN =
2.76 TeV, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>I. Selyuzhenkov et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Charged
particle directed flow in PbPb collisions at psNN = 2.76 TeV measured
with ALICE at the LHC, Proc. Quark Matter 2011, Annecy, France, 2328
May 2011, J. Phys. G G38 (2011) [N1/1]

<p>A. Dobrin et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Elliptic flow
at high transverse momentum in PbPb collisions at psNN = 2.76 TeV with
the ALICE experiment, Proc. Quark Matter 2011, Annecy, France, 2328
May 2011, J. Phys. G G38 (2011) [N1/1]

<p>C. Oppedisano et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Measurement of
the electromagnetic dissociation cross section of Pb nuclei at psNN =
2.76 TeV, Proc. Quark Matter 2011, Annecy, France, 2328 May 2011,
J. Phys. G G38 (2011) [N1/1]

<p>Y. Pachmayer et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Measurement of
the nuclear modification factor of electrons from heavy-flavour decays
at mid-rapidity in PbPb collisions at psNN = 2.76 TeV with ALICE,
Proc. Quark Matter 2011, Annecy, France, 2328 May 2011, J. Phys. G G38
(2011) [N1/1]

<p>N. Sharma et al. [ALICE Collaboration] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Production of
nuclei and antinuclei in pp and PbPb collisions with ALICE at the LHC,
Proc. Quark Matter 2011, Annecy, France, 2328 May 2011, J. Phys. G G38
(2011) [N1/1]

<p>K. Aamodt et al. [ ALICE Collaboration ] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Rapidity and
transverse momentum dependence of inclusive J/ production in pp
collisions at ps = 7 TeV, Phys. Lett. B704 (2011) 442-455. [N1/1]

<p>K. Aamodt et al. [ ALICE Collaboration ] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Centrality
dependence of the charged-particle multiplicity density at
mid-rapidity in Pb-Pb collisions at psNN = 2.76 TeV,
Phys. Rev. Lett. 106 (2011) 032301. [N1/1]

<p>K. Aamodt et al., [ ALICE Collaboration ] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Strange
particle production in proton-proton collisions at ps = 0.9 TeV with
ALICE at the LHC, Eur. Phys. J. C71 (2011) 1594. [N1/1]

<p>K. Aamodt et al. [ ALICE Collaboration ] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Production of
pions, kaons and protons in pp collisions at ps = 900 GeV with ALICE
at the LHC, Eur. Phys. J. C71 (2011) 1655. [N1/1[

<p>K. Aamodt et al. [ ALICE Collaboration ] (. . . H.A. Erdal,
H. Helstrup, K.F. Hetland, B. Kileng, _ 1000 authors): Suppression of
Charged Particle Production at Large Transverse Momentum in Central
Pb–Pb Collisions at psNN = 2.76 TeV, Phys. Lett. B696 (2011)
30-39. [N1/1]

<p>K. Røed, J. Alme, D. Fehlker, H. Helstrup, M. Richter, D. Rőhrich,
K. Ullaland: Fault injection as a test method for an FPGA in charge of
data readout for a large tracking Detector, Nucl. Instrum. Meth. A
629, 260-268 (2011). [N1/1]

<p>Yi Wang and Thomas Ågotnes. Public announcement logic with
distributed knowledge. In Hans van Ditmarsch, Jerome Lang, and Shier
Ju, editors, Third International Workshop, LORI 2011, Guangzhou,
China, October 10-13, 2011. Proceedings, volume 6953 of Lecture Notes
in Computer Science/Lecture Notes in Artificial
Intelligence. Springer, 2011. [N1/0.7]

<p>Thomas Ågotnes and Natasha Alechina. Reasoning about joint action
and coalitional ability in Kn with gotnes, G. Boella, and L. van der
Torre, editors, 12th International Workshop, CLIMA XII, Barcelona,
Spain, July 17-18, 2011, Proceedings, volume 6814 of Lecture Notes in
Computer Science/Lecture Notes in Artificial Intelligence, pages
139–156. Springer, 2011. [N1/0.7]

<p>T. Ågotnes, W. van der Hoek, and M. Wooldridge. Scientia potentia
est. In Proceedings of the Tenth International Conference on
Autonomous Agents and Multiagent Systems (AAMAS 2011), pages 735–742,
Taipei, Taiwan, May 2011. IFAMAAS/ACM DL. [N1/0.7]

<p>S. Taktak and L.M. Kristensen. Formal Modelling and Initial
Validation of the Chelonia Distributed Storage System: In Proc. of
International Conference on Grid and Pervasive Computing. Vol. 6646 of
LNCS, pp 127-137, Springer, 2011. [N1/0.7]

<p>T. Kristensen and V. Jakobsen. Interactive Clustering of Proteomic
Data In Proceedings of 7th Conference on Data Mining, DMIN’10, July
18-21, Las Vegas. CSCREA Press, 2011, USA. [N1/0.7]

<p>T. Kristensen. The Dynamic Content Management System. In
Proceedings of Information Technology Based Higher Education and
Training (IEEE ITHET conference ). 2011. [N0/0]

<p>T. Kristensen. A Multi_Layered Perceptron Fingerprint
Identification System. In Proceedings of IEEE Third World Congress on
Nature and Biologically Inspired Computing (NaBIC 2011),Salamanca,
2011, [N0/0]

<p>Y. Lamo, X. Wang, F. Mantz, Ø. Bech and A. Rutle. DPF Editor: A
Multi-Layer Diagrammatic (Meta)Modelling Environment. In 12th
Symposium on Programming Languages and Software Tools (SPLST),
2011. ISBN 978-9949-23-178-2 [N0/0]

<p>Thorsten Arendt, Sieglinde Kranz, Florian Mantz, Nikolaus Regnat,
Gabriele Taentzer. Towards Syntactical Model Quality Assurance in
Industrial Software Development: Process Definition and Tool
Support. In Software Engineering 2011. [N0/0]

<p>M.Thambidurai, S.Agilan, N.Muthukumarasamy, K.Sakthivel, Dhayalan
Velauthapillai, C.K.Senthil Kumaran, R.Balasundaraprabhu, Studies on
Quantum Confinement Effect in Cu Doped Cds Nanoparticles, ICONT2011
(International Conference on Nanotechnology - Research and
Commercialisation), Sabah, Malaysia, 6th - 9th of June, 2011. [N0/0]

<p>T.S.Senthil, K.Sakthivel , N.Muthukumarasamy, S.Agilan, Dhayalan
Velauthapillai, M.Thambidurai, R.Balasundaraprabhu, Natural Dye
Sensitized Nanoflower TiO2 Thin Film Solar Cells, ICONT2011
(International Conference on Nanotechnology - Research and
Commercialisation), Sabah, Malaysia, 6th - 9th of June, 2011. [N0/0]

<p>Muthukumarasamy NATARAJAN, Thambidurai M, Dhayalan Velauthapillai,
Agilan S, R. BALASUNDRAPRABHU, Senthilkumaran C.K, Studies on Quantum
Confinement Effect in Cu Doped Cds Nanoparticles, The International
Conference on Materials for Advanced Technologies (ICMAT) 2011,
Singapore, July 2011. [N0/0]

<p>M.Thambidurai, N.Muthukumarasamy, Dhayalan Velauthapillai,
S.Agilan, “Structural and optical properties of Gd doped CdS
nanoparticles prepared by chemical precipitation method” International
Conference on Nanoscience and Nanotechnology, Coimbatore Institute of
Technology, Coimbatore, India, 2011. [N0/0]

<p>C.K.Senthil Kumaran, S.Agilan, Dhayalan Velauthapillai,
N.Muthukumarasamy, M.Thambidurai, A.Ranjithai, R. Balasundaraprabhu
,T.S.Senthil “Preparation and characterization of copper dendrite like
structure by chemical method” International Conference on Nanoscience
and Nanotechnology, Coimbatore Institute of Technology, Coimbatore,
India, 2011. [N0/0]

<p>C.K.Senthil Kumaran, S.Agilan, Dhayalan Velauthapillai,
N.Muthukumarasamy, M.Thambidurai, T.S.Senthil, R. Balasundaraprabhu,
Effect of annealing temperature on the morphology of copper dendrites
like structure, International Conference on Advanced Materials (ICAM
2011), Dec. 2011, India. [N0/0]

<p>M.Thambidurai, N.Muthukumarasamy, Dhayalan Velauthapillai,
S.Agilan, R.Balasundaraprabhu, Rose extract as natural sensitizer for
dye-sensitized solar cells, International Conference on Advanced
Materials (ICAM 2011), Dec. 2011, India. [N0/0]

<p>Vijayshankar Asokan, Dhayalan Velauthapillai, Reidar Løvlie , Dorte
Nørgaard Madsen, Structural and magnetic characterization of carbon
nanotubes synthesized from carbon black, International Conference on
Advanced Materials (ICAM 2011), Dec. 2011, India. [N0/0]

<p>Alessandro Rossini, Adrian Rutle, Khalid A. Mughal, Yngve Lamo and
Uwe Wolter. A Formal Approach to Data Validation Constraints in
MDE. In 5th International Workshop on Harnessing Theories for Tool
Support in Software, pages 65–76, September 2011. [N0/0]

<p>Xiaoliang Wang and Yngve Lamo. Correctness of Constraint-aware
Model Transformations. In 23rd Nordic Workshop on Programming Theory
(NWPT’11) [N0/0]

<p>Florian Mantz, Alessandro Rossini, Gabriele Taentzer, Yngve Lamo,
Uwe Wolter. Formalising Metamodel Evolution based on Category
Theory. In Nordic Workshop on Programming Theory, 2011. [N0/0]

<p>Yngve Lamo, Florian Mantz, and Gabriele Taentzer. On the relation
of Meta-Modeling and Typed Graphs. In International Workshop on Graph
Transformation and Visual Modeling Technniques, 2011. [N0/0]

<p>Florian Mantz, Stefan Jurack, Gabriele Taentzer. Graph
Transformation Concepts for Meta-Model Evolution Guaranteeing
Permanent Type Conformance Throughout Model In International Symposium
- AGTIVE 2011 on Applications of Graph Transformation With Industrial
Relevance (AGTIVE), 2011. [N0/0]

<p>Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, and
Yngve Lamo. A Graph Transformation-Based Semantics for Deep
Metamodelling. In International Symposium - AGTIVE 2011 on
Applications of Graph Transformation With Industrial Relevance
(AGTIVE), 2011. [N0/0]

<p>K. Simonsen. On the use of Pragmatics for Model-based Development
of Protocol Software. In Proc. of International Workshop on Petri Nets
and Software Engineering, 2011

<a name="p2010"></a>
<h2>Publications 2010 </h2>

<p>Thomas Ågotnes, Natasha Alechina, and Brian Logan
(editors). Proceedings of the Third International Workshop on Logics
for Resource-bounded Agents (LRBA 2010), 3rd Multi-Agent Logics,
Languages and Organisations Federated Workshops, 2010. [N0/0]

<p>Adrian Rutle. Diagram Predicate Framework: A Formal Approach to
MDE. PhD thesis, Department of Informatics, University of Bergen,
Norway, 2010. [N0/0]

<p>J. Nordbotten, T. Rahman, S. Repin, and J. Valdman. A Posteriori
Error Estimates for Approximate Solutions of Barenblatt-Biot
poroelastic Model.  Comp. Meth. Appl. Math., vol 10, no. 3,
pp. 302-315, 2010. [N1/1]

<p>Alessandro Rossini, Adrian Rutle, Yngve Lamo, and Uwe Wolter. A
formalisation of the copy-modify-merge approach to version control in
MDE, Journal of Logic and Algebraic Programming Volume 79, Issue 7,
October 2010, Pages 636-658, [N2/3]

<p>S. Evangelista and L.M. Kristensen. Search-Order Independent State
Caching. In Transactions on Petri Nets and Other Models of
Concurrency. Vol. 6550 of LNCS, pp. 21-41, Springer, 2010. [N1/1]

<p>Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, and Pablo
Seban. Group Announcement Logic. In Journal of Applied Logic, Vol 8,
No. 1, pp. 62-81, 2010. [N1/1]

<p>Thomas Ågotnes, Wiebe van der Hoek, and Michael Wooldridge. Robust
Normative Systems and a Logic of Norm Compliance. In Logic Journal of
the Interest Group in Pure and Applied Logics (IGPL), Vol 18. No. 1,
pp. 4-30, 2010. [N1/1]

<p>K. Aamodt et al. [ ALICE Collaboration ] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): Transverse momentum
spectra of charged particles in protonproton collisions at p s=900 GeV
with ALICE at the LHC, Phys. Lett. B693 (2010), 53-68. [N1/1]

<p>K. Aamodt et al. [ ALICE Collaboration ] (. . . H. Helstrup,
K.F. Hetland, B. Kileng,K. Røed, _ p 1000 authors): Midrapidity
antiproton-to-proton ratio in pp collisions at s = 0.9 and 7 TeV
measured by the ALICE experiment, Phys. Rev. Lett. 105 (2010),
072002. [N2/3]

<p>K. Aamodt et al. [ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed,_ 1000 authors): Alignment of the
ALICE Inner Tracking System with cosmicray tracks, JINST 5 (2010)
P03003. [N1/1]

<p>M. Kowalski et al. [ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): First p p
collisions at the LHC as seen by ALICE, Acta Phys. Polon. B41 (2010)
1669-1674. [N1/1]

<p>H. Ricaud et al. [ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): Study of strange
particle production in pp collisions with the ALICE detector,
J. Phys. G G37 (2010) 094049. [N1/1]

<p>A. Badala et al. [ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): Study of hadronic
resonances in ALICE in a first physics scenario, J. Phys. G G37 (2010)
094047. [N1/1]

<p>Z. L. Matthews et al. [ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): Strangeness in high
multiplicity proton-proton collisions in the ALICE experiment,
J. Phys. G G37 (2010) 094048. [N1/1]

<p>J. D. Tapia Takaki et al. [ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): The colour glass
condensate framework in p + p and Pb + p interactions at the ALICE
experiment, J. Phys. G G37 (2010) 094050. [N1/1]

<p>J. Castillo et al. [ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): Measurements of
quarkonium production with ALICE at the LHC, J. Phys. G G37 (2010)
094051. [N1/1]

<p>I. Belikov et al.[ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): Strangeness and
heavy flavours within the ALICE experiment, J. Phys. G G37 (2010)
094020. [N1/1]

<p>J. Alme et al.[ALICE TPC Collaboration] (. . . H. Helstrup,
K. Røed, 77 authors): The ALICE TPC, a large 3-dimensional tracking
device with fast readout for ultra-high multiplicity events,
arXiv:1001.1950, Nucl. Instrum. Meth. A622 (2010) 316-367. [N1/1]

<p>F. Antinori et al. (NA57 Collaboration) (. . . H. Helstrup,
K.F. Hetland, 78 authors): Strangeness enhancements at central
rapidity in 40 A GeV/c PbPb collisions, J. Phys. G:
Nucl. Part. Phys. 37(2010)045105 (14pp). [N1/1]

<p>K. Aamodt et al. [ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): Charged-particle
multiplicity measurement in proton-proton collisions at sqrt(s) = 0.9
and 2.36 TeV with ALICE at LHC arXiv:1004.3034, Eur. Phys. J. C68
(2010) 89-108. [N1/1]

<p>K. Aamodt et al. [ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): Charged-particle
multiplicity measurement in proton-proton collisions at sqrt(s) = 7
TeV with ALICE at LHC arXiv:1004.3514, Eur. Phys. J. C68 (2010)
345-354[N1/1]

<p>D. C. Zhou et al. [ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): Potential Physics
Measurement With Alice Electromagnetic Calorimeters Nucl. Phys. A 834
(2010) 291C. [N1/1]

<p>D. T. Larsen et al.[ALICE TPC Collaboration] (. . . H. Helstrup,
K. Røed, 77 authors): ALICE TPC commissioning results,
Nucl. Instrum. Meth. A 617, 35 (2010). [N1/1]

<p>K. Aamodt et al. [ALICE Collaboration](. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): First proton-proton
collisions at LHC as observed with the ALICE detector: measurement of
the pseudorapidity density at ps= 900 GeV Eur. Phys. J
C65:111-125,2010 [N1/1]


<p>Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. A
Formalisation of Constraint-Aware Model Transformations. In David
Rosenblum and Gabriele Taentzer, editors, FASE 2010: 13th
International Conference on Fundamental Approaches to Software
Engineering, volume 6013 of LNCS, pages 13–28, Springer,
2010. [N1/0.7]

<p>L.M. Kristensen and M. Westergaard. Automatic Structure-based Code
Generation from Coloured Petri Nets: A Proof of Concept. In Proc. of
15th Int. Workshop on Formal Methods for Industrial Critical Systems
(FMICS), 2010. Vol. 6371 of LNCS, pp. 215-230, Springer,
2010. [N1/0.7]

<p>L.M. Kristensen. A Perspective on Explicit State Space Exploration
of Coloured Petri Nets - Past, Present, and Future. In Proc. of
ICATPN'10. Vol. 6128 of LNCS, p. 39-42, Springer, 2010. Invited
talk. [N1/0.7]

<p>Reggie Davidrajuh and Dhayalan Velauthapillai. SchedSIM: A Test-bed
for Solving Simple Assembly Line Balancing Problems, Business
Transformation through Innovation and Knowledge Management: An
Academic Perspective, International Business Information Management
Association (IBIMA), ISBN: 978-0-9821489-3-8, 2400-2408, 2010. [N0/0]

<p>T. Ågotnes. Group Announcements: Logic and Games. In Proc. of
Computational Logic in Multi-Agent Systems. Vol. 6245 of Lecture Notes
in Computer Science (LNCS), pp. 9-14, Springer, 2010. [N1/0.7]

<p>T. Ågotnes and M. Wooldridge. Optimal Social Laws. In Proc of the
Ninth International Conference on Autonomous Agents and Multiagent
Systems (AAMAS), IFAMAAS/ACM DL, 2010. [N1/0.7]

<p>Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, and Stefan
Minica. Question-Answer Games. In Proc of 9th Conference on Logic and
the Foundations of Game and Decision Theory (LOFT 2010)}, 2010. [N0/0]

<p>Kent Inge Fagerland Simonsen, Florian Mantz, Alessandro Rossini,
Adrian Rutle.  Groovy and Grails Meet EMF, In Proc. of Norwegian
Informatics Conference, 2010. [N1/0.7]

<p>Yngve Lamo, Adrian Rutle, Florian Mantz, Alessandro Rossini and Uwe
Wolter. Enforcement of Design Patterns by Constraint-Aware Model
Transformations. In Proc of Second International Workshop on Visual
Formalisms for Patterns, 2010, Electronic Communication of the EASST
[N1/0.7]

<p>Jakobsen, V., Kristensen,T. Interactive Clustering of Proteomic
Data – a Comparison between Self-Organizing Map and Neural Gas. In
Proceedings of 6th Conference on Data Mining, DMIN’10, July 12-15, Las
Vegas, USA. [N0/0]

<p>Kristensen, T. Fingerprint Identification – A Support Vector
Machine Approach. In Proceedings of 2nd International Conference on
Agents and Artificial Intelligence, ICAART 2010, Valencia January
2010, Spain. [N1/0.7]

<p>Kristensen, T. Fingerprint Identification using a Multi-Layered
Perceptron as Clasifier. In Proceedings of 2nd Norwegian Artificial
Intelligence Symposium, NAIS 2010, Gjøvik, November 2010,
Norway. [N1/0.7]

<p>F. Kramer and C. Blume et al.[ALICE Collaboration]
(. . . H. Helstrup, K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors):
Quarkonia measurements with ALICE, J. Phys. Conf. Ser. 230, 012042
(2010). [N1/0.7]

<p>H. R. Schmidt et al.[ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): The ALICE TPC:
Status and perspectives, J. Phys. Conf. Ser. 230, 012023
(2010). [N1/0.7]

<p>A. Dobrin et al. [ALICE Collaboration] (. . . H. Helstrup,
K.F. Hetland, B. Kileng, K. Røed, _ 1000 authors): Searches for New
Physics with the ALICE Experiment in pp Collisions 17th International
Conference on Supersymmetry and the Unification of Fundamental
Interactions (SUSY 09), Boston, Massachusetts, 5-10 Jun 2009, AIP
Conf. Proc. 1200 (2010) 730 [N1/0.7]

<p>Florian Mantz, Adrian Rutle, Yngve Lamo, Alessandro Rossini, Uwe
Wolter. Towards a Formal Approach to Metamodel Evolution (extended
abstract). In Proc. of Nordic Workshop on Programming Theory,
pp. 52-24, 2010. [N0/0]

<p>Alessandro Rossini, Uwe Wolter, Adrian Rutle, Florian Mantz, Yngve
Lamo. A Formal Approach to Constraint-Aware Model Merging (extended
abstract). In Proc. of Nordic Workshop on Programming Theory, pages
31–33, 2010. [N0/0]

<p>Stefan Jurack and Florian Mantz. Towards Metamodel Evolution of EMF
Models with Henshin (short paper). In Proc. of International Workshop
on Model Evolution. [N0/0]

<p>Kristensen,T. Simulation of Attention Networks in the Brain. Poster
on Conference on National Dementia Symposium 8-9 October, Oslo 2010,
Norway. [N0/0]

<p>Kristensen, T., Jakobsen,V., Monsen,R.A., Bjørkum, A.A.Kluge,B. Data
Protein Clustering – some Adaptive Algorithms. Poster on RECOMB
Workshop on Computational Cancer Biology 2010, June 24-25, Oslo,
Norway. [N0/0]

<p>Kristensen, T., and Bjørkum, A.A. Simulation of Biological Networks
- a Multiagent (MAS) Framework. Poster on Conference for New Concept
in NeuroScience. 26-28 May 2010, Bergen, Norway.  [N0/0]

<p>Kristensen,T., Jakobsen,V., Bjørkum,A.A. Different Visualization
Schemes of Protein Data Clustering. In Proceedings of Fourteenth
International conference on Cognitive and Neural Systems (ICCNS 2010),
May 19-22, Boston, USA.  [N0/0]

<a name="p2009"></a>
<h2>Publications 2009 </h2>

<p> K. Jensen and L.M. Kristensen. Coloured Petri Nets – Modelling
and Validation of Concurrent Systems. Springer, 2009. [N1/5]

<p> P. Fleischer and L.M. Kristensen. Modelling and Validation of
Secure Connection Establishment in a Generic Access Network