Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2013-08-15 14:34

Tipsa en vän
Utskriftsversion

Datavetenskap (datalogi) - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Hitta forskaren!

Välj ämne och hitta forskare och publikationer i vår forskningsdatabas.

Datavetenskap (datalogi)

Del av forskningsområdet Data- och informationsvetenskap

Senaste publikationer

Testing for coordination fidelity
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Kapitel i bok 2019
Kapitel i bok

Intro to Web Prolog for Erlangers
Torbjörn Lager
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, ACM Press, Paper i proceeding 2019
Paper i proceeding

Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
Katja Tuma, Riccardo Scandariato, Musard Balliu
2019 IEEE International Conference on Software Architecture (ICSA), IEEE, Paper i proceeding 2019
Paper i proceeding

Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors
Lara Ortiz-Martin, Pablo Picazo-Sanchez, Pedro Peris-Lopez, Juan Tapiador, Gerardo Schneider
Future generations computer systems, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

A Pragmatic View on Code Complexity Management
V. Antinyan, A. B. Sandberg, Miroslaw Staron
Computer, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Current and Future Bots in Software Development
Linda Erlenhov, Francisco Gomes de Oliveira Neto, Riccardo Scandariato, Philipp Leitner
First Workshop on Bots in Software Engineering, (BotSE @ICSE), Paper i proceeding 2019
Paper i proceeding

The UNITE database for molecular identification of fungi: handling dark taxa and parallel taxonomic classifications.
R. Henrik Nilsson, Karl-Henrik Larsson, Andy F S Taylor, Johan Bengtsson-Palme, Thomas S Jeppesen et al.
Nucleic acids research, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Mycobiome diversity: high-throughput sequencing and identification of fungi.
R. Henrik Nilsson, Sten Anslan, Mohammad Bahram, Christian Wurzbacher, Petr Baldrian et al.
Nature reviews. Microbiology, Forskningsöversiktsartikel 2019
Forskningsöversiktsartikel

Latex Gloves: Protecting Browser Extensions from Probing and Revelation Attacks
Alexander Sjösten, Steven Van Acker, Pablo Picazo-Sanchez, Andrei Sabelfeld
Network and Distributed System Security Symposium (NDSS), Paper i proceeding 2019
Paper i proceeding

GoAt : Attribute-Based Interaction in Google Go
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
International Symposium on Leveraging Applications of Formal Methods, Springer, Paper i proceeding 2018
Paper i proceeding

Visar 51 - 100 av 120

Namn Titel Organisation
Andermann, Tobias Doktorand Institutionen för biologi och miljövetenskap
Häggström, Olle Professor Avdelningen för tillämpad matematik och statistik
Jansson, Patrik Bitr professor Institutionen för data- och informationsteknik
Johansson, Richard Universitetslektor Data Science (DS)
Kokkinakis, Dimitrios Forskare Institutionen för svenska språket
Kristiansson, Erik Oavlönad docent Avdelningen för tillämpad matematik och statistik
Lager, Torbjörn Professor Avdelningen för lingvistik, logik och vetenskapsteori
Larsson, Ellen Museiintendent 1:e aufp Institutionen för biologi och miljövetenskap
Larsson, Staffan Professor Avdelningen för lingvistik, logik och vetenskapsteori
Leigh, Graham Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Ljunglöf, Peter Universitetslektor Funktionell programmering
Lundh, Torbjörn Bitr professor Avdelningen för tillämpad matematik och statistik
Nairat, Malik Ahmad Hassan Doktorand/projektassistent Interaktionsdesign
Nilsson, Per Anders Professor Högskolan för scen och musik
Nilsson, Henrik Universitetslektor Institutionen för biologi och miljövetenskap
Norell, Ulf Forskningsingenjör 1.e Datavetenskap (CS)
Obst, Matthias Forskare Institutionen för marina vetenskaper
Olsson, Leif-Jöran Forskningsingenjör Institutionen för svenska språket
Panova, Marina Forskare Institutionen för marina vetenskaper
Patriksson, Michael Professor Avdelningen för tillämpad matematik och statistik
Pelliccione, Patrizio Universitetslektor Cyber Physical Systems (SE-CPS)
Picazo-Sanchez, Pablo Postdoktor Formella metoder
Piterman, Nir Universitetslektor Formella metoder
Ranta, Aarne Professor Funktionell programmering
Duarte, Camila Doktorandanställning Institutionen för biologi och miljövetenskap
Rosén, Dan Forskningsingenjör Institutionen för svenska språket
Sandklef, Henrik Universitetsadjunkt Inst tillämpad IT, avd för informatik
Scandariato, Riccardo Universitetslektor Cyber Physical Systems (SE-CPS)

Visar 51 - 100 av 120

Visar 21 - 30 av 447

2018

Timed Epistemic Knowledge Bases for Social Networks
Raul Pardo, César Sánchez, Gerardo Schneider
Formal Methods (FM'18), vol. 10951 of LNCS, pages 185-202., Springer, Paper i proceeding 2018
Paper i proceeding

Runtime Verification of Hyperproperties for Deterministic Programs
Srinivas Pinisetty, Gerardo Schneider, David Sands
6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 20-29. ACM, ACM, Paper i proceeding 2018
Paper i proceeding

Privacy Compliance Via Model Transformations
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
International Workshop on Privacy Engineering (IWPE'18) at IEEE EuroS&P, IEEE, Paper i proceeding 2018
Paper i proceeding

An optimization problem related to bloom filters with bit patterns
Peter Damaschke, Alexander Schliep
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2018
Paper i proceeding

COST Action IC1402 Runtime Verification Beyond Monitoring
Christian Colombo, Yliès Falcone, Martin Leucker, Gilles Reger, César Sánchez et al.
18th International Conference on Runtime Verification (RV'18), vol. 11237 of LNCS, pages 18-26, Springer, Paper i proceeding 2018
Paper i proceeding

Security of Pacemakers using Runtime Verification
Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider
16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'18), pages 51-61, IEEE, Paper i proceeding 2018
Paper i proceeding

Smart Contracts: A Killer Application for Deductive Source Code Verification
Wolfgang Ahrendt, Gordon Pace, Gerardo Schneider
Principled Software Development, pp 1-18, Springer, Paper i proceeding 2018
Paper i proceeding

Testing Meets Static and Runtime Verification
Jesus Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider
6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 30-39. ACM, ACM, Paper i proceeding 2018
Paper i proceeding

Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification
Borzoo Bonakdarpour, Cesar Sanchez, Gerardo Schneider
ISoLA'18, part II, vol. 11245 of LNCS, pages 8-27., Paper i proceeding 2018
Paper i proceeding

Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions
César Sánchez, Gerardo Schneider, Martin Leucker
ISoLA (4), vol. 11247 of LNCS 2018: 275-279, Paper i proceeding 2018
Paper i proceeding

Visar 21 - 30 av 447

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2013-08-15
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?

Denna text är utskriven från följande webbsida:
http://www.gu.se/forskning/hitta-forskaren/?researchersPageNumber=2&selectedTab=2&publicationPageNumber=3&subjectId=10201
Utskriftsdatum: 2019-08-25