Skip to main content

Questions tagged [research-practice]

Questions relating to the *practice* of research in theoryCS

Filter by
Sorted by
Tagged with
31 votes
6 answers

Empirical results in CS papers

I'm new to the CS field and I have noticed that in many of the papers that I read, there are no empirical results (no code, just lemmas and proofs). Why is that? Considering that Computer Science is a ...
toto's user avatar
  • 413
10 votes
5 answers

How do you decide when you have enough research results to write a paper and to which journal you submit the paper

In some research area in CS we got some very interesting results. Now we are thinking about publishing them. In the group we are, the philosophy is to publish inmediately small things in conference ...
Open the way's user avatar
48 votes
6 answers

Ways for a mathematician to stay informed of current research in complexity theory

Complexity theory is a strong secondary interest of mine but it's not my primary research interest, so there is no hope for me to attend all the conferences, read all the blogs, and ensure that the "...
Timothy Chow's user avatar
  • 7,560
7 votes
1 answer

Some good Theoretical Computer Science Journals

I have been doing some work in Theoretical Computer Science(especially related to algorithms), and I wanted the publish some of my findings. Can someone please suggest some good journals or ...
me_digvijay's user avatar
57 votes
16 answers

What tools do you use to write papers?

What tools do you use to write papers? From the little experience that I have, theoreticians spend a large amount of time writing and refining papers, besides actually being creative. That is, ...
42 votes
5 answers

What would you advise someone who wants to do research as a hobby?

I love doing TCS in my spare time. Lately I have been trying to do some research as a hobby. I'm looking for some extra input from people who do this full-time: Do you think it is possible to do this ...
theHobbyist's user avatar
30 votes
9 answers

What is the best place to get BibTeX entries for computer science articles ?

Other than ACM, IEEE computer Society, Google Scholar which is the best site to get bibtex entries for computer science related articles ?
user3162's user avatar
  • 709
124 votes
13 answers

Advice on good research practices

After reading Daniel Apon's question, I started thinking that it might be useful (especially to junior researchers and graduate students like me) to ask a broader and more general question so we can ...
63 votes
33 answers

Small steps for better TCS conferences?

Often, when we take part in TCS conferences, we notice some little details that we wish the conference organisers would have taken care of. And when we are organising conferences, we have already ...
61 votes
7 answers

How to shoot down your proofs

What are general guidelines for checking your proofs? I believe this is important for graduate students like me. I already know what we need to do to prove something, but you always have to check ...
37 votes
5 answers

When should you say what you know?

What should you do when you see a question raised in public, say here on stack-exchange, that you know the answer to, because you are looking into as part of current research project? For example, I ...
37 votes
4 answers

Research and open challenges in Programming Language Theory

In the spirit of some general discussions like this one, I'm opening this thread with the intention to gather opinions on what are the open challenges and hot topics in research on programming ...
29 votes
2 answers

How to publish a paper?

Being a software engineer for the most part of my life I have absolutley no idea how to start with publishing an "academic" kind of paper. During my latest research I've found an interesting algorithm ...
lithuak's user avatar
  • 551
20 votes
5 answers

Version control for collaboration (with word-level diffs)?

Most papers are now written collaboratively, and collaborators are often located in different places. I have always used version control systems for my documents and code, and have also found version ...
András Salamon's user avatar
16 votes
7 answers

Research data organization

This is a question in the spirit of this one where I answered that it is important to keep track of what you have done something, why you have done it and what is not working. I personally use ...
Sylvain Peyronnet's user avatar
7 votes
5 answers

What is a substantial contribution to software design, with respect to authorship?

Background I am a biologist. I wrote and am about to submit a manuscript that describes a statistical analysis of computer model; it is a statistical methods and modeling paper. After my manuscript ...
David LeBauer's user avatar
6 votes
5 answers

How to make a paper stronger?

After reading this question and David's answer I thought a more general question asking for tips would be useful. So how can authors make (and write) a paper stronger?
3 votes
1 answer

How to generate Skolem function in practice

Context: Skolemization is the process of removing the existential quantifiers in a first-order formula. The existential bounded variables are replaced with existential quantified function. Questions: ...
Pierre T.'s user avatar
  • 133