Issue 3, Year of Award - 2014 The activity of the Doctoral School of Computer Science is
organized on research groups. Each reasearch group is led by one or two PhD
supervisors, has at least weekly seminars, and provides favourable conditions
for research and a friendly atmosphere. The official languages are Romanian and
English | |
Caseta redacțională
Director: Prof. dr. Ovidiu Cârjă, Director CSUD
Redactor Șef: Dana Lungu
Redactor: Dan Pîrlogeanu
Consultant: lect. dr. Valerică Greavu-Șerban
Editor: Universitatea Alexandru Ioan Cuza, Iași
Adresa: Carol I 22, Iași, 700505, România
Tel.: 0232/200101; Fax: 0232/200102;
E-mail: phdthesis@uaic.ro ;
Pagina web: http://phdthesis.uaic.ro
ISSN: 2501-1375
ISSN-L: 2501-1375
|
| | Type of content | Abstract | | | | Language | English | | | | Title (Romanian) | Un framework generic pentru execuție simbolică: teorie și aplicații | | | | Title (English) | A Generic Framework for Symbolic Execution: Theory and Applications. Abstract | | | | Author | Arusoaie, Andrei | | | | PhD supervisor | Lucanu, Dorel, PhD Professor | | | | Domain | Computer Science | | | | Keywords | symbolic execution, K framework, Programming languages,
Formal definitions of programming languages, Language-independent, Formal semantics, Operational semantics,
Program verification, Hoare Logic | | | | APACitation | Arusoaie, Andrei (2014), A Generic Framework for Symbolic Execution: Theory and Applications. Abstract (Doctoral thesis, Alexandru Ioan Cuza University of Iasi, Iasi, Romania). Retrieved from: http://phdthesis.uaic.ro/_layouts/15/DocIdRedir.aspx?ID=PHDSERIES-1414501938-120 | |
| | | | Type of content | Abstract | | | | Language | English | | | | Title (Romanian) | Un cadru de logică epistemică pentru raționamentul de ascundere a informații | | | | Title (English) | An Epistemic Logic Based Framework for Reasoning About Information Hiding. Abstract | | | | Author | Goriac, Iulian | | | | PhD supervisor | Țiplea, Ferucio, Laurențiu, PhD Professor | | | | Domain | Computer Science | | | | Keywords | multi-agents systems, epistemic logic, beliefs, knowledge, hypotheses, convictions,certainties, internal and external actions
| | | | APACitation | Goriac, Iulian (2014), An Epistemic Logic Based Framework for Reasoning About Information Hiding. Abstract (Doctoral thesis, Alexandru Ioan Cuza University of Iasi, Iasi, Romania). Retrieved from: http://phdthesis.uaic.ro/_layouts/15/DocIdRedir.aspx?ID=PHDSERIES-1414501938-1597 | |
| | |
|
Compliance Details javascript:commonShowModalDialog('{SiteUrl}'+
'/_layouts/15/itemexpiration.aspx'
+'?ID={ItemId}&List={ListId}', 'center:1;dialogHeight:500px;dialogWidth:500px;resizable:yes;status:no;location:no;menubar:no;help:no', function GotoPageAfterClose(pageid){if(pageid == 'hold') {STSNavigate(unescape(decodeURI('{SiteUrl}'))+
'/_layouts/15/hold.aspx'
+'?ID={ItemId}&List={ListId}'); return false;} if(pageid == 'audit') {STSNavigate(unescape(decodeURI('{SiteUrl}'))+
'/_layouts/15/Reporting.aspx'
+'?Category=Auditing&backtype=item&ID={ItemId}&List={ListId}'); return false;} if(pageid == 'config') {STSNavigate(unescape(decodeURI('{SiteUrl}'))+
'/_layouts/15/expirationconfig.aspx'
+'?ID={ItemId}&List={ListId}'); return false;}}, null); 0x0 0x1 ContentType 0x01 898 Edit in Browser /_layouts/15/images/icxddoc.gif?rev=23 /_layouts/15/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser&Source={Source} 0x0 0x1 FileType xsn 255 Edit in Browser /_layouts/15/images/icxddoc.gif?rev=23 /_layouts/15/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser&Source={Source} 0x0 0x1 ProgId InfoPath.Document 255 Edit in Browser /_layouts/15/images/icxddoc.gif?rev=23 /_layouts/15/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser&Source={Source} 0x0 0x1 ProgId InfoPath.Document.2 255 Edit in Browser /_layouts/15/images/icxddoc.gif?rev=23 /_layouts/15/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser&Source={Source} 0x0 0x1 ProgId InfoPath.Document.3 255 Edit in Browser /_layouts/15/images/icxddoc.gif?rev=23 /_layouts/15/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser&Source={Source} 0x0 0x1 ProgId InfoPath.Document.4 255 Document Set Version History /_layouts/15/images/versions.gif?rev=23 javascript:SP.UI.ModalDialog.ShowPopupDialog('{SiteUrl}'+
'/_layouts/15/DocSetVersions.aspx'
+ '?List={ListId}&ID={ItemId}') 0x0 0x0 ContentType 0x0120D520 330 Send To other location /_layouts/15/images/sendOtherLoc.gif?rev=23 javascript:GoToPage('{SiteUrl}' +
'/_layouts/15/docsetsend.aspx'
+ '?List={ListId}&ID={ItemId}') 0x0 0x0 ContentType 0x0120D520 350
|
