https://jose.proenca.org/event/fsen27/2026-03-06T09:08:06+00:00https://jose.proenca.org/2026-03-06T09:08:06+00:00https://jose.proenca.org/event/variability26/2026-03-04T14:02:19+00:00https://jose.proenca.org/publication-type/1/2026-02-21T09:27:02+00:00https://jose.proenca.org/publication/fm-ateam-2026/2026-02-21T09:27:02+00:00https://jose.proenca.org/authors/2026-02-21T09:27:02+00:00https://jose.proenca.org/tag/automata/2026-02-21T09:27:02+00:00https://jose.proenca.org/author/davide-basile/2026-02-21T09:27:02+00:00https://jose.proenca.org/author/jose-proenca/2026-02-21T09:27:02+00:00https://jose.proenca.org/author/maurice-h.-ter-beek/2026-02-21T09:27:02+00:00https://jose.proenca.org/tag/poise/2026-02-21T09:27:02+00:00https://jose.proenca.org/publication_types/2026-02-21T09:27:02+00:00https://jose.proenca.org/tags/2026-02-21T09:27:02+00:00https://jose.proenca.org/event/mars26/2026-03-04T13:53:53+00:00https://jose.proenca.org/event/sbmf25/2026-03-04T11:03:23+00:00https://jose.proenca.org/publication/fmas-lince-2025/2025-11-26T11:16:05+00:00https://jose.proenca.org/tag/hybrid-programs/2025-11-26T11:16:05+00:00https://jose.proenca.org/tag/ibex/2025-11-26T11:16:05+00:00https://jose.proenca.org/tag/lince/2025-11-26T11:16:05+00:00https://jose.proenca.org/author/patrick-meumeu-yomsi/2025-11-26T11:16:05+00:00https://jose.proenca.org/author/reydel-arrieta-and/2025-11-26T11:16:05+00:00https://jose.proenca.org/tag/route25/2025-11-26T11:16:05+00:00https://jose.proenca.org/event/reacts25/2026-03-04T10:48:21+00:00https://jose.proenca.org/event/sefm25/2026-03-04T13:43:42+00:00https://jose.proenca.org/event/rssrail25/2025-01-24T08:46:18+00:00https://jose.proenca.org/publication-type/0/2025-09-15T09:36:00+01:00https://jose.proenca.org/publication/ppdp-stochastic-lince-2025/2025-09-15T09:36:00+01:00https://jose.proenca.org/author/juliana-souza/2025-09-15T09:36:00+01:00https://jose.proenca.org/event/sassur25/2025-05-05T10:09:19+01:00https://jose.proenca.org/event/inforum25/2026-03-04T10:42:09+00:00https://jose.proenca.org/event/splc25/2026-03-04T10:42:09+00:00https://jose.proenca.org/tag/caos/2025-09-24T14:35:37+01:00https://jose.proenca.org/publication/expresssos-compset-2025/2025-09-24T14:35:37+01:00https://jose.proenca.org/author/mario-florido/2025-09-24T14:35:37+01:00https://jose.proenca.org/author/telmo-ribeiro/2025-09-24T14:35:37+01:00https://jose.proenca.org/event/emsicc25/2025-01-29T12:25:01+00:00https://jose.proenca.org/event/verdi25/2025-01-22T09:04:07+00:00https://jose.proenca.org/author/maurice-ter-beek/2025-06-19T16:34:01+02:00https://jose.proenca.org/publication/coord-rebecaos-2025/2025-06-19T16:34:01+02:00https://jose.proenca.org/event/coordination25/2025-01-29T12:09:41+00:00https://jose.proenca.org/event/coordination26/2026-03-04T13:53:53+00:00https://jose.proenca.org/publication/fsen-animating-rebeca-2025/2025-06-17T11:02:50+02:00https://jose.proenca.org/event/fsen25/2024-03-13T09:37:33+00:00https://jose.proenca.org/publication/fmas-lince-2024/2025-01-29T12:22:00+00:00https://jose.proenca.org/author/pedro-mendes/2025-01-29T12:22:00+00:00https://jose.proenca.org/author/ricardo-correia/2025-01-29T12:22:00+00:00https://jose.proenca.org/event/sefm24/2024-03-15T15:22:57+00:00https://jose.proenca.org/publication-type/2/2024-10-19T10:11:40+01:00https://jose.proenca.org/author/luc-edixhoven/2024-10-19T10:11:40+01:00https://jose.proenca.org/publication/proenca-caos-scp-2024/2024-10-19T10:11:40+01:00https://jose.proenca.org/event/facs24/2024-01-15T21:03:57+00:00https://jose.proenca.org/author/alexandre-madeira/2024-11-08T08:54:24+00:00https://jose.proenca.org/author/david-tinoco/2024-11-08T08:54:24+00:00https://jose.proenca.org/author/manuel-a.-martins/2024-11-08T08:54:24+00:00https://jose.proenca.org/publication/facs-marge-2024/2024-11-08T08:54:24+00:00https://jose.proenca.org/event/inforum24/2025-01-29T12:24:23+00:00https://jose.proenca.org/event/splc24/2024-02-11T00:58:54+03:00https://jose.proenca.org/event/verdi24/2024-03-17T18:52:23+00:00https://jose.proenca.org/event/coordination24/2023-11-18T09:09:51+00:00https://jose.proenca.org/post/branching-pomsets/2024-05-21T11:07:56+01:00https://jose.proenca.org/publication/edixhoven-branching-2024/2024-09-26T19:30:36+01:00https://jose.proenca.org/author/david-pereira/2024-09-27T10:15:59+01:00https://jose.proenca.org/author/eduardo-tovar/2024-09-27T10:15:59+01:00https://jose.proenca.org/author/giann-spilere-nandi/2024-09-27T10:15:59+01:00https://jose.proenca.org/author/ilaria-castelani/2024-09-26T19:30:36+01:00https://jose.proenca.org/author/luis-nogueira/2024-09-27T10:15:59+01:00https://jose.proenca.org/publication/mars-dsn-2024/2024-09-27T10:15:59+01:00https://jose.proenca.org/author/rolf-hennicker/2024-09-27T10:15:59+01:00https://jose.proenca.org/author/sung-shik-jongmans/2024-09-26T19:30:36+01:00https://jose.proenca.org/publication/team-overview-2024/2024-09-27T10:15:59+01:00https://jose.proenca.org/tag/valu3s/2024-09-26T19:30:36+01:00https://jose.proenca.org/event/ictac23/2023-02-13T09:20:22+00:00https://jose.proenca.org/author/j.-proenca/2023-12-08T09:01:38-05:00https://jose.proenca.org/author/m.-h.-ter-beek/2023-12-08T09:01:38-05:00https://jose.proenca.org/author/r.-hennicker/2023-12-08T09:01:38-05:00https://jose.proenca.org/publication/terbeek-realisability-2023/2023-12-08T09:01:38-05:00https://jose.proenca.org/event/ifm23/2023-02-01T23:14:57+00:00https://jose.proenca.org/event/ftscs23/2023-07-12T13:00:06+01:00https://jose.proenca.org/event/facs23/2023-12-18T15:38:42+00:00https://jose.proenca.org/publication/proenca-overview-ta-2023/2024-01-04T15:26:52+00:00https://jose.proenca.org/event/rssrail23/2023-03-21T11:27:47+00:00https://jose.proenca.org/event/verdi23/2023-02-01T23:14:26+00:00https://jose.proenca.org/tag/fct/2023-10-03T11:14:39+01:00https://jose.proenca.org/project/ibex/2023-10-03T11:14:39+01:00https://jose.proenca.org/tag/ecsel-ju/2023-09-18T15:47:33+01:00https://jose.proenca.org/tag/h2020/2023-09-18T15:47:33+01:00https://jose.proenca.org/project/route25/2024-07-03T12:30:52+01:00https://jose.proenca.org/project/valu3s/2023-09-18T15:47:33+01:00https://jose.proenca.org/post/vvml/2024-01-06T18:27:13+00:00https://jose.proenca.org/publication/proenca-caos-2023/2023-07-07T12:26:56+01:00https://jose.proenca.org/event/coordination23/2023-02-01T23:01:42+00:00https://jose.proenca.org/event/fsen23/2023-02-02T11:30:28+00:00https://jose.proenca.org/event/ticsa23/2023-02-01T23:10:56+00:00https://jose.proenca.org/publication/terbeek-dlogic-2023/2023-03-09T17:19:39+01:00https://jose.proenca.org/tag/variability/2023-03-09T17:19:39+01:00https://jose.proenca.org/author/antonio-rodriguez/2024-02-11T00:58:54+03:00https://jose.proenca.org/author/jorge-sanchez-de-nova/2023-09-20T11:38:19+01:00https://jose.proenca.org/author/pablo-garrido/2024-02-11T00:58:54+03:00https://jose.proenca.org/publication/nandi-secure-2023/2024-02-11T00:58:54+03:00https://jose.proenca.org/author/sina-borrami/2023-09-20T11:38:19+01:00https://jose.proenca.org/publication/proenca-spreadsheet-2023/2023-09-20T11:38:19+01:00https://jose.proenca.org/author/andre-lourenco/2023-01-25T14:07:22+00:00https://jose.proenca.org/author/giann-nandi/2023-01-25T14:07:22+00:00https://jose.proenca.org/author/jose-santos/2023-01-25T14:07:22+00:00https://jose.proenca.org/author/lourenco-rodrigues/2023-01-25T14:07:22+00:00https://jose.proenca.org/publication/nandi-mars-2022/2023-01-25T14:07:22+00:00https://jose.proenca.org/tag/choreographies/2023-07-12T13:02:10+01:00https://jose.proenca.org/tag/mpst/2023-07-12T13:02:10+01:00https://jose.proenca.org/publication/jongmans-st4mp-2022/2023-07-12T13:02:10+01:00https://jose.proenca.org/event/facs22/2024-04-09T22:39:30+01:00https://jose.proenca.org/publication/cledou-apigeneration-2022/2023-02-21T11:37:48+00:00https://jose.proenca.org/publication/cledou-apigeneration-artifact-2022/2022-09-09T12:40:30+01:00https://jose.proenca.org/tag/davinci/2023-10-09T16:34:48+01:00https://jose.proenca.org/tag/reassure/2023-10-09T16:34:48+01:00https://jose.proenca.org/publication/edixhoven-branching-2022/2023-07-12T10:32:20+01:00https://jose.proenca.org/event/coordination22/2021-11-17T10:06:25+00:00https://jose.proenca.org/publication/proenca-verification-2022/2022-06-09T12:41:40+01:00https://jose.proenca.org/event/qavs22/2021-11-17T10:01:51+00:00https://jose.proenca.org/event/tacas22/2021-11-17T10:01:51+00:00https://jose.proenca.org/publication/facs-2022/2023-01-25T14:26:50+00:00https://jose.proenca.org/author/markus-lumpe/2023-01-25T14:26:50+00:00https://jose.proenca.org/author/silvia-lizeth-tapia-tarifa/2023-01-25T14:26:50+00:00https://jose.proenca.org/publication/facs-si-2022/2023-01-25T14:26:50+00:00https://jose.proenca.org/event/facs21/2021-04-15T22:07:03+01:00https://jose.proenca.org/event/mlise21/2021-04-15T22:07:03+01:00https://jose.proenca.org/event/ictac21/2021-04-15T22:07:03+01:00https://jose.proenca.org/other/2021-09-10T10:30:15+01:00https://jose.proenca.org/other/vvml-questions/2021-09-10T10:30:15+01:00https://jose.proenca.org/publication/terbeek-featured-2021/2023-01-25T14:36:10+00:00https://jose.proenca.org/event/coordination21/2020-12-10T09:02:24+00:00https://jose.proenca.org/event/f-ide21/2020-10-28T16:20:01+00:00https://jose.proenca.org/event/fsen21/2020-10-18T23:57:40+01:00https://jose.proenca.org/post/lince-tutorial/2021-06-12T22:17:48+01:00https://jose.proenca.org/event/tacas21/2020-10-18T23:57:40+01:00https://jose.proenca.org/post/intro-mc/2021-06-12T22:17:48+01:00https://jose.proenca.org/tag/cyber-physical-systems/2021-04-06T10:05:18+01:00https://jose.proenca.org/tag/formal-methods/2021-04-06T10:05:18+01:00https://jose.proenca.org/tag/hybrid-system/2021-04-06T10:05:18+01:00https://jose.proenca.org/tag/programming-theory/2021-04-06T10:05:18+01:00https://jose.proenca.org/post/hybrid-programming/2021-04-06T10:05:18+01:00https://jose.proenca.org/tag/simulation/2021-04-06T10:05:18+01:00https://jose.proenca.org/publication/vara-proposal-2021/2022-01-24T10:06:32+00:00https://jose.proenca.org/author/ales-smrcka/2023-01-25T14:07:22+00:00https://jose.proenca.org/author/andrei-paskevich/2022-01-24T10:06:32+00:00https://jose.proenca.org/author/behrooz-sangchoolie/2023-01-25T14:07:22+00:00https://jose.proenca.org/author/bernhard-fischer/2022-01-24T10:06:32+00:00https://jose.proenca.org/author/bernhard-h.-c.-sputh/2021-06-12T22:48:56+01:00https://jose.proenca.org/author/bob-hruska/2023-01-25T14:07:22+00:00https://jose.proenca.org/publication/bauer-cross-domain-2021/2023-01-25T14:07:22+00:00https://jose.proenca.org/author/david-furcho/2023-01-25T14:07:22+00:00https://jose.proenca.org/author/eric-verhulst/2021-06-12T22:48:56+01:00https://jose.proenca.org/author/fabio-patrone/2022-01-24T10:06:32+00:00https://jose.proenca.org/author/henrique-madeira/2022-01-24T10:06:32+00:00https://jose.proenca.org/publication/cledou-hubs-2021/2021-06-12T22:48:56+01:00https://jose.proenca.org/author/jose-luis-de-la-vara/2022-01-24T10:06:32+00:00https://jose.proenca.org/author/joseba-andoni-agirre/2023-01-25T14:07:22+00:00https://jose.proenca.org/author/martin-matschnig/2022-01-24T10:06:32+00:00https://jose.proenca.org/author/mustafa-karaca/2023-01-25T14:07:22+00:00https://jose.proenca.org/tag/prefect/2021-06-12T22:48:56+01:00https://jose.proenca.org/publication/f-ide-proceedings-2021/2022-01-24T10:06:32+00:00https://jose.proenca.org/author/robert-sicher/2023-01-25T14:07:22+00:00https://jose.proenca.org/author/rupert-schlick/2023-01-25T14:07:22+00:00https://jose.proenca.org/author/silvia-mazzini/2022-01-24T10:06:32+00:00https://jose.proenca.org/author/stefano-tonetta/2022-01-24T10:06:32+00:00https://jose.proenca.org/author/thomas-bauer/2023-01-25T14:07:22+00:00https://jose.proenca.org/author/ugur-yayan/2023-01-25T14:07:22+00:00https://jose.proenca.org/author/wolfgang-herzner/2023-01-25T14:07:22+00:00https://jose.proenca.org/publication/nandi-dsl-2020/2021-03-05T10:36:15+00:00https://jose.proenca.org/publication/goncharov-implementing-ictac-20/2023-10-09T16:34:48+01:00https://jose.proenca.org/tag/klee/2023-10-09T16:34:48+01:00https://jose.proenca.org/author/sergey-goncharov/2023-10-09T16:34:48+01:00https://jose.proenca.org/post/arcatools/2020-10-29T09:51:44+00:00https://jose.proenca.org/event/foclasa20/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/coordination20/2020-10-18T23:57:40+01:00https://jose.proenca.org/publication-type/4/2023-10-09T16:34:48+01:00https://jose.proenca.org/author/bernhard-h.c.-sputh/2020-10-22T14:15:09+01:00https://jose.proenca.org/tag/compositional-semantics/2020-10-22T14:15:09+01:00https://jose.proenca.org/tag/coordination/2020-10-22T14:15:09+01:00https://jose.proenca.org/tag/real-time-os/2020-10-22T14:15:09+01:00https://jose.proenca.org/tag/timed-automata/2020-10-22T14:15:09+01:00https://jose.proenca.org/tag/uppaal/2020-10-22T14:15:09+01:00https://jose.proenca.org/publication/cledou-verification-2020/2020-10-22T14:15:09+01:00https://jose.proenca.org/project/davinci/2022-09-22T10:13:53+01:00https://jose.proenca.org/project/reassure/2022-09-22T10:11:16+01:00https://jose.proenca.org/project/klee/2022-01-24T10:25:59+00:00https://jose.proenca.org/publication/proenca-arx-2020/2022-09-09T12:35:39+01:00https://jose.proenca.org/publication/goncharov-implementing-2020/2023-10-09T16:34:48+01:00https://jose.proenca.org/project/prefect/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/facs19/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/f-ide19/2020-10-18T23:57:40+01:00https://jose.proenca.org/publication/goncharov-lince-2019/2023-10-09T16:34:48+01:00https://jose.proenca.org/event/foclasa19/2020-10-18T23:57:40+01:00https://jose.proenca.org/tag/trust/2020-10-18T23:57:40+01:00https://jose.proenca.org/project/trust/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/coordination19/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/fsen19/2020-10-18T23:57:40+01:00https://jose.proenca.org/publication-type/5/2021-02-01T17:14:22+00:00https://jose.proenca.org/publication/cledou-coordination-2019/2020-12-17T17:52:21+00:00https://jose.proenca.org/publication/monahan-proceedings-2019/2020-10-29T09:51:44+00:00https://jose.proenca.org/author/rosemary-monahan/2020-10-29T09:51:44+00:00https://jose.proenca.org/publication/proenca-taming-2019/2020-12-17T17:48:18+00:00https://jose.proenca.org/author/virgile-prevosto/2020-10-29T09:51:44+00:00https://jose.proenca.org/event/rebls18/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/facs18/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/foclasa18/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/coordination18/2020-10-18T23:57:40+01:00https://jose.proenca.org/author/alcino-cunha/2020-10-22T14:15:09+01:00https://jose.proenca.org/author/hugo-pacheco/2020-10-22T14:15:09+01:00https://jose.proenca.org/author/jose-bacelar-almeida/2020-10-22T14:15:09+01:00https://jose.proenca.org/tag/lightkone/2020-10-18T23:57:40+01:00https://jose.proenca.org/project/lightkone/2020-10-18T23:57:40+01:00https://jose.proenca.org/author/nuno-macedo/2020-10-22T14:15:09+01:00https://jose.proenca.org/publication/cruz-reolive-2018/2020-10-20T11:07:37+01:00https://jose.proenca.org/author/ruben-cruz/2020-10-20T11:07:37+01:00https://jose.proenca.org/publication/almeida-teaching-2018/2020-10-22T14:15:09+01:00https://jose.proenca.org/event/facs17/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/foclasa17/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/coordination17/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/fsen17/2020-10-18T23:57:40+01:00https://jose.proenca.org/publication/cledou-refinement-2017/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/alberto-lluch-lafuente/2021-02-01T17:14:22+00:00https://jose.proenca.org/author/andre-santos/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/carlos-baquero/2020-10-22T14:15:09+01:00https://jose.proenca.org/publication/cledou-composing-2017/2020-10-22T14:15:09+01:00https://jose.proenca.org/author/dave-clarke/2020-10-21T10:53:02+01:00https://jose.proenca.org/author/elvira-albert/2021-02-01T17:14:22+00:00https://jose.proenca.org/publication/halder-formal-2017/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/ivan-lanese/2021-02-01T17:14:22+00:00https://jose.proenca.org/publication/proenca-formal-2017/2020-10-22T14:15:09+01:00https://jose.proenca.org/publication/proenca-quality-aware-2017/2020-10-22T14:15:09+01:00https://jose.proenca.org/tag/quarp/2020-10-22T14:15:09+01:00https://jose.proenca.org/author/raju-halder/2020-10-14T12:42:35+01:00https://jose.proenca.org/tag/reactive-programming/2020-10-22T14:15:09+01:00https://jose.proenca.org/publication/proenca-special-2017/2021-02-01T17:14:22+00:00https://jose.proenca.org/publication/proenca-typed-2017/2020-10-21T10:53:02+01:00https://jose.proenca.org/tag/emd/2020-10-18T23:57:40+01:00https://jose.proenca.org/project/emd/2020-10-18T23:57:40+01:00https://jose.proenca.org/tag/icon/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/coordination16/2020-10-18T23:57:40+01:00https://jose.proenca.org/publication/jongmans-procedure-2016/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/christophe-huygens/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/danny-hughes/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/dimitri-staessens/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/muschevici-feature-2016/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/gowri-sankar-ramachandran/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/ramachandran-hitch-2016/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/mario-pickavet/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/lluch-lafuente-coordination-2016/2020-10-22T14:15:09+01:00https://jose.proenca.org/author/radu-muschevici/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/sung-shik-t.-q.-jongmans/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/wilfried-daniels/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/wouter-joosen/2020-10-14T12:42:35+01:00https://jose.proenca.org/tag/iof/2020-10-18T23:57:40+01:00https://jose.proenca.org/tag/transition/2020-10-18T23:57:40+01:00https://jose.proenca.org/project/transition/2020-10-18T23:57:40+01:00https://jose.proenca.org/event/foclasa15/2020-10-18T23:57:40+01:00https://jose.proenca.org/post/reactive-programming/2020-10-21T10:53:02+01:00https://jose.proenca.org/event/fsen15/2020-10-18T23:57:40+01:00https://jose.proenca.org/author/barry-porter/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/ramachandran-hitch-2015/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/javier-camara/2020-10-14T10:42:44+01:00https://jose.proenca.org/author/massimo-tivoli/2020-10-14T10:42:44+01:00https://jose.proenca.org/author/nelson-matthys/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/camara-proceedings-2015/2020-10-14T10:42:44+01:00https://jose.proenca.org/publication/proenca-proceedings-2015/2020-10-14T10:42:44+01:00https://jose.proenca.org/publication/daniels-refraction-2015/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/sam-michiels/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/daniels-tomography-2015/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/proenca-typed-2015/2020-10-21T10:53:02+01:00https://jose.proenca.org/event/foclasa14/2020-10-18T23:57:40+01:00https://jose.proenca.org/tag/fp7/2020-10-18T23:57:40+01:00https://jose.proenca.org/tag/hats/2020-10-18T23:57:40+01:00https://jose.proenca.org/project/hats/2020-10-18T23:57:40+01:00https://jose.proenca.org/tag/designertypelabs/2020-10-18T23:57:40+01:00https://jose.proenca.org/project/designertypelabs/2020-10-18T23:57:40+01:00https://jose.proenca.org/publication/proenca-data-2013/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/muschevici-executable-2013/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/proenca-interactive-2013/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/jongmans-procedure-2012/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/proenca-dreams-2012/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/erik-p.-de-vink/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/farhad-arbab/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/patrignani-formal-2012/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/jan-schafer/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/marco-patrignani/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/clarke-partial-2012/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/peter-y.-h.-wong/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/rudolf-schlatte/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/wong-abs-2012/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication-type/7/2022-01-24T10:17:30+00:00https://jose.proenca.org/publication/phd-proenca-2011/2022-01-24T10:17:30+00:00https://jose.proenca.org/author/alexander-lazovik/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/clarke-channel-based-2011/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/proenca-decoupled-2011/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/muschevici-modular-2011/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/muschevici-feature-2010/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/ina-schaefer/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/clarke-towards-2010/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/clarke-variability-2010/2020-10-14T12:42:35+01:00https://jose.proenca.org/post/friday-puzzles/2020-10-21T17:34:11+01:00https://jose.proenca.org/publication/clarke-coordination-2009/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/clarke-deconstructing-2009/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/christian-koehler/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/proenca-coordination-2008/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/david-costa/2020-10-14T12:42:35+01:00https://jose.proenca.org/publication/koehler-reconfiguration-2008/2020-10-14T12:42:35+01:00https://jose.proenca.org/tag/pure/2020-10-18T23:57:40+01:00https://jose.proenca.org/project/pure/2020-10-18T23:57:40+01:00https://jose.proenca.org/publication/cunha-framework-2005/2020-10-14T12:42:35+01:00https://jose.proenca.org/author/jorge-sousa-pinto/2020-10-14T12:42:35+01:00https://jose.proenca.org/categories/https://jose.proenca.org/event/2020-10-18T23:57:40+01:00https://jose.proenca.org/author/guillermina-cledou/2021-04-01T13:51:03+01:00https://jose.proenca.org/author/jose-proenca/2024-02-13T11:12:27+03:00https://jose.proenca.org/author/luis-soares-barbosa/2021-04-01T13:51:03+01:00https://jose.proenca.org/post-old/2020-10-13T13:16:05+01:00https://jose.proenca.org/post/2020-10-21T10:53:02+01:00https://jose.proenca.org/project/2020-10-18T23:57:40+01:00https://jose.proenca.org/publication/2020-07-29T20:27:45+01:00https://jose.proenca.org/talk-old/2020-10-13T13:16:05+01:00https://jose.proenca.org/author/renato-neves/2022-09-27T09:11:55+01:00