Search Results

1

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

2

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

3

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

4

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

5

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

6

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

7

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

8

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Subjects: “...[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]...”
Get access
Get access

Conference Object

9

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Subjects: “...[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]...”
Get access
Get access

Conference Object

10

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Subjects: “...[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]...”
Get access
Get access

Conference Object

11

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Subjects: “...[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]...”
Get access
Get access

Conference Object

12

The Role of Ontologies in Enabling Dynamic Interoperability

by Nundloll, Vatsala, Grace, Paul, Blair, Gordon
Published 2011

Subjects: “...[INFO]Computer Science [cs]...”
Get access
Get access
Get access
Get access

Conference Object

13

The Role of Ontologies in Enabling Dynamic Interoperability

by Nundloll, Vatsala, Grace, Paul, Blair, Gordon
Published 2011

Subjects: “...[INFO]Computer Science [cs]...”
Get access
Get access
Get access
Get access

Conference Object

14

CETS: Compiler Enforced Temporal Safety for C

by Nagarakatte, Santosh, Martin, Milo, Zhao, Jianzhou, Zdancewic, Stephan A
Published 2010

Subjects: “...Computer Sciences...”
Get access
Get access

Conference Object

15

CETS: Compiler-Enforced Temporal Safety for C

by Nagarakatte, Santosh, Martin, Milo, Zhao, Jianzhou, Zdancewic, Stephan A
Published 2010

Subjects: “...Computer Sciences...”
Get access
Get access

Conference Object

16

Dependent types and Program Equivalence

by Jia, Limin, Zhao, Jianzhou, Sjoberg, Vilhelm, Weirich, Stephanie
Published 2010

Subjects: “...Computer Sciences...”
Get access
Get access

Conference Object

17

Binders Unbound

by Weirich, Stephanie, Yorgey, Brent A, Sheard, Tim
Published 2011

Subjects: “...Computer Sciences...”
Get access
Get access

Conference Object

18

Automata synthesis by asynchronous orchestration with applications to web services composition

by Balbiani, Philippe, Cheikh Alili, Fahima, Feuillade, Guillaume
Published 2008

Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”
Get access

Conference Object

19

On Expressiveness and Complexity in Real-time Model Checking

by Bouyer, Patricia, Markey, Nicolas, Ouaknine, Joël, Worrell, James
Published 2008

Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”
Get access
Get access
Get access
Get access

Conference Object

20

Foundational nonuniform (Co)datatypes for higher-order logic

by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Subjects: “...[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]...”
Get access
Get access
Get access
Get access

Conference Object

Narrow Search