Irene Lobo Valbuena

Publikationer (1)
Projekt (2)

Visar 1 publikationer

2015

Conditional Lemma Discovery and Recursion Induction in Hipster.

Moa Johansson, Irene Lobo Valbuena

Electronic Communications of the EASST. Vol. 72

Artikel i vetenskaplig tidskrift

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 2 forskningsprojekt

2015–2018

Verktyg för snabb analys av globala system med hjälp av språk för funktionell och villkors-programmering

Alex Gerdes Funktionell programmering

Irene Lobo Valbuena Programvaruteknik

Sólrún Einarsdóttir Funktionell programmering

Patrik Jansson Programvaruteknik

Maximilian Algehed Funktionell programmering

Europeiska kommissionen (EU)

5 publikationer finns

2014–2016

Matematikens domänspecifika språk (DSLsofMath)

Patrik Jansson Programvaruteknik

Adam Sandberg Eriksson Programvaruteknik

Irene Lobo Valbuena Programvaruteknik

Cezar Ionescu Programvaruteknik

Chalmers

1 publikation finns

Det kan finnas fler projekt där Irene Lobo Valbuena medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.