#### Filter Results:

- Full text PDF available (17)

#### Publication Year

1980

2017

- This year (2)
- Last 5 years (14)
- Last 10 years (32)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Cengiz Erbas, Murat M. Tanik
- Transactions of the SDPS
- 2003

A Brief Introduction â€¢ Historical remarks, what are the problems to solve Untimed Systems â€¢ Transition systems, and composition â€¢ Basic model-checking algorithms: CTL and LTL Timed Systems â€¢ Timedâ€¦ (More)

- Ali H. Dogru, Murat M. Tanik
- IEEE Software
- 2003

0 7 4 0 7 4 5 9 / 0 3 / $ 1 7 . 0 0 Â© 2 0 0 3 I E E E Component technologiesâ€™ emergence spawned an exciting era in software development practice. Others have investigated the notion of â€œbuilding byâ€¦ (More)

- Cengiz Erbas, Seyed Sarkeshik, Murat M. Tanik
- ACM Conference on Computer Science
- 1992

The N-Queens problem is a commonly used example in computer science. There are numerous approaches proposed to solve the problem. We introduce several definitions of the problem, and review some ofâ€¦ (More)

- R. Steven Wingo, Murat M. Tanik
- SoutheastCon 2015
- 2015

Software development for complex problem domains is a difficult undertaking with challenges to successful outcomes. Complex problem domains exhibit volatility, interactions, and unpredictability thatâ€¦ (More)

- Tapan Mehta, Murat M. Tanik, David B. Allison
- Nature Genetics
- 2004

A sound epistemological foundation for biological inquiry comes, in part, from application of valid statistical procedures. This tenet is widely appreciated by scientists studying the new realm ofâ€¦ (More)

- Atila Ertas, Timothy Maxwell, Vicki P. Rainey, Murat M. Tanik
- IEEE Trans. Education
- 2003

- David E. Robbins, Alexander GrÃ¼neberg, Helena F. Deus, Murat M. Tanik, Jonas S. Almeida
- Bioinformatics
- 2013

MOTIVATION
Since 2011, The Cancer Genome Atlas' (TCGA) files have been accessible through HTTP from a public site, creating entirely new possibilities for cancer informatics by enhancing dataâ€¦ (More)

- Remzi Seker, Murat M. Tanik
- IEEE Transactions on Systems, Man, andâ€¦
- 2004

Software systems tend to be large scale and complex with the inevitable increase in their functionalities. The increasing costs related to system development and maintenance in correlation to theâ€¦ (More)

- Yongming Tang, Ali H. Dogru, Franz J. Kurfess, Murat M. Tanik
- Journal of Systems Integration
- 2001

Two new methods for the computation of cyclomatic complexity especially for decomposable representations are introduced. Building software by integration is a developing paradigm, especially enabledâ€¦ (More)

- Cengiz Erbas, Murat M. Tanik, Suku Nair
- SPDP
- 1993

I n this paper, we introduce a memory storage scheme allowing conflict-free parallel access to rows, columns, square blocks, distributed blocks, and positive and negative diagonals of two dimensionalâ€¦ (More)