91
TITLE: Alteration kinetics of natural stones due to sodium sulfate crystallization: can reality match experimental simulations?
AUTHORS: Teresa Diaz Goncalves; Vania Brito;
PUBLISHED: 2014, SOURCE: ENVIRONMENTAL EARTH SCIENCES, VOLUME: 72, ISSUE: 6
INDEXED IN: Scopus WOS
92
TITLE: Model checking logical regulatory networks ?
AUTHORS: Monteiro, PT; Abou Jaoudé, W; Thieffry, D; Chaouiya, C;
PUBLISHED: 2014, SOURCE: 12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 9, ISSUE: 3
INDEXED IN: Scopus
93
TITLE: Model checking logical regulatory networks?
AUTHORS: Monteiro, PT; Abou Jaoudé, W; Thieffry, D; Chaouiya, C;
PUBLISHED: 2014, SOURCE: 12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104 in Advances in the Astronautical Sciences, VOLUME: 12
INDEXED IN: Scopus
94
TITLE: Visualizing human trajectories: Comparing space-time cubes and static maps
AUTHORS: Gonçalves, T; Afonso, AP; Martins, B;
PUBLISHED: 2014, SOURCE: 28th International BCS Human Computer Interaction Conference: Sand, Sea and Sky - Holiday HCI, HCI 2014 in Proceedings of the 28th International BCS Human Computer Interaction Conference: Sand, Sea and Sky - Holiday HCI, HCI 2014
INDEXED IN: Scopus CrossRef
95
TITLE: Dynamical modeling and analysis of large cellular regulatory networks  Full Text
AUTHORS: Bérenguier, D; Chaouiya, C; Monteiro, PT; Naldi, A; Remy, E; Thieffry, D; Tichit, L;
PUBLISHED: 2013, SOURCE: Chaos - Chaos: An Interdisciplinary Journal of Nonlinear Science, VOLUME: 23, ISSUE: 2
INDEXED IN: CrossRef
IN MY: ORCID
96
TITLE: Evaluation of HaloDot: Visualization of Relevance of Off-Screen Objects with over Cluttering Prevention on Mobile Devices
AUTHORS: Tiago Goncalves; Ana Paula Afonso; Maria Beatriz Carmo; Paulo Pombinho;
PUBLISHED: 2011, SOURCE: 13th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2011, PT IV, VOLUME: 6949
INDEXED IN: WOS
97
TITLE: Modeling and formal verification of biological regulatory networks: an integrative approach
AUTHORS: Pedro T Monteiro; Ana T Freitas; Delphine Ropers; Radu Mateescu; Hidde de Jong;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW) in 2010 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS (BIBMW)
INDEXED IN: WOS
98
TITLE: Viability Study of an Artificial Surf Reef in S. Pedro do Estoril, Cascais, Portugal
AUTHORS: Pedro Bicudo ; Margarida Custodio; Nuno Cardoso; Conceicao Fortes; Maria da Graca Neves; Lourenco Mendes; Pedro Monteiro; Artur Palha; Maria Joao Nogueira; Luis Miguel Carvalho;
PUBLISHED: 2008, SOURCE: 18th International Offshore and Polar Engineering Conference (ISOPE 2008) in PROCEEDINGS OF THE EIGHTEENTH (2008) INTERNATIONAL OFFSHORE AND POLAR ENGINEERING CONFERENCE, VOL 3
INDEXED IN: Scopus WOS
Page 10 of 10. Total results: 100.