|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
37 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008 |
Frantzen, Lars |
2009 |
6 |
p. 417-424 8 p. |
artikel |
||
| 2 | Algebraic separation logic |
Dang, H.-H. |
2011 |
6 |
p. 221-247 27 p. |
artikel |
||
| 3 | An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P |
Nguyen, Van |
2010 |
6 |
p. 383-396 14 p. |
artikel |
||
| 4 | An overview of the K semantic framework |
Roșu, Grigore |
2010 |
6 |
p. 397-434 38 p. |
artikel |
||
| 5 | A P-Lingua based simulator for tissue P systems |
Martínez-del-Amor, Miguel A. |
2010 |
6 |
p. 374-382 9 p. |
artikel |
||
| 6 | A quick introduction to membrane computing |
Păun, Gheorghe |
2010 |
6 |
p. 291-294 4 p. |
artikel |
||
| 7 | Automatically testing interactive applications using extended task trees |
Madani, Laya |
2009 |
6 |
p. 454-471 18 p. |
artikel |
||
| 8 | Collagories: Relation-algebraic reasoning for gluing constructions |
Kahl, Wolfram |
2011 |
6 |
p. 297-338 42 p. |
artikel |
||
| 9 | Compositional semantics of spiking neural P systems |
Barbuti, Roberto |
2010 |
6 |
p. 304-316 13 p. |
artikel |
||
| 10 | Concurrent Kleene Algebra and its Foundations |
Hoare, Tony |
2011 |
6 |
p. 266-296 31 p. |
artikel |
||
| 11 | Contact, closure, topology, and the linking of row and column types of relations |
Schmidt, Gunther |
2011 |
6 |
p. 339-361 23 p. |
artikel |
||
| 12 | Contents |
2009 |
6 |
p. v- 1 p. |
artikel |
|||
| 13 | Contents |
2010 |
6 |
p. v- 1 p. |
artikel |
|||
| 14 | Contents |
2012 |
6 |
p. v- 1 p. |
artikel |
|||
| 15 | Contents |
2011 |
6 |
p. v- 1 p. |
artikel |
|||
| 16 | Editorial Board |
2009 |
6 |
p. IFC- 1 p. |
artikel |
|||
| 17 | Editorial Board |
2010 |
6 |
p. IFC- 1 p. |
artikel |
|||
| 18 | Editorial Board |
2012 |
6 |
p. IFC- 1 p. |
artikel |
|||
| 19 | Editorial Board |
2011 |
6 |
p. IFC- 1 p. |
artikel |
|||
| 20 | Fixpoints for general correctness |
Guttmann, Walter |
2011 |
6 |
p. 248-265 18 p. |
artikel |
||
| 21 | Formally transforming user-model testing problems into implementer-model testing problems and viceversa |
Andrés, César |
2009 |
6 |
p. 425-453 29 p. |
artikel |
||
| 22 | Left omega algebras and regular equations |
Struth, Georg |
2012 |
6 |
p. 705-717 13 p. |
artikel |
||
| 23 | Membrane computing and programming |
Păun, Gheorghe |
2010 |
6 |
p. 289-290 2 p. |
artikel |
||
| 24 | Metabolic approximation of real periodical functions |
Manca, Vincenzo |
2010 |
6 |
p. 363-373 11 p. |
artikel |
||
| 25 | Normal forms in total correctness for while programs and action systems |
Solin, Kim |
2011 |
6 |
p. 362-375 14 p. |
artikel |
||
| 26 | On the order of test goals in specification-based testing |
Fraser, Gordon |
2009 |
6 |
p. 472-490 19 p. |
artikel |
||
| 27 | Partiality II: Constructed relation algebras |
Schmidt, Gunther |
2012 |
6 |
p. 660-679 20 p. |
artikel |
||
| 28 | Programming from Galois connections |
Mu, Shin-Cheng |
2012 |
6 |
p. 680-704 25 p. |
artikel |
||
| 29 | P systems and the Byzantine agreement |
Dinneen, Michael J. |
2010 |
6 |
p. 334-349 16 p. |
artikel |
||
| 30 | P systems with control nuclei: The concept |
Chira, Camelia |
2010 |
6 |
p. 326-333 8 p. |
artikel |
||
| 31 | Relational and algebraic methods in computer science |
de Swart, Harrie |
2012 |
6 |
p. 623-624 2 p. |
artikel |
||
| 32 | Relation-algebraic modeling and solution of chessboard independence and domination problems |
Berghammer, Rudolf |
2012 |
6 |
p. 625-642 18 p. |
artikel |
||
| 33 | Relations and Kleene algebras in computer science |
Berghammer, Rudolf |
2011 |
6 |
p. 219-220 2 p. |
artikel |
||
| 34 | Rule-based and object-based event structures for membrane systems |
Agrigoroaiei, Oana |
2010 |
6 |
p. 295-303 9 p. |
artikel |
||
| 35 | Simulating a P system based efficient solution to SAT by using GPUs |
Cecilia, José M. |
2010 |
6 |
p. 317-325 9 p. |
artikel |
||
| 36 | Test generation from P systems using model checking |
Ipate, Florentin |
2010 |
6 |
p. 350-362 13 p. |
artikel |
||
| 37 | Typing theorems of omega algebra |
Guttmann, Walter |
2012 |
6 |
p. 643-659 17 p. |
artikel |
37 gevonden resultaten